IdrisDoc: Interfaces.Correlative

# Interfaces.Correlative

zipWith3 : Correlative f => (a -> b -> c -> d) -> f a -> f b -> f c -> f d

  Combine three containers elementwise using some function.

zipWith : Correlative f => (a -> b -> c) -> f a -> f b -> f c

  Combine two containers elementwise using some function.

zip3 : Correlative f => f a -> f b -> f c -> f (a, b, c)

  Combine three containers elementwise into a container of tuples.

zip : Correlative f => f a -> f b -> f (a, b)

  Combine two containers elementwise into a container of pairs.

unzip3 : Functor t => t (a, b, c) -> (t a, t b, t c)

  Convert a container of tuples into a tuple of containers.

unzip : Functor t => t (a, b) -> (t a, t b)

  Convert a container of pairs into a pair of containers.

interface Correlative

  A Correlative functor is a functor where, given `(xs, ys : Correlative f)`,
  certain elements from xs and ys can be paired with one another due to some
  intrinsic property of `f`. Elements that cannot be paired are discarded.

  (</>) : Correlative f => f (a -> b) -> f a -> f b
    Fixity
      Left associative, precedence 3
(</) : Correlative f => f a -> f b -> f a
  Fixity
    Left associative, precedence 3
(/>) : Correlative f => f a -> f b -> f b
  Fixity
    Left associative, precedence 3