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

izumi.functional.bio.data

package izumi.functional.bio.data

Members list

Concise view

Type members

Classlikes

sealed abstract class Free[+S[_, _], +E, +A]

Attributes

Companion:
object
Graph
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]
object Free

Attributes

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

Attributes

Companion:
object
Graph
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
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
sealed abstract class FreePanic[+S[_, _], +E, +A]

Attributes

Companion:
object
Graph
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]
object FreePanic

Attributes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Isomorphism2

Attributes

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

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Isomorphism3

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait LowPriorityIsomorphismInstances extends LowPriorityIsomorphismInstances1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
sealed trait LowPriorityIsomorphismInstances1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed trait LowPriorityMorphismInstances extends LowPriorityMorphismInstances1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Morphism3.type
sealed trait LowPriorityMorphismInstances1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Morphism3.type
object Morphism1

Attributes

Note:

if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism1, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Morphism2

Attributes

Note:

if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism2, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Morphism3 extends LowPriorityMorphismInstances

Attributes

Note:

if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism3, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

Graph
Supertypes
class Object
trait Matchable
class Any
Self 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 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]
Generated with