PureRVT

schrodinger.kernel.testkit.PureRVT$package$.PureRVT$
object PureRVT

Attributes

Source:
PureRVT.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
PureRVT.type

Members list

Concise view

Value members

Concrete methods

def getExtra[F[_], S, A](key: LookupKey[A])(using evidence$1: Applicative[F]): PureRVT[F, S, Option[A]]

Attributes

Source:
PureRVT.scala
def setExtra[F[_], S, A](key: InsertKey[A], a: Option[A])(using evidence$2: Applicative[F]): PureRVT[F, S, Unit]

Attributes

Source:
PureRVT.scala

Givens

Givens

given given_Arbitrary_PureRVT[F[_], S, A](using evidence$6: Monad[F], evidence$7: PureRng[S], evidence$8: Arbitrary[A], evidence$9: Cogen[A]): Arbitrary[PureRVT[F, S, A]]

Attributes

Source:
PureRVT.scala
given given_Eq_PureRVT[F[_], S, A](using evidence$10: Monad[F], evidence$11: PureRng[S], evidence$12: ExhaustiveCheck[S], evidence$13: Eq[A], Confidence, Eq[F[SimulationResult[A]]]): Eq[PureRVT[F, S, A]]

Attributes

Source:
PureRVT.scala
given given_Monad_PureRVT[F[_], S](using evidence$4: Monad[F], NotGiven[Sync[F]]): Monad[[_] =>> PureRVT[F, S, _$10]]

Attributes

Source:
PureRVT.scala
given given_PseudoRandom_PureRVT[F[_], S0](using evidence$5: Monad[F], rng: PureRng[S0]): given_PseudoRandom_PureRVT[F, S0]

Attributes

Source:
PureRVT.scala
given given_Sync_PureRVT[F[_], S](using evidence$3: Sync[F]): Sync[[_] =>> PureRVT[F, S, _$8]]

Attributes

Source:
PureRVT.scala

Extensions

Extensions

extension [F[_], S, A](rv: PureRVT[F, S, A])
def simulate(seed: S)(using FlatMap[F]): F[A]

Attributes

Source:
PureRVT.scala