schrodinger-kernel-testkit
schrodinger-kernel-testkit
schrodinger.kernel.testkit
Confidence
EqUndecidableException
PseudoRandomEq
PureRV
PureRVT
Monad_PureRVT
PseudoRandom_PureRVT
PureRng
PureRng
PureRng64
RandomGenerators
RandomRuleSet
SimulationResult
SimulationResult
SplitMix64
given_PureRng_SplitMix64_PureRng64_SplitMix64
schrodinger-kernel-testkit
/
schrodinger.kernel.testkit
/
PureRVT
/
PseudoRandom_PureRVT
PseudoRandom_PureRVT
given
PseudoRandom_PureRVT
[
F
[
_
],
S0
](
using
evidence$4:
Monad
[
F
],
val
rng:
PureRng
[
S0
]):
PseudoRandom
[[
_
]
=>>
PureRVT
[
F
,
S0
,
_$9
]]
Type members
Value members
Extensions
Type members
Types
type
G
[
A
] =
F
[
A
]
type
S
=
S0
Value members
Concrete methods
def
int
:
PureRVT
[
F
,
S
,
Int
]
def
long
:
PureRVT
[
F
,
S
,
Long
]
Concrete fields
protected
val
rng
:
PureRng
[
S0
]
Extensions
Extensions
extension
[
A
](fa:
PureRVT
[
F
,
S
,
A
])
def
simulate
(
seed:
S
):
F
[
A
]