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

PauseLogic

io.github.srs.model.logic.PauseLogic
trait PauseLogic[S <: State]

Logic for handling simulation status changes: pause.

Type parameters

S

the type of the simulation state.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def pause(s: S): IO[S]

Pauses the simulation by updating its status.

Pauses the simulation by updating its status.

Value parameters

s

the current simulation state.

Attributes

Returns

an IO effect that produces the updated simulation state with status set to SimulationStatus.PAUSED.

Generated with