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

Safe HaskellNone
LanguageHaskell2010

Proto.POGOProtos.Data.Gym.GymMembership

Documentation

data GymMembership Source #

Instances

Eq GymMembership Source # 
Show GymMembership Source # 
Default GymMembership Source # 

Methods

def :: GymMembership #

Message GymMembership Source # 
HasField "maybe'pokemonData" GymMembership GymMembership Source # 

Methods

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

HasField "maybe'trainerPublicProfile" GymMembership GymMembership Source # 

Methods

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

HasField "pokemonData" GymMembership GymMembership Source # 

Methods

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

HasField "trainerPublicProfile" GymMembership GymMembership Source # 

Methods

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

type Field "maybe'pokemonData" GymMembership Source # 
type Field "maybe'pokemonData" GymMembership = Maybe PokemonData
type Field "maybe'trainerPublicProfile" GymMembership Source # 
type Field "maybe'trainerPublicProfile" GymMembership = Maybe PlayerPublicProfile
type Field "pokemonData" GymMembership Source # 
type Field "pokemonData" GymMembership = PokemonData
type Field "trainerPublicProfile" GymMembership Source # 
type Field "trainerPublicProfile" GymMembership = PlayerPublicProfile

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

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

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

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