Safe Haskell | None |
---|---|
Language | GHC2021 |
Navi.Services.Battery.Percentage.Toml
Description
This module provides toml configuration for the battery percentage service.
Synopsis
Documentation
data BatteryPercentageToml Source #
TOML for the battery percentage service.
Constructors
MkBatteryPercentageToml | |
Fields
|
Instances
data BatteryPercentageNoteToml Source #
TOML for each individual battery percentage.
Constructors
MkBatteryPercentageNoteToml | |
Fields
|
Instances
data PercentageData Source #
Exact percentage or range. Equality/Ord is based on the _lower_ part of the range only. This allows us to have a total order and make lookups sensible.
Constructors
PercentageExact Percentage | Exact percentage. |
PercentageRange Percentage Percentage | Percentage range. The LHS should be <= RHS. |
Instances
Show PercentageData Source # | |
Defined in Navi.Services.Battery.Percentage.Toml Methods showsPrec :: Int -> PercentageData -> ShowS # show :: PercentageData -> String # showList :: [PercentageData] -> ShowS # | |
Eq PercentageData Source # | |
Defined in Navi.Services.Battery.Percentage.Toml Methods (==) :: PercentageData -> PercentageData -> Bool # (/=) :: PercentageData -> PercentageData -> Bool # | |
Ord PercentageData Source # | |
Defined in Navi.Services.Battery.Percentage.Toml Methods compare :: PercentageData -> PercentageData -> Ordering # (<) :: PercentageData -> PercentageData -> Bool # (<=) :: PercentageData -> PercentageData -> Bool # (>) :: PercentageData -> PercentageData -> Bool # (>=) :: PercentageData -> PercentageData -> Bool # max :: PercentageData -> PercentageData -> PercentageData # min :: PercentageData -> PercentageData -> PercentageData # |