This package adds a range of more or less exotic functors to Curry, including contravariant functors, bifunctors and profunctors.

Contravariant functors, as known from Haskell, are functors that 'flip' the direction of the mapped function:

class Contravariant f where
  contramap :: (a -> b) -> f b -> f a

A simple example of a bifunctor is a regular function where the functor maps over the argument rather than the result.

Bifunctors, as known from Haskell, are (covariant) functors over types with two arguments:

class Bifunctor p where
  -- | Maps over both arguments at the same time.
  bimap :: (a -> b) -> (c -> d) -> p a c -> p b d

Examples of bifunctors are Either and (,) (2-ary tuples).

Profunctors, as known from Haskell, are functors over types with two arguments where the first argument is contravariant and the second argument is covariant (compare this to bifunctors where both arguments are covariant):

class Profunctor p where
  -- | Maps over both arguments at the same time.
  dimap :: (a -> b) -> (c -> d) -> p b c -> p a d

An example of a profunctor is (->) (functions).

Comonads, as known from Haskell, are the dual of monads, i.e. monads construct and comonads deconstruct:

class Functor w => Comonad w where
  extract :: w a -> a
  duplicate :: w a -> w (w a)

The modules are adapted from BSD-licensed code from Haskell's base libraries and related packages (bifunctors, profunctors, comonad) under the following copyrights: