zhttp/zhttp.http/HExit

HExit

sealed trait HExit[-R, +E, +A]

Every HttpApp evaluates to an HExit. This domain is needed for improved performance. This ensures that a ZIO effect is created only when it is required. HExit.Effect wraps a ZIO effect, otherwise HExits are evaluated without ZIO

Companion:
object
class Object
trait Matchable
class Any
class Die
class Effect[R, E, A]
object Empty.type
class Failure[E]
class Success[A]
HExit[R, E, A]

Value members

Concrete methods

def *>[R1 <: R, E1 >: E, B](other: HExit[R1, E1, B]): HExit[R1, E1, B]
def <+>[R1 <: R, E1 >: E, A1 >: A](other: HExit[R1, E1, A1]): HExit[R1, E1, A1]
def <>[R1 <: R, E1, A1 >: A](other: HExit[R1, E1, A1]): HExit[R1, E1, A1]
def >>=[R1 <: R, E1 >: E, B](ab: A => HExit[R1, E1, B]): HExit[R1, E1, B]
def as[B](b: B): HExit[R, E, B]
def defaultWith[R1 <: R, E1 >: E, A1 >: A](other: HExit[R1, E1, A1]): HExit[R1, E1, A1]
def flatMap[R1 <: R, E1 >: E, B](ab: A => HExit[R1, E1, B]): HExit[R1, E1, B]
def flatten[R1 <: R, E1 >: E, A1](implicit ev: A <:< HExit[R1, E1, A1]): HExit[R1, E1, A1]
def foldExit[R1 <: R, E1, B1](failure: E => HExit[R1, E1, B1], defect: Throwable => HExit[R1, E1, B1], success: A => HExit[R1, E1, B1], empty: HExit[R1, E1, B1]): HExit[R1, E1, B1]
def map[B](ab: A => B): HExit[R, E, B]
def orElse[R1 <: R, E1, A1 >: A](other: HExit[R1, E1, A1]): HExit[R1, E1, A1]
def toZIO: ZIO[R, Option[E], A]