Control.Effect.Writer

Definitions

data WriterE : Type -> (Type -> Type) -> Type -> Type

  Writer effect.

Totality: total
Visibility: public export
Constructor: 

Tell : w -> WriterE w m ()

Hints:

Functor (\w => WriterE w m a)

Inj (StateE s) sig => Inj (WriterE s) sig

tell : Inj (WriterE w) sig => Algebra sig m => w -> m ()

  Write the value to the context within a monadic computation that supports it.

Visibility: public export