| 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 # | |