izumi.functional.bio.CatsConversions
See theCatsConversions companion trait
object CatsConversions
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CatsConversions.type
Members list
Type members
Classlikes
trait BIOCatsApplicative[F[_, _], E] extends Applicative[[_] =>> F[E, _$46]], BIOCatsFunctor[F, E]
Attributes
- Supertypes
-
trait Applicative[[_] =>> F[E, _$46]]trait InvariantMonoidal[[_] =>> F[E, _$46]]trait Apply[[_] =>> F[E, _$46]]trait ApplyArityFunctions[[_] =>> F[E, _$46]]trait InvariantSemigroupal[[_] =>> F[E, _$46]]trait Semigroupal[[_] =>> F[E, _$46]]trait Functor[[_] =>> F[E, _$41]]trait Invariant[[_] =>> F[E, _$41]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsMonadCancel[F]class BIOCatsConcurrentImpl[F]class BIOCatsMonadCancelImpl[F]class BIOCatsSpawnImpl[F]class BIOCatsSync[F]class BIOCatsAsync[F]class BIOCatsSyncImpl[F]class BIOCatsTemporalImpl[F]Show all
class BIOCatsAsync[F[_, _]](val F: Async2[F], val FC: Async2[F], val FT: Temporal2[F], val Fork: Fork2[F], val BlockingIO: BlockingIO2[F], val Clock: Clock2[F], val Primitives: Primitives2[F]) extends BIOCatsSync[F], Async[[_] =>> F[Throwable, _$131]], BIOCatsTemporal[F]
Attributes
- Supertypes
-
trait BIOCatsTemporal[F]trait BIOCatsConcurrent[F]trait BIOCatsSpawn[F]trait Async[[_] =>> F[Throwable, _$131]]trait GenTemporal[[_] =>> F[Throwable, _$126], Throwable]trait GenConcurrent[[_] =>> F[Throwable, _$111], Throwable]trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]class BIOCatsSync[F]trait Sync[[_] =>> F[Throwable, _$131]]trait Defer[[_] =>> F[Throwable, _$131]]trait Unique[[_] =>> F[Throwable, _$94]]trait Clock[[_] =>> F[Throwable, _$126]]class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
trait BIOCatsBifunctor[F[_, _]] extends Bifunctor[F]
Attributes
- Supertypes
-
trait Bifunctor[F]trait Serializableclass Objecttrait Matchableclass Any
trait BIOCatsClock[F[_, _], E] extends Clock[[_] =>> F[E, _$77]]
Attributes
- Supertypes
-
trait Clock[[_] =>> F[E, _$77]]trait Serializableclass Objecttrait Matchableclass Any
- Known subtypes
final class BIOCatsClockImpl[F[_, _], E](val F: Applicative2[F], val Clock: Clock2[F]) extends BIOCatsClock[F, E], BIOCatsApplicative[F, E]
Attributes
- Supertypes
-
trait Applicative[[_] =>> F[E, _$46]]trait InvariantMonoidal[[_] =>> F[E, _$46]]trait Apply[[_] =>> F[E, _$46]]trait ApplyArityFunctions[[_] =>> F[E, _$46]]trait InvariantSemigroupal[[_] =>> F[E, _$46]]trait Semigroupal[[_] =>> F[E, _$46]]trait Functor[[_] =>> F[E, _$41]]trait Invariant[[_] =>> F[E, _$41]]trait Clock[[_] =>> F[E, _$77]]trait Serializableclass Objecttrait Matchableclass AnyShow all
trait BIOCatsConcurrent[F[_, _]] extends GenConcurrent[[_] =>> F[Throwable, _$111], Throwable], BIOCatsSpawn[F]
Attributes
- Supertypes
-
trait BIOCatsSpawn[F]trait GenConcurrent[[_] =>> F[Throwable, _$111], Throwable]trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]trait Unique[[_] =>> F[Throwable, _$94]]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsConcurrentImpl[F]trait BIOCatsTemporal[F]class BIOCatsAsync[F]class BIOCatsTemporalImpl[F]
final class BIOCatsConcurrentImpl[F[_, _]](val F: IO2[F], val FC: Concurrent2[F], val Fork: Fork2[F], val Primitives: Primitives2[F]) extends BIOCatsMonadCancel[F], BIOCatsConcurrent[F]
Attributes
- Supertypes
-
trait BIOCatsConcurrent[F]trait BIOCatsSpawn[F]trait GenConcurrent[[_] =>> F[Throwable, _$111], Throwable]trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]trait Unique[[_] =>> F[Throwable, _$94]]class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
trait BIOCatsFunctor[F[_, _], E] extends Functor[[_] =>> F[E, _$41]]
Attributes
- Supertypes
-
trait Functor[[_] =>> F[E, _$41]]trait Invariant[[_] =>> F[E, _$41]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsMonadCancel[F]class BIOCatsConcurrentImpl[F]class BIOCatsMonadCancelImpl[F]class BIOCatsSpawnImpl[F]class BIOCatsSync[F]class BIOCatsAsync[F]class BIOCatsSyncImpl[F]class BIOCatsTemporalImpl[F]Show all
class BIOCatsMonad[F[_, _], E](val F: Monad2[F]) extends Monad[[_] =>> F[E, _$51]], BIOCatsApplicative[F, E]
Attributes
- Supertypes
-
trait Monad[[_] =>> F[E, _$51]]trait Applicative[[_] =>> F[E, _$46]]trait InvariantMonoidal[[_] =>> F[E, _$46]]trait FlatMap[[_] =>> F[E, _$51]]trait FlatMapArityFunctions[[_] =>> F[E, _$51]]trait Apply[[_] =>> F[E, _$46]]trait ApplyArityFunctions[[_] =>> F[E, _$46]]trait InvariantSemigroupal[[_] =>> F[E, _$46]]trait Semigroupal[[_] =>> F[E, _$46]]trait Functor[[_] =>> F[E, _$41]]trait Invariant[[_] =>> F[E, _$41]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsMonadCancel[F]class BIOCatsConcurrentImpl[F]class BIOCatsMonadCancelImpl[F]class BIOCatsSpawnImpl[F]class BIOCatsSync[F]class BIOCatsAsync[F]class BIOCatsSyncImpl[F]class BIOCatsTemporalImpl[F]Show all
abstract class BIOCatsMonadCancel[F[_, _]](val F: Panic2[F]) extends BIOCatsMonadError[F, Throwable], MonadCancel[[_] =>> F[Throwable, _$59], Throwable]
Attributes
- Supertypes
-
trait MonadCancel[[_] =>> F[Throwable, _$59], Throwable]trait MonadError[[_] =>> F[Throwable, _$59], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$59], Throwable]trait Monad[[_] =>> F[Throwable, _$59]]trait Applicative[[_] =>> F[Throwable, _$59]]trait InvariantMonoidal[[_] =>> F[Throwable, _$59]]trait FlatMap[[_] =>> F[Throwable, _$59]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$59]]trait Apply[[_] =>> F[Throwable, _$59]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$59]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$59]]trait Semigroupal[[_] =>> F[Throwable, _$59]]trait Functor[[_] =>> F[Throwable, _$59]]trait Invariant[[_] =>> F[Throwable, _$59]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsConcurrentImpl[F]class BIOCatsMonadCancelImpl[F]class BIOCatsSpawnImpl[F]class BIOCatsSync[F]class BIOCatsAsync[F]class BIOCatsSyncImpl[F]class BIOCatsTemporalImpl[F]Show all
final class BIOCatsMonadCancelImpl[F[_, _]](val F: Panic2[F]) extends BIOCatsMonadCancel[F]
Attributes
- Supertypes
-
class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$59], Throwable]trait MonadError[[_] =>> F[Throwable, _$59], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$59], Throwable]trait Monad[[_] =>> F[Throwable, _$59]]trait Applicative[[_] =>> F[Throwable, _$59]]trait InvariantMonoidal[[_] =>> F[Throwable, _$59]]trait FlatMap[[_] =>> F[Throwable, _$59]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$59]]trait Apply[[_] =>> F[Throwable, _$59]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$59]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$59]]trait Semigroupal[[_] =>> F[Throwable, _$59]]trait Functor[[_] =>> F[Throwable, _$59]]trait Invariant[[_] =>> F[Throwable, _$59]]trait Serializableclass Objecttrait Matchableclass AnyShow all
class BIOCatsMonadError[F[_, _], E](val F: Error2[F]) extends BIOCatsMonad[F, E], MonadError[[_] =>> F[E, _$54], E]
Attributes
- Supertypes
-
trait MonadError[[_] =>> F[E, _$54], E]trait ApplicativeError[[_] =>> F[E, _$54], E]trait Monad[[_] =>> F[E, _$54]]trait Applicative[[_] =>> F[E, _$54]]trait InvariantMonoidal[[_] =>> F[E, _$54]]trait FlatMap[[_] =>> F[E, _$54]]trait FlatMapArityFunctions[[_] =>> F[E, _$54]]trait Apply[[_] =>> F[E, _$54]]trait ApplyArityFunctions[[_] =>> F[E, _$54]]trait InvariantSemigroupal[[_] =>> F[E, _$54]]trait Semigroupal[[_] =>> F[E, _$54]]trait Functor[[_] =>> F[E, _$54]]trait Invariant[[_] =>> F[E, _$54]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsMonadCancel[F]class BIOCatsConcurrentImpl[F]class BIOCatsMonadCancelImpl[F]class BIOCatsSpawnImpl[F]class BIOCatsSync[F]class BIOCatsAsync[F]class BIOCatsSyncImpl[F]class BIOCatsTemporalImpl[F]Show all
class BIOCatsParallel[F0[_, _]](F0: Parallel2[F0]) extends Parallel[[_] =>> F0[Throwable, _$87]]
Attributes
- Supertypes
-
trait Parallel[[_] =>> F0[Throwable, _$87]]trait NonEmptyParallel[[_] =>> F0[Throwable, _$87]]trait Serializableclass Objecttrait Matchableclass AnyShow all
trait BIOCatsSpawn[F[_, _]] extends GenSpawn[[_] =>> F[Throwable, _$94], Throwable]
Attributes
- Supertypes
-
trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]trait Unique[[_] =>> F[Throwable, _$94]]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait BIOCatsConcurrent[F]class BIOCatsConcurrentImpl[F]trait BIOCatsTemporal[F]class BIOCatsAsync[F]class BIOCatsTemporalImpl[F]class BIOCatsSpawnImpl[F]Show all
final class BIOCatsSpawnImpl[F[_, _]](val F: IO2[F], val FC: Concurrent2[F], val Fork: Fork2[F]) extends BIOCatsMonadCancel[F], BIOCatsSpawn[F]
Attributes
- Supertypes
-
trait BIOCatsSpawn[F]trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]trait Unique[[_] =>> F[Throwable, _$94]]class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
abstract class BIOCatsSync[F[_, _]](val F: IO2[F], val BlockingIO: BlockingIO2[F], val Clock: Clock2[F]) extends BIOCatsMonadCancel[F], BIOCatsClock[F, Throwable], Sync[[_] =>> F[Throwable, _$84]]
Attributes
- Supertypes
-
trait Sync[[_] =>> F[Throwable, _$84]]trait Defer[[_] =>> F[Throwable, _$84]]trait Unique[[_] =>> F[Throwable, _$84]]trait Clock[[_] =>> F[Throwable, _$84]]class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$84], Throwable]trait MonadError[[_] =>> F[Throwable, _$84], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$84], Throwable]trait Monad[[_] =>> F[Throwable, _$84]]trait Applicative[[_] =>> F[Throwable, _$84]]trait InvariantMonoidal[[_] =>> F[Throwable, _$84]]trait FlatMap[[_] =>> F[Throwable, _$84]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$84]]trait Apply[[_] =>> F[Throwable, _$84]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$84]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$84]]trait Semigroupal[[_] =>> F[Throwable, _$84]]trait Functor[[_] =>> F[Throwable, _$84]]trait Invariant[[_] =>> F[Throwable, _$84]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
final class BIOCatsSyncImpl[F[_, _]](val F: IO2[F], val BlockingIO: BlockingIO2[F], val Clock: Clock2[F]) extends BIOCatsSync[F]
Attributes
- Supertypes
-
class BIOCatsSync[F]trait Sync[[_] =>> F[Throwable, _$84]]trait Defer[[_] =>> F[Throwable, _$84]]trait Unique[[_] =>> F[Throwable, _$84]]trait Clock[[_] =>> F[Throwable, _$84]]class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$84], Throwable]trait MonadError[[_] =>> F[Throwable, _$84], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$84], Throwable]trait Monad[[_] =>> F[Throwable, _$84]]trait Applicative[[_] =>> F[Throwable, _$84]]trait InvariantMonoidal[[_] =>> F[Throwable, _$84]]trait FlatMap[[_] =>> F[Throwable, _$84]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$84]]trait Apply[[_] =>> F[Throwable, _$84]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$84]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$84]]trait Semigroupal[[_] =>> F[Throwable, _$84]]trait Functor[[_] =>> F[Throwable, _$84]]trait Invariant[[_] =>> F[Throwable, _$84]]trait Serializableclass Objecttrait Matchableclass AnyShow all
trait BIOCatsTemporal[F[_, _]] extends GenTemporal[[_] =>> F[Throwable, _$126], Throwable], BIOCatsConcurrent[F]
Attributes
- Supertypes
-
trait BIOCatsConcurrent[F]trait BIOCatsSpawn[F]trait GenTemporal[[_] =>> F[Throwable, _$126], Throwable]trait Clock[[_] =>> F[Throwable, _$126]]trait GenConcurrent[[_] =>> F[Throwable, _$111], Throwable]trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]trait Unique[[_] =>> F[Throwable, _$94]]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
class BIOCatsAsync[F]class BIOCatsTemporalImpl[F]
class BIOCatsTemporalImpl[F[_, _]](val F: IO2[F], val FC: Concurrent2[F], val FT: Temporal2[F], val Fork: Fork2[F], val Primitives: Primitives2[F], val BlockingIO: BlockingIO2[F], val Clock: Clock2[F]) extends BIOCatsSync[F], BIOCatsTemporal[F]
Attributes
- Supertypes
-
trait BIOCatsTemporal[F]trait BIOCatsConcurrent[F]trait BIOCatsSpawn[F]trait GenTemporal[[_] =>> F[Throwable, _$126], Throwable]trait GenConcurrent[[_] =>> F[Throwable, _$111], Throwable]trait GenSpawn[[_] =>> F[Throwable, _$94], Throwable]class BIOCatsSync[F]trait Sync[[_] =>> F[Throwable, _$84]]trait Defer[[_] =>> F[Throwable, _$84]]trait Unique[[_] =>> F[Throwable, _$94]]trait Clock[[_] =>> F[Throwable, _$126]]class BIOCatsMonadCancel[F]trait MonadCancel[[_] =>> F[Throwable, _$94], Throwable]trait MonadError[[_] =>> F[Throwable, _$94], Throwable]trait ApplicativeError[[_] =>> F[Throwable, _$94], Throwable]trait Monad[[_] =>> F[Throwable, _$94]]trait Applicative[[_] =>> F[Throwable, _$94]]trait InvariantMonoidal[[_] =>> F[Throwable, _$94]]trait FlatMap[[_] =>> F[Throwable, _$94]]trait FlatMapArityFunctions[[_] =>> F[Throwable, _$94]]trait Apply[[_] =>> F[Throwable, _$94]]trait ApplyArityFunctions[[_] =>> F[Throwable, _$94]]trait InvariantSemigroupal[[_] =>> F[Throwable, _$94]]trait Semigroupal[[_] =>> F[Throwable, _$94]]trait Functor[[_] =>> F[Throwable, _$94]]trait Invariant[[_] =>> F[Throwable, _$94]]trait Serializableclass Objecttrait Matchableclass AnyShow all
In this article