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](weight: W) extends Weighted[W, Nothing]
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

Inherited methods

def apply[W, A](density: W, value: A)(using W: MultiplicativeMonoid[W]): Weighted[W, A]
Inherited from:
WeightedFunctions
def apply[W, A](weight: W, density: W, value: A)(using evidence$8: Eq[W], W: Rig[W]): Weighted[W, A]
Inherited from:
WeightedFunctions
def pure[W, A](a: A)(using W: MultiplicativeMonoid[W]): Weighted[W, A]
Inherited from:
WeightedFunctions
def weightless[W, A](using W: Semiring[W]): Weighted[W, A]
Inherited from:
WeightedFunctions

Givens

Inherited givens

given given_Align_Weighted[W](using Rig[W], Eq[W]): Align[[_] =>> Weighted[W, _$3]]
Inherited from:
WeightedInstances
given given_CommutativeMonad_Weighted[W](using CommutativeRig[W], Eq[W]): CommutativeMonad[[_] =>> Weighted[W, _$2]]
Inherited from:
WeightedInstances
given given_CommutativeMonoid_Weighted[W, A](using CommutativeRig[W], Eq[W], CommutativeMonoid[A]): CommutativeMonoid[Weighted[W, A]]
Inherited from:
WeightedInstances0
given given_CommutativeSemigroup_Weighted[W, A](using CommutativeRig[W], Eq[W], CommutativeSemigroup[A]): CommutativeSemigroup[Weighted[W, A]]
Inherited from:
WeightedInstances2
given given_Eq_Weighted[W, A](using evidence$4: Eq[W], evidence$5: Eq[A]): given_Eq_Weighted[W, A]
Inherited from:
WeightedInstances0
given given_Functor_Weighted[W]: Functor[[_] =>> Weighted[W, _$7]]
Inherited from:
WeightedInstances3
given given_InvariantMonoidal_Weighted[F[_], W](using Rig[W], Eq[W]): InvariantMonoidal[[_] =>> Weighted[W, _$6]]
Inherited from:
WeightedInstances2
given given_Monad_Weighted[W](using Rig[W], Eq[W]): Monad[[_] =>> Weighted[W, _$4]]
Inherited from:
WeightedInstances0
given given_Monoid_Weighted[W, A](using Rig[W], Eq[W], Monoid[A]): Monoid[Weighted[W, A]]
Inherited from:
WeightedInstances1
given given_Semigroup_Weighted[W, A](using Rig[W], Eq[W], Semigroup[A]): Semigroup[Weighted[W, A]]
Inherited from:
WeightedInstances3
given given_Show_Weighted[W, A](using evidence$6: Show[W], evidence$7: Show[A]): given_Show_Weighted[W, A]
Inherited from:
WeightedInstances0