| 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
- 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 :: PMMode -> Env -> EgisonPattern -> ObjectRef -> WHNFData -> EgisonM (MList EgisonM [Binding])
- fromStringWHNF :: WHNFData -> EgisonM String
- fromStringValue :: EgisonValue -> EgisonM String
Egison code evaluation
evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM Env Source
evalTopExpr :: 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 :: PMMode -> Env -> EgisonPattern -> ObjectRef -> WHNFData -> EgisonM (MList EgisonM [Binding]) Source