Data.Zippable

interface Zippable : (Type -> Type) -> Type

  The `Zippable` interface describes how you can combine and split the
  elements in a parameterised type.
  @ z the parameterised type

Parameters: z
Methods:

zipWith : (a -> b -> c) -> z a -> z b -> z c

  Combine two parameterised types by applying a function.
  @ z the parameterised type
  @ func the function to combine elements with

zip : z a -> z b -> z (a, b)

  Combine two parameterised types into a parameterised type of pairs.
  @ z the parameterised type

Fixity Declaration: infixr operator, level 6

zipWith3 : (a -> b -> c -> d) -> z a -> z b -> z c -> z d

  Combine three parameterised types by applying a function.
  @ z the parameterised type
  @ func the function to combine elements with

zip3 : z a -> z b -> z c -> z (a, (b, c))

  Combine three parameterised types into a parameterised type of triplets.
  @ z the parameterised type

unzipWith : (a -> (b, c)) -> z a -> (z b, z c)

  Split a parameterised type by applying a function into a pair of
  parameterised types.
  @ z the parameterised type
  @ func the function to split elements with

unzip : z (a, b) -> (z a, z b)

  Split a parameterised type of pairs into a pair of parameterised types.
  @ z the parameterised type

unzipWith3 : (a -> (b, (c, d))) -> z a -> (z b, (z c, z d))

  Split a parameterised type by applying a function into a triplet of
  parameterised types.
  @ z the parameterised type
  @ func the function to split elements with

unzip3 : z (a, (b, c)) -> (z a, (z b, z c))

  Split a parameterised type of triplets into a triplet of parameterised
  types.
  @ z the parameterised type

Implementations:

Zippable Stream
Zippable (Vect k)
Zippable Colist1
Zippable Colist
Zippable List1
Zippable List

unzip : Zippable z => z (a, b) -> (z a, z b)

  Split a parameterised type of pairs into a pair of parameterised types.
  @ z the parameterised type

Totality: total

unzip3 : Zippable z => z (a, (b, c)) -> (z a, (z b, z c))

  Split a parameterised type of triplets into a triplet of parameterised
  types.
  @ z the parameterised type

Totality: total

unzipWith : Zippable z => (a -> (b, c)) -> z a -> (z b, z c)

  Split a parameterised type by applying a function into a pair of
  parameterised types.
  @ z the parameterised type
  @ func the function to split elements with

Totality: total

unzipWith3 : Zippable z => (a -> (b, (c, d))) -> z a -> (z b, (z c, z d))

  Split a parameterised type by applying a function into a triplet of
  parameterised types.
  @ z the parameterised type
  @ func the function to split elements with

Totality: total

zip : Zippable z => z a -> z b -> z (a, b)

  Combine two parameterised types into a parameterised type of pairs.
  @ z the parameterised type

Totality: total
Fixity Declaration: infixr operator, level 6

zip3 : Zippable z => z a -> z b -> z c -> z (a, (b, c))

  Combine three parameterised types into a parameterised type of triplets.
  @ z the parameterised type

Totality: total

zipWith : Zippable z => (a -> b -> c) -> z a -> z b -> z c

  Combine two parameterised types by applying a function.
  @ z the parameterised type
  @ func the function to combine elements with

Totality: total

zipWith3 : Zippable z => (a -> b -> c -> d) -> z a -> z b -> z c -> z d

  Combine three parameterised types by applying a function.
  @ z the parameterised type
  @ func the function to combine elements with

Totality: total