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.

object CatsConversions

Definition Classes: bio

BIOCatsConcurrentImpl

BIOCatsFunctor

BIOCatsMonad

BIOCatsMonadCancel

BIOCatsMonadCancelImpl

izumi.functional.bio.CatsConversions

BIOCatsParallel

class BIOCatsParallel[F0[+_, +_]] extends Parallel[[β$27$]F0[Throwable, β$27$]]

Linear Supertypes

Parallel[[β$27$]F0[Throwable, β$27$]], NonEmptyParallel[[β$27$]F0[Throwable, β$27$]], Serializable, AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

BIOCatsParallel
Parallel
NonEmptyParallel
Serializable
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Instance Constructors

new BIOCatsParallel(F0: Parallel2[F0])

Type Members

type F[A] = F0[Throwable, A]
Definition Classes
BIOCatsParallel → NonEmptyParallel
type M[A] = F0[Throwable, A]

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 lazy val applicative: Applicative[F]
Definition Classes
BIOCatsParallel → Parallel
def applicativeError[E](implicit E: MonadError[[β$27$]F0[Throwable, β$27$], E]): ApplicativeError[F, E]
Definition Classes
Parallel
def apply: Apply[F]
Definition Classes
Parallel → NonEmptyParallel
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])
def flatMap: FlatMap[[β$27$]F0[Throwable, β$27$]]
Definition Classes
Parallel → NonEmptyParallel
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 lazy val monad: Monad[M]
Definition Classes
BIOCatsParallel → Parallel
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()
def parProductL[A, B](ma: F0[Throwable, A])(mb: F0[Throwable, B]): F0[Throwable, A]
Definition Classes
NonEmptyParallel
def parProductR[A, B](ma: F0[Throwable, A])(mb: F0[Throwable, B]): F0[Throwable, B]
Definition Classes
NonEmptyParallel
final def parallel: ~>[M, F]
Definition Classes
BIOCatsParallel → NonEmptyParallel
Annotations
@inline()
final def sequential: ~>[F, M]
Definition Classes
BIOCatsParallel → NonEmptyParallel
Annotations
@inline()
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

BIOCatsParallel

class BIOCatsParallel[F0[+_, +_]] extends Parallel[[β$27$]F0[Throwable, β$27$]]

Instance Constructors

Type Members

Value Members

Inherited from Parallel[[β$27$]F0[Throwable, β$27$]]

Inherited from NonEmptyParallel[[β$27$]F0[Throwable, β$27$]]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

BIOCatsParallel

class BIOCatsParallel[F0[+_, +_]] extends Parallel[[β$27$]F0[Throwable, β$27$]]

Instance Constructors

Type Members

Value Members

Inherited from Parallel[[β$27$]F0[Throwable, β$27$]]

Inherited from NonEmptyParallel[[β$27$]F0[Throwable, β$27$]]

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped

BIOCatsParallel