fundamentals-bio
API
Generated with
fundamentals-bio/izumi.functional.bio

izumi.functional.bio

package izumi.functional.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

Attributes

Members list

Concise view

Type members

Classlikes

trait Applicative3[F[_, _, _]] extends Functor3[F]

Attributes

Graph
Supertypes
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Guarantee3[F]
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Monad3[F]
object BioIdentity3.type
trait ApplicativeError3[F[_, _, _]] extends Guarantee3[F] with Bifunctor3[F]

Attributes

Graph
Supertypes
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Arrow3[FR[_, _, _]] extends Profunctor3[FR]

Attributes

Graph
Supertypes
trait Profunctor3[FR]
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait ArrowChoice3[FR]
trait Local3[FR]
class AsyncZio
object AsyncZio.type
trait ArrowChoice3[FR[_, _, _]] extends Arrow3[FR]

Attributes

Graph
Supertypes
trait Arrow3[FR]
trait Profunctor3[FR]
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Local3[FR]
class AsyncZio
object AsyncZio.type
trait Ask3[FR[_, _, _]] extends RootTrifunctor[FR]

Attributes

Graph
Supertypes
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait MonadAsk3[FR]
trait Local3[FR]
class AsyncZio
object AsyncZio.type
trait Async3[F[_, _, _]] extends Concurrent3[F] with IO3[F]

Attributes

Graph
Supertypes
trait IO3[F]
trait Panic3[F]
trait Bracket3[F]
trait Error3[F]
trait Monad3[F]
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait Concurrent3[F]
trait Parallel3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
class AsyncZio
object AsyncZio.type
trait Bifunctor3[F[_, _, _]] extends RootBifunctor[F]

Attributes

Graph
Supertypes
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
object BlockingIO2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait BlockingIO3[F[_, _, _]] extends DivergenceHelper with PredefinedHelper

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object BlockingIO3

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object BlockingIOInstances extends LowPriorityBlockingIOInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait BlockingIOLowPriorityVersionSpecific

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Bracket3[F[_, _, _]] extends Error3[F]

Attributes

Graph
Supertypes
trait Error3[F]
trait Monad3[F]
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
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)
 }

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
object CatsConversions

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait CatsConversions1 extends CatsConversions2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions10 extends CatsConversions11

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions11

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions2 extends CatsConversions3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions3 extends CatsConversions4

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions4 extends CatsConversions5

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions5 extends CatsConversions6

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions6 extends CatsConversions60

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions60 extends CatsConversions7

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions7 extends CatsConversions8

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions8 extends CatsConversions9

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait CatsConversions9 extends CatsConversions10

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object catz.type
trait Clock1[F[_]] extends DivergenceHelper

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Constant
object Standard.type
object Clock1 extends LowPriorityClockInstances

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Clock1.type
object Clock2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Clock2.type
object Clock3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Clock3.type
trait Concurrent3[F[_, _, _]] extends Parallel3[F]

Attributes

Graph
Supertypes
trait Parallel3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait DivergenceHelper

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockingIO3[F]
trait Clock1[F]
class Constant
object Standard.type
trait Entropy1[F]
object Standard.type
trait Root
trait RootBifunctor[F]
trait Bifunctor3[F]
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Fork3[F]
class ForkZio
object ForkZio.type
trait Functor3[F]
trait Applicative3[F]
trait Guarantee3[F]
trait Monad3[F]
object BioIdentity3.type
trait Parallel3[F]
trait Concurrent3[F]
trait Temporal3[F]
trait Ask3[FR]
trait MonadAsk3[FR]
trait Local3[FR]
trait Profunctor3[FR]
trait Arrow3[FR]
trait ArrowChoice3[FR]
trait SyncSafe1[F]
object DivergenceHelper

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Entropy1[F[_]] extends DivergenceHelper

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Standard.type
object Entropy1 extends LowPriorityEntropyInstances

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Entropy2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Entropy3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Error3[F[_, _, _]] extends ApplicativeError3[F] with Monad3[F]

Attributes

