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

Language.Lambda.SystemF

Documentation

evalText :: Text -> Typecheck Text (TypedExpr Text) Source #

typecheckText :: Text -> Typecheck Text (Ty Text) Source #

runEvalText :: Text -> Globals Text -> Either LambdaException (TypedExpr Text, TypecheckState Text) Source #

runTypecheckText :: Text -> Globals Text -> Either LambdaException (Ty Text, TypecheckState Text) Source #

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

execTypecheckText :: Text -> Globals Text -> Either LambdaException (Ty Text) Source #

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

unsafeExecTypecheckText :: Text -> Globals Text -> Ty Text Source #

defaultUniques :: [Unique] Source #

defaultTyUniques :: [Unique] Source #

mkState :: Globals Text -> TypecheckState Text Source #

module Language.Lambda.SystemF.Expression

module Language.Lambda.SystemF.Parser

module Language.Lambda.SystemF.State