izumi.functional.bio.Entropy1
See theEntropy1 companion trait
object Entropy1 extends LowPriorityEntropyInstances
Attributes
Members list
Type members
Classlikes
class Deterministic(seed: Long) extends ScalaEntropy
Attributes
- Supertypes
trait ScalaEntropy extends Entropy1[Identity]
Attributes
- Supertypes
- Known subtypes
-
class Deterministicobject Standard
object Standard extends ScalaEntropy
Attributes
- Supertypes
- Self type
-
Standard.type
Implicits
Implicits
final implicit def covarianceConversion[F[_], G[_]](entropy: Entropy1[F])(implicit ev: F[Unit] <:< G[Unit]): Entropy1[G]
final implicit def limitedCovariance2[C <: (Entropy1), F[_, _], E](implicit F: C[[_] =>> F[Nothing, _$7]] { type Divergence = Nondivergent; }): Of[C[[_] =>> F[E, _$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 <: (Entropy1), 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
In this article