Std.Ui.Preferences
18 public declarations
- empty
Str -> Std.Ui.Preferences.PreferencesSettings holding nothing.
- explain
&Std.Ui.Preferences.PreferencesError -> StrA one-line description of a failure.
- flag
&Std.Ui.Preferences.Preferences -> Str -> Bool -> BoolThe flag at
key, orfallback. - keys
&Std.Ui.Preferences.Preferences -> Array[Str]Every key held, in order.
- load
Str -> Result[Std.Ui.Preferences.Preferences, Std.Ui.Preferences.PreferencesError]The settings saved for
app, or empty settings when none are saved yet. - loadFrom
Str -> Str -> Result[Std.Ui.Preferences.Preferences, Std.Ui.Preferences.PreferencesError]The settings saved at
path, or empty settings when the file is absent. - pathFor
Str -> Result[Str, Std.Ui.Preferences.PreferencesError]Where settings for
applive on this machine. - Preferences
An application's saved settings: typed values by key.
- PreferencesError
Why settings could not be found, read, or saved.
- remove
&Std.Ui.Preferences.Preferences -> Str -> Std.Ui.Preferences.PreferencesThe settings without
key. - save
&Std.Ui.Preferences.Preferences -> Result[(), Std.Ui.Preferences.PreferencesError]Saves the settings where
loadfinds them. - saveTo
&Std.Ui.Preferences.Preferences -> Str -> Result[(), Std.Ui.Preferences.PreferencesError]Saves the settings at
path, creating its directories. The file is - setFlag
&Std.Ui.Preferences.Preferences -> Str -> Bool -> Std.Ui.Preferences.PreferencesThe settings with
keyholdingvalue. - setText
&Std.Ui.Preferences.Preferences -> Str -> Str -> Std.Ui.Preferences.PreferencesThe settings with
keyholdingvalue. - setWhole
&Std.Ui.Preferences.Preferences -> Str -> Int -> Std.Ui.Preferences.PreferencesThe settings with
keyholdingvalue. - text
&Std.Ui.Preferences.Preferences -> Str -> Str -> StrThe text at
key, orfallbackwhen absent or not text. - toJson
&Std.Ui.Preferences.Preferences -> Std.Json.JsonThe settings as one JSON object, keys in order.
- whole
&Std.Ui.Preferences.Preferences -> Str -> Int -> IntThe whole number at
key, orfallback.