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
(Eq a1, Matcher m1 a1, ValuePattern m1 a1, Eq a2, Matcher m2 a2, ValuePattern m2 a2) => ValuePattern (Pair m1 m2) (a1, a2) Source #
Instance details Defined in Control.Egison.Matcher.Pair Methods value :: (a1, a2) -> Pattern () (Pair m1 m2) (a1, a2) () Source # valueM :: Pair m1 m2 -> (a1, a2) -> () Source #

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

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