Control.Effect.Class.Writer

Documentation

class Monoid w => Tell w f where

Methods

tell :: w -> f ()

Instances

(SendIns (TellI w) f, Monoid w) => Tell w (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Writer

Methods

tell :: w -> EffectsVia EffectDataHandler f ()

class Monoid w => WriterH w f where

Methods

listen :: f a -> f (a, w)

censor :: (w -> w) -> f a -> f a

Instances

(SendSig (WriterS w) f, Monoid w) => WriterH w (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Writer

Methods

listen :: EffectsVia EffectDataHandler f a -> EffectsVia EffectDataHandler f (a, w)

censor :: (w -> w) -> EffectsVia EffectDataHandler f a -> EffectsVia EffectDataHandler f a

data TellI (w :: Type) (a :: Type) where

Constructors

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

type TellS w = LiftIns (TellI w)

data WriterS (w :: Type) f (a :: Type) where

Constructors

Listen :: forall w f a. (f a) -> WriterS w f (a, w)

Censor :: forall w f a. (w -> w) -> (f a) -> WriterS w f a

Instances

HFunctor (WriterS w)

Defined in Control.Effect.Class.Writer

Methods

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

class (Tell w f, WriterH w f) => Writer w (f :: Type -> Type)

Instances

(Tell w (EffectsVia EffectDataHandler f), WriterH w (EffectsVia EffectDataHandler f)) => Writer w (EffectsVia EffectDataHandler f)

Defined in Control.Effect.Class.Writer

type WriterD w = (:+:) (WriterS w) (LiftIns (TellI w))

pattern TellS :: () => a_6989586621679047924 ~ () => w -> LiftIns (TellI w) f a_6989586621679047924