Data.Effect.Writer

Documentation

data Tell w a where

Constructors

Tell :: w -> Tell w ()

data WriterH w f a where

Constructors

Listen :: f a -> WriterH w f (w, a)

Censor :: (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 = LiftIns (Tell w)

censor'' :: forall key (w :: Type) (a :: Type) f. SendSigBy key (WriterH w) f => (w -> w) -> f a -> f a

censor' :: forall tag (w :: Type) (a :: Type) f. SendSig (TagH (WriterH w) tag) f => (w -> w) -> f a -> f a

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

listen'' :: forall key (a :: Type) (w :: Type) f. SendSigBy key (WriterH w) f => f a -> f (w, a)

listen' :: forall tag (a :: Type) (w :: Type) f. SendSig (TagH (WriterH w) tag) f => f a -> f (w, a)

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

pattern LTell :: () => (a ~ (), ()) => w -> LiftIns (Tell w) f a

tell'' :: forall key (w :: Type) f. SendInsBy key (Tell w) f => w -> f ()

tell' :: forall tag (w :: Type) f. SendIns (Tag (Tell w) tag) f => w -> f ()

tell :: forall (w :: Type) f. SendIns (Tell w) f => w -> f ()

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