Get and set values in the configuration table.
Strategy details
|
ATerm
|
extend-config
|
Extends the list of values of the specified key with new values.The values are added in front of the current list.
|
|
ATerm
|
get-config
|
Get the value for the specified key from the config table.The key is the current term.
|
|
ATerm
|
get-config-keys(Strategy pred)
|
File
|
common.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
pred
|
Is applied to the keys of the config table.
|
|
Get all config keys for which pred succeeds
returns
|
The list of keys that satisfy pred.
|
type
|
_ -> List(a)
|
|
|
ATerm
|
get-configs(Strategy pred)
|
File
|
common.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
pred
|
Is applied to the keys of the config table.
|
|
Get all values of config keys for which 'pred' succeeds.The current term is ignored.
returns
|
The list of values for the keys that satisfy pred.
|
type
|
_ -> List(b)
|
|
|
ATerm
|
post-extend-config
|
Extends the list of values of the specified key with new values.The values are added to the end of the current list.
|
|
ATerm
|
rm-config
|
Remove the entry of the specified key from the config table.
|
|
ATerm
|
set-config
|
Set an entry (key and value) in the config table.
|
|
ATerm
|
toggle-config
|
Adds an entry to the config table if it does not exist, orremoves the entry if it does already exist in the config table.
|
|