izumi.functional.bio.SyncSafe1$
See theSyncSafe1 companion trait
Attributes
Members list
Concise view
Implicits
Implicits
This instance uses 'no more orphans' trick to provide an Optional instance only IFF you have cats-effect as a dependency without REQUIRING a cats-effect dependency.
This instance uses 'no more orphans' trick to provide an Optional instance only IFF you have cats-effect as a dependency without REQUIRING a cats-effect dependency.
Optional instance via https://blog.7mind.io/no-more-orphans.html
Attributes
Inherited implicits
final implicit def covarianceConversion[F[_], G[_]](syncSafe: SyncSafe1[F])(implicit ev: F[Unit] <:< G[Unit]): SyncSafe1[G]
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances2
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances1
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances0
final implicit def limitedCovariance2[C <: ([f[_]] =>> SyncSafe1[f]), FR[_, _], R0](implicit F: C[[_] =>> FR[Nothing, _$18]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, _$19]]]
Emulate covariance. We're forced to employ these because we can't make SyncSafe covariant, because covariant implicits are broken (see scalac bug)
Emulate covariance. We're forced to employ these because we can't make SyncSafe covariant, because covariant implicits are broken (see scalac bug)
Safe because F
appears only in a covariant position
Attributes
- See also:
- Inherited from:
- LowPrioritySyncSafeInstances2
final implicit def limitedCovariance3[C <: ([f[_]] =>> SyncSafe1[f]), FR[_, _, _], R0, E](implicit F: C[[_] =>> FR[Any, Nothing, _$25]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, E, _$26]]]
Attributes
- Inherited from:
- LowPrioritySyncSafeInstances2