SDP.ZipM

SDP.ZipM provides ZipM - class of monadic zips.

Export

module SDP.Zip

ZipM

class Monad m => ZipM m z | z -> m where

ZipM is monadic version of Zip.

Minimal complete definition

zipWithM

Methods

zipM :: z a -> z b -> m (z (a, b))

Monadic zip.

zipM3 :: z a -> z b -> z c -> m (z (a, b, c))

Monadic zip3.

zipM4 :: z a -> z b -> z c -> z d -> m (z (a, b, c, d))

Monadic zip4.

zipM5 :: z a -> z b -> z c -> z d -> z e -> m (z (a, b, c, d, e))

Monadic zip5.

zipM6 :: z a -> z b -> z c -> z d -> z e -> z f -> m (z (a, b, c, d, e, f))

Monadic zip6.

mzipWith :: (a -> b -> r) -> z a -> z b -> m (z r)

Pure to monadic lifted zipWith.

mzipWith3 :: (a -> b -> c -> r) -> z a -> z b -> z c -> m (z r)

Pure to monadic lifted zipWith3.

mzipWith4 :: (a -> b -> c -> d -> r) -> z a -> z b -> z c -> z d -> m (z r)

Pure to monadic lifted zipWith4.

mzipWith5 :: (a -> b -> c -> d -> e -> r) -> z a -> z b -> z c -> z d -> z e -> m (z r)

Pure to monadic lifted zipWith5.

mzipWith6 :: (a -> b -> c -> d -> e -> f -> r) -> z a -> z b -> z c -> z d -> z e -> z f -> m (z r)

Pure to monadic lifted zipWith6.

zipWithM :: (a -> b -> m r) -> z a -> z b -> m (z r)

Monadic zipWith.

zipWithM3 :: (a -> b -> c -> m r) -> z a -> z b -> z c -> m (z r)

Monadic zipWith3.

zipWithM4 :: (a -> b -> c -> d -> m r) -> z a -> z b -> z c -> z d -> m (z r)

Monadic zipWith4.

zipWithM5 :: (a -> b -> c -> d -> e -> m r) -> z a -> z b -> z c -> z d -> z e -> m (z r)

Monadic zipWith5.

zipWithM6 :: (a -> b -> c -> d -> e -> f -> m r) -> z a -> z b -> z c -> z d -> z e -> z f -> m (z r)

Monadic zipWith6.