regular-0.3.1: Generic programming library for regular datatypes.

Generics.Regular.Functions.Zip

Contents

Description

Summary: Generic zip.

Synopsis

class Zip f whereSource

The Zip class defines a monadic zip on functorial values.

Zip

Methods

fzipM :: Monad m => (a -> b -> m c) -> f a -> f b -> m (f c)Source

Instances

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 cSource

Partial functorial zip with a non-monadic function.