Current power supply details.
Throws SDLException if the current power state can not be determined.
See SDL_GetPowerInfo for C documentation.
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulesdl2-2.5.5.0Haskell2010
Current power supply details.
Throws SDLException if the current power state can not be determined.
See SDL_GetPowerInfo for C documentation.
Information about the power supply for the user's environment
Battery BatteryState ChargeThe user is on a battery powered device. See BatteryState for charge information, and Charge for charge information
MainsThe user is on a device connected to the mains.
UnknownPowerStateSDL could not determine the power for the device.
Eq PowerStateDefined in sdl2-2.5.5.0 · SDL.PowerOrd PowerStateDefined in sdl2-2.5.5.0 · SDL.PowerRead PowerStateDefined in sdl2-2.5.5.0 · SDL.PowerShow PowerStateDefined in sdl2-2.5.5.0 · SDL.PowerGeneric PowerStateDefined in sdl2-2.5.5.0 · SDL.Powertype Rep PowerState = D1 ('MetaData "PowerState"
"SDL.Power"
"sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH"
'False) (C1 ('MetaCons "Battery"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BatteryState) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Charge)) :+: (C1 ('MetaCons "Mains"
'PrefixI 'False) U1 :+: C1 ('MetaCons "UnknownPowerState"
'PrefixI 'False) U1))Defined in sdl2-2.5.5.0 · SDL.PowerInformation on battery consumption for battery powered devices
Bounded BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerEnum BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerEq BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerData BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerOrd BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerRead BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerShow BatteryStateDefined in sdl2-2.5.5.0 · SDL.PowerGeneric BatteryStateDefined in sdl2-2.5.5.0 · SDL.Powertype Rep BatteryState = D1 ('MetaData "BatteryState"
"SDL.Power"
"sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH"
'False) (C1 ('MetaCons "Draining"
'PrefixI 'False) U1 :+: (C1 ('MetaCons "Charged"
'PrefixI 'False) U1 :+: C1 ('MetaCons "Charging"
'PrefixI 'False) U1))Defined in sdl2-2.5.5.0 · SDL.PowerInformation about how much charge a battery has.
ChargechargeSecondsLeft :: Maybe CIntHow many seconds of battery life is left
chargePercent :: Maybe CIntThe percentage of battery charged
Eq ChargeDefined in sdl2-2.5.5.0 · SDL.PowerOrd ChargeDefined in sdl2-2.5.5.0 · SDL.PowerRead ChargeDefined in sdl2-2.5.5.0 · SDL.PowerShow ChargeDefined in sdl2-2.5.5.0 · SDL.PowerGeneric ChargeDefined in sdl2-2.5.5.0 · SDL.Powertype Rep Charge = D1 ('MetaData "Charge"
"SDL.Power"
"sdl2-2.5.5.0-3sH3mgPhw4837qWuaPOiH"
'False) (C1 ('MetaCons "Charge"
'PrefixI 'True) (S1 ('MetaSel ('Just "chargeSecondsLeft"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CInt)) :*: S1 ('MetaSel ('Just "chargePercent"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe CInt))))Defined in sdl2-2.5.5.0 · SDL.Power