Copyright | (c) Edward Kmett 2011-2014 |
---|---|
License | BSD3 |
Maintainer | ekmett@gmail.com |
Stability | experimental |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
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
- contramapRep :: Representable f => (a -> b) -> f b -> f a
Representable Contravariant Functors
class Contravariant f => Representable f where Source
A Contravariant
functor f
is Representable
if tabulate
and index
witness an isomorphism to (_ -> Rep f)
.
tabulate
.index
≡ idindex
.tabulate
≡ id
tabulate :: (a -> Rep f) -> f a Source
index :: f a -> a -> Rep f Source
contramapWithRep :: (b -> Either a (Rep f)) -> f a -> f b Source
contramapWithRep
f p ≡tabulate
$either
(index
p)id
. f
Representable Predicate | |
Representable (Proxy *) | |
Representable (Op r) | |
(Representable f, Representable g) => Representable (Day f g) | |
(Representable f, Representable g) => Representable (Product f g) |
Default definitions
contramapRep :: Representable f => (a -> b) -> f b -> f a Source