intEncoder function

Encoder<int> intEncoder()

Encoder for a Setting that manages an int.

Implementation

Encoder<int> intEncoder() {
  return IntSettingValue.new;
}