PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.logic/RandomLogic/given_RandomLogic_SimulationState

given_RandomLogic_SimulationState

io.github.srs.model.logic.RandomLogic.given_RandomLogic_SimulationState
object given_RandomLogic_SimulationState extends RandomLogic[SimulationState]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def random(s: SimulationState, rng: RNG): IO[SimulationState]

Generate a new random state based on the current state and RNG.

Generate a new random state based on the current state and RNG.

Value parameters

rng

the random number generator.

s

the current state.

Attributes

Returns

an IO effect producing the new state with updated RNG.

Generated with