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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Networking.Requests.Messages.DiskEncounterMessage

Documentation

data DiskEncounterMessage #

Instances

Eq DiskEncounterMessage # 
Show DiskEncounterMessage # 
Message DiskEncounterMessage # 

Methods

descriptor :: MessageDescriptor DiskEncounterMessage

Default DiskEncounterMessage # 
HasField "encounterId" DiskEncounterMessage DiskEncounterMessage # 

Methods

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

HasField "fortId" DiskEncounterMessage DiskEncounterMessage # 

Methods

field :: ProxySym "fortId" -> Lens DiskEncounterMessage DiskEncounterMessage (Field "fortId" DiskEncounterMessage) (Field "fortId" DiskEncounterMessage)

HasField "playerLatitude" DiskEncounterMessage DiskEncounterMessage # 

Methods

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

HasField "playerLongitude" DiskEncounterMessage DiskEncounterMessage # 

Methods

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

type Field "encounterId" DiskEncounterMessage # 
type Field "encounterId" DiskEncounterMessage = Word64
type Field "fortId" DiskEncounterMessage # 
type Field "fortId" DiskEncounterMessage = Text
type Field "playerLatitude" DiskEncounterMessage # 
type Field "playerLatitude" DiskEncounterMessage = Double
type Field "playerLongitude" DiskEncounterMessage # 
type Field "playerLongitude" DiskEncounterMessage = Double

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

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