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 syntax

Definition Classes: bio

object Syntax2

Definition Classes: syntax

ImplicitPunsApplicative

ImplicitPunsApplicativeError

ImplicitPunsAsync

ImplicitPunsBifunctor

ImplicitPunsBracket

ImplicitPunsConcurrent

ImplicitPunsError

ImplicitPunsFork

ImplicitPunsFunctor

ImplicitPunsGuarantee

ImplicitPunsParallelErrorAccumulatingOps

ImplicitPunsTemporal

ImplicitPunsWeakAsync

ImplicitPunsWeakTemporal

izumi.functional.bio.syntax.Syntax2

ConcurrentOpsBase

trait ConcurrentOpsBase[F[+_, +_], +E, +A] extends ParallelOpsBase[F, E, A]

Linear Supertypes

ParallelOpsBase[F, E, A], AnyRef, Any

Known Subclasses

AsyncOps, ConcurrentOps

Ordering

Alphabetic
By Inheritance

Inherited

ConcurrentOpsBase
ParallelOpsBase
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

Abstract Value Members

implicit abstract val F: Concurrent2[F]
Attributes
protected
Definition Classes
ConcurrentOpsBase → ParallelOpsBase
abstract val r: F[E, A]
Attributes
protected
Definition Classes
ParallelOpsBase

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 race[E1 >: E, A1 >: A](that: F[E1, A1]): F[E1, A1]
Annotations
@inline()
final def racePairUnsafe[E1 >: E, A1 >: A](that: F[E1, A1]): F[E1, Either[(Exit[E1, A], Fiber2[F, E1, A1]), (Fiber2[F, E1, A], Exit[E1, A1])]]
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()
final def zipPar[E1 >: E, B](that: F[E1, B]): F[E1, (A, B)]
Definition Classes
ParallelOpsBase
Annotations
@inline()
final def zipParLeft[E1 >: E, B](that: F[E1, B]): F[E1, A]
Definition Classes
ParallelOpsBase
Annotations
@inline()
final def zipParRight[E1 >: E, B](that: F[E1, B]): F[E1, B]
Definition Classes
ParallelOpsBase
Annotations
@inline()
final def zipWithPar[E1 >: E, B, C](that: F[E1, B])(f: (A, B) => C): F[E1, C]
Definition Classes
ParallelOpsBase
Annotations
@inline()

Packages

ConcurrentOpsBase

trait ConcurrentOpsBase[F[+_, +_], +E, +A] extends ParallelOpsBase[F, E, A]

Abstract Value Members

Concrete Value Members

Inherited from ParallelOpsBase[F, E, A]

Inherited from AnyRef

Inherited from Any

Ungrouped

Packages

ConcurrentOpsBase

trait ConcurrentOpsBase[F[+_, +_], +E, +A] extends ParallelOpsBase[F, E, A]

Abstract Value Members

Concrete Value Members

Inherited from ParallelOpsBase[F, E, A]

Inherited from AnyRef

Inherited from Any

Ungrouped

ConcurrentOpsBase