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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Data.Battle.BattleParticipant

Documentation

data BattleParticipant Source #

Instances

Eq BattleParticipant Source # 
Show BattleParticipant Source # 
Default BattleParticipant Source # 
Message BattleParticipant Source # 
HasField "activePokemon" BattleParticipant BattleParticipant Source # 

Methods

field :: ProxySym "activePokemon" -> Lens BattleParticipant BattleParticipant (Field "activePokemon" BattleParticipant) (Field "activePokemon" BattleParticipant) #

HasField "defeatedPokemon" BattleParticipant BattleParticipant Source # 

Methods

field :: ProxySym "defeatedPokemon" -> Lens BattleParticipant BattleParticipant (Field "defeatedPokemon" BattleParticipant) (Field "defeatedPokemon" BattleParticipant) #

HasField "maybe'activePokemon" BattleParticipant BattleParticipant Source # 

Methods

field :: ProxySym "maybe'activePokemon" -> Lens BattleParticipant BattleParticipant (Field "maybe'activePokemon" BattleParticipant) (Field "maybe'activePokemon" BattleParticipant) #

HasField "maybe'trainerPublicProfile" BattleParticipant BattleParticipant Source # 

Methods

field :: ProxySym "maybe'trainerPublicProfile" -> Lens BattleParticipant BattleParticipant (Field "maybe'trainerPublicProfile" BattleParticipant) (Field "maybe'trainerPublicProfile" BattleParticipant) #

HasField "reversePokemon" BattleParticipant BattleParticipant Source # 

Methods

field :: ProxySym "reversePokemon" -> Lens BattleParticipant BattleParticipant (Field "reversePokemon" BattleParticipant) (Field "reversePokemon" BattleParticipant) #

HasField "trainerPublicProfile" BattleParticipant BattleParticipant Source # 

Methods

field :: ProxySym "trainerPublicProfile" -> Lens BattleParticipant BattleParticipant (Field "trainerPublicProfile" BattleParticipant) (Field "trainerPublicProfile" BattleParticipant) #

type Field "activePokemon" BattleParticipant Source # 
type Field "defeatedPokemon" BattleParticipant Source # 
type Field "defeatedPokemon" BattleParticipant = [BattlePokemonInfo]
type Field "maybe'activePokemon" BattleParticipant Source # 
type Field "maybe'activePokemon" BattleParticipant = Maybe BattlePokemonInfo
type Field "maybe'trainerPublicProfile" BattleParticipant Source # 
type Field "maybe'trainerPublicProfile" BattleParticipant = Maybe PlayerPublicProfile
type Field "reversePokemon" BattleParticipant Source # 
type Field "reversePokemon" BattleParticipant = [BattlePokemonInfo]
type Field "trainerPublicProfile" BattleParticipant Source # 
type Field "trainerPublicProfile" BattleParticipant = PlayerPublicProfile

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

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

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

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

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

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