schrodinger-kernel-testkit/schrodinger.kernel.testkit/Dist

Dist

object Dist
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Dist.type

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def pure[P, A](a: A)(using P: MultiplicativeMonoid[P]): Dist[P, A]

Givens

Givens

given given_Bernoulli_Dist_P_Boolean[P](using x$1: Bernoulli[[_] =>> Density[Id, P, _$16], P, Boolean]): given_Bernoulli_Dist_P_Boolean[P]
given given_Categorical_Dist_G_Long[G[_], P](using evidence$8: Reducible[G], x$1: Categorical[[_] =>> Density[Id, P, _$21], G[P], Long]): given_Categorical_Dist_G_Long[G, P]
given given_CommutativeMonad_Dist[P](using evidence$3: CommutativeRig[P], evidence$4: Eq[P]): CommutativeMonad[[_] =>> Dist[P, _$9]]
given given_DiscreteUniform_Dist_Long[P](using x$1: DiscreteUniform[[_] =>> Density[Id, P, _$18], Long]): given_DiscreteUniform_Dist_Long[P]
given given_Eq_Dist[P, A](using evidence$5: Eq[P], evidence$6: Eq[A], P: Semiring[P]): Eq[Dist[P, A]]
given given_FairBernoulli_Dist_Boolean[P](using x$1: FairBernoulli[[_] =>> Density[Id, P, _$14], Boolean]): given_FairBernoulli_Dist_Boolean[P]
given given_Monad_Dist[P](using evidence$1: Rig[P], evidence$2: Eq[P], NotGiven[CommutativeRig[P]]): Monad[[_] =>> Dist[P, _$8]]