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

given_RandomLogic_BaseSimulationState

io.github.srs.model.logic.RandomLogic.given_RandomLogic_BaseSimulationState
object given_RandomLogic_BaseSimulationState extends RandomLogic[BaseSimulationState]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

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 cats.effect.IO effect producing the new state with updated RNG.

Generated with