regular-0.2.1: Generic programming library for regular datatypes. Source code Contents Index

Generics.Regular.Functions.Zip Portability non-portable Stability experimental Maintainer generics@haskell.org

Contents Zip functions

Description

Summary: Generic zip.

Synopsis

class Zip f where fzipM :: Monad m => (a -> b -> m c) -> f a -> f b -> m (f c) fzip :: (Zip f, Monad m) => (a -> b -> c) -> f a -> f b -> m (f c) fzip' :: Zip f => (a -> b -> c) -> f a -> f b -> f c

Zip functions

class Zip f where Source

The Zip class defines a monadic zip on functorial values. Methods fzipM :: Monad m => (a -> b -> m c) -> f a -> f b -> m (f c) Source Instances Zip U Zip I Eq a => Zip (K a) Zip f => Zip (S s f) Zip f => Zip (C c f) (Zip f, Zip g) => Zip (f :*: g) (Zip f, Zip g) => Zip (f :+: g)

fzip :: (Zip f, Monad m) => (a -> b -> c) -> f a -> f b -> m (f c) Source

Functorial zip with a non-monadic function, resulting in a monadic value.

fzip' :: Zip f => (a -> b -> c) -> f a -> f b -> f c Source

Partial functorial zip with a non-monadic function.

Produced by Haddock version 2.4.2