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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Networking.Requests.Messages.GetGymDetailsMessage

Documentation

data GetGymDetailsMessage #

Instances

Eq GetGymDetailsMessage # 
Show GetGymDetailsMessage # 
Message GetGymDetailsMessage # 

Methods

descriptor :: MessageDescriptor GetGymDetailsMessage

Default GetGymDetailsMessage # 
HasField "gymId" GetGymDetailsMessage GetGymDetailsMessage # 

Methods

field :: ProxySym "gymId" -> Lens GetGymDetailsMessage GetGymDetailsMessage (Field "gymId" GetGymDetailsMessage) (Field "gymId" GetGymDetailsMessage)

HasField "gymLatitude" GetGymDetailsMessage GetGymDetailsMessage # 

Methods

field :: ProxySym "gymLatitude" -> Lens GetGymDetailsMessage GetGymDetailsMessage (Field "gymLatitude" GetGymDetailsMessage) (Field "gymLatitude" GetGymDetailsMessage)

HasField "gymLongitude" GetGymDetailsMessage GetGymDetailsMessage # 

Methods

field :: ProxySym "gymLongitude" -> Lens GetGymDetailsMessage GetGymDetailsMessage (Field "gymLongitude" GetGymDetailsMessage) (Field "gymLongitude" GetGymDetailsMessage)

HasField "playerLatitude" GetGymDetailsMessage GetGymDetailsMessage # 

Methods

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

HasField "playerLongitude" GetGymDetailsMessage GetGymDetailsMessage # 

Methods

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

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

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

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

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

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

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