Documentation

data Exp

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