Module

# Data.NaturalTransformation

- Package
- purescript-prelude
- Repository
- purescript/purescript-prelude

### #NaturalTransformation Source

`type NaturalTransformation f g = forall a. f a -> g a`

A type for natural transformations.

A natural transformation is a mapping between type constructors of kind
`* -> *`

where the mapping operation has no ability to manipulate the
inner values.

An example of this is the `fromFoldable`

function provided in
`purescript-lists`

, where some foldable structure containing values of
type `a`

is converted into a `List a`

.

The definition of a natural transformation in category theory states that
`f`

and `g`

should be functors, but the `Functor`

constraint is not
enforced here; that the types are of kind `* -> *`

is enough for our
purposes.

- Modules
- Control.
Applicative - Control.
Apply - Control.
Bind - Control.
Category - Control.
Monad - Control.
Semigroupoid - Data.
Boolean - Data.
BooleanAlgebra - Data.
Bounded - Data.
CommutativeRing - Data.
Eq - Data.
EuclideanRing - Data.
Field - Data.
Function - Data.
Functor - Data.
HeytingAlgebra - Data.
NaturalTransformation - Data.
Ord - Data.
Ord. Unsafe - Data.
Ordering - Data.
Ring - Data.
Semigroup - Data.
Semiring - Data.
Show - Data.
Unit - Data.
Void - Prelude