turbolift-core/turbolift/Handler

Handler

sealed trait Handler[Result[_], Elim, Intro]
Companion:
object
class Object
trait Matchable
class Any

Type members

Classlikes

final class HandleApply[V]
class PartiallyProvideWithApply[Remains >: Intro]

Value members

Abstract methods

def doHandle[A, U](comp: Computation[A, U & Elim]): Computation[Result[A], U & Intro]

Concrete methods

final def &&&![ThatResult[_], ThatElim, ThatIntro](that: Handler[ThatResult, ThatElim, ThatIntro]): Handler[[X] =>> ThatResult[Result[X]], Elim & ThatElim, Intro & ThatIntro]
final def composeWith[ThatResult[_], ThatElim, ThatIntro](that: Handler[ThatResult, ThatElim, ThatIntro]): Handler[[X] =>> ThatResult[Result[X]], Elim & ThatElim, Intro & ThatIntro]
final def handle[V]: HandleApply[V]
final def map[NewResult[_]](f: [X] => (x$1: Result[X]) => NewResult[X]): Handler[NewResult, Elim, Intro]
final def partiallyProvideWith[Remains >: Intro]: PartiallyProvideWithApply[Remains]
final def provideWith[ThatResult[_], ThatIntro](that: Handler[ThatResult, Intro, ThatIntro]): Handler[[X] =>> ThatResult[Result[X]], Elim, ThatIntro]
final def run[A](comp: Computation[A, Elim])(implicit ev: Intro =:= Any): Result[A]
final def self: Handler[Result, Elim, Intro]
final def upCastIntro[T >: Intro]: Handler[Result, Elim, T]
final def void: Handler[[X] =>> Unit, Elim, Intro]

Inherited methods

def ***!: Handler[Tuple2, L & L2, N & N2]
Extension method from Handler
Inherited from:
HandlerExtensions
def dropState: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def eval: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def exec: Handler[[X] =>> S, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def getOrDie: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def getOrDie: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def getOrElse: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def getOrElse: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def justState: Handler[[X] =>> S, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def mapLeft: Handler[[_] =>> Either[E2, _$8], L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def mapState: Handler[Tuple2, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def toEither: Handler[[_] =>> Either[E, _$5], L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def toOption: Handler[Option, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def toTry: Handler[Try, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def toTry: Handler[Try, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def toVector: Handler[Vector, L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
def unsafeGet: Id[L, N]
Extension method from Handler
Inherited from:
HandlerExtensions
@targetName("flattenEithers")
def |||!: Handler[[_] =>> Either[E | E2, _$10], L & L2, N & N2]
Extension method from Handler
Inherited from:
HandlerExtensions
@targetName("flattenOptions")
def |||!: Handler[Option, L & L2, N & N2]
Extension method from Handler
Inherited from:
HandlerExtensions