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