DDF.VectorTF

Documentation

class Double r => VectorTF r where

Minimal complete definition

zero, basis, plus, mult, vtfMatch, vtfCmp

Methods

zero :: r h (VectorTF t f)

basis :: r h (t -> VectorTF t f)

plus :: r h (f -> f -> VectorTF t f)

mult :: r h (Double -> f -> VectorTF t f)

vtfMatch :: r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: r h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

Instances

VectorTF Eval

Methods

zero :: Eval h (VectorTF t f)

basis :: Eval h (t -> VectorTF t f)

plus :: Eval h (f -> f -> VectorTF t f)

mult :: Eval h (Double -> f -> VectorTF t f)

vtfMatch :: Eval h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: Eval h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

VectorTF Show

Methods

zero :: Show h (VectorTF t f)

basis :: Show h (t -> VectorTF t f)

plus :: Show h (f -> f -> VectorTF t f)

mult :: Show h (Double -> f -> VectorTF t f)

vtfMatch :: Show h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: Show h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

VectorTF Size

Methods

zero :: Size h (VectorTF t f)

basis :: Size h (t -> VectorTF t f)

plus :: Size h (f -> f -> VectorTF t f)

mult :: Size h (Double -> f -> VectorTF t f)

vtfMatch :: Size h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: Size h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

SubL c VectorTF => VectorTF (Term c)

Methods

zero :: Term c h (VectorTF t f)

basis :: Term c h (t -> VectorTF t f)

plus :: Term c h (f -> f -> VectorTF t f)

mult :: Term c h (Double -> f -> VectorTF t f)

vtfMatch :: Term c h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: Term c h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

VectorTF r => VectorTF (UnHOAS r)

Methods

zero :: UnHOAS r h (VectorTF t f)

basis :: UnHOAS r h (t -> VectorTF t f)

plus :: UnHOAS r h (f -> f -> VectorTF t f)

mult :: UnHOAS r h (Double -> f -> VectorTF t f)

vtfMatch :: UnHOAS r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: UnHOAS r h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

(Prod r, VectorTF r) => VectorTF (UnLiftEnv r)

Methods

zero :: UnLiftEnv r h (VectorTF t f)

basis :: UnLiftEnv r h (t -> VectorTF t f)

plus :: UnLiftEnv r h (f -> f -> VectorTF t f)

mult :: UnLiftEnv r h (Double -> f -> VectorTF t f)

vtfMatch :: UnLiftEnv r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: UnLiftEnv r h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

(Prod r, VectorTF r) => VectorTF (ImpW r)

Methods

zero :: ImpW r h (VectorTF t f)

basis :: ImpW r h (t -> VectorTF t f)

plus :: ImpW r h (f -> f -> VectorTF t f)

mult :: ImpW r h (Double -> f -> VectorTF t f)

vtfMatch :: ImpW r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a)

vtfCmp :: ImpW r h (Cmp t -> Cmp f -> Cmp (VectorTF t f))

type SubLC c VectorTF

type SubLC c VectorTF = (SubL c Ordering, SubL c Double)

vtfMatch4 :: VectorTF r => r h a3 -> r h (t -> a3) -> r h (f -> f -> a3) -> r h (Double -> f -> a3) -> r h (VectorTF t f -> a3)

vtfMatch5 :: VectorTF r => r h b -> r h (t -> b) -> r h (f -> f -> b) -> r h (Double -> f -> b) -> r h (VectorTF t f) -> r h b

plus2 :: VectorTF r => r h a -> r h a -> r h (VectorTF t a)

mult1 :: VectorTF r => r h Double -> r h (f -> VectorTF t f)

mult2 :: VectorTF r => r h Double -> r h a -> r h (VectorTF t a)