Language.Egison.Types

Egison expressions

data EgisonTopExpr

data EgisonExpr

data EgisonPattern

data InnerExpr

type BindingExpr

type MatchClause

type MatcherInfo

data LoopRange

data PrimitivePatPattern

data PrimitiveDataPattern

Egison values

data EgisonValue

type Matcher

type PrimitiveFunc

data EgisonHashKey

class Egison a

fromMatcherValue

Internal data

data Object

type ObjectRef

data WHNFData

data Intermediate

data Inner

class EgisonWHNF a

fromBuiltinWHNF

Environment

type Env

type Var

type Binding

nullEnv

extendEnv

refVar

Pattern matching

data PMMode

data MatchingState

data MatchingTree

type PatternBinding

data LoopContext

Errors

data EgisonError

liftError

Monads

data EgisonM a

runEgisonM

liftEgisonM

fromEgisonM

data FreshT m a

type Fresh

class MonadFresh m

runFreshT

type MatchM

matchFail

data MList m a

fromList

fromSeq

fromMList

msingleton

mfoldr

mappend

mconcat

mmap

mfor