DeepDarkFantasy-0.0.1: A DSL for creating neural network.
HOAS
class HOAS repr where Source #
Minimal complete definition
app, lam
Methods
app :: repr (a -> b) -> repr a -> repr b Source #
lam :: (repr a -> repr b) -> repr (a -> b) Source #
Instances
app :: Eval (a -> b) -> Eval a -> Eval b Source #
lam :: (Eval a -> Eval b) -> Eval (a -> b) Source #
app :: HShow * (a -> b) -> HShow * a -> HShow * b Source #
lam :: (HShow * a -> HShow * b) -> HShow * (a -> b) Source #
newtype Eval x Source #
Constructors
Fields
newtype HShow x Source #
s :: HShow * ((a1 -> a -> b) -> (a1 -> a) -> a1 -> b) Source #
main :: IO () Source #