Language.Egison.Core

This module provides functions to evaluate various objects.

Egison code evaluation

evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM Env

evalTopExprsTestOnly :: Env -> [EgisonTopExpr] -> EgisonM Env

evalTopExprsNoIO :: Env -> [EgisonTopExpr] -> EgisonM Env

evalTopExpr :: Env -> EgisonTopExpr -> EgisonM Env

evalTopExpr' :: Env -> EgisonTopExpr -> EgisonM (Maybe String, 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 :: 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]

Utiltiy functions

packStringValue :: EgisonValue -> EgisonM Text