turbolift-core/turbolift.std_effects/WriterK

WriterK

trait WriterK[F[_], W] extends WriterEffect[F[W], W]
trait WriterEffect[F[W], W]
trait WriterSig[F[W], W]
trait Effect[WriterSig[F[W], W]]
trait CanInterpret
trait HasSignature
trait CanPerform[WriterSig[F[W], W]]
trait Signature
class Object
trait Matchable
class Any

Type members

Inherited classlikes

abstract class Proxy[Fx] extends ProxyWithParam[Fx] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter
Inherited from:
CanInterpret
object ThisHandler
Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
final override type ThisEffect = Effect
Inherited from:
Effect
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]
Inherited from:
CanInterpret
final override type ThisSignature = Z
Inherited from:
Effect

Value members

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[WriterK[F, W], Fx2]
Inherited from:
Effect
final override def censor[A, U <: WriterK[F, W]](f: F[W] => F[W])(body: Computation[A, U]): Computation[A, U]
Definition Classes
Inherited from:
WriterEffect
def handler(implicit W: AccumZero[F[W], W]): Free[Tuple2]
Inherited from:
WriterEffect
final override def listen[A, U <: WriterK[F, W]](body: Computation[A, U]): Computation[(A, F[W]), U]
Definition Classes
Inherited from:
WriterEffect
final override def mute[A, U <: WriterK[F, W]](body: Computation[A, U]): Computation[A, U]
Definition Classes
Inherited from:
WriterEffect
final def perform[A, U <: ThisEffect](f: WriterSig[F[W], W] & Apply[U] => A !@! U { def apply(z: WriterSig[F[W], W] & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform
final override def signatures: Array[Signature]
Definition Classes
Effect -> CanInterpret
Inherited from:
Effect
final def tell[K, V1](k: K, v: V1)(implicit ev: (K, V1) <:< W): Computation[Unit, WriterK[F, W]]
Inherited from:
WriterEffect
final override def tell(w: W): Computation[Unit, WriterK[F, W]]
Definition Classes
Inherited from:
WriterEffect
final override def tells(w: F[W]): Computation[Unit, WriterK[F, W]]
Definition Classes
Inherited from:
WriterEffect