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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Data.Battle.BattlePokemonInfo

Documentation

data BattlePokemonInfo Source #

Instances

Eq BattlePokemonInfo Source # 
Show BattlePokemonInfo Source # 
Default BattlePokemonInfo Source # 
Message BattlePokemonInfo Source # 
HasField "currentEnergy" BattlePokemonInfo BattlePokemonInfo Source # 

Methods

field :: ProxySym "currentEnergy" -> Lens BattlePokemonInfo BattlePokemonInfo (Field "currentEnergy" BattlePokemonInfo) (Field "currentEnergy" BattlePokemonInfo) #

HasField "currentHealth" BattlePokemonInfo BattlePokemonInfo Source # 

Methods

field :: ProxySym "currentHealth" -> Lens BattlePokemonInfo BattlePokemonInfo (Field "currentHealth" BattlePokemonInfo) (Field "currentHealth" BattlePokemonInfo) #

HasField "maybe'pokemonData" BattlePokemonInfo BattlePokemonInfo Source # 

Methods

field :: ProxySym "maybe'pokemonData" -> Lens BattlePokemonInfo BattlePokemonInfo (Field "maybe'pokemonData" BattlePokemonInfo) (Field "maybe'pokemonData" BattlePokemonInfo) #

HasField "pokemonData" BattlePokemonInfo BattlePokemonInfo Source # 

Methods

field :: ProxySym "pokemonData" -> Lens BattlePokemonInfo BattlePokemonInfo (Field "pokemonData" BattlePokemonInfo) (Field "pokemonData" BattlePokemonInfo) #

type Field "currentEnergy" BattlePokemonInfo Source # 
type Field "currentEnergy" BattlePokemonInfo = Int32
type Field "currentHealth" BattlePokemonInfo Source # 
type Field "currentHealth" BattlePokemonInfo = Int32
type Field "maybe'pokemonData" BattlePokemonInfo Source # 
type Field "maybe'pokemonData" BattlePokemonInfo = Maybe PokemonData
type Field "pokemonData" BattlePokemonInfo Source # 
type Field "pokemonData" BattlePokemonInfo = PokemonData

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

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

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

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