izumi.functional

Members list

Packages

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

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

[Monad2]&lt;--[Parallel2]
[Parallel2]&lt;--[WeakAsync2]
[Panic2]&lt;--[Concurrent2]
[Parallel2]&lt;--[Concurrent2]

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

[cats.effect.*]&lt;:--[CatsConversions]

[Fork2]&lt;:--[Fiber2]

[BlockingIO2]

[Primitives2]

[Primitives2]&lt;:--[Ref2]
[Primitives2]&lt;:--[Semaphore2]
[Primitives2]&lt;:--[Promise2]

[PrimitivesM2]
[PrimitivesM2]&lt;:--[RefM2]
[PrimitivesM2]&lt;:--[Mutex2]

[PrimitivesLocal2]
[PrimitivesLocal2]&lt;--[FiberRef2]
[PrimitivesLocal2]&lt;--[FiberLocal2]

[Entropy1]&lt;:--[Entropy2]
[Clock1]&lt;:--[Clock2]

[Scheduler2]

[UnsafeRun2]

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

[Bifunctor2]&lt;--[ApplicativeError2]
[Functor2]&lt;--[Applicative2]
[Applicative2]&lt;--[Guarantee2]
[Applicative2]&lt;--[Monad2]
[Guarantee2]&lt;--[ApplicativeError2]
[ApplicativeError2]&lt;--[Error2]
[Monad2]&lt;--[Error2]
[Error2]&lt;--[Bracket2]
[Bracket2]&lt;--[Panic2]
[Panic2]&lt;--[IO2]

[Parallel2]&lt;--[WeakAsync2]
[Parallel2]&lt;--[Concurrent2]
[Concurrent2]&lt;--[Async2]
[IO2]&lt;--[WeakAsync2]
[WeakAsync2]&lt;--[Async2]

[WeakTemporal2]&lt;--[Temporal2]

current hierarchy roots:

bifunctor:

standalone:

Attributes

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.

Type members

Classlikes

Attributes

Companion: object
Supertypes: trait IzPlatformSyntax

trait IzPlatformPureUtil

trait IzPlatformUtil

class Object

trait Matchable

class Any
Show all
Known subtypes: object IzEither

object preamble

Attributes

Companion: trait
Supertypes: trait IzEither

trait IzPlatformSyntax

trait IzPlatformPureUtil

trait IzPlatformUtil

class Object

trait Matchable

class Any
Show all
Self type: IzEither.type

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: Lub.type

Attributes

Companion: object
Supertypes: class AnyVal

trait Matchable

class Any

Attributes

Companion: trait
Supertypes: trait WithRenderableSyntax

class Object

trait Matchable

class Any
Self type: Renderable.type

Attributes

Companion: object
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object DIPlanCompactFormatter

object LocatorFormatter

Attributes

Companion: object
Supertypes: class AnyVal

trait Matchable

class Any

Attributes

Companion: class
Supertypes: class Object

trait Matchable

class Any
Self type: Value.type

Attributes

Companion: trait
Supertypes: class Object

trait Matchable

class Any
Self type: WithRenderableSyntax.type

Attributes

Companion: object
Supertypes: class Object

trait Matchable

class Any
Known subtypes: object Renderable

In this article

Generated with