DeepDarkFantasy-0.2017.8.19: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.VectorTF

Documentation

class Double r => VectorTF r where Source #

Minimal complete definition

zero, basis, plus, mult, vtfMatch, vtfCmp

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 #

vtfCmp :: r h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

vtfCmp :: Eval h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

vtfCmp :: Show h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

vtfCmp :: Size h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

vtfCmp :: Term c h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

vtfCmp :: UnHOAS r h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

vtfCmp :: UnLiftEnv r h (Cmp t -> Cmp f -> Cmp (VectorTF t f)) 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 #

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

type SubLC c VectorTF Source # 

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 #