FreeError

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fail[S, E]
class FlatMapped[S, E, E1, A, B]
class Pure[S, A]
class Redeem[S, E, E1, A, B]
class Suspend[S, E, A]

Members list

Concise view

Value members

Concrete methods

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