Language.Unlambda

Documentation

data Exp

Constructors

App Exp Exp

K

K1 Exp

S

S1 Exp

S2 Exp Exp

I

V

C

Cont (Cont Exp)

D

D1 Exp

Dot Char

E

At

Ques Char

Pipe

Instances

Show Exp

sh :: Exp -> String -> String

newtype Eval a

Constructors

Eval ((Maybe Char, Int) -> Cont a -> IO Exp)

Instances

Monad Eval

Functor Eval

Applicative Eval

type Cont a = (Maybe Char, Int) -> a -> IO Exp

currentChar :: Eval (Maybe Char)

setCurrentChar :: Maybe Char -> Eval ()

io :: IO a -> Eval a

throw :: ((Maybe Char, Int) -> t -> IO Exp) -> t -> Eval a

exit :: Exp -> Eval a

callCC :: (((Maybe Char, Int) -> a -> IO Exp) -> Eval a) -> Eval a

step :: Eval ()

eval :: Exp -> Eval Exp

apply :: Exp -> Exp -> Eval Exp