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