sweet-egison-0.1.0.2: Shallow embedding implementation of non-linear pattern matching

Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Control.Egison.Matcher.Pair

Description

 

Documentation

data Pair m1 m2 Source #

Constructors

Pair m1 m2 
Instances
(Matcher m1 t1, Matcher m2 t2) => Matcher (Pair m1 m2 :: Type) ((t1, t2) :: Type) Source # 
Instance details

Defined in Control.Egison.Matcher.Pair

tuple2 :: Pattern (PP t1, PP t2) (Pair m1 m2) (t1, t2) (t1, t2) Source #

tuple2M :: Pair m1 m2 -> (t1, t2) -> (m1, m2) Source #