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

Pythia.Services.NetInterface

Description

This module exports interface related services.

Since: 0.1

Synopsis

Queries

queryNetInterfaces :: (MonadPathReader m, MonadThrow m, MonadTypedProcess m) => NetInterfaceApp -> m NetInterfaces Source #

Queries for all network interface data.

Since: 0.1

queryNetInterface :: (MonadPathReader m, MonadThrow m, MonadTypedProcess m) => Device -> NetInterfaceApp -> m NetInterface Source #

Like queryNetInterfaces but returns data for a single device.

Since: 0.1

Functions

findUp :: NetInterfaces -> Maybe NetInterface Source #

Takes the first NetInterface that has state NetStateUp, according to NetInterfaceState's Ord:

Ethernet < Wifi < Wifi_P2P < Loopback < Tun

Examples

>>> findUp $ MkNetInterfaces []
Nothing

>>> :{
  let wifiUp = MkNetInterface "" (Just Wifi) NetStateUp (Just "WifiUp") mempty mempty
      wifiNetStateDown = MkNetInterface "" (Just Wifi) NetStateDown (Just "WifiNetStateDown") mempty mempty
      loopUp = MkNetInterface "" (Just Loopback) NetStateUp (Just "LoopUp") mempty mempty
   in findUp $ MkNetInterfaces [loopUp, wifiNetStateDown, wifiUp]
:}
Just (MkNetInterface {device = MkDevice {unDevice = ""}, ntype = Just Wifi, state = NetStateUp, name = Just "WifiUp", ipv4s = MkIpAddresses {unIpAddresses = []}, ipv6s = MkIpAddresses {unIpAddresses = []}})

Since: 0.1

Types

newtype NetInterfaces Source #

Since: 0.1

Constructors

MkNetInterfaces 

Fields

Instances

Instances details
Generic NetInterfaces Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Associated Types

type Rep NetInterfaces :: Type -> Type #

Methods

from :: NetInterfaces -> Rep NetInterfaces x #

to :: Rep NetInterfaces x -> NetInterfaces #

Show NetInterfaces Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

showsPrec :: Int -> NetInterfaces -> ShowS #

show :: NetInterfaces -> String #

showList :: [NetInterfaces] -> ShowS #

NFData NetInterfaces Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

rnf :: NetInterfaces -> () #

Eq NetInterfaces Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

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

Ord NetInterfaces Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

compare :: NetInterfaces -> NetInterfaces -> Ordering #

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

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

(>) :: NetInterfaces -> NetInterfaces -> Bool #

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

max :: NetInterfaces -> NetInterfaces -> NetInterfaces #

min :: NetInterfaces -> NetInterfaces -> NetInterfaces #

Display NetInterfaces Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

displayBuilder :: NetInterfaces -> Builder Source #

displayList :: [NetInterfaces] -> Builder Source #

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

type Rep NetInterfaces Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

