egison-4.2.0: Programming language with non-linear pattern-matching against non-free data
LicenseMIT
Safe HaskellNone
LanguageGHC2021

Language.Egison.Match

Description

This module defines some data types Egison pattern matching.

Documentation

type Match = [Binding] Source #

data MatchingTree Source #

Constructors

MAtom IPattern WHNFData Matcher 
MNode [PatternBinding] MatchingState 

Instances

Instances details
Show MatchingTree Source # 
Instance details

Defined in Language.Egison.Match

Methods

showsPrec :: Int -> MatchingTree -> ShowS #

show :: MatchingTree -> String #

showList :: [MatchingTree] -> ShowS #

data MatchingState Source #

Constructors

MState 

Fields

Instances

Instances details
Show MatchingState Source # 
Instance details

Defined in Language.Egison.Match

Methods

showsPrec :: Int -> MatchingState -> ShowS #

show :: MatchingState -> String #

showList :: [MatchingState] -> ShowS #

type PatternBinding = (String, IPattern) Source #

data LoopPatContext Source #

Constructors

LoopPatContext (String, ObjectRef) ObjectRef IPattern IPattern IPattern 

data SeqPatContext Source #

Constructors

SeqPatContext [MatchingTree] IPattern [Matcher] [WHNFData] 
ForallPatContext [Matcher] [WHNFData] 

nullMState :: MatchingState -> Bool Source #

type MatchM = MaybeT EvalM Source #

matchFail :: MatchM a Source #