Dist

schrodinger.kernel.testkit.Dist
See theDist companion class
object Dist

Attributes

Companion
class
Source
Dist.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Dist.type

Members list

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source
Mirror.scala

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

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

Attributes

Source
Dist.scala

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]

Attributes

Source
Dist.scala
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]

Attributes

Source
Dist.scala
given given_CommutativeMonad_Dist[P](using evidence$3: CommutativeRig[P], evidence$4: Eq[P]): CommutativeMonad[[_] =>> Dist[P, _$9]]

Attributes

Source
Dist.scala
given given_DiscreteUniform_Dist_Long[P](using x$1: DiscreteUniform[[_] =>> Density[Id, P, _$18], Long]): given_DiscreteUniform_Dist_Long[P]

Attributes

Source
Dist.scala
given given_Eq_Dist[P, A](using evidence$5: Eq[P], evidence$6: Eq[A], P: Semiring[P]): Eq[Dist[P, A]]

Attributes

Source
Dist.scala
given given_FairBernoulli_Dist_Boolean[P](using x$1: FairBernoulli[[_] =>> Density[Id, P, _$14], Boolean]): given_FairBernoulli_Dist_Boolean[P]

Attributes

Source
Dist.scala
given given_Monad_Dist[P](using evidence$1: Rig[P], evidence$2: Eq[P], NotGiven[CommutativeRig[P]]): Monad[[_] =>> Dist[P, _$8]]

Attributes

Source
Dist.scala