Safe Haskell	Safe
Language	Haskell2010

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 unEval :: x

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 #

Constructors

SShow
Fields unSShow :: String

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 #