| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Telomare.Eval
Synopsis
- debug :: Bool
- debugTrace :: String -> a -> a
- data ExpP
- data EvalError
- type ExpFullEnv = ExprA Bool
- newtype BetterMap k v = BetterMap {
- unBetterMap :: Map k v
- annotateEnv :: IExpr -> (Bool, ExpP)
- fromFullEnv :: (ExpP -> IExpr) -> ExpP -> IExpr
- partiallyEvaluate :: ExpP -> IExpr
- convertPT :: (UnsizedRecursionToken -> Int) -> Term3 -> Term4
- findChurchSize :: Term3 -> Either EvalError Term4
- removeChecks :: Term4 -> Term4
- convertAbortMessage :: IExpr -> String
- runStaticChecks :: Term4 -> Either EvalError Term4
- compileMain :: Term3 -> Either EvalError IExpr
- compileUnitTest :: Term3 -> Either EvalError IExpr
- compile :: (Term4 -> Either EvalError Term4) -> Term3 -> Either EvalError IExpr
- funWrap :: (IExpr -> IExpr) -> IExpr -> Maybe (String, IExpr) -> (String, Maybe IExpr)
- runMainCore :: String -> String -> (IExpr -> IO a) -> IO a
- runMain_ :: String -> String -> IO String
- runMain :: String -> String -> IO ()
- schemeEval :: IExpr -> IO ()
- evalLoopCore :: IExpr -> (String -> String -> IO String) -> String -> [String] -> IO String
- evalLoop :: IExpr -> IO ()
- evalLoopWithInput :: [String] -> IExpr -> IO String
- runMainWithInput :: [String] -> String -> String -> IO String
- evalLoop_ :: IExpr -> IO String
- calculateRecursionLimits :: Term3 -> Either EvalError Term4
- eval2IExpr :: [(String, AnnotatedUPT)] -> String -> Either String IExpr
- tagIExprWithEval :: IExpr -> Cofree IExprF (Int, IExpr)
- tagUPTwithIExpr :: [(String, AnnotatedUPT)] -> UnprocessedParsedTerm -> Cofree UnprocessedParsedTermF (Int, Either String IExpr)
Documentation
debugTrace :: String -> a -> a Source #
Constructors
| ZeroP | |
| PairP ExpP ExpP | |
| VarP | |
| SetEnvP ExpP Bool | |
| DeferP ExpP | |
| AbortP | |
| GateP ExpP ExpP | |
| LeftP ExpP | |
| RightP ExpP | |
| TraceP |
Constructors
| RTE RunTimeError | |
| TCE TypeCheckError | |
| StaticCheckError String | |
| CompileConversionError | |
| RecursionLimitError UnsizedRecursionToken |
Instances
| Show EvalError Source # | |
| Eq EvalError Source # | |
| Ord EvalError Source # | |
Defined in Telomare.Eval | |
type ExpFullEnv = ExprA Bool Source #
newtype BetterMap k v Source #
Constructors
| BetterMap | |
Fields
| |
partiallyEvaluate :: ExpP -> IExpr Source #
removeChecks :: Term4 -> Term4 Source #
convertAbortMessage :: IExpr -> String Source #
schemeEval :: IExpr -> IO () Source #
evalLoopCore :: IExpr -> (String -> String -> IO String) -> String -> [String] -> IO String Source #
eval2IExpr :: [(String, AnnotatedUPT)] -> String -> Either String IExpr Source #
tagUPTwithIExpr :: [(String, AnnotatedUPT)] -> UnprocessedParsedTerm -> Cofree UnprocessedParsedTermF (Int, Either String IExpr) Source #