DeepDarkFantasy-0.2017.8.10: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.PE

Documentation

data P repr h a where Source #

Constructors

Unk :: repr h a -> P repr h a 
Static :: a -> (forall h'. repr h' a) -> P repr h a 
StaFun :: (forall hout. EnvT repr (a, h) hout -> P repr hout b) -> P repr h (a -> b) 
Open :: (forall hout. EnvT repr h hout -> P repr hout a) -> P repr h a 

Instances

DBI r => DBI (P r) Source # 

Methods

z :: P r (a, h) a Source #

s :: P r h b -> P r (a, h) b Source #

abs :: P r (a, h) b -> P r h (a -> b) Source #

app :: P r h (a -> b) -> P r h a -> P r h b Source #

hoas :: (P r (a, h) a -> P r (a, h) b) -> P r h (a -> b) Source #

com :: P r h ((b -> c) -> (a -> b) -> a -> c) Source #

flip :: P r h ((a -> b -> c) -> b -> a -> c) Source #

id :: P r h (a -> a) Source #

const :: P r h (a -> b -> a) Source #

scomb :: P r h ((a -> b -> c) -> (a -> b) -> a -> c) Source #

dup :: P r h ((a -> a -> b) -> a -> b) Source #

let_ :: P r h (a -> (a -> b) -> b) Source #

Bool r => Bool (P r) Source # 

Methods

bool :: Bool -> P r h Bool Source #

ite :: P r h (a -> a -> Bool -> a) Source #

Double r => Double (P r) Source # 

data EnvT repr hin hout where Source #

Constructors

Dyn :: EnvT repr hin hin 
Arg :: P repr hout a -> EnvT repr (a, hout) hout 
Weak :: EnvT repr h (a, h) 
Next :: EnvT repr hin hout -> EnvT repr (a, hin) (a, hout) 

dynamic :: DBI repr => P repr h a -> repr h a Source #

app_open :: DBI repr => P repr hin r -> EnvT repr hin hout -> P repr hout r Source #

pe :: Double repr => P repr () a -> repr () a Source #