saealib.core.StatePatch#

class saealib.core.StatePatch(*, writes, deletes=frozenset({}))[source]#

Bases: object

Describe replacement, in-place, and deletion operations on state.

Parameters:
  • writes (Mapping[StateKey, object])

  • deletes (frozenset[StateKey])

Methods

Method Details

StatePatch.__init__(*, writes, deletes=frozenset({}))#
Parameters:
  • writes (Mapping[StateKey, object])

  • deletes (frozenset[StateKey])

Return type:

None