Documentation

data Exp Source

sh :: Exp -> String -> StringSource

newtype Eval a Source

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

currentChar :: Eval (Maybe Char)Source

setCurrentChar :: Maybe Char -> Eval ()Source

io :: IO a -> Eval aSource

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

exit :: Exp -> Eval aSource

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

step :: Eval ()Source

eval :: Exp -> Eval ExpSource

apply :: Exp -> Exp -> Eval ExpSource