Signature

turbolift.Signature

trait Signature extends AnyRef

Base trait for any user-defined effect signature. Used to define custom Algebra/Service/DSL.

Example:

import turbolift.Signature

trait GoogleSignature extends Signature:
  def countPicturesOf(topic: String): Int !@! ThisEffect

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Known subtypes: trait ChoiceSig
trait ChoiceEffect
trait Choice
object Each.type
object Fail.type
trait ConsoleSig
trait ConsoleEffect
object Console.type
trait ErrorSig[E, E1]
trait ErrorEffect[E, E1]
trait Error[E]
trait ErrorK[F, E]
trait RandomSig
trait RandomEffect
object Random.type
trait ReaderSig[R]
trait Reader[R]
trait StateSig[S]
trait State[S]
trait WriterSig[W, W1]
trait WriterEffect[W, W1]
trait Writer[W]
trait WriterG[M, K, V]
trait WriterGK[M, K, F, V]
trait WriterK[F, W]
trait CanPerform[Z]
trait Effect[Z]
trait Interpreter
trait FlowFeatures
class Flow
class Stateful[S, F]
class Stateful[S, F]
class Stateless[F]
class Stateless[F]
trait Proxy[Fx]
class Proxy[Fx]

Concise view

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.

Generated with