Language.Egison.Types

data EgisonError

showError

type ThrowsError

trapError

extractValue

type IOThrowsError

liftThrows

runIOThrowsREPL

runIOThrows

data TopExpr

data EgisonExpr

type ArgsExpr

type MatchClause

data PrimitivePattern

data InnerExpr

type Bindings

type RecursiveBindings

type DestructInfoExpr

type ObjectRef

data Object

data EgisonVal

data IntermidiateVal

data Action

data Args

data InnerVal

innerValsToList

tupleToList

collectionToList

valsToObjRefList

makeTupleFromValList

data InnerValRef

type DestructInfo

type VarExpr

type Var

type FrameList

type Frame

type FrameRef

data Env

nullEnv

makeClosure

makeInnerValRef

data MatchFlag

data PClosure

data MAtom

data MState

unwordsList

unwordsNums

showVar

showBindings

showRecursiveBindings

showExpr

eqv

eqVal

showVal

showInnerVals

showIVal

showObj

showFrameList

stringToCharCollection