| Copyright | Satoshi Egi |
|---|---|
| License | MIT |
| Safe Haskell | None |
| Language | Haskell98 |
Language.Egison.Core
Description
This module provides functions to evaluate various objects.
- evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM Env
- evalTopExprsTestOnly :: Env -> [EgisonTopExpr] -> EgisonM Env
- evalTopExprsNoIO :: 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)
- packStringValue :: EgisonValue -> EgisonM Text
Egison code evaluation
evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM Env Source
evalTopExprsTestOnly :: Env -> [EgisonTopExpr] -> EgisonM Env Source
evalTopExprsNoIO :: Env -> [EgisonTopExpr] -> EgisonM Env Source
evalTopExpr :: Env -> EgisonTopExpr -> EgisonM Env Source
evalExprDeep :: Env -> EgisonExpr -> EgisonM EgisonValue Source
evalWHNF :: WHNFData -> EgisonM EgisonValue Source
Environment
recursiveBind :: Env -> [(String, EgisonExpr)] -> EgisonM Env Source
Pattern matching
patternMatch :: Env -> EgisonPattern -> ObjectRef -> Matcher -> EgisonM (MList EgisonM Match) Source