Packages

package bio

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

[Functor3]<--[Bifunctor3]
[Bifunctor3]<--[ApplicativeError3]
[Functor3]<--[Applicative3]
[Applicative3]<--[Guarantee3]
[Applicative3]<--[Monad3]
[Guarantee3]<--[ApplicativeError3]
[ApplicativeError3]<--[Error3]
[Monad3]<--[Error3]
[Error3]<--[Bracket3]
[Bracket3]<--[Panic3]
[Panic3]<--[IO3]
[IO3]<--[Async3]

[Monad3]<--[Parallel3]
[Parallel3]<--[Concurrent3]
[Concurrent3]<--[Async3]

[Error3]<--[Temporal3]

[Functor3]<--[Profunctor3]
[Profunctor3]<--[Arrow3]
[Arrow3]<--[ArrowChoice3]
[ArrowChoice3]<--[Local3]

[Applicative3]<--[Ask3]
[Monad3]<--[MonadAsk3]
[Ask3]<--[MonadAsk3]
[MonadAsk3]<--[Local3]

Auxiliary algebras:

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

[Fork3]<:--[Fiber3]

[BlockingIO3]<:--[BlockingIO2]

[Primitives2]<:--[Primitives3]
[Primitives3]<:--[Ref3]

[Primitives3]<:--[Semaphore3]
[Primitives3]<:--[Promise3]

[Entropy]<:--[Entropy2]

[Entropy2]<:--[Entropy3]

inheritance hierarchy:

[Functor3]<--[Applicative3]
[Applicative3]<--[Guarantee3]
[Applicative3]<--[Monad3]
[Guarantee3]<--[ApplicativeError3]
[Bifunctor3]<--[ApplicativeError3]
[ApplicativeError3]<--[Error3]
[Monad3]<--[Error3]
[Error3]<--[Bracket3]
[Bracket3]<--[Panic3]
[Panic3]<--[IO3]

[Parallel3]<--[Concurrent3]
[Concurrent3]<--[Async3]
[IO3]<--[Async3]

[Temporal3]

[Profunctor3]<--[Arrow3]
[Arrow3]<--[ArrowChoice3]
[ArrowChoice3]<--[Local3]
[Ask3]<--[MonadAsk3]
[MonadAsk3]<--[Local3]

current hierarchy roots:

bifunctor:

  • Functor3
  • Bifunctor3
  • Parallel3
  • Temporal3

trifunctor:

  • Profunctor3
  • Ask3

standalone:

  • Fork3
  • BlockingIO3
  • Primitives3
Linear Supertypes
Syntax2, ImplicitPuns, ImplicitPuns1, ImplicitPuns2, ImplicitPuns3, ImplicitPuns4, ImplicitPuns5, ImplicitPuns6, ImplicitPuns7, ImplicitPuns8, ImplicitPuns9, ImplicitPuns10, ImplicitPuns11, ImplicitPuns12, ImplicitPuns13, Syntax3, ImplicitPuns, ImplicitPuns1, ImplicitPuns2, ImplicitPuns3, ImplicitPuns4, ImplicitPuns5, ImplicitPuns6, ImplicitPuns7, ImplicitPuns8, ImplicitPuns9, ImplicitPuns10, ImplicitPuns11, ImplicitPuns12, ImplicitPuns13, ImplicitPuns14, ImplicitPuns15, ImplicitPuns16, ImplicitPuns17, ImplicitPuns18, ImplicitPuns19, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. bio
  2. Syntax2
  3. ImplicitPuns
  4. ImplicitPuns1
  5. ImplicitPuns2
  6. ImplicitPuns3
  7. ImplicitPuns4
  8. ImplicitPuns5
  9. ImplicitPuns6
  10. ImplicitPuns7
  11. ImplicitPuns8
  12. ImplicitPuns9
  13. ImplicitPuns10
  14. ImplicitPuns11
  15. ImplicitPuns12
  16. ImplicitPuns13
  17. Syntax3
  18. ImplicitPuns
  19. ImplicitPuns1
  20. ImplicitPuns2
  21. ImplicitPuns3
  22. ImplicitPuns4
  23. ImplicitPuns5
  24. ImplicitPuns6
  25. ImplicitPuns7
  26. ImplicitPuns8
  27. ImplicitPuns9
  28. ImplicitPuns10
  29. ImplicitPuns11
  30. ImplicitPuns12
  31. ImplicitPuns13
  32. ImplicitPuns14
  33. ImplicitPuns15
  34. ImplicitPuns16
  35. ImplicitPuns17
  36. ImplicitPuns18
  37. ImplicitPuns19
  38. AnyRef
  39. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package data
  2. package impl
  3. package retry
  4. package syntax