Graph
Supertypes
trait Monad3[F]
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
sealed trait Exit[+E, +A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Failure[E]
class Error[E]
class Success[A]
object Exit

Attributes

Companion:
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Exit.type
trait Fiber2[+F[_, _], +E, +A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Fiber2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Fiber2.type
trait Fork3[F[_, _, _]] extends RootBifunctor[F]

Attributes

Graph
Supertypes
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
class ForkZio
object ForkZio.type
object ForkInstances extends LowPriorityForkInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Functor3[F[_, _, _]] extends RootBifunctor[F]

Attributes

Graph
Supertypes
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Applicative3[F]
trait Guarantee3[F]
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Monad3[F]
object BioIdentity3.type
trait Guarantee3[F[_, _, _]] extends Applicative3[F]

Attributes

Graph
Supertypes
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait IO3[F[_, _, _]] extends Panic3[F]

Attributes

Graph
Supertypes
trait Panic3[F]
trait Bracket3[F]
trait Error3[F]
trait Monad3[F]
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Local3[FR[_, _, _]] extends MonadAsk3[FR] with ArrowChoice3[FR]

Attributes

Graph
Supertypes
trait ArrowChoice3[FR]
trait Arrow3[FR]
trait Profunctor3[FR]
trait MonadAsk3[FR]
trait Ask3[FR]
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
class AsyncZio
object AsyncZio.type
object LocalInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait LowPriorityBlockingIOInstances extends LowPriorityBlockingIOInstances1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed trait LowPriorityBlockingIOInstances1 extends BlockingIOLowPriorityVersionSpecific

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
sealed trait LowPriorityClockInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Clock1.type
sealed trait LowPriorityEntropyInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Entropy1.type
sealed trait LowPriorityForkInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object ForkInstances.type
trait LowPrioritySyncSafeInstances0 extends LowPrioritySyncSafeInstances1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SyncSafe1.type
trait LowPrioritySyncSafeInstances1 extends LowPrioritySyncSafeInstances2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SyncSafe1.type
trait LowPrioritySyncSafeInstances2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object SyncSafe1.type
trait Monad3[F[_, _, _]] extends Applicative3[F]

Attributes

Graph
Supertypes
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
object BioIdentity3.type
trait MonadAsk3[FR[_, _, _]] extends Ask3[FR]

Attributes

Graph
Supertypes
trait Ask3[FR]
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Local3[FR]
class AsyncZio
object AsyncZio.type
object MonadAskSyntax

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Mutex2[F[_, _]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Mutex2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Mutex2.type
trait Panic3[F[_, _, _]] extends Bracket3[F]

Attributes

Graph
Supertypes
trait Bracket3[F]
trait Error3[F]
trait Monad3[F]
trait Bifunctor3[F]
trait Guarantee3[F]
trait Applicative3[F]
trait Functor3[F]
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
object PanicSyntax

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Parallel3[F[_, _, _]] extends RootBifunctor[F]

Attributes

Graph
Supertypes
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Concurrent3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait PredefinedHelper

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BlockingIO3[F]
trait Root
trait RootBifunctor[F]
trait Bifunctor3[F]
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Fork3[F]
class ForkZio
object ForkZio.type
trait Functor3[F]
trait Applicative3[F]
trait Guarantee3[F]
trait Monad3[F]
object BioIdentity3.type
trait Parallel3[F]
trait Concurrent3[F]
trait Temporal3[F]
trait Ask3[FR]
trait MonadAsk3[FR]
trait Local3[FR]
trait Profunctor3[FR]
trait Arrow3[FR]
trait ArrowChoice3[FR]
trait Scheduler2[F]
class SchedulerImpl[F]
object PredefinedHelper

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Primitives2[F[_, _]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object PrimitivesZio.type
object Primitives2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object Primitives3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object PrimitivesInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait PrimitivesM2[F[_, _]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object PrimitivesMZio.type
object PrimitivesM2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object PrimitivesM3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object PrimitivesMInstances extends PrimitivesMLowPriorityInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait PrimitivesMLowPriorityInstances

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Profunctor3[FR[_, _, _]] extends RootTrifunctor[FR]

Attributes

Graph
Supertypes
trait RootTrifunctor[FR]
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Arrow3[FR]
trait ArrowChoice3[FR]
trait Local3[FR]
class AsyncZio
object AsyncZio.type
trait Promise2[+F[_, _], E, A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Promise2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Ref1[+F[_], A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Ref1

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Ref1.type
trait RefM2[F[_, _], A]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object RefM2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
RefM2.type
trait Root extends DivergenceHelper with PredefinedHelper

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait RootBifunctor[F]
trait Bifunctor3[F]
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Fork3[F]
class ForkZio
object ForkZio.type
trait Functor3[F]
trait Applicative3[F]
trait Guarantee3[F]
trait Monad3[F]
object BioIdentity3.type
trait Parallel3[F]
trait Concurrent3[F]
trait Temporal3[F]
trait Ask3[FR]
trait MonadAsk3[FR]
trait Local3[FR]
trait Profunctor3[FR]
trait Arrow3[FR]
trait ArrowChoice3[FR]
object Root extends RootInstancesLowPriority1

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Root.type
trait RootBifunctor[F[_, _, _]] extends Root

Attributes

Graph
Supertypes
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Bifunctor3[F]
trait Error3[F]
trait Bracket3[F]
trait Panic3[F]
trait IO3[F]
trait Async3[F]
class AsyncZio
object AsyncZio.type
trait Fork3[F]
class ForkZio
object ForkZio.type
trait Functor3[F]
trait Applicative3[F]
trait Guarantee3[F]
trait Monad3[F]
object BioIdentity3.type
trait Parallel3[F]
trait Concurrent3[F]
trait Temporal3[F]
sealed trait RootInstancesLowPriority1 extends RootInstancesLowPriority2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority10 extends RootInstancesLowPriority11

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority11 extends RootInstancesLowPriority12

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority12 extends RootInstancesLowPriorityVersionSpecific

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority2 extends RootInstancesLowPriority3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority3 extends RootInstancesLowPriority4

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority4 extends RootInstancesLowPriority5

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority5 extends RootInstancesLowPriority6

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority6 extends RootInstancesLowPriority7

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority7 extends RootInstancesLowPriority8

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority8 extends RootInstancesLowPriority9

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
sealed trait RootInstancesLowPriority9 extends RootInstancesLowPriority10

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
trait RootInstancesLowPriorityVersionSpecific

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Root.type
trait RootTrifunctor[F[_, _, _]] extends Root

Attributes

Graph
Supertypes
trait Root
class Object
trait Matchable
class Any
Known subtypes
trait Ask3[FR]
trait MonadAsk3[FR]
trait Local3[FR]
class AsyncZio
object AsyncZio.type
trait Profunctor3[FR]
trait Arrow3[FR]
trait ArrowChoice3[FR]
trait Semaphore1[+F[_]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object Semaphore1

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait SyncSafe1[F[_]] extends DivergenceHelper

Import exception-safe side effects

Import exception-safe side effects

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object SyncSafe1 extends LowPrioritySyncSafeInstances0

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object SyncSafe2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object SyncSafe3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait Temporal3[F[_, _, _]] extends RootBifunctor[F]

Attributes

Graph
Supertypes
trait RootBifunctor[F]
trait Root
class Object
trait Matchable
class Any
Known subtypes
object TemporalInstances extends TemporalInstancesLowPriority1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait TemporalInstancesLowPriority1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TemporalInstances.type
object TransZio

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
final case class TypedError[+A](prefixMessage: String, error: A) extends RuntimeException

Attributes

Companion:
object
Graph
Supertypes
trait Product
trait Equals
class RuntimeException
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
object TypedError

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
trait UnsafeRun2[F[_, _]]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ZIORunner[R]
object UnsafeRun2

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object UnsafeRun3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
trait WithFilter[+E]

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any
object WithFilter extends WithFilterInstances1

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait WithFilterInstances1 extends WithFilterInstances2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object WithFilter.type
sealed trait WithFilterInstances2 extends WithFilterInstances3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object WithFilter.type
sealed trait WithFilterInstances3

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object WithFilter.type
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)
 }

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
catz.type

Types

type Applicative2[F[_, _]] = Applicative3[[R, E, A] =>> F[E, A]]
type ApplicativeError2[F[_, _]] = ApplicativeError3[[R, E, A] =>> F[E, A]]
type Async2[F[_, _]] = Async3[[R, E, A] =>> F[E, A]]
type Bifunctor2[F[_, _]] = Bifunctor3[[R, E, A] =>> F[E, A]]
type BlockingIO2[F[_, _]] = BlockingIO3[[R, E, A] =>> F[E, A]]
type Bracket2[F[_, _]] = Bracket3[[R, E, A] =>> F[E, A]]
type Clock2[F[_, _]] = Clock1[[_] =>> F[Nothing, _$119]]
type Clock3[F[_, _, _]] = Clock1[[_] =>> F[Any, Nothing, _$125]]
type Concurrent2[F[_, _]] = Concurrent3[[R, E, A] =>> F[E, A]]
type Entropy2[F[_, _]] = Entropy1[[_] =>> F[Nothing, _$131]]
type Entropy3[F[_, _, _]] = Entropy1[[_] =>> F[Any, Nothing, _$137]]
type Error2[F[_, _]] = Error3[[R, E, A] =>> F[E, A]]
type Fiber3[+F[_, _, _], +E, +A] = Fiber2[[_, _] =>> F[Any, _$61, _$62], E, A]
type Fork2[F[_, _]] = Fork3[[R, E, A] =>> F[E, A]]
type Functor2[F[_, _]] = Functor3[[R, E, A] =>> F[E, A]]
type Guarantee2[F[_, _]] = Guarantee3[[R, E, A] =>> F[E, A]]
type IO2[F[_, _]] = IO3[[R, E, A] =>> F[E, A]]
type Latch2[+F[_, _]] = Promise2[F, Nothing, Unit]
type Latch3[+F[_, _, _]] = Promise3[F, Nothing, Unit]
type Monad2[F[_, _]] = Monad3[[R, E, A] =>> F[E, A]]
type Mutex3[F[_, _, _], A] = Mutex2[[_, _] =>> F[Any, _$71, _$72]]
type Panic2[F[_, _]] = Panic3[[R, E, A] =>> F[E, A]]
type Parallel2[F[_, _]] = Parallel3[[R, E, A] =>> F[E, A]]
type Primitives3[F[_, _, _]] = Primitives2[[_, _] =>> F[Any, _$37, _$38]]
type PrimitivesM3[F[_, _, _]] = PrimitivesM2[[_, _] =>> F[Any, _$45, _$46]]
type Promise3[+F[_, _, _], E, A] = Promise2[[_, _] =>> F[Any, _$83, _$84], E, A]
type Ref2[+F[_, _], A] = Ref1[[_] =>> F[Nothing, _$75], A]
type Ref3[+F[_, _, _], A] = Ref1[[_] =>> F[Any, Nothing, _$79], A]
type RefM3[F[_, _, _], A] = RefM2[[_, _] =>> F[Any, _$66, _$67], A]
type Semaphore2[+F[_, _]] = Semaphore1[[_] =>> F[Nothing, _$92]]
type Semaphore3[+F[_, _, _]] = Semaphore1[[_] =>> F[Any, Nothing, _$96]]
type SyncSafe2[F[_, _]] = SyncSafe1[[_] =>> F[Nothing, _$107]]
type SyncSafe3[F[_, _, _]] = SyncSafe1[[_] =>> F[Any, Nothing, _$113]]
type Temporal2[F[_, _]] = Temporal3[[R, E, A] =>> F[E, A]]
type TransZio[F[_, _]] = Isomorphism2[F, IO]
type UnsafeRun3[F[_, _, _]] = UnsafeRun2[[_, _] =>> F[Any, _$100, _$101]]

Value members

Concrete methods

final override def F[FR[_, _, _]](implicit FR: Functor3[FR]): Functor3[FR]

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

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.unit)
 }

Attributes

Definition Classes

Inherited methods

final def Applicative2[F[_, _] : Applicative2]: Applicative2[F]

Attributes

Inherited from:
ImplicitPuns11
final def Applicative3[FR[_, _, _] : Applicative3]: Applicative3[FR]

Attributes

Inherited from:
ImplicitPuns17
final def ApplicativeError2[F[_, _] : ApplicativeError2]: ApplicativeError2[F]

Attributes

Inherited from:
ImplicitPuns8
final def ApplicativeError3[FR[_, _, _] : ApplicativeError3]: ApplicativeError3[FR]

Attributes

Inherited from:
ImplicitPuns8
final def Arrow3[FR[_, _, _] : Arrow3]: Arrow3[FR]

Attributes

Inherited from:
ImplicitPuns14
final def ArrowChoice3[FR[_, _, _] : ArrowChoice3]: ArrowChoice3[FR]

Attributes

Inherited from:
ImplicitPuns13
final def Ask3[FR[_, _, _] : Ask3]: Ask3[FR]

Attributes

Inherited from:
ImplicitPuns12
final def Async2[F[_, _] : Async2]: Async2[F]

Attributes

Inherited from:
ImplicitPuns1
final def Async3[FR[_, _, _] : Async3]: Async3[FR]

Attributes

Inherited from:
ImplicitPuns1
final def Bifunctor2[F[_, _] : Bifunctor2]: Bifunctor2[F]

Attributes

Inherited from:
ImplicitPuns12
final def Bifunctor3[FR[_, _, _] : Bifunctor3]: Bifunctor3[FR]

Attributes

Inherited from:
ImplicitPuns18
final def Bracket2[F[_, _] : Bracket2]: Bracket2[F]

Attributes

Inherited from:
ImplicitPuns6
final def Bracket3[FR[_, _, _] : Bracket3]: Bracket3[FR]

Attributes

Inherited from:
ImplicitPuns6
final def Concurrent2[F[_, _] : Concurrent2]: Concurrent2[F]

Attributes

Inherited from:
ImplicitPuns2
final def Concurrent3[FR[_, _, _] : Concurrent3]: Concurrent3[FR]

Attributes

Inherited from:
ImplicitPuns2
final def Error2[F[_, _] : Error2]: Error2[F]

Attributes

Inherited from:
ImplicitPuns7
final def Error3[FR[_, _, _] : Error3]: Error3[FR]

Attributes

Inherited from:
ImplicitPuns7
final def Fork2[F[_, _] : Fork2]: Fork2[F]

Attributes

Inherited from:
ImplicitPuns
final def Fork3[FR[_, _, _] : Fork3]: Fork3[FR]

Attributes

Inherited from:
ImplicitPuns
final def Functor2[F[_, _] : Functor2]: Functor2[F]

Attributes

Inherited from:
ImplicitPuns13
final def Functor3[FR[_, _, _] : Functor3]: Functor3[FR]

Attributes

Inherited from:
ImplicitPuns19
final def Guarantee2[F[_, _] : Guarantee2]: Guarantee2[F]

Attributes

Inherited from:
ImplicitPuns9
final def Guarantee3[FR[_, _, _] : Guarantee3]: Guarantee3[FR]

Attributes

Inherited from:
ImplicitPuns9
final def IO2[F[_, _] : IO2]: IO2[F]

Attributes

Inherited from:
ImplicitPuns4
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!"))

Attributes

Inherited from:
ImplicitPuns4
final def IO3[FR[_, _, _] : IO3]: IO3[FR]

Attributes

Inherited from:
ImplicitPuns4
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!"))

Attributes

Inherited from:
ImplicitPuns4
final def Local3[FR[_, _, _] : Local3]: Local3[FR]

Attributes

Inherited from:
ImplicitPuns10
final def Monad2[F[_, _] : Monad2]: Monad2[F]

Attributes

Inherited from:
ImplicitPuns10
final def Monad3[FR[_, _, _] : Monad3]: Monad3[FR]

Attributes

Inherited from:
ImplicitPuns16
final def MonadAsk3[FR[_, _, _] : MonadAsk3]: MonadAsk3[FR]

Attributes

Inherited from:
ImplicitPuns11
final def Panic2[F[_, _] : Panic2]: Panic2[F]

Attributes

Inherited from:
ImplicitPuns5
final def Panic3[FR[_, _, _] : Panic3]: Panic3[FR]

Attributes

Inherited from:
ImplicitPuns5
final def Parallel2[F[_, _] : Parallel2]: Parallel2[F]

Attributes

Inherited from:
ImplicitPuns3
final def Parallel3[FR[_, _, _] : Parallel3]: Parallel3[FR]

Attributes

Inherited from:
ImplicitPuns3
final def Profunctor3[FR[_, _, _] : Profunctor3]: Profunctor3[FR]

Attributes

Inherited from:
ImplicitPuns15
final def Temporal2[F[_, _] : Temporal2]: Temporal2[F]

Attributes

Inherited from:
ImplicitPuns
final def Temporal3[FR[_, _, _] : Temporal3]: Temporal3[FR]

Attributes

Inherited from:
ImplicitPuns

Concrete fields

lazy val Fiber3: Fiber2.type
lazy val Latch2: Promise2.type
lazy val Latch3: Promise2.type
lazy val Mutex3: Mutex2.type
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

Implicits

Inherited implicits

final implicit def Applicative2[F[_, _] : Applicative2, E, A](self: F[E, A]): ApplicativeOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns11
final implicit def Applicative3[FR[_, _, _] : Applicative3, R, E, A](self: FR[R, E, A]): ApplicativeOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns17
final implicit def ApplicativeError2[F[_, _] : ApplicativeError2, E, A](self: F[E, A]): ApplicativeErrorOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns8
final implicit def ApplicativeError3[FR[_, _, _] : ApplicativeError3, R, E, A](self: FR[R, E, A]): ApplicativeErrorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns8
final implicit def Arrow3[FR[_, _, _] : Functor3, R, E, A](self: FR[R, E, A]): FunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns14
final implicit def Arrow3[FR[_, _, _] : Arrow3, R, E, A](self: FR[R, E, A]): ArrowOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns14
final implicit def ArrowChoice3[FR[_, _, _] : Functor3, R, E, A](self: FR[R, E, A]): FunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns13
final implicit def ArrowChoice3[FR[_, _, _] : ArrowChoice3, R, E, A](self: FR[R, E, A]): ArrowChoiceOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns13
final implicit def Ask3[FR[_, _, _] : Applicative3, R, E, A](self: FR[R, E, A]): ApplicativeOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns12
final implicit def Async2[F[_, _] : Async2, E, A](self: F[E, A]): AsyncOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns1
final implicit def Async3[FR[_, _, _] : Async3, R, E, A](self: FR[R, E, A]): AsyncOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns1
final implicit def Bifunctor2[F[_, _] : Functor2, E, A](self: F[E, A]): FunctorOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns12
final implicit def Bifunctor2[F[_, _] : Bifunctor2, E, A](self: F[E, A]): BifunctorOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns12
final implicit def Bifunctor3[FR[_, _, _] : Functor3, R, E, A](self: FR[R, E, A]): FunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns18
final implicit def Bifunctor3[FR[_, _, _] : Bifunctor3, R, E, A](self: FR[R, E, A]): BifunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns18
final implicit def Bracket2[F[_, _] : Bracket2, E, A](self: F[E, A]): BracketOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns6
final implicit def Bracket3[FR[_, _, _] : Bracket3, R, E, A](self: FR[R, E, A]): BracketOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns6
final implicit def Concurrent2[F[_, _] : Panic2, E, A](self: F[E, A]): PanicOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns2
final implicit def Concurrent2[F[_, _] : Concurrent2, E, A](self: F[E, A]): ConcurrentOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns2
final implicit def Concurrent3[FR[_, _, _] : Panic3, R, E, A](self: FR[R, E, A]): PanicOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns2
final implicit def Concurrent3[FR[_, _, _] : Concurrent3, R, E, A](self: FR[R, E, A]): ConcurrentOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns2
final implicit def Error2[F[_, _] : Error2, E, A](self: F[E, A]): ErrorOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns7
final implicit def Error3[FR[_, _, _] : Error3, R, E, A](self: FR[R, E, A]): ErrorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns7
final implicit def Fork2[F[_, _] : Fork2, E, A](self: F[E, A]): ForkOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns
final implicit def Fork3[FR[_, _, _] : Fork3, R, E, A](self: FR[R, E, A]): ForkOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns
final implicit def Functor2[F[_, _] : Functor2, E, A](self: F[E, A]): FunctorOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns13
final implicit def Functor3[FR[_, _, _] : Functor3, R, E, A](self: FR[R, E, A]): FunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns19
final implicit def Guarantee2[F[_, _] : Guarantee2, E, A](self: F[E, A]): GuaranteeOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns9
final implicit def Guarantee3[FR[_, _, _] : Guarantee3, R, E, A](self: FR[R, E, A]): GuaranteeOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns9
final implicit def IO2[F[_, _] : IO2, E, A](self: F[E, A]): IOOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns4
final implicit def IO3[FR[_, _, _] : IO3, R, E, A](self: FR[R, E, A]): IOOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns4
final implicit def Local3[FR[_, _, _] : Local3, R, E, A](self: FR[R, E, A])(implicit evidence$28: Local3[FR], d: DummyImplicit): LocalOpsKleisliSyntax[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns10
final implicit def Local3[FR[_, _, _] : Monad3, R, E, A](self: FR[R, E, A]): MonadOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns10
final implicit def Local3[FR[_, _, _] : Local3, R, E, A](self: FR[R, E, A]): LocalOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns10
final implicit def Monad2[F[_, _] : Monad2, E, A](self: F[E, A]): MonadOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns10
final implicit def Monad3[FR[_, _, _] : Monad3, R, E, A](self: FR[R, E, A]): MonadOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns16
final implicit def MonadAsk3[FR[_, _, _] : Monad3, R, E, A](self: FR[R, E, A]): MonadOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns11
final implicit def Panic2[F[_, _] : Panic2, E, A](self: F[E, A]): PanicOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns5
final implicit def Panic3[FR[_, _, _] : Panic3, R, E, A](self: FR[R, E, A]): PanicOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns5
final implicit def Parallel2[F[_, _] : Monad2, E, A](self: F[E, A]): MonadOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns3
final implicit def Parallel2[F[_, _] : Parallel2, E, A](self: F[E, A]): ParallelOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns3
final implicit def Parallel3[F[_, _, _] : Monad3, R, E, A](self: F[R, E, A]): MonadOps[F, R, E, A]

Attributes

Inherited from:
ImplicitPuns3
final implicit def Parallel3[FR[_, _, _] : Parallel3, R, E, A](self: FR[R, E, A]): ParallelOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns3
final implicit def Profunctor3[FR[_, _, _] : Functor3, R, E, A](self: FR[R, E, A]): FunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns15
final implicit def Profunctor3[FR[_, _, _] : Profunctor3, R, E, A](self: FR[R, E, A]): ProfunctorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns15
final implicit def Temporal2[F[_, _] : Error2, E, A](self: F[E, A]): ErrorOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns
final implicit def Temporal2[F[_, _] : Temporal2, E, A](self: F[E, A]): TemporalOps[F, E, A]

Attributes

Inherited from:
ImplicitPuns
final implicit def Temporal3[FR[_, _, _] : Error3, R, E, A](self: FR[R, E, A]): ErrorOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns
final implicit def Temporal3[FR[_, _, _] : Temporal3, R, E, A](self: FR[R, E, A]): TemporalOps[FR, R, E, A]

Attributes

Inherited from:
ImplicitPuns
Generated with