PureRVT

object PureRVT
class Object
trait Matchable
class Any
PureRVT.type

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 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]]
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]]
given given_Monad_PureRVT[F[_], S](using evidence$4: Monad[F], NotGiven[Sync[F]]): Monad[[_] =>> PureRVT[F, S, _$9]]
given given_PseudoRandom_PureRVT[F[_], S0](using evidence$5: Monad[F], rng: PureRng[S0]): given_PseudoRandom_PureRVT[F, S0]
given given_Sync_PureRVT[F[_], S](using evidence$3: Sync[F]): Sync[[_] =>> PureRVT[F, S, _$7]]

Extensions

Extensions

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