DeepDarkFantasy-0.0.1: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

HOAS

Documentation

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

HOAS Eval Source # 

Methods

app :: Eval (a -> b) -> Eval a -> Eval b Source #

lam :: (Eval a -> Eval b) -> Eval (a -> b) Source #

HOAS (HShow *) Source # 

Methods

app :: HShow * (a -> b) -> HShow * a -> HShow * b Source #

lam :: (HShow * a -> HShow * b) -> HShow * (a -> b) Source #

newtype Eval x Source #

Constructors

Eval 

Fields

Instances

HOAS Eval Source # 

Methods

app :: Eval (a -> b) -> Eval a -> Eval b Source #

lam :: (Eval a -> Eval b) -> Eval (a -> b) Source #

newtype HShow x Source #

Constructors

HShow 

Fields

Instances

HOAS (HShow *) Source # 

Methods

app :: HShow * (a -> b) -> HShow * a -> HShow * b Source #

lam :: (HShow * a -> HShow * b) -> HShow * (a -> b) Source #

s :: HShow * ((a1 -> a -> b) -> (a1 -> a) -> a1 -> b) Source #

main :: IO () Source #