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 commutativeMonad[P](n: Int)(using evidence$2: CommutativeRig[P]): CommutativeMonad[[_] =>> Dist[P, _$8]]
def monad[P](n: Int)(using evidence$1: Rig[P]): Monad[[_] =>> Dist[P, _$7]]
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, _$12]]
given given_Categorical_G_Int_Dist[G[_], P](using evidence$5: Foldable[G], density: Categorical[G[P], Int][Density[Id, P]]): Categorical[G[P], Int][[_] =>> Dist[P, _$15]]
given given_Eq_Dist[P, A](using evidence$3: Eq[P], evidence$4: Eq[A]): Eq[Dist[P, A]]
given given_UniformRange_Dist[P](using density: Uniform[Range, Int][Density[Id, P]]): Uniform[Range, Int][[_] =>> Dist[P, _$13]]