Modulepolysemy-1.9.2.0

Polysemy.Internal.Writer

valueinterpretViaLazyWriter

:: Monoid o
=> forall (m :: Type -> Type) x. Monad m => Weaving e (WriterT o m) x -> WriterT o m x
-> Sem (e ': r) a
-> Sem r (o, a)

valuelisten :: Member (Writer o) r => Sem r a -> Sem r (o, a)

valuepass :: Member (Writer o) r => Sem r (o -> o, a) -> Sem r a

valuerunWriterSTMAction

valuetell :: Member (Writer o) r => o -> Sem r ()

valuewriterToEndoWriter

datadata Writer o (m :: Type -> Type) a where