Language.Egison.Types
data EgisonTopExpr
data EgisonExpr
data EgisonPattern
data Arg
data Index a
data UserIndex a
data InnerExpr
type BindingExpr
type MatchClause
type MatcherInfo
data LoopRange
data PrimitivePatPattern
data PrimitiveDataPattern
type Matcher
type PrimitiveFunc
class EgisonData a
data EgisonValue
data ScalarData
data PolyExpr
data TermExpr
data SymbolExpr
data Tensor a
class HasTensor a
data Object
type ObjectRef
data WHNFData
data Intermediate
data Inner
class EgisonWHNF a
data Env
data 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