Data.Functor.Yoneda.Contravariant

Documentation

type Yoneda = YonedaT Identity

yoneda :: (b -> a) -> b -> Yoneda a

liftYoneda :: a -> Yoneda a

lowerYoneda :: Yoneda a -> a

liftYonedaT :: f a -> YonedaT f a

lowerYonedaT :: Functor f => YonedaT f a -> f a

lowerM :: Monad f => YonedaT f a -> f a

data YonedaT f a where

The contravariant Yoneda lemma applied to a covariant functor

Constructors

YonedaT :: (b -> a) -> f b -> YonedaT f a

Instances

ComonadTrans YonedaT

MonadTrans YonedaT

Monad m => Monad (YonedaT m)

Functor (YonedaT f)

MonadFix f => MonadFix (YonedaT f)

MonadPlus f => MonadPlus (YonedaT f)

Applicative f => Applicative (YonedaT f)

Foldable f => Foldable (YonedaT f)

Traversable f => Traversable (YonedaT f)

Alternative f => Alternative (YonedaT f)

Comonad w => Comonad (YonedaT w)

Extend w => Extend (YonedaT w)

Distributive f => Distributive (YonedaT f)

Foldable1 f => Foldable1 (YonedaT f)

Traversable1 f => Traversable1 (YonedaT f)

Keyed f => Keyed (YonedaT f)

(Functor f, Indexable f) => Indexable (YonedaT f)

FoldableWithKey f => FoldableWithKey (YonedaT f)

FoldableWithKey1 f => FoldableWithKey1 (YonedaT f)

TraversableWithKey f => TraversableWithKey (YonedaT f)

TraversableWithKey1 f => TraversableWithKey1 (YonedaT f)

Representable f => Representable (YonedaT f)

Plus f => Plus (YonedaT f)

Alt f => Alt (YonedaT f)

Apply f => Apply (YonedaT f)

Bind m => Bind (YonedaT m)

Adjunction f g => Adjunction (YonedaT f) (YonedaT g)

(Functor f, Eq (f a)) => Eq (YonedaT f a)

(Functor f, Ord (f a)) => Ord (YonedaT f a)

(Functor f, Read (f a)) => Read (YonedaT f a)

(Functor f, Show (f a)) => Show (YonedaT f a)