Documentation

type FullyEvaluated a = Either [Error Expression] a Source

type Env = [(Expression, Expression)] Source

validatePreExec :: [Definition] -> Either [Error Expression] (Env, Expression) Source

exec :: [Definition] -> FullyEvaluated Expression Source

eval :: Env -> Expression -> FullyEvaluated Expression Source

evalMap :: (Expression -> FullyEvaluated Expression) -> PrimitiveMap Expression -> FullyEvaluated Expression Source

apply :: Env -> Expression -> [Expression] -> FullyEvaluated Expression Source

apply' :: Env -> Expression -> [Expression] -> FullyEvaluated Expression Source

applyNonPrim :: [Expression] -> Env -> Expression -> FullyEvaluated Expression Source

evalAll :: Env -> [Expression] -> FullyEvaluated [Expression] Source

assertMap :: String -> Expression -> Expression -> FullyEvaluated 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