microsite
API
Generated with
microsite/izumi/izumi.functional/izumi.functional.bio/izumi.functional.bio.impl

izumi.functional.bio.impl

package izumi.functional.bio.impl

Members list

Type members

Classlikes

object AsyncZio extends AsyncZio[Any]

Attributes

Companion
class
Supertypes
class AsyncZio[Any]
trait Async2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait WeakAsync2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait IO2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Panic2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Bracket2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Error2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait ErrorAccumulatingOps2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Monad2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait ApplicativeError2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Bifunctor2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Guarantee2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Applicative2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Functor2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Concurrent2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait ParallelErrorAccumulatingOps2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Parallel2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait RootBifunctor[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Root
class Object
trait Matchable
class Any
Show all
Self type
AsyncZio.type
open class AsyncZio[R] extends Async2[[_, _] =>> ZIO[R, _$1, _$2]]

Attributes

Companion
object
Supertypes
trait Async2[[_, _] =>> ZIO[R, _$1, _$2]]
trait WeakAsync2[[_, _] =>> ZIO[R, _$1, _$2]]
trait IO2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Panic2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Bracket2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Error2[[_, _] =>> ZIO[R, _$1, _$2]]
trait ErrorAccumulatingOps2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Monad2[[_, _] =>> ZIO[R, _$1, _$2]]
trait ApplicativeError2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Bifunctor2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Guarantee2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Applicative2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Functor2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Concurrent2[[_, _] =>> ZIO[R, _$1, _$2]]
trait ParallelErrorAccumulatingOps2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Parallel2[[_, _] =>> ZIO[R, _$1, _$2]]
trait RootBifunctor[[_, _] =>> ZIO[R, _$1, _$2]]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
object AsyncZio
class TemporalZio[R]
object TemporalZio
open class BioEither extends Error2[Either]

Attributes

Companion
object
Supertypes
trait Error2[Either]
trait ErrorAccumulatingOps2[Either]
trait Monad2[Either]
trait ApplicativeError2[Either]
trait Bifunctor2[Either]
trait Guarantee2[Either]
trait Applicative2[Either]
trait Functor2[Either]
trait RootBifunctor[Either]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
object BioEither
object BioEither extends BioEither

Attributes

Companion
class
Supertypes
class BioEither
trait Error2[Either]
trait ErrorAccumulatingOps2[Either]
trait Monad2[Either]
trait ApplicativeError2[Either]
trait Bifunctor2[Either]
trait Guarantee2[Either]
trait Applicative2[Either]
trait Functor2[Either]
trait RootBifunctor[Either]
trait Root
class Object
trait Matchable
class Any
Show all
Self type
BioEither.type
open class BioIdentity2 extends Monad2[Identity2]

Attributes

Companion
object
Supertypes
trait Monad2[Identity2]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
object BioIdentity2
object BioIdentity2 extends BioIdentity2

Attributes

Companion
class
Supertypes
class BioIdentity2
trait Monad2[Identity2]
trait Root
class Object
trait Matchable
class Any
Show all
Self type
object ForkZio extends ForkZio[Any]

Attributes

Companion
class
Supertypes
class ForkZio[Any]
trait Fork2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait RootBifunctor[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Root
class Object
trait Matchable
class Any
Show all
Self type
ForkZio.type
open class ForkZio[R] extends Fork2[[_, _] =>> ZIO[R, _$1, _$2]]

Attributes

Companion
object
Supertypes
trait Fork2[[_, _] =>> ZIO[R, _$1, _$2]]
trait RootBifunctor[[_, _] =>> ZIO[R, _$1, _$2]]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
object ForkZio
sealed trait MiniBIO[+E, +A]

A lightweight dependency-less implementation of the izumi.functional.bio.IO2 interface, analogous in purpose with cats.effect.kernel.SyncIO

A lightweight dependency-less implementation of the izumi.functional.bio.IO2 interface, analogous in purpose with cats.effect.kernel.SyncIO

Sync-only, not interruptible, not async. This is a very primitive effect type. Prefer ZIO or cats-bio in production.

This is safe to run in a synchronous environment, Use MiniBIO.autoRun to gain access to components polymorphic over izumi.functional.bio.IO2 in a synchronous environment.

 final class MyBIOClock[F[+_, +_]: IO2]() {
   val nanoTime: F[Nothing, Long] = IO2(System.nanoTime())
 }

 import MiniBIO.autoRun._

 val time: Long = new MyBIOClock().nanoTime
 println(time)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Fail[E]
class FlatMap[E, A, E1, B]
class Redeem[E, A, E1, B]
class Sync[E, A]
object MiniBIO extends MiniBIOPlatformSpecific

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type
MiniBIO.type
sealed trait MiniBIOAsync[+E, +A]

MiniBIO extended with support for async operations via the Async constructor.

MiniBIO extended with support for async operations via the Async constructor.

This effect type does not support interruption.

Made for use in distage-testkit. Prefer ZIO or cats-bio in production.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Async[E, A]
class Fail[E]
class FlatMap[E, A, E1, B]
class Redeem[E, A, E1, B]
class Sync[E, A]
object MiniBIOAsync extends MiniBIOAsyncPlatformSpecific

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Show all
Self type
trait MiniBIOAsyncPlatformSpecific

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MiniBIOAsync
trait MiniBIOPlatformSpecific

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MiniBIO
open class PrimitivesFromBIOAndCats[F[_, _]]()(using evidence$1: Async2[F], evidence$2: Fork2[F]) extends Primitives2[F]

Attributes

Supertypes
trait Primitives2[F]
class Object
trait Matchable
class Any
open class PrimitivesLocalFromCatsIO[F[_, _]](fromIO: Morphism1[IO, [_] =>> F[Throwable, _$3]])(using evidence$1: Panic2[F]) extends PrimitivesLocal2[F]

Attributes

Supertypes
trait PrimitivesLocal2[F]
class Object
trait Matchable
class Any
object PrimitivesLocalZio extends PrimitivesLocalZio[Any]

Attributes

Companion
class
Supertypes
class PrimitivesLocalZio[Any]
trait PrimitivesLocal2[[_, _] =>> ZIO[Any, _$1, _$2]]
class Object
trait Matchable
class Any
Self type
open class PrimitivesLocalZio[R] extends PrimitivesLocal2[[_, _] =>> ZIO[R, _$1, _$2]]

Attributes

Companion
object
Supertypes
trait PrimitivesLocal2[[_, _] =>> ZIO[R, _$1, _$2]]
class Object
trait Matchable
class Any
Known subtypes
open class PrimitivesMFromBIO[F[_, _]] extends PrimitivesM2[F]

Attributes

Supertypes
trait PrimitivesM2[F]
class Object
trait Matchable
class Any
open class PrimitivesMZio[R] extends PrimitivesM2[[_, _] =>> ZIO[R, _$1, _$2]]

Attributes

Companion
object
Supertypes
trait PrimitivesM2[[_, _] =>> ZIO[R, _$1, _$2]]
class Object
trait Matchable
class Any
Known subtypes
object PrimitivesMZio extends PrimitivesMZio[Any]

Attributes

Companion
class
Supertypes
class PrimitivesMZio[Any]
trait PrimitivesM2[[_, _] =>> ZIO[Any, _$1, _$2]]
class Object
trait Matchable
class Any
Self type
open class PrimitivesZio[R] extends Primitives2[[_, _] =>> ZIO[R, _$1, _$2]]

Attributes

Companion
object
Supertypes
trait Primitives2[[_, _] =>> ZIO[R, _$1, _$2]]
class Object
trait Matchable
class Any
Known subtypes
object PrimitivesZio
object PrimitivesZio extends PrimitivesZio[Any]

Attributes

Companion
class
Supertypes
class PrimitivesZio[Any]
trait Primitives2[[_, _] =>> ZIO[Any, _$1, _$2]]
class Object
trait Matchable
class Any
Self type
open class SchedulerImpl[F[_, _]](implicit evidence$1: WeakTemporal2[F], clock: Clock2[F]) extends Scheduler2[F]

Attributes

Supertypes
trait Scheduler2[F]
class Object
trait Matchable
class Any
open class TemporalZio[R] extends AsyncZio[R], Temporal2[[_, _] =>> ZIO[R, _$1, _$2]]

Attributes

Companion
object
Supertypes
trait Temporal2[[_, _] =>> ZIO[R, _$1, _$2]]
trait WeakTemporal2[[_, _] =>> ZIO[R, _$1, _$2]]
class AsyncZio[R]
trait Async2[[_, _] =>> ZIO[R, _$1, _$2]]
trait WeakAsync2[[_, _] =>> ZIO[R, _$1, _$2]]
trait IO2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Panic2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Bracket2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Error2[[_, _] =>> ZIO[R, _$1, _$2]]
trait ErrorAccumulatingOps2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Monad2[[_, _] =>> ZIO[R, _$1, _$2]]
trait ApplicativeError2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Bifunctor2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Guarantee2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Applicative2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Functor2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Concurrent2[[_, _] =>> ZIO[R, _$1, _$2]]
trait ParallelErrorAccumulatingOps2[[_, _] =>> ZIO[R, _$1, _$2]]
trait Parallel2[[_, _] =>> ZIO[R, _$1, _$2]]
trait RootBifunctor[[_, _] =>> ZIO[R, _$1, _$2]]
trait Root
class Object
trait Matchable
class Any
Show all
Known subtypes
object TemporalZio
object TemporalZio extends TemporalZio[Any]

Attributes

Companion
class
Supertypes
class TemporalZio[Any]
trait Temporal2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait WeakTemporal2[[_, _] =>> ZIO[Any, _$1, _$2]]
class AsyncZio[Any]
trait Async2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait WeakAsync2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait IO2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Panic2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Bracket2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Error2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait ErrorAccumulatingOps2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Monad2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait ApplicativeError2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Bifunctor2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Guarantee2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Applicative2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Functor2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Concurrent2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait ParallelErrorAccumulatingOps2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Parallel2[[_, _] =>> ZIO[Any, _$1, _$2]]
trait RootBifunctor[[_, _] =>> ZIO[Any, _$1, _$2]]
trait Root
class Object
trait Matchable
class Any
Show all
Self type
Generated with