Data.Effect.Writer

Documentation

data Tell w a where

Constructors

Tell :: forall w. w -> Tell w ()

data WriterH w (f :: Type -> Type) a where

Constructors

Listen :: forall (f :: Type -> Type) a1 w. f a1 -> WriterH w f (w, a1)

Censor :: forall w (f :: Type -> Type) a. (w -> w) -> f a -> WriterH w f a

Instances

() => HFunctor (WriterH w)

Defined in Data.Effect.Writer

Methods

hfmap :: forall (f :: Type -> Type) (g :: Type -> Type). (f :-> g) -> WriterH w f :-> WriterH w g

type LTell w = LiftFOE (Tell w)

pattern LTell :: forall a w f. () => (a ~ (), ()) => w -> LiftFOE (Tell w) f a

tell :: SendFOE (Tell w) f => w -> f ()

tell' :: forall {k} (tag :: k) w f. SendFOE (Tag (Tell w) tag) f => w -> f ()

tell'' :: forall {k} (key :: k) w f. SendFOEBy key (Tell w) f => w -> f ()

listen :: forall a w f. SendHOE (WriterH w) f => f a -> f (w, a)

listen' :: forall {k} (tag :: k) a w f. SendHOE (TagH (WriterH w) tag) f => f a -> f (w, a)

listen'' :: forall {k} (key :: k) a w f. SendHOEBy key (WriterH w) f => f a -> f (w, a)

censor :: forall w a f. SendHOE (WriterH w) f => (w -> w) -> f a -> f a

censor' :: forall {k} (tag :: k) w a f. SendHOE (TagH (WriterH w) tag) f => (w -> w) -> f a -> f a

censor'' :: forall {k} (key :: k) w a f. SendHOEBy key (WriterH w) f => (w -> w) -> f a -> f a

pass :: (Tell w <: m, WriterH w <<: m, Monad m) => m (w -> w, a) -> m a