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))

NetInterface Fields

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))))

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 NetInterface Source #

Full connection data.

Since: 0.1

Constructors

MkNetInterface
Fields device :: Device Since: 0.1 ntype :: Maybe NetInterfaceType Since: 0.1 state :: NetInterfaceState Since: 0.1 name :: Maybe Text The name of the connection (e.g. Wifi SSID). Since: 0.1 ipv4s :: IpAddresses Ipv4 Since: 0.1 ipv6s :: IpAddresses Ipv6 Since: 0.1

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))))))

newtype NetInterfaces Source #

Since: 0.1

Constructors

MkNetInterfaces
Fields unNetInterfaces :: [NetInterface]

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])))

Errors

newtype DeviceNotFound Source #

Exception for when we cannot find a desired device.

Examples

Expand

>>> displayException $ MkDeviceNotFound "bad device"
"Device not found: bad device"

Since: 0.1

Constructors

MkDeviceNotFound Device

Instances

Instances details

Exception DeviceNotFound Source #	Since: 0.1
Instance details Defined in Pythia.Services.NetInterface.Types Methods toException :: DeviceNotFound -> SomeException # fromException :: SomeException -> Maybe DeviceNotFound # displayException :: DeviceNotFound -> String #
Generic DeviceNotFound Source #
Instance details Defined in Pythia.Services.NetInterface.Types Associated Types type Rep DeviceNotFound :: Type -> Type # Methods from :: DeviceNotFound -> Rep DeviceNotFound x # to :: Rep DeviceNotFound x -> DeviceNotFound #
Show DeviceNotFound Source #	Since: 0.1
Instance details Defined in Pythia.Services.NetInterface.Types Methods showsPrec :: Int -> DeviceNotFound -> ShowS # show :: DeviceNotFound -> String # showList :: [DeviceNotFound] -> ShowS #
NFData DeviceNotFound Source #	Since: 0.1
Instance details Defined in Pythia.Services.NetInterface.Types Methods rnf :: DeviceNotFound -> () #
Eq DeviceNotFound Source #	Since: 0.1
Instance details Defined in Pythia.Services.NetInterface.Types Methods (==) :: DeviceNotFound -> DeviceNotFound -> Bool # (/=) :: DeviceNotFound -> DeviceNotFound -> Bool #
type Rep DeviceNotFound Source #	Since: 0.1
Instance details Defined in Pythia.Services.NetInterface.Types type Rep DeviceNotFound = D1 ('MetaData "DeviceNotFound" "Pythia.Services.NetInterface.Types" "pythia-0.1-inplace" 'True) (C1 ('MetaCons "MkDeviceNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Device)))