natural-transformation-0.4.1: A natural transformation package.

# natural-transformation-0.4.1: A natural transformation package.

A natural transformation transforms a container `f a` into another container `g a`. Natural transformations act as functor morphisms in category theory.

The naming of `~>`, `:~>` and `$$` were taken, with permission, from Edward Kmett's `indexed` package.

Modules

natural-transformation-0.4.1

- Control
  Submodules
  - Control.Natural
    Submodules
    - Control.Natural.RULES
  - Control.Object