fundamentals-bio
API
Generated with
fundamentals-bio/izumi.functional.bio.data/Free

Free

izumi.functional.bio.data.Free$
See theFree companion class
object Free

Attributes

Companion:
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Free.type

Members list

Concise view

Type members

Classlikes

final case class FlatMapped[S[_, _], E, E1 >: E, A, B](sub: Free[S, E, A], cont: A => Free[S, E1, B]) extends Free[S, E1, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Free[S, E1, B]
class Object
trait Matchable
class Any
class Monad2Instance[S[_, _]] extends Monad2[[_, _] =>> Free[S, _$30, _$31]]

Attributes

Companion:
object
Graph
Supertypes
trait Monad3[[R, E, A] =>> Free[S, E, A]]
trait Applicative3[[R, E, A] =>> Free[S, E, A]]
trait Functor3[[R, E, A] =>> Free[S, E, A]]
trait RootBifunctor[[R, E, A] =>> Free[S, E, A]]
trait Root
class Object
trait Matchable
class Any
Known subtypes
object Monad2Instance.type
object Monad2Instance extends Monad2Instance[Nothing]

Attributes

Companion:
class
Graph
Supertypes
class Monad2Instance[Nothing]
trait Monad3[[R, E, A] =>> Free[Nothing, E, A]]
trait Applicative3[[R, E, A] =>> Free[Nothing, E, A]]
trait Functor3[[R, E, A] =>> Free[Nothing, E, A]]
trait RootBifunctor[[R, E, A] =>> Free[Nothing, E, A]]
trait Root
class Object
trait Matchable
class Any
Self type
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
final case class Suspend[S[_, _], E, A](a: S[E, A]) extends Free[S, E, A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Free[S, E, A]
class Object
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def lift[S[_, _], E, A](s: S[E, A]): Free[S, E, A]
def pure[S[_, _], A](a: A): Free[S, Nothing, A]

Implicits

Implicits

implicit def FreeMonadInstances[S[_, _]]: Monad2[[_, _] =>> Free[S, _$26, _$27]]
Generated with