Safe Haskell	None
Language	Haskell2010

Agda.Utils.Semigroup

Contents

Description

Some semigroup instances used in several places

Orphan instances

(Monad m, Semigroup doc) => Semigroup (MaybeT m doc) Source #
Instance details Methods (<>) :: MaybeT m doc -> MaybeT m doc -> MaybeT m doc # sconcat :: NonEmpty (MaybeT m doc) -> MaybeT m doc # stimes :: Integral b => b -> MaybeT m doc -> MaybeT m doc #
(Monad m, Semigroup doc) => Semigroup (ExceptT e m doc) Source #
Instance details Methods (<>) :: ExceptT e m doc -> ExceptT e m doc -> ExceptT e m doc # sconcat :: NonEmpty (ExceptT e m doc) -> ExceptT e m doc # stimes :: Integral b => b -> ExceptT e m doc -> ExceptT e m doc #
(Applicative m, Semigroup doc) => Semigroup (ReaderT s m doc) Source #
Instance details Methods (<>) :: ReaderT s m doc -> ReaderT s m doc -> ReaderT s m doc # sconcat :: NonEmpty (ReaderT s m doc) -> ReaderT s m doc # stimes :: Integral b => b -> ReaderT s m doc -> ReaderT s m doc #
(Monad m, Semigroup doc) => Semigroup (StateT s m doc) Source #
Instance details Methods (<>) :: StateT s m doc -> StateT s m doc -> StateT s m doc # sconcat :: NonEmpty (StateT s m doc) -> StateT s m doc # stimes :: Integral b => b -> StateT s m doc -> StateT s m doc #
(Monad m, Semigroup doc, Monoid w) => Semigroup (WriterT w m doc) Source #
Instance details Methods (<>) :: WriterT w m doc -> WriterT w m doc -> WriterT w m doc # sconcat :: NonEmpty (WriterT w m doc) -> WriterT w m doc # stimes :: Integral b => b -> WriterT w m doc -> WriterT w m doc #