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

Pure

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

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Free[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: Free[S1, E1, B]): Free[S1, E1, B]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Free
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 void: Free[S, Nothing, Unit]

Attributes

Inherited from:
Free
Generated with