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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Networking.Requests.Messages.EncounterMessage

Documentation

data EncounterMessage Source #

Instances

Eq EncounterMessage Source # 
Show EncounterMessage Source # 
Default EncounterMessage Source # 
Message EncounterMessage Source # 
HasField "encounterId" EncounterMessage EncounterMessage Source # 

Methods

field :: ProxySym "encounterId" -> Lens EncounterMessage EncounterMessage (Field "encounterId" EncounterMessage) (Field "encounterId" EncounterMessage) #

HasField "playerLatitude" EncounterMessage EncounterMessage Source # 

Methods

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

HasField "playerLongitude" EncounterMessage EncounterMessage Source # 

Methods

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

HasField "spawnPointId" EncounterMessage EncounterMessage Source # 

Methods

field :: ProxySym "spawnPointId" -> Lens EncounterMessage EncounterMessage (Field "spawnPointId" EncounterMessage) (Field "spawnPointId" EncounterMessage) #

type Field "encounterId" EncounterMessage Source # 
type Field "encounterId" EncounterMessage = Word64
type Field "playerLatitude" EncounterMessage Source # 
type Field "playerLatitude" EncounterMessage = Double
type Field "playerLongitude" EncounterMessage Source # 
type Field "playerLongitude" EncounterMessage = Double
type Field "spawnPointId" EncounterMessage Source # 
type Field "spawnPointId" EncounterMessage = Text

encounterId :: forall msg msg'. HasField "encounterId" msg msg' => Lens msg msg' (Field "encounterId" msg) (Field "encounterId" 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 #

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