Portability | non-portable |
---|---|

Stability | experimental |

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

Safe Haskell | Safe-Inferred |

Corepresentable functors as vector spaces

# Documentation

class Functor f => Core f whereSource

A `Functor`

`f`

is corepresentable if it is isomorphic to `(x -> a)`

for some x. Nearly all such functors can be represented by choosing `x`

to be
the set of lenses that are polymorphic in the contents of the `Functor`

,
that is to say `x = `

is a valid choice of `Rep`

f`x`

for (nearly) every
`Representable`

`Functor`

.