Type Members

  1. type Applicative2[F[+_, +_]] = Applicative3[[-R, +E, +A]F[E, A]]
  2. trait Applicative3[F[-_, +_, +_]] extends Functor3[F]
  3. type ApplicativeError2[F[+_, +_]] = ApplicativeError3[[-R, +E, +A]F[E, A]]
  4. trait ApplicativeError3[F[-_, +_, +_]] extends Guarantee3[F] with Bifunctor3[F]
  5. trait Arrow3[FR[-_, +_, +_]] extends Profunctor3[FR]
  6. trait ArrowChoice3[FR[-_, +_, +_]] extends Arrow3[FR]
  7. trait Ask3[FR[-_, +_, +_]] extends RootTrifunctor[FR]
  8. type Async2[F[+_, +_]] = Async3[[-R, +E, +A]F[E, A]]
  9. trait Async3[F[-_, +_, +_]] extends Concurrent3[F] with IO3[F]
  10. type Bifunctor2[F[+_, +_]] = Bifunctor3[[-R, +E, +A]F[E, A]]
  11. trait Bifunctor3[F[-_, +_, +_]] extends RootBifunctor[F]
  12. type BlockingIO2[F[+_, +_]] = BlockingIO3[[-R, +E, +A]F[E, A]]
  13. trait BlockingIO3[F[-_, +_, +_]] extends BlockingIOInstances with DivergenceHelper with PredefinedHelper
  14. trait BlockingIOLowPriorityVersionSpecific extends AnyRef
  15. type Bracket2[F[+_, +_]] = Bracket3[[-R, +E, +A]F[E, A]]
  16. trait Bracket3[F[-_, +_, +_]] extends Error3[F]
  17. trait CatsConversions extends CatsConversions1

    Automatic converters from BIO* hierarchy to equivalent cats & cats-effect classes.

    Automatic converters from BIO* hierarchy to equivalent cats & cats-effect classes.

    import izumi.functional.bio.IO2
import izumi.functional.bio.catz.*
import cats.effect.kernel.Sync

