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