Language.Egison.Match

This module defines some data types Egison pattern matching.

Documentation

type Match = [Binding]

data MatchingTree

Constructors

MAtom IPattern WHNFData Matcher

MNode [PatternBinding] MatchingState

Instances

Show MatchingTree

Defined in Language.Egison.Match

Methods

showsPrec :: Int -> MatchingTree -> ShowS

show :: MatchingTree -> String

showList :: [MatchingTree] -> ShowS

data MatchingState

Constructors

MState

Fields

• mStateEnv :: Env
• loopPatCtx :: [LoopPatContext]
• seqPatCtx :: [SeqPatContext]
• mStateBindings :: [Binding]
• mTrees :: [MatchingTree]

Instances

Show MatchingState

Defined in Language.Egison.Match

Methods

showsPrec :: Int -> MatchingState -> ShowS

show :: MatchingState -> String

showList :: [MatchingState] -> ShowS

type PatternBinding = (String, IPattern)

data LoopPatContext

Constructors

LoopPatContext (String, ObjectRef) ObjectRef IPattern IPattern IPattern

data SeqPatContext

Constructors

SeqPatContext [MatchingTree] IPattern [Matcher] [WHNFData]

ForallPatContext [Matcher] [WHNFData]

nullMState :: MatchingState -> Bool

type MatchM = MaybeT EvalM

matchFail :: MatchM a