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: FlatMap[F]
given PseudoRandom_PureRVT[F[_], S0](using evidence$5: Monad[F], val rng: PureRng[S0]): PseudoRandom[[_] =>> PureRVT[F, S0, _$11]]
given Sync_PureRVT: MonadCancel[F, Throwable]

Extensions

Extensions

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