Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data NetworkType Source #
Represents the type of network
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 parseJSON :: Value -> Parser NetworkType # parseJSONList :: Value -> Parser [NetworkType] # | |
ToJSON NetworkType Source # | |
Defined in TD.Data.NetworkType toJSON :: NetworkType -> Value # toEncoding :: NetworkType -> Encoding # toJSONList :: [NetworkType] -> Value # toEncodingList :: [NetworkType] -> Encoding # | |
Show NetworkType Source # | |
Defined in TD.Data.NetworkType showsPrec :: Int -> NetworkType -> ShowS # show :: NetworkType -> String # showList :: [NetworkType] -> ShowS # | |
Eq NetworkType Source # | |
Defined in TD.Data.NetworkType (==) :: NetworkType -> NetworkType -> Bool # (/=) :: NetworkType -> NetworkType -> Bool # | |
ShortShow NetworkType Source # | |
Defined in TD.Data.NetworkType shortShow :: NetworkType -> String Source # |