Generics.Regular.Functions.Zip

Summary: Generic zip.

Zip functions

class Zip f where

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)

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)

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

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

Partial functorial zip with a non-monadic function.