schrodinger-monte-carlo/schrodinger.montecarlo/Weighted

Weighted

object Weighted
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Heavy[W, A](weight: W, density: W, value: A) extends Weighted[W, A]
final case class Weightless[W, A](weight: W) extends Weighted[W, A]
Companion:
object
object Weightless
Companion:
class

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 apply[W, A](weight: W, density: W, value: A)(using evidence$4: Eq[W], W: Semiring[W]): Weighted[W, A]
def apply[W, A](density: W, value: A)(using W: MultiplicativeMonoid[W]): Weighted[W, A]
def pure[W, A](a: A)(using W: MultiplicativeMonoid[W]): Weighted[W, A]
def weightless[W, A](using W: Semiring[W]): Weighted[W, A]

Givens

Inherited givens

given given_Eq_Weighted[W, A](using evidence$11: Eq[W], evidence$12: Eq[A]): given_Eq_Weighted[W, A]
Inherited from:
WeightedInstances1 (hidden)
given given_Hash_Weighted[W, A](using evidence$9: Hash[W], evidence$10: Hash[A]): Hash[Weighted[W, A]]
Inherited from:
WeightedInstances0 (hidden)
given given_InvariantMonoidal_Weighted[F[_], W](using Rig[W], Eq[W]): InvariantMonoidal[[_] =>> Weighted[W, _$3]]
Inherited from:
WeightedInstances (hidden)
given given_Invariant_Weighted[W]: Invariant[[_] =>> Weighted[W, _$4]]
Inherited from:
WeightedInstances0 (hidden)
given given_Order_Weighted[W, A](using evidence$5: Order[W], evidence$6: Order[A]): Order[Weighted[W, A]]
Inherited from:
WeightedInstances (hidden)
given given_Show_Weighted[W, A](using evidence$7: Show[W], evidence$8: Show[A]): given_Show_Weighted[W, A]
Inherited from:
WeightedInstances (hidden)