ComonadTrans Yoneda | |

MonadTrans Yoneda | |

Monad m => Monad (Yoneda m) | |

Functor (Yoneda f) | |

MonadFix f => MonadFix (Yoneda f) | |

MonadPlus f => MonadPlus (Yoneda f) | |

Applicative f => Applicative (Yoneda f) | |

Foldable f => Foldable (Yoneda f) | |

Traversable f => Traversable (Yoneda f) | |

Alternative f => Alternative (Yoneda f) | |

Comonad w => Comonad (Yoneda w) | |

Distributive f => Distributive (Yoneda f) | |

Keyed f => Keyed (Yoneda f) | |

Zip f => Zip (Yoneda f) | |

ZipWithKey f => ZipWithKey (Yoneda f) | |

(Functor f, Indexable f) => Indexable (Yoneda f) | |

(Functor f, Lookup f) => Lookup (Yoneda f) | |

FoldableWithKey f => FoldableWithKey (Yoneda f) | |

FoldableWithKey1 f => FoldableWithKey1 (Yoneda f) | |

TraversableWithKey f => TraversableWithKey (Yoneda f) | |

TraversableWithKey1 f => TraversableWithKey1 (Yoneda f) | |

Representable f => Representable (Yoneda f) | |

Plus f => Plus (Yoneda f) | |

Alt f => Alt (Yoneda f) | |

Traversable1 f => Traversable1 (Yoneda f) | |

Foldable1 f => Foldable1 (Yoneda f) | |

Apply f => Apply (Yoneda f) | |

Bind m => Bind (Yoneda m) | |

Extend w => Extend (Yoneda w) | |

Adjunction f g => Adjunction (Yoneda f) (Yoneda g) | |

(Functor f, Eq (f a)) => Eq (Yoneda f a) | |

(Functor f, Ord (f a)) => Ord (Yoneda f a) | |

(Functor f, Read (f a)) => Read (Yoneda f a) | |

(Functor f, Show (f a)) => Show (Yoneda f a) | |