interface Natural <out F, in G> Source #
Natural transformation
If functor map operations transform the bound-values within the structure, then
natural-transformations transform the structure itself.
Functors are referenced, because that's the true definition in category-theory, but there is no requirement in language-ext for FA or GA to be functors. It is just typically true that FA and GA will also be functors.
Parameters
| type | F | From functor |
| type | G | To functor |
Methods
method K<G, A> Transform <A> (K<F, A> fa) Source #
Perform a natural transformation from FA -> GA
If functor map operations transform the bound-values within the structure, then
natural-transformations transform the structure itself.
Functors are referenced, because that's the true definition in category-theory, but there is no requirement in language-ext for FA or GA to be functors. It is just typically true that FA and GA will also be functors.
Parameters
| type | A | Bound value type |
| param | fa | Functor to transform |
| returns | Transformed functor | |
Methods
method K<G, A> transform <F, G, A> (K<F, A> fa) Source #
Natural transformation
If functor map operations transform the bound-values within the structure, then
natural-transformations transform the structure itself.
Functors are referenced, because that's the true definition in category-theory, but there is no requirement in language-ext for FA or GA to be functors. It is just typically true that FA and GA will also be functors.
Parameters
| type | F | Source functor type |
| type | G | Target functor type |
| type | A | Bound value type |
| param | fa | Functor to transform |
| returns | Transformed functor | |