Generics.EMGM.Functions.UnzipWith

Summary: Generic function that applies a (non-generic) function to every element in a value, splitting the element into two. The result is a pair of structurally equivalent values, one with the elements from the first component of the splitting function and the other with the elements from the second component.

UnzipWith can be seen as the dual of ZipWith, though it has no direct Prelude counterpart. Only unzip has a Prelude analog.

See also Generics.EMGM.Functions.ZipWith.

Documentation

newtype UnzipWith m a b c

The type of a generic function that takes an argument of one type and returns a pair of values with two different types.

Constructors

UnzipWith

Fields

selUnzipWith :: a -> m (b, c)

Instances

Monad m => Generic3 (UnzipWith m)

unzipWithM

Arguments

:: (Monad m, FRep3 (UnzipWith m) f)

=> (a -> m (b, c))

Splitting function.

-> f a

Container of a-values.

-> m (f b, f c)

Pair of containers.

Splits a container into two structurally equivalent containers by applying a function to every element, which splits it into two corresponding elements. Fails if the spliting function fails

unzipWith :: FRep3 (UnzipWith Id) f => (a -> (b, c)) -> f a -> (f b, f c)

A specialized version of unzipWithM using the identity monad and a splitting function that does not fail.

unzip :: FRep3 (UnzipWith Id) f => f (b, c) -> (f b, f c)

A specialized version of unzipWith for pairs. Generic version of Prelude.unzip.