{-# LANGUAGE DeriveGeneric #-}
module Telegram.Bot.API.Types.ProximityAlertTriggered where
import Data.Aeson (FromJSON (..), ToJSON (..))
import GHC.Generics (Generic)
import Telegram.Bot.API.Types.User
import Telegram.Bot.API.Internal.Utils
data ProximityAlertTriggered = ProximityAlertTriggered
{ ProximityAlertTriggered -> User
proximityAlertTriggeredTraveler :: User
, ProximityAlertTriggered -> User
proximityAlertTriggeredWatcher :: User
, ProximityAlertTriggered -> Int
proximityAlertTriggeredDistance :: Int
}
deriving ((forall x.
ProximityAlertTriggered -> Rep ProximityAlertTriggered x)
-> (forall x.
Rep ProximityAlertTriggered x -> ProximityAlertTriggered)
-> Generic ProximityAlertTriggered
forall x. Rep ProximityAlertTriggered x -> ProximityAlertTriggered
forall x. ProximityAlertTriggered -> Rep ProximityAlertTriggered x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ProximityAlertTriggered -> Rep ProximityAlertTriggered x
from :: forall x. ProximityAlertTriggered -> Rep ProximityAlertTriggered x
$cto :: forall x. Rep ProximityAlertTriggered x -> ProximityAlertTriggered
to :: forall x. Rep ProximityAlertTriggered x -> ProximityAlertTriggered
Generic, Int -> ProximityAlertTriggered -> ShowS
[ProximityAlertTriggered] -> ShowS
ProximityAlertTriggered -> String
(Int -> ProximityAlertTriggered -> ShowS)
-> (ProximityAlertTriggered -> String)
-> ([ProximityAlertTriggered] -> ShowS)
-> Show ProximityAlertTriggered
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> ProximityAlertTriggered -> ShowS
showsPrec :: Int -> ProximityAlertTriggered -> ShowS
$cshow :: ProximityAlertTriggered -> String
show :: ProximityAlertTriggered -> String
$cshowList :: [ProximityAlertTriggered] -> ShowS
showList :: [ProximityAlertTriggered] -> ShowS
Show)
instance ToJSON ProximityAlertTriggered where toJSON :: ProximityAlertTriggered -> Value
toJSON = ProximityAlertTriggered -> Value
forall a (d :: Meta) (f :: * -> *).
(Generic a, GToJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
a -> Value
gtoJSON
instance FromJSON ProximityAlertTriggered where parseJSON :: Value -> Parser ProximityAlertTriggered
parseJSON = Value -> Parser ProximityAlertTriggered
forall a (d :: Meta) (f :: * -> *).
(Generic a, GFromJSON Zero (Rep a), Rep a ~ D1 d f, Datatype d) =>
Value -> Parser a
gparseJSON