Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Egison.Core

Synopsis

Documentation

egisonVersion :: String Source

egison version number

showBanner :: IO () Source

A utility function to display the egison console banner

showByebyeMessage :: IO () Source

A utility function to display the egison console byebye message

escapeBackslashes :: String -> String Source

A utility function to escape backslashes in the given string

evalString :: Env -> String -> IO String Source

evalMain :: Env -> [String] -> IOThrowsError EgisonVal Source

evalTopExpr :: Env -> TopExpr -> IOThrowsError String Source

Evaluate egison top expression that has already been loaded into haskell

load :: Env -> String -> IOThrowsError () Source

eval :: Env -> EgisonExpr -> IOThrowsError EgisonVal Source

Evaluate egison expression that has already been loaded into haskell

iEval :: IntermidiateVal -> IOThrowsError EgisonVal Source

innerValRefEval :: InnerValRef -> IOThrowsError InnerVal Source

cRefEval :: ObjectRef -> IOThrowsError EgisonVal Source

cRefEval1 :: ObjectRef -> IOThrowsError Object Source

cEval :: Object -> IOThrowsError EgisonVal Source

cEval1 :: Object -> IOThrowsError Object Source

cApply1 :: ObjectRef -> ObjectRef -> IOThrowsError Object Source

expandLoop :: Env -> Object -> IOThrowsError Object Source

extendLet Source

Arguments

:: Env	Environment
-> [(Args, EgisonExpr)]	Extensions to the environment
-> IOThrowsError Env	Extended environment

Extend given environment by binding a series of values to a new environment for let.

makeFrame :: Args -> ObjectRef -> IOThrowsError [(Var, ObjectRef)] Source

innerValRefsToObjRefList :: [InnerValRef] -> IOThrowsError [ObjectRef] Source

patternMatch :: MatchFlag -> [MState] -> IOThrowsError [FrameList] Source

inductiveMatch :: DestructInfo -> String -> ObjectRef -> IOThrowsError (ObjectRef, ObjectRef) Source

primitivePatternMatch :: PrimitivePattern -> ObjectRef -> IOThrowsError (Maybe FrameList) Source

primitivePatternMatchList :: [PrimitivePattern] -> [ObjectRef] -> IOThrowsError (Maybe FrameList) Source

isEmptyCollection :: ObjectRef -> IOThrowsError Bool Source

isEmptyInnerRefs :: [InnerValRef] -> IOThrowsError Bool Source

isEmptyInnerVals :: [InnerVal] -> IOThrowsError Bool Source

consDestruct :: ObjectRef -> IOThrowsError (ObjectRef, ObjectRef) Source

consDestructInnerRefs :: [InnerValRef] -> IOThrowsError (ObjectRef, ObjectRef) Source

consDestructInnerVals :: [InnerVal] -> IOThrowsError (ObjectRef, ObjectRef) Source

snocDestruct :: ObjectRef -> IOThrowsError (ObjectRef, ObjectRef) Source

snocDestructInnerRefs :: [InnerValRef] -> IOThrowsError (ObjectRef, ObjectRef) Source

snocDestructInnerVals :: [InnerVal] -> IOThrowsError (ObjectRef, ObjectRef) Source

collectionToObjRefList :: ObjectRef -> IOThrowsError [ObjectRef] Source

tupleToObjRefList :: ObjectRef -> IOThrowsError [ObjectRef] Source

innerRefsToObjRefList :: [InnerValRef] -> IOThrowsError [ObjectRef] Source

innerValsToObjRefList :: [InnerVal] -> IOThrowsError [ObjectRef] Source

primitiveBindings :: IO Env Source

constants :: [(String, EgisonVal)] Source

ioPrimitives :: [(String, [EgisonVal] -> IOThrowsError EgisonVal)] Source

primitives :: [(String, [EgisonVal] -> ThrowsError EgisonVal)] Source