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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Networking.Requests.Messages.StartGymBattleMessage

Documentation

data StartGymBattleMessage Source #

Instances

Eq StartGymBattleMessage Source # 
Show StartGymBattleMessage Source # 
Default StartGymBattleMessage Source # 
Message StartGymBattleMessage Source # 
HasField "attackingPokemonIds" StartGymBattleMessage StartGymBattleMessage Source # 

Methods

field :: ProxySym "attackingPokemonIds" -> Lens StartGymBattleMessage StartGymBattleMessage (Field "attackingPokemonIds" StartGymBattleMessage) (Field "attackingPokemonIds" StartGymBattleMessage) #

HasField "defendingPokemonId" StartGymBattleMessage StartGymBattleMessage Source # 

Methods

field :: ProxySym "defendingPokemonId" -> Lens StartGymBattleMessage StartGymBattleMessage (Field "defendingPokemonId" StartGymBattleMessage) (Field "defendingPokemonId" StartGymBattleMessage) #

HasField "gymId" StartGymBattleMessage StartGymBattleMessage Source # 
HasField "playerLatitude" StartGymBattleMessage StartGymBattleMessage Source # 

Methods

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

HasField "playerLongitude" StartGymBattleMessage StartGymBattleMessage Source # 

Methods

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

type Field "attackingPokemonIds" StartGymBattleMessage Source # 
type Field "attackingPokemonIds" StartGymBattleMessage = [Word64]
type Field "defendingPokemonId" StartGymBattleMessage Source # 
type Field "defendingPokemonId" StartGymBattleMessage = Word64
type Field "gymId" StartGymBattleMessage Source # 
type Field "playerLatitude" StartGymBattleMessage Source # 
type Field "playerLatitude" StartGymBattleMessage = Double
type Field "playerLongitude" StartGymBattleMessage Source # 
type Field "playerLongitude" StartGymBattleMessage = Double

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

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

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