| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Executor
Documentation
type FullyEvaluated = Either [Error Expression] Expression Source #
type Env = [(Expression, Expression)] Source #
validatePreExec :: [Definition] -> Either [Error Expression] (Env, Expression) Source #
exec :: [Definition] -> FullyEvaluated Source #
eval :: Env -> Expression -> FullyEvaluated Source #
evalMap :: (Expression -> FullyEvaluated) -> PrimitiveMap Expression -> FullyEvaluated Source #
apply :: Env -> Expression -> [Expression] -> FullyEvaluated Source #
apply' :: Env -> Expression -> [Expression] -> FullyEvaluated Source #
applyNonPrim :: [Expression] -> Env -> Expression -> Either [Error Expression] Expression Source #
assertMap :: String -> Expression -> Expression -> Either [Error Expression] Expression Source #
extendEnvironment :: [Expression] -> [Expression] -> Env -> Either [Error Expression] Env Source #
checkAgainstRepeatedDefs :: [Definition] -> Either [Error Expression] [Definition] Source #
initialEnvironment :: [Definition] -> Either [Error Expression] (Env, Expression) Source #