izumi.functional.bio.data

Members list

Type members

Classlikes

object Free

Attributes

Companion
class
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Free.type
sealed abstract class Free[+S[_, _], +E, +A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class FlatMapped[S, E, E1, A, B]
class Pure[S, A]
class Suspend[S, E, A]
sealed abstract class FreeError[+S[_, _], +E, +A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fail[S, E]
class FlatMapped[S, E, E1, A, B]
class Pure[S, A]
class Redeem[S, E, E1, A, B]
class Suspend[S, E, A]
object FreeError

Attributes

Companion
class
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
FreeError.type
object FreePanic

Attributes

Companion
class
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
FreePanic.type
sealed abstract class FreePanic[+S[_, _], +E, +A]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class BracketCase[S, E, A0, A]
class BracketExcept[S, E, A0, A]
class CapturedRestoreInterruption[S, G, E, A]
class Fail[S, E]
class FlatMapped[S, E, E1, A, B]
class Pure[S, A]
class Redeem[S, E, E1, A, B]
class Sandbox[S, E, A]
class SelfInterrupt[S]
class Suspend[S, E, A]
class Terminate[S]
class Uninterruptible[S, E, A]
class UninterruptibleExcept[S, E, A]
Show all
final case class InterruptAction[F[_, _]](interrupt: F[Nothing, Unit]) extends AnyVal

Value parameters

interrupt

May semantically block until the target computation either finishes completely or finishes running its finalizers, depending on the underlying effect type. Will not block if the effect type does not support semantic (async) blocking.

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
Show all
object Isomorphism1

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object Isomorphism2

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object Isomorphism3

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait Isomorphism3[F[_, _, _], G[_, _, _]]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Attributes

Supertypes
class Object
trait Matchable
class Any

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Morphism3

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Morphism1

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Morphism1.type
object Morphism2

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Morphism2.type

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Morphism3.type

Types

type Isomorphism1[F[_], G[_]] = Isomorphism3[[R, E, A] =>> F[A], [R, E, A] =>> G[A]]
type Isomorphism2[F[_, _], G[_, _]] = Isomorphism3[[R, E, A] =>> F[E, A], [R, E, A] =>> G[E, A]]
type Morphism1[-F[_], +G[_]] = Morphism1[F, G]
type Morphism2[-F[_, _], +G[_, _]] = Morphism2[F, G]
type Morphism3[-F[_, _, _], +G[_, _, _]] = Morphism3[F, G]
type RestoreInterruption1[F[_]] = Morphism1[F, F]
type RestoreInterruption2[F[_, _]] = Morphism2[F, F]
type RestoreInterruption3[F[_, _, _]] = Morphism3[F, F]
type ~>[-F[_], +G[_]] = Morphism1[F, G]
type ~>>[-F[_, _], +G[_, _]] = Morphism2[F, G]
type ~>>>[-F[_, _, _], +G[_, _, _]] = Morphism3[F, G]