agda2train-0.0.3.0: Agda backend to generate training data for machine learning purposes.
Safe HaskellSafe-Inferred
LanguageHaskell2010

AgdaInternals

Description

Missing instances for WriterT in Agda's internals.

NB: we are not exporting any definitions, just typeclass instances.

Orphan instances

(Monoid r, MonadFresh i m) => MonadFresh i (WriterT r m) Source # 
Instance details

Methods

fresh :: WriterT r m i #

(Monoid r, MonadBlock m) => MonadBlock (WriterT r m) Source # 
Instance details

Methods

patternViolation :: Blocker -> WriterT r m a #

catchPatternErr :: (Blocker -> WriterT r m a) -> WriterT r m a -> WriterT r m a #

(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

Methods

addWarning :: TCWarning -> WriterT r m () #

(Monoid r, Monad m, IsString (m a)) => IsString (WriterT r m a) Source # 
Instance details

Methods

fromString :: String -> WriterT r m a #

(Monoid r, Monad m, Semigroup (m Doc)) => Semigroup (WriterT r m Doc) Source # 
Instance details

Methods

(<>) :: WriterT r m Doc -> WriterT r m Doc -> WriterT r m Doc #

sconcat :: NonEmpty (WriterT r m Doc) -> WriterT r m Doc #

stimes :: Integral b => b -> WriterT r m Doc -> WriterT r m Doc #