def divideByZero[F[+_, +_]: IO2]: F[Throwable, Int] = {
  Sync[F[Throwable, _]].delay(10 / 0)
}
  18. trait CatsConversions1 extends CatsConversions2
  19. trait CatsConversions10 extends CatsConversions11
  20. trait CatsConversions11 extends AnyRef
  21. trait CatsConversions2 extends CatsConversions3
  22. trait CatsConversions3 extends CatsConversions4
  23. trait CatsConversions4 extends CatsConversions5
  24. trait CatsConversions5 extends CatsConversions6
  25. trait CatsConversions6 extends CatsConversions60
  26. trait CatsConversions60 extends CatsConversions7
  27. trait CatsConversions7 extends CatsConversions8
  28. trait CatsConversions8 extends CatsConversions9
  29. trait CatsConversions9 extends CatsConversions10
  30. trait Clock1[F[_]] extends DivergenceHelper
  31. type Clock2[F[_, _]] = Clock1[[β$20$]F[Nothing, β$20$]]
  32. type Clock3[F[_, _, _]] = Clock1[[γ$21$]F[Any, Nothing, γ$21$]]
  33. type Concurrent2[F[+_, +_]] = Concurrent3[[-R, +E, +A]F[E, A]]
  34. trait Concurrent3[F[-_, +_, +_]] extends Parallel3[F]
  35. trait DivergenceHelper extends AnyRef
  36. trait Entropy1[F[_]] extends DivergenceHelper
  37. type Entropy2[F[_, _]] = Entropy1[[β$22$]F[Nothing, β$22$]]
  38. type Entropy3[F[_, _, _]] = Entropy1[[γ$23$]F[Any, Nothing, γ$23$]]
  39. type Error2[F[+_, +_]] = Error3[[-R, +E, +A]F[E, A]]
  40. trait Error3[F[-_, +_, +_]] extends ApplicativeError3[F] with Monad3[F]
  41. sealed trait Exit[+E, +A] extends AnyRef
  42. trait Fiber2[+F[+_, +_], +E, +A] extends AnyRef
  43. type Fiber3[+F[-_, +_, +_], +E, +A] = Fiber2[[+β$4$, +γ$5$]F[Any, β$4$, γ$5$], E, A]
  44. type Fork2[F[+_, +_]] = Fork3[[-R, +E, +A]F[E, A]]
  45. trait Fork3[F[-_, +_, +_]] extends RootBifunctor[F] with ForkInstances
  46. type Functor2[F[+_, +_]] = Functor3[[-R, +E, +A]F[E, A]]
  47. trait Functor3[F[-_, +_, +_]] extends RootBifunctor[F]
  48. type Guarantee2[F[+_, +_]] = Guarantee3[[-R, +E, +A]F[E, A]]
  49. trait Guarantee3[F[-_, +_, +_]] extends Applicative3[F]
  50. type IO2[F[+_, +_]] = IO3[[-R, +E, +A]F[E, A]]
  51. trait IO3[F[-_, +_, +_]] extends Panic3[F]
  52. type Latch2[+F[+_, +_]] = Promise2[F, Nothing, Unit]
  53. type Latch3[+F[-_, +_, +_]] = Promise2[[+β$12$, +γ$13$]F[Any, β$12$, γ$13$], Nothing, Unit]
  54. trait Local3[FR[-_, +_, +_]] extends MonadAsk3[FR] with ArrowChoice3[FR] with LocalInstances
  55. sealed trait LowPriorityBlockingIOInstances extends LowPriorityBlockingIOInstances1
  56. sealed trait LowPriorityBlockingIOInstances1 extends BlockingIOLowPriorityVersionSpecific
  57. sealed trait LowPriorityClockInstances extends AnyRef
  58. sealed trait LowPriorityEntropyInstances extends AnyRef
  59. sealed trait LowPriorityForkInstances extends AnyRef
  60. trait LowPrioritySyncSafeInstances0 extends LowPrioritySyncSafeInstances1
  61. trait LowPrioritySyncSafeInstances1 extends LowPrioritySyncSafeInstances2
  62. trait LowPrioritySyncSafeInstances2 extends AnyRef
  63. type Monad2[F[+_, +_]] = Monad3[[-R, +E, +A]F[E, A]]
  64. trait Monad3[F[-_, +_, +_]] extends Applicative3[F]
  65. trait MonadAsk3[FR[-_, +_, +_]] extends Ask3[FR] with MonadAskSyntax
  66. trait Mutex2[F[+_, +_]] extends AnyRef
  67. type Mutex3[F[_, +_, +_], A] = Mutex2[[+β$8$, +γ$9$]F[Any, β$8$, γ$9$]]
  68. type Panic2[F[+_, +_]] = Panic3[[-R, +E, +A]F[E, A]]
  69. trait Panic3[F[-_, +_, +_]] extends Bracket3[F] with PanicSyntax
  70. type Parallel2[F[+_, +_]] = Parallel3[[-R, +E, +A]F[E, A]]
  71. trait Parallel3[F[-_, +_, +_]] extends RootBifunctor[F]
  72. trait PredefinedHelper extends AnyRef
  73. trait Primitives2[F[+_, +_]] extends PrimitivesInstances
  74. type Primitives3[F[-_, +_, +_]] = Primitives2[[+β$0$, +γ$1$]F[Any, β$0$, γ$1$]]
  75. trait PrimitivesM2[F[+_, +_]] extends PrimitivesMInstances
  76. type PrimitivesM3[F[-_, +_, +_]] = PrimitivesM2[[+β$2$, +γ$3$]F[Any, β$2$, γ$3$]]
  77. sealed trait PrimitivesMLowPriorityInstances extends AnyRef
  78. trait Profunctor3[FR[-_, +_, +_]] extends RootTrifunctor[FR]
  79. trait Promise2[+F[+_, +_], E, A] extends AnyRef
  80. type Promise3[+F[-_, +_, +_], E, A] = Promise2[[+β$12$, +γ$13$]F[Any, β$12$, γ$13$], E, A]
  81. trait Ref1[+F[_], A] extends AnyRef
  82. type Ref2[+F[_, _], A] = Ref1[[β$10$]F[Nothing, β$10$], A]
  83. type Ref3[+F[_, _, _], A] = Ref1[[γ$11$]F[Any, Nothing, γ$11$], A]
  84. trait RefM2[F[+_, +_], A] extends AnyRef
  85. type RefM3[F[_, +_, +_], A] = RefM2[[+β$6$, +γ$7$]F[Any, β$6$, γ$7$], A]
  86. trait Root extends DivergenceHelper with PredefinedHelper
  87. trait RootBifunctor[F[-_, +_, +_]] extends Root
  88. sealed trait RootInstancesLowPriority1 extends RootInstancesLowPriority2
  89. sealed trait RootInstancesLowPriority10 extends RootInstancesLowPriority11
  90. sealed trait RootInstancesLowPriority11 extends RootInstancesLowPriority12
  91. sealed trait RootInstancesLowPriority12 extends RootInstancesLowPriorityVersionSpecific
  92. sealed trait RootInstancesLowPriority2 extends RootInstancesLowPriority3
  93. sealed trait RootInstancesLowPriority3 extends RootInstancesLowPriority4
  94. sealed trait RootInstancesLowPriority4 extends RootInstancesLowPriority5
  95. sealed trait RootInstancesLowPriority5 extends RootInstancesLowPriority6
  96. sealed trait RootInstancesLowPriority6 extends RootInstancesLowPriority7
  97. sealed trait RootInstancesLowPriority7 extends RootInstancesLowPriority8
  98. sealed trait RootInstancesLowPriority8 extends RootInstancesLowPriority9
  99. sealed trait RootInstancesLowPriority9 extends RootInstancesLowPriority10
  100. trait RootInstancesLowPriorityVersionSpecific extends AnyRef
  101. trait RootTrifunctor[F[-_, +_, +_]] extends Root
  102. trait Semaphore1[+F[_]] extends AnyRef
  103. type Semaphore2[+F[_, _]] = Semaphore1[[β$14$]F[Nothing, β$14$]]
  104. type Semaphore3[+F[_, _, _]] = Semaphore1[[γ$15$]F[Any, Nothing, γ$15$]]
  105. trait SyncSafe1[F[_]] extends DivergenceHelper

    Import _exception-safe_ side effects

  106. type SyncSafe2[F[_, _]] = SyncSafe1[[β$18$]F[Nothing, β$18$]]
  107. type SyncSafe3[F[_, _, _]] = SyncSafe1[[γ$19$]F[Any, Nothing, γ$19$]]
  108. type Temporal2[F[+_, +_]] = Temporal3[[-R, +E, +A]F[E, A]]
  109. trait Temporal3[F[-_, +_, +_]] extends RootBifunctor[F] with TemporalInstances
  110. sealed trait TemporalInstancesLowPriority1 extends AnyRef
  111. type TransZio[F[_, _]] = Isomorphism3[[R, E, A]F[E, A], [R, E, A]IO[E, A]]
  112. final case class TypedError[+A](prefixMessage: String, error: A) extends RuntimeException with Product with Serializable
  113. trait UnsafeRun2[F[_, _]] extends AnyRef
  114. type UnsafeRun3[F[_, _, _]] = UnsafeRun2[[β$16$, γ$17$]F[Any, β$16$, γ$17$]]
  115. trait WithFilter[+E] extends AnyRef
  116. sealed trait WithFilterInstances1 extends WithFilterInstances2
  117. sealed trait WithFilterInstances2 extends WithFilterInstances3
  118. sealed trait WithFilterInstances3 extends AnyRef

