turbolift-core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
turbolift-core/turbolift/Handler

Handler

turbolift.Handler
See theHandler companion object
sealed trait Handler[Result[_], Elim, Intro]

Used to delimit scope of effect(s).

Handler transforms a Computation, by discharging some or all of its requested effects, and (optionally) introducing handlers own dependencies to it (set of effects used to create the handler).

val myComputation2 = myComputation1.handleWith(myHandler)

Handlers can be obtained:

  • By implementing an Interpreter for an Effect, and then, obtaining a Handler from it.
  • By transforming a preexisting handler, e.g. val myHandler2 = myHandler1.map(...)
  • By composing 2 preexisting handlers, e.g. val myHandler3 = myHandler1 &&&! myHandler2

Compositon of 2 handlers is always sequential: the operands are applied in left to right order.

Attributes

Elim

Type-level set of effects, that this handler eliminates from the computation.

Intro

Type-level set of effects, that this handler introduces into the computation. This is often an empty set, expressed as Any.

Result

Type constructor (e.g. Option[_]), in which the computation's result is wrapped, after application of this handler. This is often an identity.

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Classlikes

final class HandleApply[V]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
class PartiallyProvideWithApply[Remains >: Intro]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

final def &&&![ThatResult[_], ThatElim, ThatIntro](that: Handler[ThatResult, ThatElim, ThatIntro]): Handler[[X] =>> ThatResult[Result[X]], Elim & ThatElim, Intro & ThatIntro]

Alias for composeWith.

Alias for composeWith.

Attributes

final def composeWith[ThatResult[_], ThatElim, ThatIntro](that: Handler[ThatResult, ThatElim, ThatIntro]): Handler[[X] =>> ThatResult[Result[X]], Elim & ThatElim, Intro & ThatIntro]

Composes 2 independent handlers.

Composes 2 independent handlers.

Independence of handlers means, that effects eliminated by one of the handlers, do not overlap with effects introduced by the other.

Independence of 2 handlers guarantees, that it's also valid to compose them in the opposite order. However, nesting order of their Result[_]s would also be reversed.

Attributes

final def flatMap[NewResult[_], V](f: [X] => (x$1: Result[X]) => Computation[NewResult[X], V]): Handler[NewResult, Elim, Intro & V]

Like map, but the post-processing of Result[_] can also introduce effects.

Like map, but the post-processing of Result[_] can also introduce effects.

Those effects are then absorbed by the new handler into the effects it introduces.

Attributes

final def flatTap[V](f: [X] => (x$1: Result[X]) => Computation[Unit, V]): Handler[Result, Elim, Intro & V]

Like flatMap, but the post-processing is executed for its effects only.

Like flatMap, but the post-processing is executed for its effects only.

This handler's Result[_] remains unchanged.

Attributes

final def handle[V]: HandleApply[V]

Applies this handler to given computation.

Applies this handler to given computation.

Equivalent of Computation's handleWith(this)

Attributes

final def map[NewResult[_]](f: [X] => (x$1: Result[X]) => NewResult[X]): Handler[NewResult, Elim, Intro]

Transforms this handler, by applying a post-processing function to its result`.

Transforms this handler, by applying a post-processing function to its result`.

a.k.a Natural Transformation.

Attributes

final def partiallyProvideWith[Remains >: Intro]: PartiallyProvideWithApply[Remains]

Composes 2 partially dependent handlers.

Composes 2 partially dependent handlers.

Assumes that some of effects introduced by this handler, are eliminated by that handler.

Attributes

final def provideWith[ThatResult[_], ThatIntro](that: Handler[ThatResult, Intro, ThatIntro]): Handler[[X] =>> ThatResult[Result[X]], Elim, ThatIntro]

Composes 2 fully dependent handlers.

Composes 2 fully dependent handlers.

Assumes that all effects introduced by this handler, are eliminated by that handler.

Attributes

final def void: Const[Unit, Elim, Intro]

Transforms this handler, by discarding its result.

Transforms this handler, by discarding its result.

Attributes

Inherited methods

def ***![S2, S3, L2, N2](that: Handler[Tuple2, L2, N2])(using ET: ExtendTuple[S, S2, S3]): Handler[Tuple2, L & L2, N & N2]
Extension method from Handler

Composes 2 independent handlers, also flattening their nested Tuple2 results.

Composes 2 independent handlers, also flattening their nested Tuple2 results.

((_, S1), S2) ~> (_, (S1, S2))
((_, S1, S2), S3) ~> (_, (S1, S2, S3))
((_, S1, S2, S3), S4) ~> (_, (S1, S2, S3, S4))
...

Attributes

Inherited from:
HandlerExtensions (hidden)
def dropState: Id[L, N]
Extension method from Handler

Transforms this handler, by dropping the second element of its Tuple2 result.

Transforms this handler, by dropping the second element of its Tuple2 result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def eval: Id[L, N]
Extension method from Handler

Alias for dropState.

Alias for dropState.

