Safe Haskell | None |
---|
Documentation
evalTopExprs :: Env -> [EgisonTopExpr] -> EgisonM EnvSource
evalTopExpr :: Env -> EgisonTopExpr -> EgisonM EnvSource
loadFile :: FilePath -> EgisonM [EgisonTopExpr]Source
evalExpr' :: Env -> EgisonExpr -> EgisonM EgisonValueSource
generateArray :: Env -> String -> EgisonExpr -> EgisonExpr -> EgisonM WHNFDataSource
writeThunk :: ObjectRef -> WHNFData -> EgisonM ()Source
makeBindings :: [String] -> [ObjectRef] -> [Binding]Source
recursiveBind :: Env -> [(String, EgisonExpr)] -> EgisonM EnvSource
patternMatch :: Env -> EgisonPattern -> ObjectRef -> WHNFData -> EgisonM (MList EgisonM [Binding])Source
processMStates :: [MList EgisonM MatchingState] -> EgisonM (MList EgisonM [Binding])Source
inductiveMatch :: Env -> EgisonPattern -> ObjectRef -> Matcher -> EgisonM ([EgisonPattern], MList EgisonM ObjectRef, [WHNFData])Source
primitivePatPatternMatch :: Env -> PrimitivePatPattern -> EgisonPattern -> MatchM ([EgisonPattern], [Binding])Source