Value Members

  1. final def Applicative2[F[+_, +_]](implicit arg0: Applicative2[F]): Applicative2[F]
    Definition Classes
    ImplicitPuns11
    Annotations
    @inline()
  2. implicit final def Applicative2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Applicative2[F]): ApplicativeOps[F, E, A]
    Definition Classes
    ImplicitPuns11
    Annotations
    @inline()
  3. final def Applicative3[FR[-_, +_, +_]](implicit arg0: Applicative3[FR]): Applicative3[FR]
    Definition Classes
    ImplicitPuns17
    Annotations
    @inline()
  4. implicit final def Applicative3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Applicative3[FR]): ApplicativeOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns17
    Annotations
    @inline()
  5. final def ApplicativeError2[F[+_, +_]](implicit arg0: ApplicativeError2[F]): ApplicativeError2[F]
    Definition Classes
    ImplicitPuns8
    Annotations
    @inline()
  6. implicit final def ApplicativeError2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: ApplicativeError2[F]): ApplicativeErrorOps[F, E, A]
    Definition Classes
    ImplicitPuns8
    Annotations
    @inline()
  7. final def ApplicativeError3[FR[-_, +_, +_]](implicit arg0: ApplicativeError3[FR]): ApplicativeError3[FR]
    Definition Classes
    ImplicitPuns8
    Annotations
    @inline()
  8. implicit final def ApplicativeError3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: ApplicativeError3[FR]): ApplicativeErrorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns8
    Annotations
    @inline()
  9. final def Arrow3[FR[-_, +_, +_]](implicit arg0: Arrow3[FR]): Arrow3[FR]
    Definition Classes
    ImplicitPuns14
    Annotations
    @inline()
  10. implicit final def Arrow3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Functor3[FR]): FunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns14
    Annotations
    @inline()
  11. implicit final def Arrow3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Arrow3[FR]): ArrowOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns14
    Annotations
    @inline()
  12. final def ArrowChoice3[FR[-_, +_, +_]](implicit arg0: ArrowChoice3[FR]): ArrowChoice3[FR]
    Definition Classes
    ImplicitPuns13
    Annotations
    @inline()
  13. implicit final def ArrowChoice3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Functor3[FR]): FunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns13
    Annotations
    @inline()
  14. implicit final def ArrowChoice3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: ArrowChoice3[FR]): ArrowChoiceOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns13
    Annotations
    @inline()
  15. final def Ask3[FR[-_, +_, +_]](implicit arg0: Ask3[FR]): Ask3[FR]
    Definition Classes
    ImplicitPuns12
    Annotations
    @inline()
  16. implicit final def Ask3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Applicative3[FR]): ApplicativeOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns12
    Annotations
    @inline()
  17. final def Async2[F[+_, +_]](implicit arg0: Async2[F]): Async2[F]
    Definition Classes
    ImplicitPuns1
    Annotations
    @inline()
  18. implicit final def Async2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Async2[F]): AsyncOps[F, E, A]
    Definition Classes
    ImplicitPuns1
    Annotations
    @inline()
  19. final def Async3[FR[-_, +_, +_]](implicit arg0: Async3[FR]): Async3[FR]
    Definition Classes
    ImplicitPuns1
    Annotations
    @inline()
  20. implicit final def Async3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Async3[FR]): AsyncOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns1
    Annotations
    @inline()
  21. final def Bifunctor2[F[+_, +_]](implicit arg0: Bifunctor2[F]): Bifunctor2[F]
    Definition Classes
    ImplicitPuns12
    Annotations
    @inline()
  22. implicit final def Bifunctor2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Functor2[F]): FunctorOps[F, E, A]
    Definition Classes
    ImplicitPuns12
    Annotations
    @inline()
  23. implicit final def Bifunctor2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Bifunctor2[F]): BifunctorOps[F, E, A]
    Definition Classes
    ImplicitPuns12
    Annotations
    @inline()
  24. final def Bifunctor3[FR[-_, +_, +_]](implicit arg0: Bifunctor3[FR]): Bifunctor3[FR]
    Definition Classes
    ImplicitPuns18
    Annotations
    @inline()
  25. implicit final def Bifunctor3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Functor3[FR]): FunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns18
    Annotations
    @inline()
  26. implicit final def Bifunctor3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Bifunctor3[FR]): BifunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns18
    Annotations
    @inline()
  27. final def Bracket2[F[+_, +_]](implicit arg0: Bracket2[F]): Bracket2[F]
    Definition Classes
    ImplicitPuns6
    Annotations
    @inline()
  28. implicit final def Bracket2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Bracket2[F]): BracketOps[F, E, A]
    Definition Classes
    ImplicitPuns6
    Annotations
    @inline()
  29. final def Bracket3[FR[-_, +_, +_]](implicit arg0: Bracket3[FR]): Bracket3[FR]
    Definition Classes
    ImplicitPuns6
    Annotations
    @inline()
  30. implicit final def Bracket3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Bracket3[FR]): BracketOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns6
    Annotations
    @inline()
  31. final def Concurrent2[F[+_, +_]](implicit arg0: Concurrent2[F]): Concurrent2[F]
    Definition Classes
    ImplicitPuns2
    Annotations
    @inline()
  32. implicit final def Concurrent2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Panic2[F]): PanicOps[F, E, A]
    Definition Classes
    ImplicitPuns2
    Annotations
    @inline()
  33. implicit final def Concurrent2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Concurrent2[F]): ConcurrentOps[F, E, A]
    Definition Classes
    ImplicitPuns2
    Annotations
    @inline()
  34. final def Concurrent3[FR[-_, +_, +_]](implicit arg0: Concurrent3[FR]): Concurrent3[FR]
    Definition Classes
    ImplicitPuns2
    Annotations
    @inline()
  35. implicit final def Concurrent3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Panic3[FR]): PanicOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns2
    Annotations
    @inline()
  36. implicit final def Concurrent3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Concurrent3[FR]): ConcurrentOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns2
    Annotations
    @inline()
  37. final def Error2[F[+_, +_]](implicit arg0: Error2[F]): Error2[F]
    Definition Classes
    ImplicitPuns7
    Annotations
    @inline()
  38. implicit final def Error2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Error2[F]): ErrorOps[F, E, A]
    Definition Classes
    ImplicitPuns7
    Annotations
    @inline()
  39. final def Error3[FR[-_, +_, +_]](implicit arg0: Error3[FR]): Error3[FR]
    Definition Classes
    ImplicitPuns7
    Annotations
    @inline()
  40. implicit final def Error3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Error3[FR]): ErrorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns7
    Annotations
    @inline()
  41. def F[FR[-_, +_, +_]](implicit FR: Functor3[FR]): FR.type

    A convenient dependent summoner for BIO hierarchy.

    A convenient dependent summoner for BIO hierarchy. Auto-narrows to the most powerful available class:

    import izumi.functional.bio.{F, Temporal2}

