izumi.functional.bio.Entropy1$
See theEntropy1 companion trait
Attributes
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
Attributes
- Graph
- Supertypes
- Known subtypes
- class Deterministicobject Standard.type
Attributes
- Graph
- Supertypes
- Self type
- Standard.type
Value members
Implicits
Implicits
final implicit def covarianceConversion[F[_], G[_]](entropy: Entropy1[F])(implicit ev: F[Unit] <:< G[Unit]): Entropy1[G]
final implicit def limitedCovariance2[C <: ([f[_]] =>> Entropy1[f]), FR[_, _], R0](implicit F: C[[_] =>> FR[Nothing, _$7]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, _$8]]]
Emulate covariance. We're forced to employ these because we can't make Entropy covariant, because covariant implicits are broken (see scalac bug)
Emulate covariance. We're forced to employ these because we can't make Entropy covariant, because covariant implicits are broken (see scalac bug)
Safe because F
appears only in a covariant position
Attributes
- See also:
final implicit def limitedCovariance3[C <: ([f[_]] =>> Entropy1[f]), FR[_, _, _], R0, E](implicit F: C[[_] =>> FR[Any, Nothing, _$14]] { type Divergence = Nondivergent; }): Of[C[[_] =>> FR[R0, E, _$15]]]
Inherited implicits
final implicit def fromImpureEntropy[F[_]](implicit impureEntropy: Entropy1[Identity], F: SyncSafe1[F]): Entropy1[F]
Attributes
- Inherited from:
- LowPriorityEntropyInstances