schrodinger-kernel-testkit/schrodinger.kernel.testkit/PureRVT

PureRVT

object PureRVT
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Givens

Givens

given Arbitrary_PureRVT: Serializable
given Eq_PureRVT: Serializable
given Monad_PureRVT[F[_], S]: Monad[[_] =>> PureRVT[F, S, _$7]]
given PseudoRandom_PureRVT[F[_], S0](using evidence$4: Monad[F], val rng: PureRng[S0]): PseudoRandom[[_] =>> PureRVT[F, S0, _$9]]

Extensions

Extensions

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