turbolift-core
API
Generated with
turbolift-core/turbolift/Handler

Handler

turbolift.Handler
See theHandler companion trait
object Handler extends HandlerExtensions

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Handler.type

Members list

Type members

Classlikes

object Free

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Free.type

Types

type Const[To, Elim, Intro] = FromId[[_] =>> To, Elim, Intro]

Alias for handler, whose From[_] is type-level identity, and To[_] is a type-level constant function.

Alias for handler, whose From[_] is type-level identity, and To[_] is a type-level constant function.

Attributes

type Free[To[_], Elim] = FromId[To, Elim, Any]

Alias for handler, whose From[_] is type-level identity, and has no dependencies (introduces no new effects).

Alias for handler, whose From[_] is type-level identity, and has no dependencies (introduces no new effects).

Attributes

type FromId[To[_], Elim, Intro] = Handler[[X] =>> X, To, Elim, Intro]

Alias for handler, whose From[_] is type-level identity.

Alias for handler, whose From[_] is type-level identity.

Attributes

type Id[Elim, Intro] = FromId[[X] =>> X, Elim, Intro]

Alias for handler, whose both From[_] and To[_] are type-level identities.

Alias for handler, whose both From[_] and To[_] are type-level identities.

Attributes

Value members

Concrete methods

def flatHandle[F[_], G[_], L, N1, N2](h: Computation[Handler[F, G, L, N1], N2]): Handler[F, G, L, N1 & N2]

Transforms a computation of a handler, into a new handler.

Transforms a computation of a handler, into a new handler.

Useful for effectful creation of handlers. Effects requested to create the handler are absorbed by the handler itself, into its own (additional) dependencies.

Attributes

def identity[F[_]]: Handler[F, F, Any, Any]

Extensions

Inherited extensions

extension [F[_], S, L, N](thiz: Handler[F, Tuple2, L, N])
def ***![S2, S3, L2, N2](that: FromId[Tuple2, L2, N2])(using ET: ExtendTuple[S, S2, S3]): Handler[F, Tuple2, L & L2, N & N2]

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
def dropState: Handler[F, [X] =>> X, L, N]

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
def eval: Handler[F, [X] =>> X, L, N]

Alias for dropState.

Alias for dropState.

Attributes

Inherited from:
HandlerExtensions
def exec: Handler[F, [_] =>> S, L, N]

Alias for justState.

Alias for justState.

Attributes

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

Like mapState, but the mapping function is effectful.

Like mapState, but the mapping function is effectful.

Attributes

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

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
def justState: Handler[F, [_] =>> S, L, N]

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
def mapState[S2](f: S => S2): Handler[F, Tuple2, L, N]

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
extension [F[_], L, N](thiz: Handler[F, Option, L, N])
def getOrDie(message: => String): Handler[F, [X] =>> X, L, N]

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

Inherited from:
HandlerExtensions
def getOrElse(default: => Nothing): Handler[F, [X] =>> X, L, N]

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

Inherited from:
HandlerExtensions
def toEither[E](e: => E): Handler[F, [_] =>> Either[E, _$12], L, N]

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

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

Attributes

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

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

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

Attributes

Inherited from:
HandlerExtensions
def toVector: Handler[F, Vector, L, N]

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

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

Attributes

Inherited from:
HandlerExtensions
def unsafeGet: Handler[F, [X] =>> X, L, N]

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

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

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
extension [F[_], E, L, N](thiz: Handler[F, [_] =>> Either[E, _$15], L, N])
def flatMapLeft[E2, U](f: E => Computation[E2, U]): Handler[F, [_] =>> Either[E2, _$17], L, N & U]

Like mapLeft, but the mapping function is effectful.

Like mapLeft, but the mapping function is effectful.

Attributes

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

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
def getOrDie(message: E => String): Handler[F, [X] =>> X, L, N]

Transforms this handler, by deconstructing its Either result.

Transforms this handler, by deconstructing its Either result.

Attributes

Inherited from:
HandlerExtensions
def getOrElse(default: E => Nothing): Handler[F, [X] =>> X, L, N]

Transforms this handler, by deconstructing its Either result.

Transforms this handler, by deconstructing its Either result.

Attributes

Inherited from:
HandlerExtensions
def mapLeft[E2](f: E => E2): Handler[F, [_] =>> Either[E2, _$16], L, N]

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
def toOption: Handler[F, Option, L, N]

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

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

Attributes

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

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

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

Attributes

Inherited from:
HandlerExtensions
def |||![E2, L2, N2](that: FromId[[_] =>> Either[E2, _$20], L2, N2]): Handler[F, [_] =>> Either[E | E2, _$21], L & L2, N & N2]

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
Generated with