Attributes

Inherited from:
HandlerExtensions (hidden)
def exec: Const[S, L, N]
Extension method from Handler

Alias for justState.

Alias for justState.

Attributes

Inherited from:
HandlerExtensions (hidden)
def flatMapLeft[E2, U](f: E => Computation[E2, U]): Handler[[_] =>> Either[E2, _$12], L, N & U]
Extension method from Handler

Like mapLeft, but the mapping function is effectful.

Like mapLeft, but the mapping function is effectful.

Attributes

Inherited from:
HandlerExtensions (hidden)
def flatMapState[S2, U](f: S => Computation[S2, U]): Handler[Tuple2, L, N & U]
Extension method from Handler

Like mapState, but the mapping function is effectful.

Like mapState, but the mapping function is effectful.

Attributes

Inherited from:
HandlerExtensions (hidden)
def flatTapLeft[U](f: E => Computation[Unit, U]): Handler[[_] =>> Either[E, _$14], L, N & U]
Extension method from Handler

Like flatMapLeft, but the mapping is executed for its effects only.

Like flatMapLeft, but the mapping is executed for its effects only.

Attributes

Inherited from:
HandlerExtensions (hidden)
def flatTapState[S2, U](f: S => Computation[Unit, U]): Handler[Tuple2, L, N & U]
Extension method from Handler

Like flatMapState, but the mapping is executed for its effects only.

Like flatMapState, but the mapping is executed for its effects only.

Attributes

Inherited from:
HandlerExtensions (hidden)
def getOrDie(message: E => String): Id[L, N]
Extension method from Handler

Transforms this handler, by deconstructing its Either result.

Transforms this handler, by deconstructing its Either result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def getOrDie(message: => String): Id[L, N]
Extension method from Handler

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def getOrElse(default: E => Nothing): Id[L, N]
Extension method from Handler

Transforms this handler, by deconstructing its Either result.

Transforms this handler, by deconstructing its Either result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def getOrElse(default: => Nothing): Id[L, N]
Extension method from Handler

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def justState: Const[S, L, N]
Extension method from Handler

Transforms this handler, by dropping the first element of its Tuple2 result.

Transforms this handler, by dropping the first element of its Tuple2 result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def mapLeft[E2](f: E => E2): Handler[[_] =>> Either[E2, _$11], L, N]
Extension method from Handler

Transforms this handler, by mapping the Left branch of its Either result.

Transforms this handler, by mapping the Left branch of its Either result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def mapState[S2](f: S => S2): Handler[Tuple2, L, N]
Extension method from Handler

Transforms this handler, by mapping the second element of its Tuple2 result.

Transforms this handler, by mapping the second element of its Tuple2 result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def toEither[E](e: => E): Handler[[_] =>> Either[E, _$8], L, N]
Extension method from Handler

Transforms this handler, by mapping its Option result to Either.

Transforms this handler, by mapping its Option result to Either.

Attributes

Inherited from:
HandlerExtensions (hidden)
def toOption: Handler[Option, L, N]
Extension method from Handler

Transforms this handler, by mapping its Either result to Option.

Transforms this handler, by mapping its Either result to Option.

Attributes

Inherited from:
HandlerExtensions (hidden)
def toTry(implicit ev: E <:< Throwable): Handler[Try, L, N]
Extension method from Handler

Transforms this handler, by mapping its Either result to Try.

Transforms this handler, by mapping its Either result to Try.

Attributes

Inherited from:
HandlerExtensions (hidden)
def toTry(e: => Throwable): Handler[Try, L, N]
Extension method from Handler

Transforms this handler, by mapping its Option result to Try.

Transforms this handler, by mapping its Option result to Try.

Attributes

Inherited from:
HandlerExtensions (hidden)
def toVector: Handler[Vector, L, N]
Extension method from Handler

Transforms this handler, by mapping its Option result to Vector.

Transforms this handler, by mapping its Option result to Vector.

Attributes

Inherited from:
HandlerExtensions (hidden)
def unsafeGet: Id[L, N]
Extension method from Handler

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

Inherited from:
HandlerExtensions (hidden)
def |||![E2, L2, N2](that: Handler[[_] =>> Either[E2, _$15], L2, N2]): Handler[[_] =>> Either[E | E2, _$16], L & L2, N & N2]
Extension method from Handler

Composes 2 independent handlers, also flattening their nested Either results.

Composes 2 independent handlers, also flattening their nested Either results.

Either[E2, Either[E1, _]] ~> Either[E1 | E2, _]

Attributes

Inherited from:
HandlerExtensions (hidden)
def |||![L2, N2](that: Handler[Option, L2, N2]): Handler[Option, L & L2, N & N2]
Extension method from Handler

Composes 2 independent handlers, also flattening their nested Option results.

Composes 2 independent handlers, also flattening their nested Option results.

Option[Option[_]] ~> Option[_]

Attributes

Inherited from:
HandlerExtensions (hidden)
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL