CanPerform

turbolift.internals.effect.CanPerform

Attributes

Graph
Supertypes: trait Signature

class Object

trait Matchable

class Any
Known subtypes: trait Effect[Z]

trait ChoiceEffect

trait Choice

object Each.type

object Fail.type

trait ConsoleEffect

object Console.type

trait ErrorEffect[E, E1]

trait Error[E]

trait ErrorK[F, E]

trait RandomEffect

object Random.type

trait Reader[R]

trait State[S]

trait WriterEffect[W, W1]

trait Writer[W]

trait WriterG[M, K, V]

trait WriterGK[M, K, F, V]

trait WriterK[F, W]
Show all

Abstract type that must be used in definitions of effect's operations.

Becomes an alias of Computation (i.e. same as !!), once the signature is inherited from Effect.

Abstract type that must be used in definitions of effect's operations.

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

Lifts an invocation of this Signature's method into the Computation monad.

Like !!.pure(a), but with effect-set up-casted to ThisEffect

In this article

Generated with