Safe Haskell	Safe-Inferred
Language	GHC2021

Navi.Services.Types

Description

This module provides the ServiceType type.

Synopsis

data ServiceType result where
- BatteryPercentage :: !BatteryApp -> ServiceType Battery
- BatteryStatus :: !BatteryApp -> ServiceType BatteryStatus
- NetworkInterface :: !Device -> !NetInterfaceApp -> ServiceType NetInterface
- Single :: !Command -> ServiceType Text
- Multiple :: !Command -> ServiceType Text

Documentation

data ServiceType result where Source #

ServiceType describes all implemented services. It provides several built-in services for querying and parsing system information (from the pythia package), and then Single and Multiple for custom services. It is a GADT so we can link each service with its result type.

Constructors

BatteryPercentage :: !BatteryApp -> ServiceType Battery
BatteryStatus :: !BatteryApp -> ServiceType BatteryStatus
NetworkInterface :: !Device -> !NetInterfaceApp -> ServiceType NetInterface
Single :: !Command -> ServiceType Text
Multiple :: !Command -> ServiceType Text

Instances

Instances details

Show (ServiceType result) Source #
Instance details Defined in Navi.Services.Types Methods showsPrec :: Int -> ServiceType result -> ShowS Source # show :: ServiceType result -> String Source # showList :: [ServiceType result] -> ShowS Source #
Eq (ServiceType result) Source #
Instance details Defined in Navi.Services.Types Methods (==) :: ServiceType result -> ServiceType result -> Bool Source # (/=) :: ServiceType result -> ServiceType result -> Bool Source #