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

Handler

turbolift.Handler
See theHandler companion trait
object Handler

Attributes

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

Members list

Type members

Types

type Id[G[_], Elim, Intro] = Handler[Identity, G, Elim, Intro]

Alias of Handler where From is identity.

Alias of Handler where From is identity.

Attributes

type IdId[Elim, Intro] = Handler[Identity, Identity, Elim, Intro]

Alias of Handler where From and To are identity.

Alias of Handler where From and To are identity.

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 fromFunction[F[_], G[_], L, N](fun: [A, U] => (x$1: Computation[F[A], U & L]) => Computation[G[A], U & N]): Handler[F, G, L, N]
def identity[F[_]]: Handler[F, F, Any, Any]
def phantom[Fx]: Handler[Identity, Identity, Fx, Any]

Extensions

Extensions

extension [F[_], S, L, N](thiz: Handler[F, Tuple2, L, N])
def ***![S2, S3, L2, N2](that: Handler[Identity, 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

def dropState: Handler[F, Identity, 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

def eval: Handler[F, Identity, L, N]

Alias for dropState.

Alias for dropState.

Attributes

def exec: Handler[F, Const[S], L, N]

Alias for justState.

Alias for justState.

Attributes

def justState: Handler[F, Const[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

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

def mapStateEff[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

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

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

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

Attributes

extension [F[_], L, N](thiz: Handler[F, Option, L, N])
def getOrDie(message: => String): Handler[F, Identity, L, N]

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

def getOrElse(default: => Nothing): Handler[F, Identity, L, N]

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

def toEither[E](e: => E): Handler[F, [_] =>> Either[E, _$37], L, N]

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

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

Attributes

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

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

def unsafeGet: Handler[F, Identity, L, N]

Transforms this handler, by deconstructing its Option result.

Transforms this handler, by deconstructing its Option result.

Attributes

def |||![L2, N2](that: Handler[Identity, 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

extension [F[_], E, L, N](thiz: Handler[F, [_] =>> Either[E, _$40], L, N])
def getOrDie(message: E => String): Handler[F, Identity, L, N]

Transforms this handler, by deconstructing its Either result.

Transforms this handler, by deconstructing its Either result.

Attributes

def getOrElse(default: E => Nothing): Handler[F, Identity, L, N]

Transforms this handler, by deconstructing its Either result.

Transforms this handler, by deconstructing its Either result.

Attributes

def mapLeft[E2](f: E => E2): Handler[F, [_] =>> Either[E2, _$41], 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

def mapLeftEff[E2, U](f: E => Computation[E2, U]): Handler[F, [_] =>> Either[E2, _$42], L, N & U]

Like mapLeft, but the mapping function is effectful.

Like mapLeft, but the mapping function is effectful.

Attributes

def tapLeftEff[U](f: E => Computation[Unit, U]): Handler[F, [_] =>> Either[E, _$44], L, N & U]

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

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

Attributes

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

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

def |||![E2, L2, N2](that: Handler[Identity, [_] =>> Either[E2, _$45], L2, N2]): Handler[F, [_] =>> Either[E | E2, _$46], 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

Generated with