Portability | non-portable (class-associated types) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

# Documentation

unmap :: (Full f, Faithful f) => (f a -> f b) -> a -> bSource

For every pair of objects `a`

and `b`

in `C`

a `Full`

`Faithful`

`Functor`

`F : C -> D`

maps every morphism
`f : a -> b`

onto a distinct morphism `f : T a -> T b`

(since it is faithful) and every morphism from
`g : T a -> T b`

can be obtained from some `f`

. (It maps Hom-sets bijectively, or in short `fmap`

has both
a left and right inverse under composition.

unmap . fmap = id