| Stability | experimental |
|---|---|
| Maintainer | ekmett@gmail.com |
| Safe Haskell | None |
Data.Functor.Contravariant.Rep
Description
Representable contravariant endofunctors over the category of Haskell
types are isomorphic to (_ -> r) and resemble mappings to a
fixed range.
- class Contravariant f => Representable f where
- tabulated :: (Representable f, Representable g, Profunctor p, Functor h) => p (f a) (h (g b)) -> p (a -> Rep f) (h (b -> Rep g))
- contramapRep :: Representable f => (a -> b) -> f b -> f a
Representable Contravariant Functors
class Contravariant f => Representable f whereSource
A Contravariant functor f is Representable if tabulate and index witness an isomorphism to (_ -> Rep f).
tabulate.index≡ idindex.tabulate≡ id
Methods
tabulate :: (a -> Rep f) -> f aSource
index :: f a -> a -> Rep fSource
contramapWithRep :: (b -> Either a (Rep f)) -> f a -> f bSource
contramapWithRepf p ≡tabulate$either(indexp)id. f
Instances
| Representable Predicate | |
| Representable (Op r) | |
| Representable (Proxy *) | |
| (Representable f, Representable g) => Representable (Product f g) |
tabulated :: (Representable f, Representable g, Profunctor p, Functor h) => p (f a) (h (g b)) -> p (a -> Rep f) (h (b -> Rep g))Source
tabulate and index form two halves of an isomorphism.
This can be used with the combinators from the lens package.
tabulated::Representablef =>Iso'(a ->Repf) (f a)
Default definitions
contramapRep :: Representable f => (a -> b) -> f b -> f aSource