| (Representable f, MonadWriter w m) => MonadWriter w (RepT f m) | |
| Representable f => MonadTrans (RepT f) | |
| (Representable f, Monad m) => Monad (RepT f m) | |
| (Functor f, Functor m) => Functor (RepT f m) | |
| (Representable f, Applicative m) => Applicative (RepT f m) | |
| (Foldable f, Foldable m) => Foldable (RepT f m) | |
| (Traversable f, Traversable m) => Traversable (RepT f m) | |
| (Representable f, Representable m, Semigroup (Key f), Semigroup (Key m), Monoid (Key f), Monoid (Key m)) => Comonad (RepT f m) | |
| (Representable f, Representable m, Semigroup (Key f), Semigroup (Key m)) => Extend (RepT f m) | |
| (Representable f, Distributive m) => Distributive (RepT f m) | |
| (Foldable1 f, Foldable1 m) => Foldable1 (RepT f m) | |
| (Traversable1 f, Traversable1 m) => Traversable1 (RepT f m) | |
| (Keyed f, Keyed m) => Keyed (RepT f m) | |
| (Indexable f, Indexable m) => Indexable (RepT f m) | |
| (Lookup f, Lookup m) => Lookup (RepT f m) | |
| (FoldableWithKey f, FoldableWithKey m) => FoldableWithKey (RepT f m) | |
| (FoldableWithKey1 f, FoldableWithKey1 m) => FoldableWithKey1 (RepT f m) | |
| (TraversableWithKey f, TraversableWithKey m) => TraversableWithKey (RepT f m) | |
| (TraversableWithKey1 f, TraversableWithKey1 m) => TraversableWithKey1 (RepT f m) | |
| (Representable f, MonadIO m) => MonadIO (RepT f m) | |
| (Representable f, Apply m) => Apply (RepT f m) | |
| (Representable f, Bind m) => Bind (RepT f m) | |
| (Representable f, Representable m) => Representable (RepT f m) | |