unlambda
Language.Unlambda
data Exp
Constructors
Instances
sh :: Exp -> String -> String
newtype Eval a
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