Packages

Definition Classes: root

Definition Classes: root

Definition Classes: izumi

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

[Functor2]<--[Bifunctor2]
[Bifunctor2]<--[ApplicativeError2]
[Functor2]<--[Applicative2]
[Applicative2]<--[Guarantee2]
[Applicative2]<--[Monad2]
[Guarantee2]<--[ApplicativeError2]
[ApplicativeError2]<--[Error2]
[Error2]<--[WeakTemporal2]
[WeakTemporal2]<--[Temporal2]
[Monad2]<--[Error2]
[Error2]<--[Bracket2]
[Bracket2]<--[Panic2]
[Panic2]<--[IO2]
[IO2]<--[WeakAsync2]
[WeakAsync2]<--[Async2]

[Monad2]<--[Parallel2]
[Parallel2]<--[WeakAsync2]
[Panic2]<--[Concurrent2]
[Parallel2]<--[Concurrent2]

Auxiliary algebras (rendered: https://izumi.7mind.io/bio/media/algebras.svg):

[cats.effect.*]<:--[CatsConversions]

[Fork2]<:--[Fiber2]

[BlockingIO2]

[Primitives2]

[Primitives2]<:--[Ref2]
[Primitives2]<:--[Semaphore2]
[Primitives2]<:--[Promise2]

[PrimitivesM2]
[PrimitivesM2]<:--[RefM2]
[PrimitivesM2]<:--[Mutex2]

[PrimitivesLocal2]
[PrimitivesLocal2]<--[FiberRef2]
[PrimitivesLocal2]<--[FiberLocal2]

[Entropy1]<:--[Entropy2]
[Clock1]<:--[Clock2]

[Scheduler2]

[UnsafeRun2]

Raw inheritance hierarchy (rendered: https://izumi.7mind.io/bio/media/bio-hierarchy.svg):

[Bifunctor2]<--[ApplicativeError2]
[Functor2]<--[Applicative2]
[Applicative2]<--[Guarantee2]
[Applicative2]<--[Monad2]
[Guarantee2]<--[ApplicativeError2]
[ApplicativeError2]<--[Error2]
[Monad2]<--[Error2]
[Error2]<--[Bracket2]
[Bracket2]<--[Panic2]
[Panic2]<--[IO2]

[Parallel2]<--[WeakAsync2]
[Parallel2]<--[Concurrent2]
[Concurrent2]<--[Async2]
[IO2]<--[WeakAsync2]
[WeakAsync2]<--[Async2]

[WeakTemporal2]<--[Temporal2]

current hierarchy roots:

bifunctor:

standalone:

Definition Classes

functional

Note

New BIO typeclass checklist:

[ ] - add syntax to `Syntax2` with the same name as the type
[ ] - add syntax for new root's `InnerF` with the same name as `InnerF` in `Syntax2`
[ ] - add new attachments in `RootInstanceLowPriority*`
[ ] - add conversion from itself to its `InnerF` to `RootInstanceLowPriority*`
      (conversions implicit priority: from most specific `InnerF` to least specific)
[ ] - add conversion to equivalent cats typeclass if applicable in `CatsConversions`
[ ] - update hierarchy graph above, re-render SVG
[ ] - add syntax tests in `SyntaxTest`, runtime tests if applicable

Real and raw (direct inheritance) hierarchies differ because of implicit ambiguities caused by inheritance: https://typelevel.org/blog/2016/09/30/subtype-typeclasses.html However, since Scala 3.7, the ambiguity problem has been resolved on Scala 3 using inverted given prioritization: https://contributors.scala-lang.org/t/joining-the-dots-on-recent-implicit-prioritization-changes-and-some-scala-history/6814/3 So, when or if we drop support for Scala 2, we can revisit the design, remove InnerF pattern and make real and raw hierarchy match.

package impl

Definition Classes: bio

trait MiniBIOAsyncPlatformSpecific extends AnyRef

Definition Classes: impl

MiniBIOAsyncUnsafeRunPlatformSpecific

izumi.functional.bio.impl.MiniBIOAsyncPlatformSpecific

MiniBIOAsyncUnsafeRunPlatformSpecific

abstract class MiniBIOAsyncUnsafeRunPlatformSpecific extends UnsafeRun2[MiniBIOAsync]

Attributes: protected

Linear Supertypes

UnsafeRun2[MiniBIOAsync], AnyRef, Any

Known Subclasses

MiniBIOAsyncRunner

Ordering

Alphabetic
By Inheritance

Inherited

MiniBIOAsyncUnsafeRunPlatformSpecific
UnsafeRun2
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Instance Constructors

new MiniBIOAsyncUnsafeRunPlatformSpecific()(implicit ec: ExecutionContext)

Abstract Value Members

abstract def unsafeRunAsync[E, A](io: => MiniBIOAsync[E, A])(callback: (Exit[E, A]) => Unit): Unit
Definition Classes
UnsafeRun2
abstract def unsafeRunAsyncAsFuture[E, A](io: => MiniBIOAsync[E, A]): Future[Exit[E, A]]
Definition Classes
UnsafeRun2
abstract def unsafeRunAsyncAsInterruptibleFuture[E, A](io: => MiniBIOAsync[E, A]): (Future[Exit[E, A]], InterruptAction[MiniBIOAsync])
Definition Classes
UnsafeRun2
abstract def unsafeRunAsyncInterruptible[E, A](io: => MiniBIOAsync[E, A])(callback: (Exit[E, A]) => Unit): InterruptAction[MiniBIOAsync]
Definition Classes
UnsafeRun2

Concrete Value Members

final def !=(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def ##: Int
Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean
Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0
Definition Classes
Any
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def equals(arg0: AnyRef): Boolean
Definition Classes
AnyRef → Any
def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable])
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
final def synchronized[T0](arg0: => T0): T0
Definition Classes
AnyRef
def toString(): String
Definition Classes
AnyRef → Any
final def unsafeRun[E, A](io: => MiniBIOAsync[E, A]): A
Definition Classes
MiniBIOAsyncUnsafeRunPlatformSpecific → UnsafeRun2
final def unsafeRunSync[E, A](io: => MiniBIOAsync[E, A]): Exit[E, A]
Definition Classes
MiniBIOAsyncUnsafeRunPlatformSpecific → UnsafeRun2
final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()

Packages

MiniBIOAsyncUnsafeRunPlatformSpecific

abstract class MiniBIOAsyncUnsafeRunPlatformSpecific extends UnsafeRun2[MiniBIOAsync]

Instance Constructors

Abstract Value Members

Concrete Value Members

Inherited from UnsafeRun2[MiniBIOAsync]

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

MiniBIOAsyncUnsafeRunPlatformSpecific

abstract class MiniBIOAsyncUnsafeRunPlatformSpecific extends UnsafeRun2[MiniBIOAsync]

Instance Constructors

Abstract Value Members

Concrete Value Members

Inherited from UnsafeRun2[MiniBIOAsync]

Inherited from AnyRef

Inherited from Any

Ungrouped

MiniBIOAsyncUnsafeRunPlatformSpecific