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_P_Boolean_Dist[P](using density: Bernoulli[P, Boolean][Density[Id, P]]): Bernoulli[P, Boolean][[_] =>> Dist[P, _$13]]
given given_Categorical_G_A_Dist[G[_], A, P](using evidence$10: Foldable[G], evidence$11: Hash[A], Categorical[Map[A, P], A][[_] =>> Dist[P, _$20]]): Categorical[G[(A, P)], A][[_] =>> Dist[P, _$21]]
given given_Categorical_G_Int_Dist[G[_], P](using evidence$8: Foldable[G], density: Categorical[G[P], Int][Density[Id, P]]): Categorical[G[P], Int][[_] =>> Dist[P, _$16]]
given given_Categorical_Map_A_Dist[A, P](using evidence$9: Hash[A], density: Categorical[Map[A, P], A][Density[Id, P]]): Categorical[Map[A, P], A][[_] =>> Dist[P, _$17]]
given given_CommutativeMonad_Dist[P](using evidence$3: CommutativeRig[P], evidence$4: Eq[P]): CommutativeMonad[[_] =>> Dist[P, _$8]]
given given_Eq_Dist[P, A](using evidence$5: Eq[P], evidence$6: Eq[A], P: Semiring[P]): Eq[Dist[P, A]]
given given_Monad_Dist[P](using evidence$1: Rig[P], evidence$2: Eq[P], NotGiven[CommutativeRig[P]]): Monad[[_] =>> Dist[P, _$7]]
given given_UniformRange_Dist[P](using density: Uniform[Range, Int][Density[Id, P]]): Uniform[Range, Int][[_] =>> Dist[P, _$14]]