package bio
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- bio
- BIOSyntax
- BIOImplicitPuns
- BIOImplicitPuns1
- BIOImplicitPuns2
- BIOImplicitPuns3
- BIOImplicitPuns4
- BIOImplicitPuns5
- BIOImplicitPuns6
- BIOImplicitPuns7
- BIOImplicitPuns8
- BIOImplicitPuns9
- BIOImplicitPuns10
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- trait BIO[F[+_, +_]] extends BIOPanic[F]
- trait BIOApplicative[F[+_, +_]] extends BIOBifunctor[F]
- trait BIOAsync[F[+_, +_]] extends BIO[F] with BIOAsyncInstances
- trait BIOBifunctor[F[+_, +_]] extends BIOFunctor[F]
- trait BIOBracket[F[+_, +_]] extends BIOMonadError[F]
- trait BIOCatsConversions extends BIOCatsConversions1
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.catz._ import cats.effect.Sync def divideByZero[F[+_, +_]: BIO]: F[Throwable, Int] = { Sync[F[Throwable, ?]].delay(10 / 0) }
- trait BIOCatsConversions1 extends BIOCatsConversions2
- trait BIOCatsConversions2 extends BIOCatsConversions3
- trait BIOCatsConversions3 extends BIOCatsConversions4
- trait BIOCatsConversions4 extends BIOCatsConversions5
- trait BIOCatsConversions5 extends BIOCatsConversions6
- trait BIOCatsConversions6 extends BIOCatsConversions7
- trait BIOCatsConversions7 extends AnyRef
- trait BIOError[F[+_, +_]] extends BIOGuarantee[F]
- sealed trait BIOExit[+E, +A] extends AnyRef
- trait BIOFiber[F[+_, +_], +E, +A] extends AnyRef
- type BIOFork[F[+_, +_]] = BIOFork3[[-R, +E, +A]F[E, A]]
- trait BIOFork3[F[-_, +_, +_]] extends BIOForkInstances
- trait BIOFunctor[F[_, +_]] extends BIOFunctorInstances
NOTE: The left type parameter is not forced to be covariant because BIOFunctor does not yet expose any operations on it.
- trait BIOGuarantee[F[+_, +_]] extends BIOApplicative[F]
- trait BIOMonad[F[+_, +_]] extends BIOApplicative[F]
- trait BIOMonadError[F[+_, +_]] extends BIOError[F] with BIOMonad[F]
- trait BIOPanic[F[+_, +_]] extends BIOBracket[F] with BIOPanicSyntax
- trait BIOPrimitives[F[+_, +_]] extends BIOPrimitivesInstances
- trait BIOPromise[F[_, _], E, A] extends AnyRef
- trait BIORef[F[_, _], A] extends AnyRef
- trait BIOSemaphore[F[_, _]] extends AnyRef
- trait BIOSyntax extends BIOImplicitPuns
- trait BIOTransZio[F[_, _]] extends AnyRef
- type Clock2[F[_, _]] = Clock[[β$18$]F[Nothing, β$18$]]
- type Entropy2[F[_, _]] = Entropy[[β$19$]F[Nothing, β$19$]]
- type SyncSafe2[F[_, _]] = SyncSafe[[β$17$]F[Nothing, β$17$]]
Value Members
- final def BIO[F[+_, +_]](implicit arg0: BIO[F]): BIO[F]
- Definition Classes
- BIOImplicitPuns1
- Annotations
- @inline()
- final def BIO[F[+_, +_], A](effect: => A)(implicit F: BIO[F]): F[Throwable, A]
Shorthand for BIO#syncThrowable
Shorthand for BIO#syncThrowable
BIO(println("Hello world!"))
- Definition Classes
- BIOImplicitPuns1
- Annotations
- @inline()
- implicit final def BIO[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIO[F]): BIOOps[F, E, A]
- Definition Classes
- BIOImplicitPuns1
- Annotations
- @inline()
- final def BIOApplicative[F[+_, +_]](implicit arg0: BIOApplicative[F]): BIOApplicative[F]
- Definition Classes
- BIOImplicitPuns8
- Annotations
- @inline()
- implicit final def BIOApplicative[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOApplicative[F]): BIOApplicativeOps[F, E, A]
- Definition Classes
- BIOImplicitPuns8
- Annotations
- @inline()
- final def BIOAsync[F[+_, +_]](implicit arg0: BIOAsync[F]): BIOAsync[F]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- implicit final def BIOAsync[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOAsync[F]): BIOAsyncOps[F, E, A]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- final def BIOBifunctor[F[+_, +_]](implicit arg0: BIOBifunctor[F]): BIOBifunctor[F]
- Definition Classes
- BIOImplicitPuns9
- Annotations
- @inline()
- implicit final def BIOBifunctor[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOBifunctor[F]): BIOBifunctorOps[F, E, A]
- Definition Classes
- BIOImplicitPuns9
- Annotations
- @inline()
- final def BIOBracket[F[+_, +_]](implicit arg0: BIOBracket[F]): BIOBracket[F]
- Definition Classes
- BIOImplicitPuns3
- Annotations
- @inline()
- implicit final def BIOBracket[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOBracket[F]): BIOBracketOps[F, E, A]
- Definition Classes
- BIOImplicitPuns3
- Annotations
- @inline()
- final def BIOError[F[+_, +_]](implicit arg0: BIOError[F]): BIOError[F]
- Definition Classes
- BIOImplicitPuns5
- Annotations
- @inline()
- implicit final def BIOError[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOError[F]): BIOErrorOps[F, E, A]
- Definition Classes
- BIOImplicitPuns5
- Annotations
- @inline()
- final def BIOFork[F[+_, +_]](implicit arg0: BIOFork[F]): BIOFork[F]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- implicit final def BIOFork[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOFork[F]): BIOForkOps[F, E, A]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- final def BIOFork3[F[-_, +_, +_]](implicit arg0: BIOFork3[F]): BIOFork3[F]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- implicit final def BIOFork3[F[-_, +_, +_], R, E, A](self: F[R, E, A])(implicit arg0: BIOFork3[F]): BIOFork3Ops[F, R, E, A]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- final def BIOFunctor[F[_, +_]](implicit arg0: BIOFunctor[F]): BIOFunctor[F]
- Definition Classes
- BIOImplicitPuns10
- Annotations
- @inline()
- implicit final def BIOFunctor[F[_, +_], E, A](self: F[E, A])(implicit arg0: BIOFunctor[F]): BIOFunctorOps[F, E, A]
- Definition Classes
- BIOImplicitPuns10
- Annotations
- @inline()
- final def BIOGuarantee[F[+_, +_]](implicit arg0: BIOGuarantee[F]): BIOGuarantee[F]
- Definition Classes
- BIOImplicitPuns6
- Annotations
- @inline()
- implicit final def BIOGuarantee[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOGuarantee[F]): BIOGuaranteeOps[F, E, A]
- Definition Classes
- BIOImplicitPuns6
- Annotations
- @inline()
- final def BIOMonad[F[+_, +_]](implicit arg0: BIOMonad[F]): BIOMonad[F]
- Definition Classes
- BIOImplicitPuns7
- Annotations
- @inline()
- implicit final def BIOMonad[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOMonad[F]): BIOMonadOps[F, E, A]
- Definition Classes
- BIOImplicitPuns7
- Annotations
- @inline()
- final def BIOMonadError[F[+_, +_]](implicit arg0: BIOMonadError[F]): BIOMonadError[F]
- Definition Classes
- BIOImplicitPuns4
- Annotations
- @inline()
- implicit final def BIOMonadError[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOMonadError[F]): BIOMonadErrorOps[F, E, A]
- Definition Classes
- BIOImplicitPuns4
- Annotations
- @inline()
- final def BIOPanic[F[+_, +_]](implicit arg0: BIOPanic[F]): BIOPanic[F]
- Definition Classes
- BIOImplicitPuns2
- Annotations
- @inline()
- implicit final def BIOPanic[F[+_, +_], E, A](self: F[E, A])(implicit arg0: BIOPanic[F]): BIOPanicOps[F, E, A]
- Definition Classes
- BIOImplicitPuns2
- Annotations
- @inline()
- final def BIOPrimitives[F[+_, +_]](implicit arg0: BIOPrimitives[F]): BIOPrimitives[F]
- Definition Classes
- BIOImplicitPuns
- Annotations
- @inline()
- def F[F[+_, +_]](implicit F: BIOFunctor[F]): bio.BIOSyntax.F.F.type
A convenient dependent summoner for BIO* hierarchy.
A convenient dependent summoner for BIO* hierarchy. Auto-narrows to the most powerful available class:
def y[F[+_, +_]: BIOAsync] = { F.timeout(5.seconds)(F.forever(F.unit)) }
- Definition Classes
- BIOSyntax
- object BIOAsyncInstances
- object BIOCatsConversions
- object BIOExit
- object BIOFiber
- object BIOForkInstances
- object BIOFunctorInstances
- object BIOPanicSyntax
- object BIOPrimitivesInstances
- object BIOPromise
- object BIORef
- object BIOSemaphore
- object BIOSyntax
- object BIOTransZio
- object Clock2
- object Entropy2
- object SyncSafe2
- object catz extends BIOCatsConversions
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.catz._ import cats.effect.Sync def divideByZero[F[+_, +_]: BIO]: F[Throwable, Int] = { Sync[F[Throwable, ?]].delay(10 / 0) }