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:

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

[Fork2]<:--[Fiber2]

[BlockingIO2]

[Primitives2]

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

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

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

[UnsafeRun2]

Raw inheritance hierarchy:

[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

MiniBIOAsyncPlatformSpecific

MiniBIOPlatformSpecific

PrimitivesFromBIOAndCats

PrimitivesLocalFromCatsIO

izumi.functional.bio.impl

PrimitivesZio

Companion object PrimitivesZio

class PrimitivesZio[R] extends Primitives2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$]]

Linear Supertypes

Primitives2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$]], PrimitivesInstances, AnyRef, Any

Known Subclasses

PrimitivesZio

Ordering

Alphabetic
By Inheritance

Inherited

PrimitivesZio
Primitives2
PrimitivesInstances
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Instance Constructors

new PrimitivesZio()

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
def mkLatch: ZIO[R, Nothing, Promise2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$], Nothing, Unit]]
Definition Classes
Primitives2
def mkPromise[E, A]: ZIO[R, Nothing, Promise2[[+β$4$, +γ$5$]ZIO[R, β$4$, γ$5$], E, A]]
Definition Classes
PrimitivesZio → Primitives2
def mkRef[A](a: A): ZIO[R, Nothing, Ref2[[+β$2$, +γ$3$]ZIO[R, β$2$, γ$3$], A]]
Definition Classes
PrimitivesZio → Primitives2
def mkSemaphore(permits: Long): ZIO[R, Nothing, Semaphore2[[+β$6$, +γ$7$]ZIO[R, β$6$, γ$7$]]]
Definition Classes
PrimitivesZio → Primitives2
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 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

PrimitivesZio

Companion object PrimitivesZio

class PrimitivesZio[R] extends Primitives2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$]]

Instance Constructors

Value Members

Inherited from Primitives2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$]]

Inherited from PrimitivesInstances

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

PrimitivesZio

Companion object PrimitivesZio

class PrimitivesZio[R] extends Primitives2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$]]

Instance Constructors

Value Members

Inherited from Primitives2[[+β$0$, +γ$1$]ZIO[R, β$0$, γ$1$]]

Inherited from PrimitivesInstances

Inherited from AnyRef

Inherited from Any

Ungrouped

PrimitivesZio