| Copyright | (C) 2013 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | provisional |
| Portability | GADTs, TFs, MPTCs |
| Safe Haskell | Trustworthy |
| Language | Haskell98 |
Data.Functor.Contravariant.Yoneda
Description
- newtype Yoneda f a = Yoneda {
- runYoneda :: forall r. (r -> a) -> f r
- liftYoneda :: Contravariant f => f a -> Yoneda f a
- lowerYoneda :: Yoneda f a -> f a
Documentation
Yoneda embedding for a presheaf
Instances
| Contravariant (Yoneda f) | |
| Representable f => Representable (Yoneda f) | |
| Adjunction f g => Adjunction (Yoneda f) (Yoneda g) | |
| type Rep (Yoneda f) = Rep f |
liftYoneda :: Contravariant f => f a -> Yoneda f a Source
liftYoneda.lowerYoneda≡idlowerYoneda.liftYoneda≡id
lowerYoneda :: Yoneda f a -> f a Source