def y[F[+_, +_]: Temporal2] = {
  F.timeout(5.seconds)(F.forever(F.unit))
}
    Definition Classes
    Syntax3
  42. lazy val Fiber3: Fiber2.type
  43. final def Fork2[F[+_, +_]](implicit arg0: Fork2[F]): Fork2[F]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  44. implicit final def Fork2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Fork2[F]): ForkOps[F, E, A]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  45. final def Fork3[FR[-_, +_, +_]](implicit arg0: Fork3[FR]): Fork3[FR]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  46. implicit final def Fork3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Fork3[FR]): ForkOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  47. final def Functor2[F[+_, +_]](implicit arg0: Functor2[F]): Functor2[F]
    Definition Classes
    ImplicitPuns13
    Annotations
    @inline()
  48. implicit final def Functor2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Functor2[F]): FunctorOps[F, E, A]
    Definition Classes
    ImplicitPuns13
    Annotations
    @inline()
  49. final def Functor3[FR[-_, +_, +_]](implicit arg0: Functor3[FR]): Functor3[FR]
    Definition Classes
    ImplicitPuns19
    Annotations
    @inline()
  50. implicit final def Functor3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Functor3[FR]): FunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns19
    Annotations
    @inline()
  51. final def Guarantee2[F[+_, +_]](implicit arg0: Guarantee2[F]): Guarantee2[F]
    Definition Classes
    ImplicitPuns9
    Annotations
    @inline()
  52. implicit final def Guarantee2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Guarantee2[F]): GuaranteeOps[F, E, A]
    Definition Classes
    ImplicitPuns9
    Annotations
    @inline()
  53. final def Guarantee3[FR[-_, +_, +_]](implicit arg0: Guarantee3[FR]): Guarantee3[FR]
    Definition Classes
    ImplicitPuns9
    Annotations
    @inline()
  54. implicit final def Guarantee3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Guarantee3[FR]): GuaranteeOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns9
    Annotations
    @inline()
  55. final def IO2[F[+_, +_]](implicit arg0: IO2[F]): IO2[F]
    Definition Classes
    ImplicitPuns4
    Annotations
    @inline()
  56. final def IO2[F[+_, +_], A](effect: => A)(implicit F: IO2[F]): F[Throwable, A]

    Shorthand for IO3#syncThrowable

    Shorthand for IO3#syncThrowable

    IO2(println("Hello world!"))
    Definition Classes
    ImplicitPuns4
    Annotations
    @inline()
  57. implicit final def IO2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: IO2[F]): IOOps[F, E, A]
    Definition Classes
    ImplicitPuns4
    Annotations
    @inline()
  58. final def IO3[FR[-_, +_, +_]](implicit arg0: IO3[FR]): IO3[FR]
    Definition Classes
    ImplicitPuns4
    Annotations
    @inline()
  59. final def IO3[FR[-_, +_, +_], A](effect: => A)(implicit F: IO3[FR]): FR[Any, Throwable, A]

    Shorthand for IO3#syncThrowable

    Shorthand for IO3#syncThrowable

    IO3(println("Hello world!"))
    Definition Classes
    ImplicitPuns4
    Annotations
    @inline()
  60. implicit final def IO3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: IO3[FR]): IOOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns4
    Annotations
    @inline()
  61. lazy val Latch2: Promise2.type
  62. lazy val Latch3: Promise2.type
  63. final def Local3[FR[-_, +_, +_]](implicit arg0: Local3[FR]): Local3[FR]
    Definition Classes
    ImplicitPuns10
    Annotations
    @inline()
  64. implicit final def Local3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Local3[FR], d: DummyImplicit): LocalOpsKleisliSyntax[FR, R, E, A]
    Definition Classes
    ImplicitPuns10
    Annotations
    @inline()
  65. implicit final def Local3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Monad3[FR]): MonadOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns10
    Annotations
    @inline()
  66. implicit final def Local3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Local3[FR]): LocalOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns10
    Annotations
    @inline()
  67. final def Monad2[F[+_, +_]](implicit arg0: Monad2[F]): Monad2[F]
    Definition Classes
    ImplicitPuns10
    Annotations
    @inline()
  68. implicit final def Monad2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Monad2[F]): MonadOps[F, E, A]
    Definition Classes
    ImplicitPuns10
    Annotations
    @inline()
  69. final def Monad3[FR[-_, +_, +_]](implicit arg0: Monad3[FR]): Monad3[FR]
    Definition Classes
    ImplicitPuns16
    Annotations
    @inline()
  70. implicit final def Monad3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Monad3[FR]): MonadOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns16
    Annotations
    @inline()
  71. final def MonadAsk3[FR[-_, +_, +_]](implicit arg0: MonadAsk3[FR]): MonadAsk3[FR]
    Definition Classes
    ImplicitPuns11
    Annotations
    @inline()
  72. implicit final def MonadAsk3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Monad3[FR]): MonadOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns11
    Annotations
    @inline()
  73. lazy val Mutex3: Mutex2.type
  74. final def Panic2[F[+_, +_]](implicit arg0: Panic2[F]): Panic2[F]
    Definition Classes
    ImplicitPuns5
    Annotations
    @inline()
  75. implicit final def Panic2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Panic2[F]): PanicOps[F, E, A]
    Definition Classes
    ImplicitPuns5
    Annotations
    @inline()
  76. final def Panic3[FR[-_, +_, +_]](implicit arg0: Panic3[FR]): Panic3[FR]
    Definition Classes
    ImplicitPuns5
    Annotations
    @inline()
  77. implicit final def Panic3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Panic3[FR]): PanicOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns5
    Annotations
    @inline()
  78. final def Parallel2[F[+_, +_]](implicit arg0: Parallel2[F]): Parallel2[F]
    Definition Classes
    ImplicitPuns3
    Annotations
    @inline()
  79. implicit final def Parallel2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Monad2[F]): MonadOps[F, E, A]
    Definition Classes
    ImplicitPuns3
    Annotations
    @inline()
  80. implicit final def Parallel2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Parallel2[F]): ParallelOps[F, E, A]
    Definition Classes
    ImplicitPuns3
    Annotations
    @inline()
  81. final def Parallel3[FR[-_, +_, +_]](implicit arg0: Parallel3[FR]): Parallel3[FR]
    Definition Classes
    ImplicitPuns3
    Annotations
    @inline()
  82. implicit final def Parallel3[F[-_, +_, +_], R, E, A](self: F[R, E, A])(implicit arg0: Monad3[F]): MonadOps[F, R, E, A]
    Definition Classes
    ImplicitPuns3
    Annotations
    @inline()
  83. implicit final def Parallel3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Parallel3[FR]): ParallelOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns3
    Annotations
    @inline()
  84. final def Profunctor3[FR[-_, +_, +_]](implicit arg0: Profunctor3[FR]): Profunctor3[FR]
    Definition Classes
    ImplicitPuns15
    Annotations
    @inline()
  85. implicit final def Profunctor3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Functor3[FR]): FunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns15
    Annotations
    @inline()
  86. implicit final def Profunctor3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Profunctor3[FR]): ProfunctorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns15
    Annotations
    @inline()
  87. lazy val Promise3: Promise2.type
  88. lazy val Ref2: Ref1.type
  89. lazy val Ref3: Ref1.type
  90. lazy val RefM3: RefM2.type
  91. lazy val Semaphore2: Semaphore1.type
  92. lazy val Semaphore3: Semaphore1.type
  93. final def Temporal2[F[+_, +_]](implicit arg0: Temporal2[F]): Temporal2[F]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  94. implicit final def Temporal2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Error2[F]): ErrorOps[F, E, A]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  95. implicit final def Temporal2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Temporal2[F]): TemporalOps[F, E, A]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  96. final def Temporal3[FR[-_, +_, +_]](implicit arg0: Temporal3[FR]): Temporal3[FR]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  97. implicit final def Temporal3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Error3[FR]): ErrorOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  98. implicit final def Temporal3[FR[-_, +_, +_], R, E, A](self: FR[R, E, A])(implicit arg0: Temporal3[FR]): TemporalOps[FR, R, E, A]
    Definition Classes
    ImplicitPuns
    Annotations
    @inline()
  99. object BlockingIO2
  100. object BlockingIO3
  101. object BlockingIOInstances extends LowPriorityBlockingIOInstances
  102. object CatsConversions
  103. object Clock1 extends LowPriorityClockInstances
  104. object Clock2
  105. object Clock3
  106. object DivergenceHelper
  107. object Entropy1 extends LowPriorityEntropyInstances
  108. object Entropy2
  109. object Entropy3
  110. object Exit
  111. object Fiber2
  112. object ForkInstances extends LowPriorityForkInstances
  113. object LocalInstances
  114. object MonadAskSyntax
  115. object Mutex2
  116. object PanicSyntax
  117. object PredefinedHelper
  118. object Primitives2
  119. object Primitives3
  120. object PrimitivesInstances
  121. object PrimitivesM2
  122. object PrimitivesM3
  123. object PrimitivesMInstances extends PrimitivesMLowPriorityInstances
  124. object Promise2
  125. object Ref1
  126. object RefM2
  127. object Root extends RootInstancesLowPriority1
  128. object Semaphore1
  129. object SyncSafe1 extends LowPrioritySyncSafeInstances0
  130. object SyncSafe2
  131. object SyncSafe3
  132. object TemporalInstances extends TemporalInstancesLowPriority1
  133. object TransZio
  134. object TypedError extends Serializable
  135. object UnsafeRun2
  136. object UnsafeRun3
  137. object WithFilter extends WithFilterInstances1
  138. object catz extends CatsConversions

    Automatic converters from BIO* hierarchy to equivalent cats & cats-effect classes.

    Automatic converters from BIO* hierarchy to equivalent cats & cats-effect classes.

    import izumi.functional.bio.IO2
