DeepArrow-0.0.1: Arrows for "deep application"Source codeContentsIndex
Data.Tupler
Portabilityportable
Stabilityexperimental
Maintainerconal@conal.net
Description
The tuple type constructors (i.e., (,), (,,), etc) are to value types, as the tupler type constructors are to type constructors.
Synopsis
newtype Pair1 f g a = Pair1 {
unPair1 :: (f a, g a)
}
newtype Pair2 f g a b = Pair2 {
unPair2 :: (f a b, g a b)
}
Documentation
newtype Pair1 f g a Source
Pairing for unary type constructors.
Constructors
Pair1
unPair1 :: (f a, g a)
show/hide Instances
(Typeable1 f, Typeable1 g) => Typeable1 (Pair1 f g)
(FunArr ar w, FunArr ar' w') => FunArr (Pair2 ar ar') (Pair1 w w')
(Eq (f a), Eq (g a)) => Eq (Pair1 f g a)
(Ord (f a), Ord (g a)) => Ord (Pair1 f g a)
(Show (f a), Show (g a)) => Show (Pair1 f g a)
newtype Pair2 f g a b Source
Pairing for binary type constructors.
Constructors
Pair2
unPair2 :: (f a b, g a b)
show/hide Instances
(Typeable2 f, Typeable2 g) => Typeable2 (Pair2 f g)
(Arrow f, Arrow f') => Arrow (Pair2 f f')
(DeepArrow ar, DeepArrow ar') => DeepArrow (Pair2 ar ar')
(FunArr ar w, FunArr ar' w') => FunArr (Pair2 ar ar') (Pair1 w w')
(Eq (f a b), Eq (g a b)) => Eq (Pair2 f g a b)
(Ord (f a b), Ord (g a b)) => Ord (Pair2 f g a b)
(Show (f a b), Show (g a b)) => Show (Pair2 f g a b)
Produced by Haddock version 2.3.0