Safe Haskell	Safe-Inferred
Language	Haskell2010

Matcher

Documentation

Constructors

MvAttribute Attribute
MvBytes String
MvBindings [Binding]
MvFunction String
MvExpression Expression Expression
MvTail [Tail]

Instances details

Show MetaValue Source #
Instance details Defined in Matcher Methods showsPrec :: Int -> MetaValue -> ShowS # show :: MetaValue -> String # showList :: [MetaValue] -> ShowS #
Eq MetaValue Source #
Instance details Defined in Matcher Methods (==) :: MetaValue -> MetaValue -> Bool # (/=) :: MetaValue -> MetaValue -> Bool #
Pretty MetaValue Source #
Instance details Defined in Pretty Methods pretty :: MetaValue -> Doc ann # prettyList :: [MetaValue] -> Doc ann #

Constructors

TaApplication Binding
TaDispatch Attribute

Instances details

Show Tail Source #
Instance details Defined in Matcher Methods showsPrec :: Int -> Tail -> ShowS # show :: Tail -> String # showList :: [Tail] -> ShowS #
Eq Tail Source #
Instance details Defined in Matcher Methods (==) :: Tail -> Tail -> Bool # (/=) :: Tail -> Tail -> Bool #
Pretty Tail Source #
Instance details Defined in Pretty Methods pretty :: Tail -> Doc ann # prettyList :: [Tail] -> Doc ann #

Constructors

Instances details

Show Subst Source #
Instance details Defined in Matcher Methods showsPrec :: Int -> Subst -> ShowS # show :: Subst -> String # showList :: [Subst] -> ShowS #
Eq Subst Source #
Instance details Defined in Matcher Methods (==) :: Subst -> Subst -> Bool # (/=) :: Subst -> Subst -> Bool #
Pretty Subst Source #
Instance details Defined in Pretty Methods pretty :: Subst -> Doc ann # prettyList :: [Subst] -> Doc ann #