import izumi.functional.bio.catz.*
import cats.effect.Sync

def divideByZero[F[+_, +_]: IO2]: F[Throwable, Int] = {
  Sync[F[Throwable, _]].delay(10 / 0)
}

Inherited from Syntax2

Inherited from ImplicitPuns

Inherited from ImplicitPuns1

Inherited from ImplicitPuns2

Inherited from ImplicitPuns3

Inherited from ImplicitPuns4

Inherited from ImplicitPuns5

Inherited from ImplicitPuns6

Inherited from ImplicitPuns7

Inherited from ImplicitPuns8

Inherited from ImplicitPuns9

Inherited from ImplicitPuns10

Inherited from ImplicitPuns11

Inherited from ImplicitPuns12

Inherited from ImplicitPuns13

Inherited from Syntax3

Inherited from ImplicitPuns

Inherited from ImplicitPuns1

Inherited from ImplicitPuns2

Inherited from ImplicitPuns3

Inherited from ImplicitPuns4

Inherited from ImplicitPuns5

Inherited from ImplicitPuns6

Inherited from ImplicitPuns7

Inherited from ImplicitPuns8

Inherited from ImplicitPuns9

Inherited from ImplicitPuns10

Inherited from ImplicitPuns11

Inherited from ImplicitPuns12

Inherited from ImplicitPuns13

Inherited from ImplicitPuns14

Inherited from ImplicitPuns15

Inherited from ImplicitPuns16

Inherited from ImplicitPuns17

Inherited from ImplicitPuns18

Inherited from ImplicitPuns19

Inherited from AnyRef

Inherited from Any

Ungrouped