Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
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 #
defaultUniques :: [Unique] Source #
defaultTyUniques :: [Unique] Source #