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

FreeError

izumi.functional.bio.data.FreeError$
See theFreeError companion class
object FreeError

Attributes

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

Members list

Concise view

Type members

Classlikes

class Error2Instance[S[_, _]] extends Error2[[_, _] =>> FreeError[S, _$42, _$43]]

Attributes

Companion:
object
Graph
Supertypes
trait Error3[[R, E, A] =>> FreeError[S, E, A]]
trait Monad3[[R, E, A] =>> FreeError[S, E, A]]
trait ApplicativeError3[[R, E, A] =>> FreeError[S, E, A]]
trait Bifunctor3[[R, E, A] =>> FreeError[S, E, A]]
trait Guarantee3[[R, E, A] =>> FreeError[S, E, A]]
trait Applicative3[[R, E, A] =>> FreeError[S, E, A]]
trait Functor3[[R, E, A] =>> FreeError[S, E, A]]
trait RootBifunctor[[R, E, A] =>> FreeError[S, E, A]]
trait Root
class Object
trait Matchable
class Any
Known subtypes
object Error2Instance.type
object Error2Instance extends Error2Instance[Nothing]

Attributes

Companion:
class
Graph
Supertypes
class Error2Instance[Nothing]
trait Error3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait Monad3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait ApplicativeError3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait Bifunctor3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait Guarantee3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait Applicative3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait Functor3[[R, E, A] =>> FreeError[Nothing, E, A]]
trait RootBifunctor[[R, E, A] =>> FreeError[Nothing, E, A]]
trait Root
class Object
trait Matchable
class Any
Self type
final case class Fail[S[_, _], E](fail: () => E) extends FreeError[S, E, Nothing]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class FreeError[S, E, Nothing]
class Object
trait Matchable
class Any
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
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
final case class Redeem[S[_, _], E, E1, A, B](sub: FreeError[S, E, A], err: E => FreeError[S, E1, B], suc: 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
final case class Suspend[S[_, _], E, A](s: S[E, A]) extends FreeError[S, E, A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class FreeError[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 fail[S[_, _], E](e: => E): FreeError[S, E, Nothing]
def lift[S[_, _], E, A](s: S[E, A]): FreeError[S, E, A]
def pure[S[_, _], A](a: A): FreeError[S, Nothing, A]
def unit[S[_, _]]: FreeError[S, Nothing, Unit]

Implicits

Implicits

implicit def FreeErrorInstances[S[_, _]]: Error2[[_, _] =>> FreeError[S, _$38, _$39]]
Generated with