type Rep NetInterfaces = D1 ('MetaData "NetInterfaces" "Pythia.Services.NetInterface.Types" "pythia-0.1-inplace" 'True) (C1 ('MetaCons "MkNetInterfaces" 'PrefixI 'True) (S1 ('MetaSel ('Just "unNetInterfaces") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [NetInterface])))

data NetInterface Source #

Full connection data.

Since: 0.1

Constructors

MkNetInterface 

Fields

Instances

Instances details
Generic NetInterface Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Associated Types

type Rep NetInterface :: Type -> Type #

Methods

from :: NetInterface -> Rep NetInterface x #

to :: Rep NetInterface x -> NetInterface #

Show NetInterface Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

showsPrec :: Int -> NetInterface -> ShowS #

show :: NetInterface -> String #

showList :: [NetInterface] -> ShowS #

NFData NetInterface Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

rnf :: NetInterface -> () #

Eq NetInterface Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

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

Ord NetInterface Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

compare :: NetInterface -> NetInterface -> Ordering #

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

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

(>) :: NetInterface -> NetInterface -> Bool #

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

max :: NetInterface -> NetInterface -> NetInterface #

min :: NetInterface -> NetInterface -> NetInterface #

Display NetInterface Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

displayBuilder :: NetInterface -> Builder Source #

displayList :: [NetInterface] -> Builder Source #

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

(k ~ A_Lens, a ~ Device, b ~ Device) => LabelOptic "device" k NetInterface NetInterface a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

(k ~ A_Lens, a ~ IpAddresses 'Ipv4, b ~ IpAddresses 'Ipv4) => LabelOptic "ipv4s" k NetInterface NetInterface a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

(k ~ A_Lens, a ~ IpAddresses 'Ipv6, b ~ IpAddresses 'Ipv6) => LabelOptic "ipv6s" k NetInterface NetInterface a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "name" k NetInterface NetInterface a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

(k ~ A_Lens, a ~ Maybe NetInterfaceType, b ~ Maybe NetInterfaceType) => LabelOptic "ntype" k NetInterface NetInterface a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

(k ~ A_Lens, a ~ NetInterfaceState, b ~ NetInterfaceState) => LabelOptic "state" k NetInterface NetInterface a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

type Rep NetInterface Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

type Rep NetInterface = D1 ('MetaData "NetInterface" "Pythia.Services.NetInterface.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "MkNetInterface" 'PrefixI 'True) ((S1 ('MetaSel ('Just "device") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Device) :*: (S1 ('MetaSel ('Just "ntype") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe NetInterfaceType)) :*: S1 ('MetaSel ('Just "state") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NetInterfaceState))) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "ipv4s") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (IpAddresses 'Ipv4)) :*: S1 ('MetaSel ('Just "ipv6s") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (IpAddresses 'Ipv6))))))

data NetInterfaceState Source #

Various connection states.

Since: 0.1

Constructors

NetStateUp

Since: 0.1

NetStateDown

Since: 0.1

NetStateUnknown Text

Since: 0.1

Instances

Instances details
Generic NetInterfaceState Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Associated Types

type Rep NetInterfaceState :: Type -> Type #

Methods

from :: NetInterfaceState -> Rep NetInterfaceState x #

to :: Rep NetInterfaceState x -> NetInterfaceState #

Show NetInterfaceState Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

showsPrec :: Int -> NetInterfaceState -> ShowS #

show :: NetInterfaceState -> String #

showList :: [NetInterfaceState] -> ShowS #

NFData NetInterfaceState Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

rnf :: NetInterfaceState -> () #

Eq NetInterfaceState Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

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

Ord NetInterfaceState Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

compare :: NetInterfaceState -> NetInterfaceState -> Ordering #

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

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

(>) :: NetInterfaceState -> NetInterfaceState -> Bool #

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

max :: NetInterfaceState -> NetInterfaceState -> NetInterfaceState #

min :: NetInterfaceState -> NetInterfaceState -> NetInterfaceState #

Display NetInterfaceState Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

displayBuilder :: NetInterfaceState -> Builder Source #

displayList :: [NetInterfaceState] -> Builder Source #

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

type Rep NetInterfaceState Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

type Rep NetInterfaceState = D1 ('MetaData "NetInterfaceState" "Pythia.Services.NetInterface.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "NetStateUp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NetStateDown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NetStateUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

data NetInterfaceType Source #

Various connection types.

Since: 0.1

Constructors

Ethernet

Since: 0.1

Wifi

Since: 0.1

Wifi_P2P

Since: 0.1

Loopback

Since: 0.1

Tun

Since: 0.1

Instances

Instances details
Generic NetInterfaceType Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Associated Types

type Rep NetInterfaceType :: Type -> Type #

Methods

from :: NetInterfaceType -> Rep NetInterfaceType x #

to :: Rep NetInterfaceType x -> NetInterfaceType #

Show NetInterfaceType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

showsPrec :: Int -> NetInterfaceType -> ShowS #

show :: NetInterfaceType -> String #

showList :: [NetInterfaceType] -> ShowS #

NFData NetInterfaceType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

rnf :: NetInterfaceType -> () #

Eq NetInterfaceType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

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

Ord NetInterfaceType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

compare :: NetInterfaceType -> NetInterfaceType -> Ordering #

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

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

(>) :: NetInterfaceType -> NetInterfaceType -> Bool #

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

max :: NetInterfaceType -> NetInterfaceType -> NetInterfaceType #

min :: NetInterfaceType -> NetInterfaceType -> NetInterfaceType #

Display NetInterfaceType Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

displayBuilder :: NetInterfaceType -> Builder Source #

displayList :: [NetInterfaceType] -> Builder Source #

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

type Rep NetInterfaceType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

type Rep NetInterfaceType = D1 ('MetaData "NetInterfaceType" "Pythia.Services.NetInterface.Types" "pythia-0.1-inplace" 'False) ((C1 ('MetaCons "Ethernet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Wifi" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Wifi_P2P" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Loopback" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Tun" 'PrefixI 'False) (U1 :: Type -> Type))))

newtype Device Source #

Newtype wrapper over a network device name.

Since: 0.1

Constructors

MkDevice 

Fields

Instances

Instances details
IsString Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

fromString :: String -> Device #

Generic Device Source # 
Instance details

Defined in Pythia.Services.Types.Network

Associated Types

type Rep Device :: Type -> Type #

Methods

from :: Device -> Rep Device x #

to :: Rep Device x -> Device #

Read Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

readsPrec :: Int -> ReadS Device #

readList :: ReadS [Device] #

readPrec :: ReadPrec Device #

readListPrec :: ReadPrec [Device] #

Show Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

showsPrec :: Int -> Device -> ShowS #

show :: Device -> String #

showList :: [Device] -> ShowS #

NFData Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

rnf :: Device -> () #

Eq Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

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

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

Ord Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

compare :: Device -> Device -> Ordering #

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

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

(>) :: Device -> Device -> Bool #

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

max :: Device -> Device -> Device #

min :: Device -> Device -> Device #

Display Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

displayBuilder :: Device -> Builder Source #

displayList :: [Device] -> Builder Source #

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

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "unDevice" k Device Device a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

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

type Rep Device Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

type Rep Device = D1 ('MetaData "Device" "Pythia.Services.Types.Network" "pythia-0.1-inplace" 'True) (C1 ('MetaCons "MkDevice" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDevice") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data IpType Source #

IP types.

Since: 0.1

Constructors

Ipv4

Since: 0.1

Ipv6

Since: 0.1

Instances

Instances details
Generic IpType Source # 
Instance details

Defined in Pythia.Services.Types.Network

Associated Types

type Rep IpType :: Type -> Type #

Methods

from :: IpType -> Rep IpType x #

to :: Rep IpType x -> IpType #

Show IpType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

showsPrec :: Int -> IpType -> ShowS #

show :: IpType -> String #

showList :: [IpType] -> ShowS #

NFData IpType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

rnf :: IpType -> () #

Eq IpType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

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

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

type Rep IpType Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

type Rep IpType = D1 ('MetaData "IpType" "Pythia.Services.Types.Network" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "Ipv4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Ipv6" 'PrefixI 'False) (U1 :: Type -> Type))

newtype IpAddress a Source #

Type for an IP address. The type family IpRefinement refines the underlying Text according to the spec.

  • Ipv4: All characters are digits or dots, and the length is 0 < l < 16.
  • Ipv6: All characters are hex digits or colons, and the length is 0 < l < 40.

Since: 0.1

Constructors

MkIpAddress 

Fields

Instances

Instances details
(k ~ An_Iso, a ~ Refined (IpRefinement s) Text, b ~ Refined (IpRefinement s) Text) => LabelOptic "unIpAddress" k (IpAddress s) (IpAddress s) a b Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

labelOptic :: Optic k NoIx (IpAddress s) (IpAddress s) a b Source #

Generic (IpAddress a) Source # 
Instance details

Defined in Pythia.Services.Types.Network

Associated Types

type Rep (IpAddress a) :: Type -> Type #

Methods

from :: IpAddress a -> Rep (IpAddress a) x #

to :: Rep (IpAddress a) x -> IpAddress a #

Show (IpAddress a) Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

showsPrec :: Int -> IpAddress a -> ShowS #

show :: IpAddress a -> String #

showList :: [IpAddress a] -> ShowS #

NFData (IpAddress a) Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

rnf :: IpAddress a -> () #

Eq (IpAddress a) Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

(==) :: IpAddress a -> IpAddress a -> Bool #

(/=) :: IpAddress a -> IpAddress a -> Bool #

Ord (IpAddress a) Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

compare :: IpAddress a -> IpAddress a -> Ordering #

(<) :: IpAddress a -> IpAddress a -> Bool #

(<=) :: IpAddress a -> IpAddress a -> Bool #

(>) :: IpAddress a -> IpAddress a -> Bool #

(>=) :: IpAddress a -> IpAddress a -> Bool #

max :: IpAddress a -> IpAddress a -> IpAddress a #

min :: IpAddress a -> IpAddress a -> IpAddress a #

Display (IpAddress a) Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

Methods

displayBuilder :: IpAddress a -> Builder Source #

displayList :: [IpAddress a] -> Builder Source #

displayPrec :: Int -> IpAddress a -> Builder Source #

type Rep (IpAddress a) Source #

Since: 0.1

Instance details

Defined in Pythia.Services.Types.Network

type Rep (IpAddress a) = D1 ('MetaData "IpAddress" "Pythia.Services.Types.Network" "pythia-0.1-inplace" 'True) (C1 ('MetaCons "MkIpAddress" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIpAddress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Refined (IpRefinement a) Text))))

Configuration

data NetInterfaceApp Source #

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

Since: 0.1

Constructors

NetInterfaceAppNmCli

Uses the Network Manager cli utility.

Since: 0.1

NetInterfaceAppIp

Uses the 'ip' utility.

Since: 0.1

Instances

Instances details
Bounded NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

minBound :: NetInterfaceApp #

maxBound :: NetInterfaceApp #

Enum NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

succ :: NetInterfaceApp -> NetInterfaceApp #

pred :: NetInterfaceApp -> NetInterfaceApp #

toEnum :: Int -> NetInterfaceApp #

fromEnum :: NetInterfaceApp -> Int #

enumFrom :: NetInterfaceApp -> [NetInterfaceApp] #

enumFromThen :: NetInterfaceApp -> NetInterfaceApp -> [NetInterfaceApp] #

enumFromTo :: NetInterfaceApp -> NetInterfaceApp -> [NetInterfaceApp] #

enumFromThenTo :: NetInterfaceApp -> NetInterfaceApp -> NetInterfaceApp -> [NetInterfaceApp] #

Generic NetInterfaceApp Source # 
Instance details

Defined in Pythia.Services.NetInterface.Types

Associated Types

type Rep NetInterfaceApp :: Type -> Type #

Methods

from :: NetInterfaceApp -> Rep NetInterfaceApp x #

to :: Rep NetInterfaceApp x -> NetInterfaceApp #

Show NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

showsPrec :: Int -> NetInterfaceApp -> ShowS #

show :: NetInterfaceApp -> String #

showList :: [NetInterfaceApp] -> ShowS #

NFData NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

rnf :: NetInterfaceApp -> () #

Eq NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

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

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

Ord NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

Methods

compare :: NetInterfaceApp -> NetInterfaceApp -> Ordering #

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

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

(>) :: NetInterfaceApp -> NetInterfaceApp -> Bool #

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

max :: NetInterfaceApp -> NetInterfaceApp -> NetInterfaceApp #

min :: NetInterfaceApp -> NetInterfaceApp -> NetInterfaceApp #

type Rep NetInterfaceApp Source #

Since: 0.1

Instance details

Defined in Pythia.Services.NetInterface.Types

type Rep NetInterfaceApp = D1 ('MetaData "NetInterfaceApp" "Pythia.Services.NetInterface.Types" "pythia-0.1-inplace" 'False) (C1 ('MetaCons "NetInterfaceAppNmCli" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NetInterfaceAppIp" 'PrefixI 'False) (U1 :: Type -> Type))