```{-# LANGUAGE NoImplicitPrelude, NoMonomorphismRestriction #-}

module DDF.VectorTF where

import qualified DDF.Double as Double
import qualified DDF.Meta.VectorTF as M
import qualified Prelude as M

class Double.Double r => VectorTF r where
zero :: r h (M.VectorTF t f)
basis :: r h (t -> M.VectorTF t f)
plus :: r h (f -> f -> M.VectorTF t f)
mult :: r h (M.Double -> f -> M.VectorTF t f)
vtfMatch :: r h (a -> (t -> a) -> (f -> f -> a) -> (M.Double -> f -> a) -> M.VectorTF t f -> a)

vtfMatch4 = Double.app4 vtfMatch
vtfMatch5 = Double.app5 vtfMatch
plus2 = Double.app2 plus
mult1 = Double.app mult
mult2 = Double.app2 mult
```
{"ft_lang_label":"__label__en","ft_lang_prob":0.65615046,"math_prob":0.893047,"size":560,"snap":"2022-05-2022-21","text_gpt3_token_len":182,"char_repetition_ratio":0.20503597,"word_repetition_ratio":0.056603774,"special_character_ratio":0.35357141,"punctuation_ratio":0.2109375,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9960266,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-05-29T05:08:28Z\",\"WARC-Record-ID\":\"<urn:uuid:3ab07ff5-f225-4b9c-b64f-b770a414b1fb>\",\"Content-Length\":\"7039\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:6194e870-8f92-48a6-8fcf-cd63066c69f3>\",\"WARC-Concurrent-To\":\"<urn:uuid:c303053d-36d5-437b-b1b3-d327265a147d>\",\"WARC-IP-Address\":\"147.75.55.189\",\"WARC-Target-URI\":\"https://hackage-origin.haskell.org/package/DeepDarkFantasy-0.2017.8.4/candidate/docs/src/DDF-VectorTF.html\",\"WARC-Payload-Digest\":\"sha1:AIHXPK6BQPIQNUCUW7BDAUJBRQXP5POD\",\"WARC-Block-Digest\":\"sha1:LJRTJKP5A5KKEGJK7SQAY6IXGIQXI3NV\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-21/CC-MAIN-2022-21_segments_1652663039492.94_warc_CC-MAIN-20220529041832-20220529071832-00423.warc.gz\"}"}