FreePanic

izumi.functional.bio.data.FreePanic
See theFreePanic companion object
sealed abstract class FreePanic[+S[_, _], +E, +A]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BracketCase[S, E, A0, A]
class BracketExcept[S, E, A0, A]
class CapturedRestoreInterruption[S, G, E, A]
class Fail[S, E]
class FlatMapped[S, E, E1, A, B]
class Pure[S, A]
class Redeem[S, E, E1, A, B]
class Sandbox[S, E, A]
class SelfInterrupt[S]
class Suspend[S, E, A]
class Terminate[S]
class Uninterruptible[S, E, A]
class UninterruptibleExcept[S, E, A]
Show all

Members list

Value members

Concrete methods

final def *>[S1[e, a], B, E1 >: E](sc: FreePanic[S1, E1, B]): FreePanic[S1, E1, B]
final def <*[S1[e, a], B, E1 >: E](sc: FreePanic[S1, E1, B]): FreePanic[S1, E1, A]
final def as[B](as: => B): FreePanic[S, E, B]
final def bracket[S1[e, a], B, E1 >: E](release: A => FreePanic[S1, Nothing, Unit])(use: A => FreePanic[S1, E1, B]): FreePanic[S1, E1, B]
final def bracketCase[S1[e, a], B, E1 >: E](release: (A, Exit[E1, B]) => FreePanic[S1, Nothing, Unit])(use: A => FreePanic[S1, E1, B]): FreePanic[S1, E1, B]
final def catchAll[S1[e, a], A1 >: A, E1](err: E => FreePanic[S1, E1, A1]): FreePanic[S1, E1, A1]
final def catchSome[S1[e, a], A2 >: A, E1 >: E](err: PartialFunction[E, FreePanic[S1, E1, A2]]): FreePanic[S1, E1, A2]
final def flatMap[S1[e, a], B, E1 >: E](fun: A => FreePanic[S1, E1, B]): FreePanic[S1, E1, B]
final def flip: FreePanic[S, A, E]
final def foldMap[S1[e, a], G[_, _]](transform: Morphism2[S1, G])(implicit G: Panic2[G]): G[E, A]
final def guarantee[S1[e, a]](g: FreePanic[S1, Nothing, Unit]): FreePanic[S1, E, A]
final def map[B](fun: A => B): FreePanic[S, E, B]
final def mapK[S1[e, a], T[_, _]](f: Morphism2[S1, T]): FreePanic[T, E, A]
final def redeem[S1[e, a], B, E1](err: E => FreePanic[S1, E1, B], succ: A => FreePanic[S1, E1, B]): FreePanic[S1, E1, B]
final def redeemPure[B](err: E => B, succ: A => B): FreePanic[S, Nothing, B]
final def sandbox: FreePanic[S, FailureUninterrupted[E], A]
final def void: FreePanic[S, E, Unit]