Show ConfigToml Source # | |
Instance detailsDefined in Navi.Config.Toml |
Eq ConfigToml Source # | |
Instance detailsDefined in Navi.Config.Toml |
DecodeTOML ConfigToml Source # | Since: 0.1 |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ Maybe BatteryPercentageToml, b ~ Maybe BatteryPercentageToml) => LabelOptic "batteryPercentageToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ Maybe BatteryStatusToml, b ~ Maybe BatteryStatusToml) => LabelOptic "batteryStatusToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ Maybe Logging, b ~ Maybe Logging) => LabelOptic "logToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ [MultipleToml], b ~ [MultipleToml]) => LabelOptic "multipleToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ [NetInterfacesToml], b ~ [NetInterfacesToml]) => LabelOptic "netInterfacesToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ Maybe NoteSystem, b ~ Maybe NoteSystem) => LabelOptic "noteSystemToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |
(k ~ A_Lens, a ~ [SingleToml], b ~ [SingleToml]) => LabelOptic "singleToml" k ConfigToml ConfigToml a b Source # | |
Instance detailsDefined in Navi.Config.Toml |