TD.Query.PingProxy
data PingProxy Source #
Computes time needed to receive a response from a Telegram server through a proxy. Can be called before authorization. Returns Seconds
Seconds
Constructors
Fields
Proxy identifier. Use 0 to ping a Telegram server without a proxy
Defined in TD.Query.PingProxy
Methods
toJSON :: PingProxy -> Value #
toEncoding :: PingProxy -> Encoding #
toJSONList :: [PingProxy] -> Value #
toEncodingList :: [PingProxy] -> Encoding #
showsPrec :: Int -> PingProxy -> ShowS #
show :: PingProxy -> String #
showList :: [PingProxy] -> ShowS #
(==) :: PingProxy -> PingProxy -> Bool #
(/=) :: PingProxy -> PingProxy -> Bool #
shortShow :: PingProxy -> String Source #