turbolift-core/turbolift.std_effects/WriterSig

WriterSig

trait WriterSig[W, W1] extends Signature
trait Signature
class Object
trait Matchable
class Any
trait WriterEffect[W, W1]
trait Writer[W]
trait WriterG[M, K, V]
trait WriterGK[M, K, F, V]
trait WriterK[F, W]

Type members

Inherited types

type !@![A, U]
Inherited from:
Signature
type ThisEffect
Inherited from:
Signature

Value members

Abstract methods

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