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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Networking.Requests.Messages.EncounterMessage

Documentation

data EncounterMessage #

Instances

Eq EncounterMessage # 
Show EncounterMessage # 
Message EncounterMessage # 

Methods

descriptor :: MessageDescriptor EncounterMessage

Default EncounterMessage # 
HasField "encounterId" EncounterMessage EncounterMessage # 

Methods

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

HasField "playerLatitude" EncounterMessage EncounterMessage # 

Methods

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

HasField "playerLongitude" EncounterMessage EncounterMessage # 

Methods

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

HasField "spawnPointId" EncounterMessage EncounterMessage # 

Methods

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

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

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

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