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 #