Language.Egison.Core

evalTopExprs

evalTopExpr

evalExpr

evalExpr'

evalRef

evalRef'

evalDeep

applyFunc

generateArray

newThunk

writeThunk

newEvaluatedThunk

makeBindings

recursiveBind

fromArray

fromTuple

fromCollection

patternMatch

processMStates

processMState

processMState'

inductiveMatch

primitivePatPatternMatch

primitiveDataPatternMatch

expandCollection

isEmptyCollection

unconsCollection

unsnocCollection