update
MonoidState
PersistentState
CheckpointManager
NonWindowState
Window
WindowState
updateCheckpointTime
CheckpointManager
updateState
MonoidState
user
state