(Monoid r, MonadFresh i m) => MonadFresh i (WriterT r m) Source # | |
Instance details |
(Monoid r, MonadBlock m) => MonadBlock (WriterT r m) Source # | |
Instance details |
(Monoid r, MonadStConcreteNames m) => MonadStConcreteNames (WriterT r m) Source # | |
Instance details |
(Monoid r, MonadTCM m, MonadConstraint m) => MonadConstraint (WriterT r m) Source # | |
Instance details |
(Monoid r, MonadInteractionPoints m) => MonadInteractionPoints (WriterT r m) Source # | |
Instance details |
(Monoid r, MonadTCM m, MonadMetaSolver m) => MonadMetaSolver (WriterT r m) Source # | |
Instance details |
(Monoid r, MonadWarning m) => MonadWarning (WriterT r m) Source # | |
Instance details |
(Monoid r, Monad m, IsString (m a)) => IsString (WriterT r m a) Source # | |
Instance details |
(Monoid r, Monad m, Semigroup (m Doc)) => Semigroup (WriterT r m Doc) Source # | |
Instance details |