Packages

object SyncSafe1 extends LowPrioritySyncSafeInstances0

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SyncSafe1
  2. LowPrioritySyncSafeInstances0
  3. LowPrioritySyncSafeInstances1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def apply[F[_]](implicit arg0: SyncSafe1[F]): SyncSafe1[F]
  2. implicit final def covarianceConversion[F[_], G[_]](syncSafe: SyncSafe1[F])(implicit ev: <:<[F[Unit], G[Unit]]): SyncSafe1[G]
    Definition Classes
    LowPrioritySyncSafeInstances1
    Annotations
    @inline()
  3. implicit final def fromBIO[F[+_, +_]](implicit arg0: IO2[F]): SyncSafe1[[β$0$]F[Nothing, β$0$]]
  4. implicit def fromSync[F[_], Sync[_[_]]](implicit arg0: cats.effect.kernel.Sync[Sync], F0: Sync[F]): SyncSafe1[F]

    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

  5. implicit final def limitedCovariance2[C[f[_]] <: SyncSafe1[f[_]], FR[_, _], E](implicit F: C[[β$2$]FR[Nothing, β$2$]] { type Divergence = izumi.functional.bio.DivergenceHelper.Nondivergent }): Of[C[[β$3$]FR[E, β$3$]]]

    Emulate covariance.

    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

    Definition Classes
    LowPrioritySyncSafeInstances1
    Annotations
    @inline()
    See also

    https://github.com/scala/bug/issues/11427

  6. implicit final def limitedCovariance3[C[f[_]] <: SyncSafe1[f[_]], FR[_, _, _], R0, E](implicit F: C[[γ$5$]FR[Any, Nothing, γ$5$]] { type Divergence = izumi.functional.bio.DivergenceHelper.Nondivergent }): Of[C[[γ$6$]FR[R0, E, γ$6$]]]
    Definition Classes
    LowPrioritySyncSafeInstances1
    Annotations
    @inline()