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
data ScalarData
data PolyExpr
data TermExpr
data SymbolExpr
data TensorData
data Tensor a
type Matcher
type PrimitiveFunc
class EgisonData a
data Object
type ObjectRef
data WHNFData
data Intermediate
data Inner
class EgisonWHNF a
data Env
type Var
type Binding
type Match
data PMMode
data MatchingState
data MatchingTree
type PatternBinding
data LoopPatContext
data EgisonError
data EgisonM a
data FreshT m a
type Fresh
class MonadFresh m
type MatchM
data MList m a