rope-0.1: Tools for manipulating annotated ropes of bytestrings

Data.Rope.Util.Product

data a :*: b Source

Constructors

Instances

class Bifunctor p => Product p whereSource

Methods

fst :: p a b -> aSource

snd :: p a b -> bSource

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

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

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

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

diag :: a -> p a aSource

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

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