Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x04404a62026-10-19Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 04404a6 · 2026-10-19

Modulepolysemy-1.9.2.0

Polysemy.Internal.Writer

Synopsis

value interpretViaLazyWriter
value listen
value pass
value runWriterSTMAction
value tell
value writerToEndoWriter
data Writer

Packagepolysemy-1.9.2.0
Exports7
LicenceBSD-3-Clause

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

:: (Member (Final IO) r, Monoid o)
=> o -> STM ()
-> Sem (Writer o ': r) a
-> Sem r a

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

valuewriterToEndoWriter

:: (Monoid o, Member (Writer (Endo o)) r)
=> Sem (Writer o ': r) a
-> Sem r a

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

Constructors

Tell :: o -> Writer o m ()
Listen :: m a -> Writer o m a
Pass :: m (o -> o, a) -> Writer o m a