DeepDarkFantasy-0.2017.8.10: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.FreeVector

Documentation

class DBI r => FreeVector r where Source #

Minimal complete definition

freeVector, runFreeVector

Methods

freeVector :: r h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: r h (FreeVector b d -> b -> d) Source #

Instances

FreeVector Eval Source # 

Methods

freeVector :: Eval h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: Eval h (FreeVector b d -> b -> d) Source #

FreeVector Show Source # 

Methods

freeVector :: Show h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: Show h (FreeVector b d -> b -> d) Source #

FreeVector Size Source # 

Methods

freeVector :: Size h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: Size h (FreeVector b d -> b -> d) Source #

SubL c FreeVector => FreeVector (Term c) Source # 

Methods

freeVector :: Term c h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: Term c h (FreeVector b d -> b -> d) Source #

FreeVector r => FreeVector (UnHOAS r) Source # 

Methods

freeVector :: UnHOAS r h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: UnHOAS r h (FreeVector b d -> b -> d) Source #

(Prod r, FreeVector r) => FreeVector (UnLiftEnv r) Source # 

Methods

freeVector :: UnLiftEnv r h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: UnLiftEnv r h (FreeVector b d -> b -> d) Source #

(Prod r, FreeVector r) => FreeVector (ImpW r) Source # 

Methods

freeVector :: ImpW r h ((b -> d) -> FreeVector b d) Source #

runFreeVector :: ImpW r h (FreeVector b d -> b -> d) Source #

type SubLC c FreeVector Source # 

freeVector1 :: FreeVector r => r h (b -> d) -> r h (FreeVector b d) Source #

runFreeVector1 :: FreeVector r => r h (FreeVector b d) -> r h (b -> d) Source #

runFreeVector2 :: FreeVector r => r h (FreeVector a b) -> r h a -> r h b Source #

module DDF.DBI