Constructors
makefunction
Creates a new
RefStructfrom a struct,Effect, orFx.
Derived queries
entriesvariable
Get the entries of the current state of a RefStruct.
getvariable
Get a property value from the current state of a RefStruct.
keysvariable
Get the keys of the current state of a RefStruct.
omitvariable
Omit properties from the current state of a RefStruct.
pickvariable
Pick properties from the current state of a RefStruct.
sizevariable
Get the size (number of properties) of the current state of a RefStruct.
valuesvariable
Get the values of the current state of a RefStruct.
State models
RefStructinterface
A RefStruct is a RefSubject specialized over a struct value.
State predicates
hasvariable
Check if the current state of a RefStruct has a property.