Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
TD.Data.NetworkType
Documentation
data NetworkType Source #
Represents the type of network
Constructors
NetworkTypeNone | The network is not available |
NetworkTypeMobile | A mobile network |
NetworkTypeMobileRoaming | A mobile roaming network |
NetworkTypeWiFi | A Wi-Fi network |
NetworkTypeOther | A different network type (e.g., Ethernet network) |
Instances
FromJSON NetworkType Source # | |
Defined in TD.Data.NetworkType | |
ToJSON NetworkType Source # | |
Defined in TD.Data.NetworkType Methods toJSON :: NetworkType -> Value # toEncoding :: NetworkType -> Encoding # toJSONList :: [NetworkType] -> Value # toEncodingList :: [NetworkType] -> Encoding # | |
Show NetworkType Source # | |
Defined in TD.Data.NetworkType Methods showsPrec :: Int -> NetworkType -> ShowS # show :: NetworkType -> String # showList :: [NetworkType] -> ShowS # | |
Eq NetworkType Source # | |
Defined in TD.Data.NetworkType | |
ShortShow NetworkType Source # | |
Defined in TD.Data.NetworkType Methods shortShow :: NetworkType -> String Source # |