DeepDarkFantasy-0.0.1: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

Comb

Documentation

class Comb repr where Source #

Minimal complete definition

app, s, k, i, b, c, w

Methods

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

s :: repr ((a -> b -> c) -> (a -> b) -> a -> c) Source #

k :: repr (a -> b -> a) Source #

i :: repr (a -> a) Source #

b :: repr ((b -> c) -> (a -> b) -> a -> c) Source #

c :: repr ((a -> b -> c) -> b -> a -> c) Source #

w :: repr ((a -> a -> b) -> a -> b) Source #

Instances

Comb Eval Source # 

Methods

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

s :: Eval ((a -> b -> c) -> (a -> b) -> a -> c) Source #

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

i :: Eval (a -> a) Source #

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

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

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

Comb (SShow *) Source # 

Methods

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

s :: SShow * ((a -> b -> c) -> (a -> b) -> a -> c) Source #

k :: SShow * (a -> b -> a) Source #

i :: SShow * (a -> a) Source #

b :: SShow * ((b -> c) -> (a -> b) -> a -> c) Source #

c :: SShow * ((a -> b -> c) -> b -> a -> c) Source #

w :: SShow * ((a -> a -> b) -> a -> b) Source #

newtype Eval x Source #

Constructors

Eval 

Fields

Instances

Comb Eval Source # 

Methods

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

s :: Eval ((a -> b -> c) -> (a -> b) -> a -> c) Source #

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

i :: Eval (a -> a) Source #

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

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

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

newtype SShow x Source #

Constructors

SShow 

Fields

Instances

Comb (SShow *) Source # 

Methods

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

s :: SShow * ((a -> b -> c) -> (a -> b) -> a -> c) Source #

k :: SShow * (a -> b -> a) Source #

i :: SShow * (a -> a) Source #

b :: SShow * ((b -> c) -> (a -> b) -> a -> c) Source #

c :: SShow * ((a -> b -> c) -> b -> a -> c) Source #

w :: SShow * ((a -> a -> b) -> a -> b) Source #

main :: IO () Source #