lambda-calculator-3.1.0.0: A lambda calculus interpreter
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Lambda.Untyped

Documentation

evalText :: Text -> Eval Text (LambdaExpr Text) Source #

runEvalText :: Text -> Globals Text -> Either LambdaException (LambdaExpr Text, EvalState Text) Source #

execEvalText :: Text -> Globals Text -> Either LambdaException (LambdaExpr Text) Source #

unsafeExecEvalText :: Text -> Globals Text -> LambdaExpr Text Source #

defaultUniques :: [Unique] Source #

module Language.Lambda.Untyped.Expression

module Language.Lambda.Untyped.Eval

module Language.Lambda.Untyped.Parser

module Language.Lambda.Untyped.State