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