pythia-0.1: A utility program for retrieving system information.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pythia.Services.Battery.Types

Description

This module provides the core types describing the battery.

Since: 0.1

Synopsis

Configuration

data BatteryApp Source #

Determines how we should query the system for battery state information.

Since: 0.1

Constructors

BatteryAppSysFs

Uses the sysfs interface i.e. /sys.

Since: 0.1

BatteryAppAcpi

Uses the ACPI utility.

Since: 0.1

BatteryAppUPower

Uses the UPower utility.

Since: 0.1

Instances

Instances details
Bounded BatteryApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

minBound :: BatteryApp #

maxBound :: BatteryApp #

Enum BatteryApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

succ :: BatteryApp -> BatteryApp #

pred :: BatteryApp -> BatteryApp #

toEnum :: Int -> BatteryApp #

fromEnum :: BatteryApp -> Int #

enumFrom :: BatteryApp -> [BatteryApp] #

enumFromThen :: BatteryApp -> BatteryApp -> [BatteryApp] #

enumFromTo :: BatteryApp -> BatteryApp -> [BatteryApp] #

enumFromThenTo :: BatteryApp -> BatteryApp -> BatteryApp -> [BatteryApp] #

Generic BatteryApp Source # 
Instance details

Defined in Pythia.Services.Battery.Types

Associated Types

type Rep BatteryApp :: Type -> Type #

Methods

from :: BatteryApp -> Rep BatteryApp x #

to :: Rep BatteryApp x -> BatteryApp #

Show BatteryApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

showsPrec :: Int -> BatteryApp -> ShowS #

show :: BatteryApp -> String #

showList :: [BatteryApp] -> ShowS #

NFData BatteryApp Source #

Since: 0.1.0.0

Instance details

Defined in Pythia.Services.Battery.Types

Methods

rnf :: BatteryApp -> () #

Eq BatteryApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

(==) :: BatteryApp -> BatteryApp -> Bool #

(/=) :: BatteryApp -> BatteryApp -> Bool #

Ord BatteryApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

compare :: BatteryApp -> BatteryApp -> Ordering #

(<) :: BatteryApp -> BatteryApp -> Bool #

(<=) :: BatteryApp -> BatteryApp -> Bool #

(>) :: BatteryApp -> BatteryApp -> Bool #

(>=) :: BatteryApp -> BatteryApp -> Bool #

max :: BatteryApp -> BatteryApp -> BatteryApp #

min :: BatteryApp -> BatteryApp -> BatteryApp #

type Rep BatteryApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

type Rep BatteryApp = D1 ('MetaData "BatteryApp" "Pythia.Services.Battery.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "BatteryAppSysFs" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BatteryAppAcpi" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BatteryAppUPower" 'PrefixI 'False) (U1 :: Type -> Type)))

Battery Fields

data BatteryStatus Source #

Represents battery charging status.

Since: 0.1

Constructors

Charging

Since: 0.1

Discharging

Since: 0.1

Full

Since: 0.1

Pending

Since: 0.1

Instances

Instances details
Generic BatteryStatus Source # 
Instance details

Defined in Pythia.Services.Battery.Types

Associated Types

type Rep BatteryStatus :: Type -> Type #

Methods

from :: BatteryStatus -> Rep BatteryStatus x #

to :: Rep BatteryStatus x -> BatteryStatus #

Show BatteryStatus Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

showsPrec :: Int -> BatteryStatus -> ShowS #

show :: BatteryStatus -> String #

showList :: [BatteryStatus] -> ShowS #

NFData BatteryStatus Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

rnf :: BatteryStatus -> () #

Eq BatteryStatus Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

(==) :: BatteryStatus -> BatteryStatus -> Bool #

(/=) :: BatteryStatus -> BatteryStatus -> Bool #

Display BatteryStatus Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

displayBuilder :: BatteryStatus -> Builder Source #

displayList :: [BatteryStatus] -> Builder Source #

displayPrec :: Int -> BatteryStatus -> Builder Source #

type Rep BatteryStatus Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

type Rep BatteryStatus = D1 ('MetaData "BatteryStatus" "Pythia.Services.Battery.Types" "pythia-0.1-inplace" 'False) ((C1 ('MetaCons "Charging" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Discharging" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Full" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Pending" 'PrefixI 'False) (U1 :: Type -> Type)))

data Battery Source #

Full battery state, including percentage and status data.

Since: 0.1

Constructors

MkBattery 

Fields

Instances

Instances details
Generic Battery Source # 
Instance details

Defined in Pythia.Services.Battery.Types

Associated Types

type Rep Battery :: Type -> Type #

Methods

from :: Battery -> Rep Battery x #

to :: Rep Battery x -> Battery #

Show Battery Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

showsPrec :: Int -> Battery -> ShowS #

show :: Battery -> String #

showList :: [Battery] -> ShowS #

NFData Battery Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

rnf :: Battery -> () #

Eq Battery Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

(==) :: Battery -> Battery -> Bool #

(/=) :: Battery -> Battery -> Bool #

Display Battery Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

displayBuilder :: Battery -> Builder Source #

displayList :: [Battery] -> Builder Source #

displayPrec :: Int -> Battery -> Builder Source #

(k ~ A_Lens, a ~ Percentage, b ~ Percentage) => LabelOptic "percentage" k Battery Battery a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

labelOptic :: Optic k NoIx Battery Battery a b Source #

(k ~ A_Lens, a ~ BatteryStatus, b ~ BatteryStatus) => LabelOptic "status" k Battery Battery a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

Methods

labelOptic :: Optic k NoIx Battery Battery a b Source #

type Rep Battery Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Battery.Types

type Rep Battery = D1 ('MetaData "Battery" "Pythia.Services.Battery.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "MkBattery" 'PrefixI 'True) (S1 ('MetaSel ('Just "percentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Percentage) :*: S1 ('MetaSel ('Just "status") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BatteryStatus)))

Optics

_BatteryAppAcpi :: Prism' BatteryApp () Source #

Since: 0.1

_BatteryAppSysFs :: Prism' BatteryApp () Source #

Since: 0.1

_BatteryAppUPower :: Prism' BatteryApp () Source #

Since: 0.1

_Charging :: Prism' BatteryStatus () Source #

Since: 0.1

_Discharging :: Prism' BatteryStatus () Source #

Since: 0.1

_Full :: Prism' BatteryStatus () Source #

Since: 0.1

_Pending :: Prism' BatteryStatus () Source #

Since: 0.1