Data.Functor.Yoneda

Documentation

type Yoneda = YonedaT Identity

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

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

liftYoneda :: a -> Yoneda a

lowerYoneda :: Yoneda a -> a

newtype YonedaT f a

Constructors

YonedaT

Fields

runYonedaT :: forall b. (a -> b) -> f b

Instances

ComonadTrans YonedaT

MonadTrans YonedaT

Monad m => Monad (YonedaT m)

Functor (YonedaT f)

MonadFix m => MonadFix (YonedaT m)

MonadPlus m => MonadPlus (YonedaT m)

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)

Plus f => Plus (YonedaT f)

Alt f => Alt (YonedaT f)

Apply f => Apply (YonedaT f)

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

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

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

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

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

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

lowerYonedaT :: YonedaT f a -> f a

maxF :: (Functor f, Ord (f a)) => YonedaT f a -> YonedaT f a -> YonedaT f a

minF :: (Functor f, Ord (f a)) => YonedaT f a -> YonedaT f a -> YonedaT f a

maxM :: (Monad m, Ord (m a)) => YonedaT m a -> YonedaT m a -> YonedaT m a

minM :: (Monad m, Ord (m a)) => YonedaT m a -> YonedaT m a -> YonedaT m a