Safe Haskell	Safe
Language	Haskell2010

DDF.VectorTF

Documentation

class Double r => VectorTF r where Source #

Minimal complete definition

zero, basis, plus, mult, vtfMatch

Methods

zero :: r h (VectorTF t f) Source #

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

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

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

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

Instances

VectorTF Eval Source #
Methods zero :: Eval h (VectorTF t f) Source # basis :: Eval h (t -> VectorTF t f) Source # plus :: Eval h (f -> f -> VectorTF t f) Source # mult :: Eval h (Double -> f -> VectorTF t f) Source # vtfMatch :: Eval h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
VectorTF Show Source #
Methods zero :: Show h (VectorTF t f) Source # basis :: Show h (t -> VectorTF t f) Source # plus :: Show h (f -> f -> VectorTF t f) Source # mult :: Show h (Double -> f -> VectorTF t f) Source # vtfMatch :: Show h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
VectorTF Size Source #
Methods zero :: Size h (VectorTF t f) Source # basis :: Size h (t -> VectorTF t f) Source # plus :: Size h (f -> f -> VectorTF t f) Source # mult :: Size h (Double -> f -> VectorTF t f) Source # vtfMatch :: Size h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
SubL c VectorTF => VectorTF (Term c) Source #
Methods zero :: Term c h (VectorTF t f) Source # basis :: Term c h (t -> VectorTF t f) Source # plus :: Term c h (f -> f -> VectorTF t f) Source # mult :: Term c h (Double -> f -> VectorTF t f) Source # vtfMatch :: Term c h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
VectorTF r => VectorTF (UnHOAS r) Source #
Methods zero :: UnHOAS r h (VectorTF t f) Source # basis :: UnHOAS r h (t -> VectorTF t f) Source # plus :: UnHOAS r h (f -> f -> VectorTF t f) Source # mult :: UnHOAS r h (Double -> f -> VectorTF t f) Source # vtfMatch :: UnHOAS r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
(Prod r, VectorTF r) => VectorTF (UnLiftEnv r) Source #
Methods zero :: UnLiftEnv r h (VectorTF t f) Source # basis :: UnLiftEnv r h (t -> VectorTF t f) Source # plus :: UnLiftEnv r h (f -> f -> VectorTF t f) Source # mult :: UnLiftEnv r h (Double -> f -> VectorTF t f) Source # vtfMatch :: UnLiftEnv r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
(Prod r, VectorTF r) => VectorTF (ImpW r) Source #
Methods zero :: ImpW r h (VectorTF t f) Source # basis :: ImpW r h (t -> VectorTF t f) Source # plus :: ImpW r h (f -> f -> VectorTF t f) Source # mult :: ImpW r h (Double -> f -> VectorTF t f) Source # vtfMatch :: ImpW r h (a -> (t -> a) -> (f -> f -> a) -> (Double -> f -> a) -> VectorTF t f -> a) Source #
type SubLC c VectorTF Source #
type SubLC c VectorTF = 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) Source #

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 Source #

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

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

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