egison-3.2.7: Programming language with non-linear pattern-matching against unfree data types

Safe Haskell	None
Language	Haskell98

Language.Egison.Core

Documentation

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

evalTopExpr :: Env -> EgisonTopExpr -> EgisonM Env Source

evalExpr :: Env -> EgisonExpr -> EgisonM WHNFData Source

evalExpr' :: Env -> EgisonExpr -> EgisonM EgisonValue Source

evalRef :: ObjectRef -> EgisonM WHNFData Source

evalRef' :: ObjectRef -> EgisonM EgisonValue Source

evalDeep :: WHNFData -> EgisonM EgisonValue Source

applyFunc :: WHNFData -> WHNFData -> EgisonM WHNFData Source

generateArray :: Env -> String -> EgisonExpr -> EgisonExpr -> EgisonM WHNFData Source

newThunk :: Env -> EgisonExpr -> EgisonM ObjectRef Source

writeThunk :: ObjectRef -> WHNFData -> EgisonM () Source

newEvaluatedThunk :: WHNFData -> EgisonM ObjectRef Source

makeBindings :: [String] -> [ObjectRef] -> [Binding] Source

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

fromArray :: WHNFData -> EgisonM [ObjectRef] Source

fromTuple :: WHNFData -> EgisonM [ObjectRef] Source

fromCollection :: WHNFData -> EgisonM (MList EgisonM ObjectRef) Source

patternMatch :: Env -> EgisonPattern -> ObjectRef -> WHNFData -> EgisonM (MList EgisonM [Binding]) Source

processMStates :: [MList EgisonM MatchingState] -> EgisonM (MList EgisonM [Binding]) Source

processMState :: MatchingState -> EgisonM (MList EgisonM MatchingState) Source

processMState' :: MatchingState -> EgisonM (MList EgisonM MatchingState) Source

inductiveMatch :: Env -> EgisonPattern -> ObjectRef -> Matcher -> EgisonM ([EgisonPattern], MList EgisonM ObjectRef, [WHNFData]) Source

primitivePatPatternMatch :: Env -> PrimitivePatPattern -> EgisonPattern -> MatchM ([EgisonPattern], [Binding]) Source

primitiveDataPatternMatch :: PrimitiveDataPattern -> ObjectRef -> MatchM [Binding] Source

expandCollection :: WHNFData -> EgisonM (Seq Inner) Source

isEmptyCollection :: ObjectRef -> EgisonM Bool Source

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

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