Control.Functor.Zip

Described in http://comonad.com/reader/2008/zipping-and-unzipping-functors/ and http://comonad.com/reader/2008/cozipping/

Documentation

unfzip :: Functor f => f (a, b) -> (f a, f b)

unbizip :: Bifunctor p => p (a, c) (b, d) -> (p a b, p c d)

counzip :: Functor f => Either (f a) (f b) -> f (Either a b)

counbizip :: Bifunctor f => Either (f a c) (f b d) -> f (Either a b) (Either c d)

class Functor f => Zip f where

Minimum definition:

1. fzipWith
2. fzip

Methods

fzip :: f a -> f b -> f (a, b)

fzipWith :: (a -> b -> c) -> f a -> f b -> f c

Instances

Zip []

Zip Maybe

Zip Identity

Monoid a => Zip (Either a)

Monoid a => Zip ((,) a)

Bizip p => Zip (FixB p)

class Bifunctor p => Bizip p where

Minimum definition:

1. bizipWith
2. bizip

Methods

bizip :: p a c -> p b d -> p (a, b) (c, d)

bizipWith :: (a -> b -> e) -> (c -> d -> f) -> p a c -> p b d -> p e f

Instances

Bizip (,)

(Zip f, Bizip p) => Bizip (FunctorB f p)

(Bizip p, Zip f, Zip g) => Bizip (BiffB p f g)

class Functor f => Cozip f where

Methods

cozip :: f (Either a b) -> Either (f a) (f b)

Instances

Cozip Maybe

Cozip Identity

Cozip (Either c)

Cozip ((,) c)