egison-3.0.5: An Interpreter for the Programming Language Egison

Safe Haskell	None

Language.Egison.Core

Documentation

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

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

loadFile :: FilePath -> EgisonM [EgisonTopExpr]Source

loadLibraryFile :: FilePath -> EgisonM [EgisonTopExpr]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