unlambda-0.1: Unlambda interpreter Source code Contents Index

Language.Unlambda

Documentation

data Exp Source

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 Source

newtype Eval a Source

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

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

currentChar :: Eval (Maybe Char) Source

setCurrentChar :: Maybe Char -> Eval () Source

io :: IO a -> Eval a Source

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

exit :: Exp -> Eval a Source

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

step :: Eval () Source

eval :: Exp -> Eval Exp Source

apply :: Exp -> Exp -> Eval Exp Source

Produced by Haddock version 2.6.0