doubleEncoder function

Encoder<double> doubleEncoder()

Encoder for a Setting that manages a double.

Implementation

Encoder<double> doubleEncoder() {
  return DoubleSettingValue.new;
}