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
- Alphabetic
- By Inheritance
- bio
- 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
- Hide All
- Show All
- Public
- Protected
Type Members
- type Applicative2[F[+_, +_]] = Applicative3[[-R, +E, +A]F[E, A]]
- trait Applicative3[F[-_, +_, +_]] extends Functor3[F]
- type ApplicativeError2[F[+_, +_]] = ApplicativeError3[[-R, +E, +A]F[E, A]]
- trait ApplicativeError3[F[-_, +_, +_]] extends Guarantee3[F] with Bifunctor3[F]
- trait Arrow3[FR[-_, +_, +_]] extends Profunctor3[FR]
- trait ArrowChoice3[FR[-_, +_, +_]] extends Arrow3[FR]
- trait Ask3[FR[-_, +_, +_]] extends RootTrifunctor[FR]
- type Async2[F[+_, +_]] = Async3[[-R, +E, +A]F[E, A]]
- trait Async3[F[-_, +_, +_]] extends Concurrent3[F] with IO3[F]
- type Bifunctor2[F[+_, +_]] = Bifunctor3[[-R, +E, +A]F[E, A]]
- trait Bifunctor3[F[-_, +_, +_]] extends RootBifunctor[F]
- type BlockingIO2[F[+_, +_]] = BlockingIO3[[-R, +E, +A]F[E, A]]
- trait BlockingIO3[F[-_, +_, +_]] extends BlockingIOInstances with DivergenceHelper with PredefinedHelper
- trait BlockingIOLowPriorityVersionSpecific extends AnyRef
- type Bracket2[F[+_, +_]] = Bracket3[[-R, +E, +A]F[E, A]]
- trait Bracket3[F[-_, +_, +_]] extends Error3[F]
- 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) }
- trait CatsConversions1 extends CatsConversions2
- trait CatsConversions10 extends CatsConversions11
- trait CatsConversions11 extends AnyRef
- trait CatsConversions2 extends CatsConversions3
- trait CatsConversions3 extends CatsConversions4
- trait CatsConversions4 extends CatsConversions5
- trait CatsConversions5 extends CatsConversions6
- trait CatsConversions6 extends CatsConversions60
- trait CatsConversions60 extends CatsConversions7
- trait CatsConversions7 extends CatsConversions8
- trait CatsConversions8 extends CatsConversions9
- trait CatsConversions9 extends CatsConversions10
- trait Clock1[F[_]] extends DivergenceHelper
- type Clock2[F[_, _]] = Clock1[[β$20$]F[Nothing, β$20$]]
- type Clock3[F[_, _, _]] = Clock1[[γ$21$]F[Any, Nothing, γ$21$]]
- type Concurrent2[F[+_, +_]] = Concurrent3[[-R, +E, +A]F[E, A]]
- trait Concurrent3[F[-_, +_, +_]] extends Parallel3[F]
- trait DivergenceHelper extends AnyRef
- trait Entropy1[F[_]] extends DivergenceHelper
- type Entropy2[F[_, _]] = Entropy1[[β$22$]F[Nothing, β$22$]]
- type Entropy3[F[_, _, _]] = Entropy1[[γ$23$]F[Any, Nothing, γ$23$]]
- type Error2[F[+_, +_]] = Error3[[-R, +E, +A]F[E, A]]
- trait Error3[F[-_, +_, +_]] extends ApplicativeError3[F] with Monad3[F]
- sealed trait Exit[+E, +A] extends AnyRef
- trait Fiber2[+F[+_, +_], +E, +A] extends AnyRef
- type Fiber3[+F[-_, +_, +_], +E, +A] = Fiber2[[+β$4$, +γ$5$]F[Any, β$4$, γ$5$], E, A]
- type Fork2[F[+_, +_]] = Fork3[[-R, +E, +A]F[E, A]]
- trait Fork3[F[-_, +_, +_]] extends RootBifunctor[F] with ForkInstances
- type Functor2[F[+_, +_]] = Functor3[[-R, +E, +A]F[E, A]]
- trait Functor3[F[-_, +_, +_]] extends RootBifunctor[F]
- type Guarantee2[F[+_, +_]] = Guarantee3[[-R, +E, +A]F[E, A]]
- trait Guarantee3[F[-_, +_, +_]] extends Applicative3[F]
- type IO2[F[+_, +_]] = IO3[[-R, +E, +A]F[E, A]]
- trait IO3[F[-_, +_, +_]] extends Panic3[F]
- type Latch2[+F[+_, +_]] = Promise2[F, Nothing, Unit]
- type Latch3[+F[-_, +_, +_]] = Promise2[[+β$12$, +γ$13$]F[Any, β$12$, γ$13$], Nothing, Unit]
- trait Local3[FR[-_, +_, +_]] extends MonadAsk3[FR] with ArrowChoice3[FR] with LocalInstances
- sealed trait LowPriorityClockInstances extends AnyRef
- sealed trait LowPriorityEntropyInstances extends AnyRef
- sealed trait LowPriorityForkInstances extends AnyRef
- trait LowPrioritySyncSafeInstances0 extends LowPrioritySyncSafeInstances1
- trait LowPrioritySyncSafeInstances1 extends LowPrioritySyncSafeInstances2
- trait LowPrioritySyncSafeInstances2 extends AnyRef
- type Monad2[F[+_, +_]] = Monad3[[-R, +E, +A]F[E, A]]
- trait Monad3[F[-_, +_, +_]] extends Applicative3[F]
- trait MonadAsk3[FR[-_, +_, +_]] extends Ask3[FR] with MonadAskSyntax
- trait Mutex2[F[+_, +_]] extends AnyRef
- type Mutex3[F[_, +_, +_], A] = Mutex2[[+β$8$, +γ$9$]F[Any, β$8$, γ$9$]]
- type Panic2[F[+_, +_]] = Panic3[[-R, +E, +A]F[E, A]]
- trait Panic3[F[-_, +_, +_]] extends Bracket3[F] with PanicSyntax
- type Parallel2[F[+_, +_]] = Parallel3[[-R, +E, +A]F[E, A]]
- trait Parallel3[F[-_, +_, +_]] extends RootBifunctor[F]
- trait PredefinedHelper extends AnyRef
- trait Primitives2[F[+_, +_]] extends PrimitivesInstances
- type Primitives3[F[-_, +_, +_]] = Primitives2[[+β$0$, +γ$1$]F[Any, β$0$, γ$1$]]
- trait PrimitivesM2[F[+_, +_]] extends PrimitivesMInstances
- type PrimitivesM3[F[-_, +_, +_]] = PrimitivesM2[[+β$2$, +γ$3$]F[Any, β$2$, γ$3$]]
- sealed trait PrimitivesMLowPriorityInstances extends AnyRef
- trait Profunctor3[FR[-_, +_, +_]] extends RootTrifunctor[FR]
- trait Promise2[+F[+_, +_], E, A] extends AnyRef
- type Promise3[+F[-_, +_, +_], E, A] = Promise2[[+β$12$, +γ$13$]F[Any, β$12$, γ$13$], E, A]
- trait Ref1[+F[_], A] extends AnyRef
- type Ref2[+F[_, _], A] = Ref1[[β$10$]F[Nothing, β$10$], A]
- type Ref3[+F[_, _, _], A] = Ref1[[γ$11$]F[Any, Nothing, γ$11$], A]
- trait RefM2[F[+_, +_], A] extends AnyRef
- type RefM3[F[_, +_, +_], A] = RefM2[[+β$6$, +γ$7$]F[Any, β$6$, γ$7$], A]
- trait Root extends DivergenceHelper with PredefinedHelper
- trait RootBifunctor[F[-_, +_, +_]] extends Root
- sealed trait RootInstancesLowPriority1 extends RootInstancesLowPriority2
- sealed trait RootInstancesLowPriority10 extends RootInstancesLowPriority11
- sealed trait RootInstancesLowPriority11 extends RootInstancesLowPriority12
- sealed trait RootInstancesLowPriority12 extends RootInstancesLowPriorityVersionSpecific
- sealed trait RootInstancesLowPriority2 extends RootInstancesLowPriority3
- sealed trait RootInstancesLowPriority3 extends RootInstancesLowPriority4
- sealed trait RootInstancesLowPriority4 extends RootInstancesLowPriority5
- sealed trait RootInstancesLowPriority5 extends RootInstancesLowPriority6
- sealed trait RootInstancesLowPriority6 extends RootInstancesLowPriority7
- sealed trait RootInstancesLowPriority7 extends RootInstancesLowPriority8
- sealed trait RootInstancesLowPriority8 extends RootInstancesLowPriority9
- sealed trait RootInstancesLowPriority9 extends RootInstancesLowPriority10
- trait RootInstancesLowPriorityVersionSpecific extends AnyRef
- trait RootTrifunctor[F[-_, +_, +_]] extends Root
- trait Semaphore1[+F[_]] extends AnyRef
- type Semaphore2[+F[_, _]] = Semaphore1[[β$14$]F[Nothing, β$14$]]
- type Semaphore3[+F[_, _, _]] = Semaphore1[[γ$15$]F[Any, Nothing, γ$15$]]
- trait SyncSafe1[F[_]] extends DivergenceHelper
Import _exception-safe_ side effects
- type SyncSafe2[F[_, _]] = SyncSafe1[[β$18$]F[Nothing, β$18$]]
- type SyncSafe3[F[_, _, _]] = SyncSafe1[[γ$19$]F[Any, Nothing, γ$19$]]
- type Temporal2[F[+_, +_]] = Temporal3[[-R, +E, +A]F[E, A]]
- trait Temporal3[F[-_, +_, +_]] extends RootBifunctor[F] with TemporalInstances
- sealed trait TemporalInstancesLowPriority1 extends AnyRef
- type TransZio[F[_, _]] = Isomorphism3[[R, E, A]F[E, A], [R, E, A]IO[E, A]]
- final case class TypedError[+A](prefixMessage: String, error: A) extends RuntimeException with Product with Serializable
- trait UnsafeRun2[F[_, _]] extends AnyRef
- type UnsafeRun3[F[_, _, _]] = UnsafeRun2[[β$16$, γ$17$]F[Any, β$16$, γ$17$]]
- trait WithFilter[+E] extends AnyRef
- sealed trait WithFilterInstances1 extends WithFilterInstances2
- sealed trait WithFilterInstances2 extends WithFilterInstances3
- sealed trait WithFilterInstances3 extends AnyRef
Value Members
- final def Applicative2[F[+_, +_]](implicit arg0: Applicative2[F]): Applicative2[F]
- Definition Classes
- ImplicitPuns11
- Annotations
- @inline()
- implicit final def Applicative2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Applicative2[F]): ApplicativeOps[F, E, A]
- Definition Classes
- ImplicitPuns11
- Annotations
- @inline()
- final def Applicative3[FR[-_, +_, +_]](implicit arg0: Applicative3[FR]): Applicative3[FR]
- Definition Classes
- ImplicitPuns17
- Annotations
- @inline()
- 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()
- final def ApplicativeError2[F[+_, +_]](implicit arg0: ApplicativeError2[F]): ApplicativeError2[F]
- Definition Classes
- ImplicitPuns8
- Annotations
- @inline()
- implicit final def ApplicativeError2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: ApplicativeError2[F]): ApplicativeErrorOps[F, E, A]
- Definition Classes
- ImplicitPuns8
- Annotations
- @inline()
- final def ApplicativeError3[FR[-_, +_, +_]](implicit arg0: ApplicativeError3[FR]): ApplicativeError3[FR]
- Definition Classes
- ImplicitPuns8
- Annotations
- @inline()
- 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()
- final def Arrow3[FR[-_, +_, +_]](implicit arg0: Arrow3[FR]): Arrow3[FR]
- Definition Classes
- ImplicitPuns14
- Annotations
- @inline()
- 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()
- 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()
- final def ArrowChoice3[FR[-_, +_, +_]](implicit arg0: ArrowChoice3[FR]): ArrowChoice3[FR]
- Definition Classes
- ImplicitPuns13
- Annotations
- @inline()
- 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()
- 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()
- final def Ask3[FR[-_, +_, +_]](implicit arg0: Ask3[FR]): Ask3[FR]
- Definition Classes
- ImplicitPuns12
- Annotations
- @inline()
- 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()
- final def Async2[F[+_, +_]](implicit arg0: Async2[F]): Async2[F]
- Definition Classes
- ImplicitPuns1
- Annotations
- @inline()
- implicit final def Async2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Async2[F]): AsyncOps[F, E, A]
- Definition Classes
- ImplicitPuns1
- Annotations
- @inline()
- final def Async3[FR[-_, +_, +_]](implicit arg0: Async3[FR]): Async3[FR]
- Definition Classes
- ImplicitPuns1
- Annotations
- @inline()
- 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()
- final def Bifunctor2[F[+_, +_]](implicit arg0: Bifunctor2[F]): Bifunctor2[F]
- Definition Classes
- ImplicitPuns12
- Annotations
- @inline()
- implicit final def Bifunctor2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Functor2[F]): FunctorOps[F, E, A]
- Definition Classes
- ImplicitPuns12
- Annotations
- @inline()
- implicit final def Bifunctor2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Bifunctor2[F]): BifunctorOps[F, E, A]
- Definition Classes
- ImplicitPuns12
- Annotations
- @inline()
- final def Bifunctor3[FR[-_, +_, +_]](implicit arg0: Bifunctor3[FR]): Bifunctor3[FR]
- Definition Classes
- ImplicitPuns18
- Annotations
- @inline()
- 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()
- 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()
- final def Bracket2[F[+_, +_]](implicit arg0: Bracket2[F]): Bracket2[F]
- Definition Classes
- ImplicitPuns6
- Annotations
- @inline()
- implicit final def Bracket2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Bracket2[F]): BracketOps[F, E, A]
- Definition Classes
- ImplicitPuns6
- Annotations
- @inline()
- final def Bracket3[FR[-_, +_, +_]](implicit arg0: Bracket3[FR]): Bracket3[FR]
- Definition Classes
- ImplicitPuns6
- Annotations
- @inline()
- 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()
- final def Concurrent2[F[+_, +_]](implicit arg0: Concurrent2[F]): Concurrent2[F]
- Definition Classes
- ImplicitPuns2
- Annotations
- @inline()
- implicit final def Concurrent2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Panic2[F]): PanicOps[F, E, A]
- Definition Classes
- ImplicitPuns2
- Annotations
- @inline()
- implicit final def Concurrent2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Concurrent2[F]): ConcurrentOps[F, E, A]
- Definition Classes
- ImplicitPuns2
- Annotations
- @inline()
- final def Concurrent3[FR[-_, +_, +_]](implicit arg0: Concurrent3[FR]): Concurrent3[FR]
- Definition Classes
- ImplicitPuns2
- Annotations
- @inline()
- 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()
- 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()
- final def Error2[F[+_, +_]](implicit arg0: Error2[F]): Error2[F]
- Definition Classes
- ImplicitPuns7
- Annotations
- @inline()
- implicit final def Error2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Error2[F]): ErrorOps[F, E, A]
- Definition Classes
- ImplicitPuns7
- Annotations
- @inline()
- final def Error3[FR[-_, +_, +_]](implicit arg0: Error3[FR]): Error3[FR]
- Definition Classes
- ImplicitPuns7
- Annotations
- @inline()
- 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()
- 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
- lazy val Fiber3: Fiber2.type
- final def Fork2[F[+_, +_]](implicit arg0: Fork2[F]): Fork2[F]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- implicit final def Fork2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Fork2[F]): ForkOps[F, E, A]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- final def Fork3[FR[-_, +_, +_]](implicit arg0: Fork3[FR]): Fork3[FR]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- 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()
- final def Functor2[F[+_, +_]](implicit arg0: Functor2[F]): Functor2[F]
- Definition Classes
- ImplicitPuns13
- Annotations
- @inline()
- implicit final def Functor2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Functor2[F]): FunctorOps[F, E, A]
- Definition Classes
- ImplicitPuns13
- Annotations
- @inline()
- final def Functor3[FR[-_, +_, +_]](implicit arg0: Functor3[FR]): Functor3[FR]
- Definition Classes
- ImplicitPuns19
- Annotations
- @inline()
- 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()
- final def Guarantee2[F[+_, +_]](implicit arg0: Guarantee2[F]): Guarantee2[F]
- Definition Classes
- ImplicitPuns9
- Annotations
- @inline()
- implicit final def Guarantee2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Guarantee2[F]): GuaranteeOps[F, E, A]
- Definition Classes
- ImplicitPuns9
- Annotations
- @inline()
- final def Guarantee3[FR[-_, +_, +_]](implicit arg0: Guarantee3[FR]): Guarantee3[FR]
- Definition Classes
- ImplicitPuns9
- Annotations
- @inline()
- 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()
- final def IO2[F[+_, +_]](implicit arg0: IO2[F]): IO2[F]
- Definition Classes
- ImplicitPuns4
- Annotations
- @inline()
- 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()
- implicit final def IO2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: IO2[F]): IOOps[F, E, A]
- Definition Classes
- ImplicitPuns4
- Annotations
- @inline()
- final def IO3[FR[-_, +_, +_]](implicit arg0: IO3[FR]): IO3[FR]
- Definition Classes
- ImplicitPuns4
- Annotations
- @inline()
- 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()
- 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()
- lazy val Latch2: Promise2.type
- lazy val Latch3: Promise2.type
- final def Local3[FR[-_, +_, +_]](implicit arg0: Local3[FR]): Local3[FR]
- Definition Classes
- ImplicitPuns10
- Annotations
- @inline()
- 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()
- 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()
- 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()
- final def Monad2[F[+_, +_]](implicit arg0: Monad2[F]): Monad2[F]
- Definition Classes
- ImplicitPuns10
- Annotations
- @inline()
- implicit final def Monad2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Monad2[F]): MonadOps[F, E, A]
- Definition Classes
- ImplicitPuns10
- Annotations
- @inline()
- final def Monad3[FR[-_, +_, +_]](implicit arg0: Monad3[FR]): Monad3[FR]
- Definition Classes
- ImplicitPuns16
- Annotations
- @inline()
- 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()
- final def MonadAsk3[FR[-_, +_, +_]](implicit arg0: MonadAsk3[FR]): MonadAsk3[FR]
- Definition Classes
- ImplicitPuns11
- Annotations
- @inline()
- 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()
- lazy val Mutex3: Mutex2.type
- final def Panic2[F[+_, +_]](implicit arg0: Panic2[F]): Panic2[F]
- Definition Classes
- ImplicitPuns5
- Annotations
- @inline()
- implicit final def Panic2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Panic2[F]): PanicOps[F, E, A]
- Definition Classes
- ImplicitPuns5
- Annotations
- @inline()
- final def Panic3[FR[-_, +_, +_]](implicit arg0: Panic3[FR]): Panic3[FR]
- Definition Classes
- ImplicitPuns5
- Annotations
- @inline()
- 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()
- final def Parallel2[F[+_, +_]](implicit arg0: Parallel2[F]): Parallel2[F]
- Definition Classes
- ImplicitPuns3
- Annotations
- @inline()
- implicit final def Parallel2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Monad2[F]): MonadOps[F, E, A]
- Definition Classes
- ImplicitPuns3
- Annotations
- @inline()
- implicit final def Parallel2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Parallel2[F]): ParallelOps[F, E, A]
- Definition Classes
- ImplicitPuns3
- Annotations
- @inline()
- final def Parallel3[FR[-_, +_, +_]](implicit arg0: Parallel3[FR]): Parallel3[FR]
- Definition Classes
- ImplicitPuns3
- Annotations
- @inline()
- 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()
- 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()
- final def Profunctor3[FR[-_, +_, +_]](implicit arg0: Profunctor3[FR]): Profunctor3[FR]
- Definition Classes
- ImplicitPuns15
- Annotations
- @inline()
- 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()
- 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()
- lazy val Promise3: Promise2.type
- lazy val Ref2: Ref1.type
- lazy val Ref3: Ref1.type
- lazy val RefM3: RefM2.type
- lazy val Semaphore2: Semaphore1.type
- lazy val Semaphore3: Semaphore1.type
- final def Temporal2[F[+_, +_]](implicit arg0: Temporal2[F]): Temporal2[F]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- implicit final def Temporal2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Error2[F]): ErrorOps[F, E, A]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- implicit final def Temporal2[F[+_, +_], E, A](self: F[E, A])(implicit arg0: Temporal2[F]): TemporalOps[F, E, A]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- final def Temporal3[FR[-_, +_, +_]](implicit arg0: Temporal3[FR]): Temporal3[FR]
- Definition Classes
- ImplicitPuns
- Annotations
- @inline()
- 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()
- 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()
- object BlockingIO2
- object BlockingIO3
- object BlockingIOInstances extends BlockingIOLowPriorityVersionSpecific
- object CatsConversions
- object Clock1 extends LowPriorityClockInstances
- object Clock2
- object Clock3
- object DivergenceHelper
- object Entropy1 extends LowPriorityEntropyInstances
- object Entropy2
- object Entropy3
- object Exit
- object Fiber2
- object ForkInstances extends LowPriorityForkInstances
- object LocalInstances
- object MonadAskSyntax
- object Mutex2
- object PanicSyntax
- object PredefinedHelper
- object Primitives2
- object Primitives3
- object PrimitivesInstances
- object PrimitivesM2
- object PrimitivesM3
- object PrimitivesMInstances extends PrimitivesMLowPriorityInstances
- object Promise2
- object Ref1
- object RefM2
- object Root extends RootInstancesLowPriority1
- object Semaphore1
- object SyncSafe1 extends LowPrioritySyncSafeInstances0
- object SyncSafe2
- object SyncSafe3
- object TemporalInstances extends TemporalInstancesLowPriority1
- object TransZio
- object TypedError extends Serializable
- object UnsafeRun2
- object UnsafeRun3
- object WithFilter extends WithFilterInstances1
- 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) }