| Safe Haskell | None |
|---|
Language.Egison.Core
Description
This module provides functions to evaluate various objects.
- evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM Env
- evalTopExpr :: Env -> EgisonTopExpr -> EgisonM Env
- evalTopExpr' :: Env -> EgisonTopExpr -> EgisonM Env
- evalExpr :: Env -> EgisonExpr -> EgisonM WHNFData
- evalExprDeep :: Env -> EgisonExpr -> EgisonM EgisonValue
- evalRef :: ObjectRef -> EgisonM WHNFData
- evalRefDeep :: ObjectRef -> EgisonM EgisonValue
- evalWHNF :: WHNFData -> EgisonM EgisonValue
- applyFunc :: WHNFData -> WHNFData -> EgisonM WHNFData
- recursiveBind :: Env -> [(String, EgisonExpr)] -> EgisonM Env
- patternMatch :: Env -> EgisonPattern -> ObjectRef -> Matcher -> EgisonM (MList EgisonM Match)
- isEmptyCollection :: WHNFData -> EgisonM Bool
- unconsCollection :: WHNFData -> MatchM (ObjectRef, ObjectRef)
- unsnocCollection :: WHNFData -> MatchM (ObjectRef, ObjectRef)
- evalStringWHNF :: WHNFData -> EgisonM String
- fromStringValue :: EgisonValue -> EgisonM String
Egison code evaluation
evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM EnvSource
evalTopExpr :: Env -> EgisonTopExpr -> EgisonM EnvSource
evalTopExpr' :: Env -> EgisonTopExpr -> EgisonM EnvSource
evalExprDeep :: Env -> EgisonExpr -> EgisonM EgisonValueSource
Environment
recursiveBind :: Env -> [(String, EgisonExpr)] -> EgisonM EnvSource
Pattern matching
patternMatch :: Env -> EgisonPattern -> ObjectRef -> Matcher -> EgisonM (MList EgisonM Match)Source