Packages

  • package root
    Definition Classes
    root
  • package izumi
    Definition Classes
    root
  • package functional
    Definition Classes
    izumi
  • package bio

    Current hierarchy (use http://www.nomnoml.com/ to render, rendered: https://izumi.7mind.io/bio/media/bio-relationship-hierarchy.svg)

    Current hierarchy (use http://www.nomnoml.com/ to render, rendered: https://izumi.7mind.io/bio/media/bio-relationship-hierarchy.svg)

    [Functor3]<--[Bifunctor3]
    [Bifunctor3]<--[ApplicativeError3]
    [Functor3]<--[Applicative3]
    [Applicative3]<--[Guarantee3]
    [Applicative3]<--[Monad3]
    [Guarantee3]<--[ApplicativeError3]
    [ApplicativeError3]<--[Error3]
    [Monad3]<--[Error3]
    [Error3]<--[Bracket3]
    [Bracket3]<--[Panic3]
    [Panic3]<--[IO3]
    [IO3]<--[Async3]
    
    [Monad3]<--[Parallel3]
    [Parallel3]<--[Concurrent3]
    [Concurrent3]<--[Async3]
    
    [Error3]<--[Temporal3]
    
    [Functor3]<--[Profunctor3]
    [Profunctor3]<--[Arrow3]
    [Arrow3]<--[ArrowChoice3]
    [ArrowChoice3]<--[Local3]
    
    [Applicative3]<--[Ask3]
    [Monad3]<--[MonadAsk3]
    [Ask3]<--[MonadAsk3]
    [MonadAsk3]<--[Local3]

    Auxiliary algebras:

    [cats.effect.*]<:--[CatsConversions]
    
    [Fork3]<:--[Fiber3]
    
    [BlockingIO3]<:--[BlockingIO2]
    
    [Primitives2]<:--[Primitives3]
    [Primitives3]<:--[Ref3]
    
    [Primitives3]<:--[Semaphore3]
    [Primitives3]<:--[Promise3]
    
    [Entropy]<:--[Entropy2]
    
    [Entropy2]<:--[Entropy3]

    inheritance hierarchy:

    [Functor3]<--[Applicative3]
    [Applicative3]<--[Guarantee3]
    [Applicative3]<--[Monad3]
    [Guarantee3]<--[ApplicativeError3]
    [Bifunctor3]<--[ApplicativeError3]
    [ApplicativeError3]<--[Error3]
    [Monad3]<--[Error3]
    [Error3]<--[Bracket3]
    [Bracket3]<--[Panic3]
    [Panic3]<--[IO3]
    
    [Parallel3]<--[Concurrent3]
    [Concurrent3]<--[Async3]
    [IO3]<--[Async3]
    
    [Temporal3]
    
    [Profunctor3]<--[Arrow3]
    [Arrow3]<--[ArrowChoice3]
    [ArrowChoice3]<--[Local3]
    [Ask3]<--[MonadAsk3]
    [MonadAsk3]<--[Local3]

    current hierarchy roots:

    bifunctor:

    • Functor3
    • Bifunctor3
    • Parallel3
    • Temporal3

    trifunctor:

    • Profunctor3
    • Ask3

    standalone:

    • Fork3
    • BlockingIO3
    • Primitives3
    Definition Classes
    functional
  • package data
    Definition Classes
    bio
  • Free
  • FreeError
  • FreePanic
  • Isomorphism1
  • Isomorphism2
  • Isomorphism3
  • LowPriorityIsomorphismInstances
  • LowPriorityIsomorphismInstances1
  • LowPriorityMorphismInstances
  • LowPriorityMorphismInstances1
  • Morphism1
  • Morphism2
  • Morphism3
  • package impl
    Definition Classes
    bio
  • package retry
    Definition Classes
    bio
  • package syntax
    Definition Classes
    bio

package data

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. data
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. sealed abstract class Free[+S[_, _], +E, +A] extends AnyRef
  2. sealed abstract class FreeError[+S[_, _], +E, +A] extends AnyRef
  3. sealed abstract class FreePanic[+S[_, _], +E, +A] extends AnyRef
  4. type Isomorphism1[F[_], G[_]] = Isomorphism3[[R, E, A]F[A], [R, E, A]G[A]]
  5. type Isomorphism2[F[_, _], G[_, _]] = Isomorphism3[[R, E, A]F[E, A], [R, E, A]G[E, A]]
  6. trait Isomorphism3[F[_, _, _], G[_, _, _]] extends AnyRef
  7. sealed trait LowPriorityIsomorphismInstances extends LowPriorityIsomorphismInstances1
  8. sealed trait LowPriorityIsomorphismInstances1 extends AnyRef
  9. sealed trait LowPriorityMorphismInstances extends LowPriorityMorphismInstances1
  10. sealed trait LowPriorityMorphismInstances1 extends AnyRef
  11. type Morphism1[-F[_], +G[_]] = data.Morphism3.Morphism3[[R, E, A]F[A], [R, E, A]G[A]]
  12. type Morphism2[-F[_, _], +G[_, _]] = data.Morphism3.Morphism3[[R, E, A]F[E, A], [R, E, A]G[E, A]]
  13. type Morphism3[-F[_, _, _], +G[_, _, _]] = data.Morphism3.Morphism3[F, G]
  14. type RestoreInterruption2[F[_, _]] = data.Morphism3.Morphism3[[R, E, A]F[E, A], [R, E, A]F[E, A]]
  15. type RestoreInterruption3[F[_, _, _]] = data.Morphism3.Morphism3[F, F]
  16. type ~>[-F[_], +G[_]] = data.Morphism3.Morphism3[[R, E, A]F[A], [R, E, A]G[A]]
  17. type ~>>[-F[_, _], +G[_, _]] = data.Morphism3.Morphism3[[R, E, A]F[E, A], [R, E, A]G[E, A]]
  18. type ~>>>[-F[_, _, _], +G[_, _, _]] = data.Morphism3.Morphism3[F, G]

Value Members

  1. object Free
  2. object FreeError
  3. object FreePanic
  4. object Isomorphism1
  5. object Isomorphism2
  6. object Isomorphism3
  7. object Morphism1

    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.

  8. object Morphism2

    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.

  9. object Morphism3 extends LowPriorityMorphismInstances

    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.

Inherited from AnyRef

Inherited from Any

Ungrouped