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
fx
for (nearly) every
Representable
Functor
.