Language.Egison.Core

This module provides functions to evaluate various objects.

Egison code evaluation

collectDefs :: EgisonOpts -> [EgisonTopExpr] -> [(Var, EgisonExpr)] -> [EgisonTopExpr] -> EgisonM ([(Var, EgisonExpr)], [EgisonTopExpr])

evalTopExpr' :: EgisonOpts -> StateT [(Var, EgisonExpr)] EgisonM Env -> EgisonTopExpr -> EgisonM (Maybe String, StateT [(Var, EgisonExpr)] 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 :: Env -> WHNFData -> WHNFData -> EgisonM WHNFData

Array

refArray :: WHNFData -> [EgisonValue] -> EgisonM WHNFData

arrayBounds :: WHNFData -> EgisonM WHNFData

Environment

recursiveBind :: Env -> [(Var, EgisonExpr)] -> EgisonM Env

Pattern matching

patternMatch :: PMMode -> Env -> EgisonPattern -> WHNFData -> Matcher -> EgisonM (MList EgisonM Match)

Collection

isEmptyCollection :: WHNFData -> EgisonM Bool

unconsCollection :: WHNFData -> MatchM (ObjectRef, ObjectRef)

unsnocCollection :: WHNFData -> MatchM (ObjectRef, ObjectRef)

Tuple, Collection

tupleToList :: WHNFData -> EgisonM [EgisonValue]

collectionToList :: WHNFData -> EgisonM [EgisonValue]