Safe Haskell	None
Language	Haskell2010

Proto.POGOProtos.Data.Player.PlayerPublicProfile

Documentation

data PlayerPublicProfile Source #

Constructors

PlayerPublicProfile
Fields _PlayerPublicProfile'name :: Text _PlayerPublicProfile'level :: Int32 _PlayerPublicProfile'avatar :: Maybe PlayerAvatar

Instances

Eq PlayerPublicProfile Source #
Methods (==) :: PlayerPublicProfile -> PlayerPublicProfile -> Bool # (/=) :: PlayerPublicProfile -> PlayerPublicProfile -> Bool #
Show PlayerPublicProfile Source #
Methods showsPrec :: Int -> PlayerPublicProfile -> ShowS # show :: PlayerPublicProfile -> String # showList :: [PlayerPublicProfile] -> ShowS #
Default PlayerPublicProfile Source #
Methods def :: PlayerPublicProfile #
Message PlayerPublicProfile Source #
Methods descriptor :: MessageDescriptor PlayerPublicProfile #
HasField "avatar" PlayerPublicProfile PlayerPublicProfile Source #
Methods field :: ProxySym "avatar" -> Lens PlayerPublicProfile PlayerPublicProfile (Field "avatar" PlayerPublicProfile) (Field "avatar" PlayerPublicProfile) #
HasField "level" PlayerPublicProfile PlayerPublicProfile Source #
Methods field :: ProxySym "level" -> Lens PlayerPublicProfile PlayerPublicProfile (Field "level" PlayerPublicProfile) (Field "level" PlayerPublicProfile) #
HasField "maybe'avatar" PlayerPublicProfile PlayerPublicProfile Source #
Methods field :: ProxySym "maybe'avatar" -> Lens PlayerPublicProfile PlayerPublicProfile (Field "maybe'avatar" PlayerPublicProfile) (Field "maybe'avatar" PlayerPublicProfile) #
HasField "name" PlayerPublicProfile PlayerPublicProfile Source #
Methods field :: ProxySym "name" -> Lens PlayerPublicProfile PlayerPublicProfile (Field "name" PlayerPublicProfile) (Field "name" PlayerPublicProfile) #
type Field "avatar" PlayerPublicProfile Source #
type Field "avatar" PlayerPublicProfile = PlayerAvatar
type Field "level" PlayerPublicProfile Source #
type Field "level" PlayerPublicProfile = Int32
type Field "maybe'avatar" PlayerPublicProfile Source #
type Field "maybe'avatar" PlayerPublicProfile = Maybe PlayerAvatar
type Field "name" PlayerPublicProfile Source #
type Field "name" PlayerPublicProfile = Text

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

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

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

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