Calamity.Internal.LocalWriter

A Writer monad that supports local writing, reverse reader I guess?

Documentation

data LocalWriter o m a where

Constructors

Ltell :: o -> LocalWriter o m ()

Llisten :: m a -> LocalWriter o m (o, a)

Instances

type DefiningModule LocalWriter

Defined in Calamity.Internal.LocalWriter

type DefiningModule LocalWriter = "Calamity.Internal.LocalWriter"

ltell :: forall o r. MemberWithError (LocalWriter o) r => o -> Sem r ()

llisten :: forall o r a. MemberWithError (LocalWriter o) r => Sem r a -> Sem r (o, a)

runLocalWriter :: Monoid o => Sem (LocalWriter o ': r) a -> Sem r (o, a)