Language.Egison.Types
data EgisonTopExpr
data EgisonExpr
data EgisonPattern
data InnerExpr
type BindingExpr
type MatchClause
type MatcherInfo
data LoopRange
data PrimitivePatPattern
data PrimitiveDataPattern
data EgisonValue
type Matcher
type PrimitiveFunc
class EgisonData a
data Object
type ObjectRef
data WHNFData
data Intermediate
data Inner
class EgisonWHNF a
type Env
type Var
type Binding
type Match
data PMMode
data MatchingState
data MatchingTree
type PatternBinding
data LoopContext
data EgisonError
data EgisonM a
data FreshT m a
type Fresh
class MonadFresh m
type MatchM
data MList m a