Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM Env Source
evalTopExpr :: Env -> EgisonTopExpr -> EgisonM Env Source
evalExpr' :: Env -> EgisonExpr -> EgisonM EgisonValue Source
evalDeep :: WHNFData -> EgisonM EgisonValue Source
generateArray :: Env -> String -> EgisonExpr -> EgisonExpr -> EgisonM WHNFData Source
writeThunk :: ObjectRef -> WHNFData -> EgisonM () Source
makeBindings :: [String] -> [ObjectRef] -> [Binding] Source
recursiveBind :: Env -> [(String, EgisonExpr)] -> EgisonM Env Source
patternMatch :: PMMode -> Env -> EgisonPattern -> ObjectRef -> WHNFData -> EgisonM (MList EgisonM [Binding]) Source
processMStates :: PMMode -> [MList EgisonM MatchingState] -> EgisonM (MList EgisonM [Binding]) Source
processMStates' :: PMMode -> MList EgisonM MatchingState -> (Maybe [Binding], [EgisonM (MList EgisonM MatchingState)]) Source
processMState :: PMMode -> 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