Control.Egison.Matcher.Pair

Contents

Description

Documentation

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

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

Orphan instances

(Matcher m1 t1, Matcher m2 t2) => Matcher ((m1, m2) :: Type) ((t1, t2) :: Type) Source #
Instance details
(Eq a1, Matcher m1 a1, ValuePattern m1 a1, Eq a2, Matcher m2 a2, ValuePattern m2 a2) => ValuePattern (m1, m2) (a1, a2) Source #
Instance details Methods value :: (a1, a2) -> Pattern () (m1, m2) (a1, a2) () Source # valueM :: (m1, m2) -> (a1, a2) -> () Source #