| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proto.POGOProtos.Data.Battle.BattleParticipant
Documentation
data BattleParticipant #
Constructors
| BattleParticipant | |
Instances
| Eq BattleParticipant # | |
| Show BattleParticipant # | |
| Message BattleParticipant # | |
| Default BattleParticipant # | |
| HasField "activePokemon" BattleParticipant BattleParticipant # | |
| HasField "defeatedPokemon" BattleParticipant BattleParticipant # | |
| HasField "maybe'activePokemon" BattleParticipant BattleParticipant # | |
| HasField "maybe'trainerPublicProfile" BattleParticipant BattleParticipant # | |
| HasField "reversePokemon" BattleParticipant BattleParticipant # | |
| HasField "trainerPublicProfile" BattleParticipant BattleParticipant # | |
| type Field "activePokemon" BattleParticipant # | |
| type Field "defeatedPokemon" BattleParticipant # | |
| type Field "maybe'activePokemon" BattleParticipant # | |
| type Field "maybe'trainerPublicProfile" BattleParticipant # | |
| type Field "reversePokemon" BattleParticipant # | |
| type Field "trainerPublicProfile" BattleParticipant # | |
activePokemon :: forall msg msg'. HasField "activePokemon" msg msg' => Lens msg msg' (Field "activePokemon" msg) (Field "activePokemon" msg') #
defeatedPokemon :: forall msg msg'. HasField "defeatedPokemon" msg msg' => Lens msg msg' (Field "defeatedPokemon" msg) (Field "defeatedPokemon" msg') #
maybe'activePokemon :: forall msg msg'. HasField "maybe'activePokemon" msg msg' => Lens msg msg' (Field "maybe'activePokemon" msg) (Field "maybe'activePokemon" msg') #
maybe'trainerPublicProfile :: forall msg msg'. HasField "maybe'trainerPublicProfile" msg msg' => Lens msg msg' (Field "maybe'trainerPublicProfile" msg) (Field "maybe'trainerPublicProfile" msg') #
reversePokemon :: forall msg msg'. HasField "reversePokemon" msg msg' => Lens msg msg' (Field "reversePokemon" msg) (Field "reversePokemon" msg') #
trainerPublicProfile :: forall msg msg'. HasField "trainerPublicProfile" msg msg' => Lens msg msg' (Field "trainerPublicProfile" msg) (Field "trainerPublicProfile" msg') #