pokemon-go-protobuf-types-0.1.2: Haskell types for the Pokemon Go protobuf protocol.

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Networking.Requests.Messages.GetGymDetailsMessage

Documentation

data GetGymDetailsMessage Source #

Instances

Eq GetGymDetailsMessage Source # 
Show GetGymDetailsMessage Source # 
Default GetGymDetailsMessage Source # 
Message GetGymDetailsMessage Source # 
HasField "gymId" GetGymDetailsMessage GetGymDetailsMessage Source # 
HasField "gymLatitude" GetGymDetailsMessage GetGymDetailsMessage Source # 
HasField "gymLongitude" GetGymDetailsMessage GetGymDetailsMessage Source # 
HasField "playerLatitude" GetGymDetailsMessage GetGymDetailsMessage Source # 

Methods

field :: ProxySym "playerLatitude" -> Lens GetGymDetailsMessage GetGymDetailsMessage (Field "playerLatitude" GetGymDetailsMessage) (Field "playerLatitude" GetGymDetailsMessage) #

HasField "playerLongitude" GetGymDetailsMessage GetGymDetailsMessage Source # 

Methods

field :: ProxySym "playerLongitude" -> Lens GetGymDetailsMessage GetGymDetailsMessage (Field "playerLongitude" GetGymDetailsMessage) (Field "playerLongitude" GetGymDetailsMessage) #

type Field "gymId" GetGymDetailsMessage Source # 
type Field "gymLatitude" GetGymDetailsMessage Source # 
type Field "gymLatitude" GetGymDetailsMessage = Double
type Field "gymLongitude" GetGymDetailsMessage Source # 
type Field "gymLongitude" GetGymDetailsMessage = Double
type Field "playerLatitude" GetGymDetailsMessage Source # 
type Field "playerLatitude" GetGymDetailsMessage = Double
type Field "playerLongitude" GetGymDetailsMessage Source # 
type Field "playerLongitude" GetGymDetailsMessage = Double

gymId :: forall msg msg'. HasField "gymId" msg msg' => Lens msg msg' (Field "gymId" msg) (Field "gymId" msg') Source #

gymLatitude :: forall msg msg'. HasField "gymLatitude" msg msg' => Lens msg msg' (Field "gymLatitude" msg) (Field "gymLatitude" msg') Source #

gymLongitude :: forall msg msg'. HasField "gymLongitude" msg msg' => Lens msg msg' (Field "gymLongitude" msg) (Field "gymLongitude" msg') Source #

playerLatitude :: forall msg msg'. HasField "playerLatitude" msg msg' => Lens msg msg' (Field "playerLatitude" msg) (Field "playerLatitude" msg') Source #

playerLongitude :: forall msg msg'. HasField "playerLongitude" msg msg' => Lens msg msg' (Field "playerLongitude" msg) (Field "playerLongitude" msg') Source #