Generics.Regular.Functions.Zip

Contents

Description

Summary: Generic zip.

Synopsis

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

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.