Modulepolysemy-1.9.2.0

Polysemy.Writer

Synopsis

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

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

valuewriterToEndoWriter

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

valueoutputToWriter :: Member (Writer o) r => Sem (Output o ': r) a -> Sem r a

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

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

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

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

valuerunWriterTVar

valuewriterToIOAssocRFinal

valuewriterToIOFinal

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