FlatMapped

izumi.functional.bio.data.FreeError$.FlatMapped
final case class FlatMapped[S[_, _], E, E1 >: E, A, B](sub: FreeError[S, E, A], cont: A => FreeError[S, E1, B]) extends FreeError[S, E1, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class FreeError[S, E1, B]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns:

a string representation of the object.

Definition Classes
Any

Inherited methods

final def *>[S1[e, a], B, E1 >: E1](sc: FreeError[S1, E1, B]): FreeError[S1, E1, B]

Attributes

Inherited from:
FreeError
final def <*[S1[e, a], B, E1 >: E1](sc: FreeError[S1, E1, B]): FreeError[S1, E1, A]

Attributes

Inherited from:
FreeError
final def as[B](as: => B): FreeError[S, E, B]

Attributes

Inherited from:
FreeError
final def catchAll[S1[e, a], A1 >: B, E1](err: E1 => FreeError[S1, E1, A1]): FreeError[S1, E1, A1]

Attributes

Inherited from:
FreeError
final def catchSome[S1[e, a], A2 >: B, E1 >: E1](err: PartialFunction[E1, FreeError[S1, E1, A2]]): FreeError[S1, E1, A2]

Attributes

Inherited from:
FreeError
final def flatMap[S1[e, a], B, E1 >: E1](fun: B => FreeError[S1, E1, B]): FreeError[S1, E1, B]

Attributes

Inherited from:
FreeError
final def flip: FreeError[S, A, E]

Attributes

Inherited from:
FreeError
final def foldMap[S1[e, a], G[_, _]](transform: Morphism2[S1, G])(implicit G: Error2[G]): G[E, A]

Attributes

Inherited from:
FreeError
final def guarantee[S1[e, a]](g: FreeError[S1, Nothing, Unit]): FreeError[S1, E, A]

Attributes

Inherited from:
FreeError
final def map[B](fun: B => B): FreeError[S, E, B]

Attributes

Inherited from:
FreeError
final def mapK[S1[e, a], T[_, _]](f: Morphism2[S1, T]): FreeError[T, E, A]

Attributes

Inherited from:
FreeError
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def redeem[S1[e, a], B, E1](err: E1 => FreeError[S1, E1, B], succ: B => FreeError[S1, E1, B]): FreeError[S1, E1, B]

Attributes

Inherited from:
FreeError
final def redeemPure[B](err: E1 => B, succ: B => B): FreeError[S, Nothing, B]

Attributes

Inherited from:
FreeError
final def void: FreeError[S, E, Unit]

Attributes

Inherited from:
FreeError