turbolift-core
API
Generated with
turbolift-core/turbolift/turbolift.effects/WriterSignature

WriterSignature

turbolift.effects.WriterSignature
trait WriterSignature[W, W1] extends Signature

Signature of WriterEffectExt.

Type parameters

W

Accumulator

W1

Singular value added to the accumulator

Attributes

Graph
Supertypes
trait Signature
class Object
trait Matchable
class Any
Known subtypes
trait WriterEffectExt[W, W1]
trait WriterEffect[W]
trait WriterEffectG[M, K, V]
trait WriterEffectGK[M, K, F, V]
trait WriterEffectK[F, W]

Members list

Type members

Inherited and Abstract types

type ThisEffect

Self-reference to the effect being described by this Signature.

Self-reference to the effect being described by this Signature.

Becomes an alias of this.type, once the signature is inherited from Effect.

Attributes

Inherited from:
Signature

Value members

Abstract methods

def censor[A, U <: ThisEffect](f: W => W)(body: Computation[A, U]): Computation[A, U]
def listen[A, U <: ThisEffect](body: Computation[A, U]): Computation[(A, W), U]
def mute[A, U <: ThisEffect](body: Computation[A, U]): Computation[A, U]
def pass[A, U <: ThisEffect](body: Computation[(A, W => W), U]): Computation[A, U]
def tell(w: W1): Computation[Unit, ThisEffect]
def tells(w: W): Computation[Unit, ThisEffect]
Generated with