schrodinger
schrodinger
schrodinger
Dist
Dist
RV
RVIO
Algebra
RVT
RVT
RVTCache
RVTCache
RngDispatcher
RngDispatcher
Simulator
Simulator
schrodinger.unsafe.rng
Pcg32
Pcg32
Pcg32Rng
Pcg32XshRr
Pcg64
Pcg64
Pcg64Rng
Pcg64XslRr
Rng
SplitMix
SplitMix
given_SplittableRng_SplitMix
SplittableRng
schrodinger
/
schrodinger
/
RVIO
RVIO
object
RVIO
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
RVIO
.type
Type members
Value members
Givens
Type members
Classlikes
final
class
Algebra
[
S0
]
extends
Async
[[
_
]
=>>
RVIO
[
S0
,
_$4
]]
with
PseudoRandom
[[
_
]
=>>
RVIO
[
S0
,
_$5
]]
with
RngDispatcher
[[
_
]
=>>
RVIO
[
S0
,
_$6
]]
with
GaussianCache
[[
_
]
=>>
RVIO
[
S0
,
_$7
],
Double
]
Types
type
Par
[
S
,
A
] =
T
[[
_
]
=>>
RVIO
[
S
,
_$1
],
A
]
Value members
Concrete methods
def
algebra
[
S
](
using
evidence$1:
SplittableRng
[
S
]):
IO
[
Algebra
[
S
]]
def
eval
[
S
,
A
](
ioa:
IO
[
A
]):
RVIO
[
S
,
A
]
def
evalK
[
S
]:
FunctionK
[
IO
, [
_
]
=>>
RVIO
[
S
,
_$2
]]
Givens
Givens
given
given_Align_RVIO
[
S
]:
Align
[[
_
]
=>>
RVIO
[
S
,
_$22
]]
given
given_Console_RVIO
[
S
]:
Console
[[
_
]
=>>
RVIO
[
S
,
_$25
]]
given
given_Monoid_RVIO
[
S
,
A
](
using
m:
Monoid
[
IO
[
A
]]):
Monoid
[
RVIO
[
S
,
A
]]
given
given_Parallel_RVIO
[
S
](
using
Spawn
[[
_
]
=>>
RVIO
[
S
,
_$23
]]):
Parallel
[[
_
]
=>>
RVIO
[
S
,
_$24
]]
given
given_SemigroupK_RVIO
[
S
]:
SemigroupK
[[
_
]
=>>
RVIO
[
S
,
_$21
]]
given
given_Semigroup_RVIO
[
S
,
A
](
using
s:
Semigroup
[
IO
[
A
]],
not:
NotGiven
[
Monoid
[
RVIO
[
S
,
A
]]]):
Semigroup
[
RVIO
[
S
,
A
]]
given
given_Show_RVIO
[
S
,
A
](
using
show:
Show
[
IO
[
A
]]):
given_Show_RVIO
[
S
,
A
]