microsite
API
Generated with
microsite/izumi/izumi.functional/izumi.functional.bio/izumi.functional.bio.data/FreeError/Pure

Pure

izumi.functional.bio.data.FreeError.Pure
final case class Pure[S[_, _], A](a: A) extends FreeError[S, Nothing, A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class FreeError[S, Nothing, A]
class Object
trait Matchable
class Any
Show all

Members list

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 >: Nothing](sc: FreeError[S1, E1, B]): FreeError[S1, E1, B]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
FreeError
def productElementNames: Iterator[String]

An iterator over the names of all the elements of this product.

An iterator over the names of all the elements of this product.

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

An iterator over all the elements of this product.

An iterator over all the elements of this product.

Attributes

Returns

in the default implementation, an Iterator[Any]

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

Attributes

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

Attributes

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

Attributes

Inherited from:
FreeError
Generated with