Data.Rope.Util.Product

Documentation

data a :*: b

Constructors

!a :*: !b

Instances

Bifunctor :*:

Product :*:

(Reducer c a, Reducer c b) => Reducer c (:*: a b)

Functor (:*: a)

Comonad (:*: a)

(Monoid a, Monoid b) => Monoid (:*: a b)

(Annotation a, Annotation b) => Annotation (:*: a b)

class Bifunctor p => Product p where

Methods

fst :: p a b -> a

snd :: p a b -> b

pair :: a -> b -> p a b

curry :: (p a b -> c) -> a -> b -> c

uncurry :: (a -> b -> c) -> p a b -> c

both :: (a -> b) -> (a -> c) -> a -> p b c

diag :: a -> p a a

Instances

Product (,)

Product :*:

bothC :: (Product p, Functor f) => (f a -> b) -> (f c -> d) -> f (p a c) -> p b d

unzip :: (Product p, Functor f) => f (p a b) -> p (f a) (f b)