module Proto.POGOProtos.Networking.Responses.StartGymBattleResponse
where
import qualified Prelude
import qualified Data.ProtoLens
import qualified Data.ProtoLens.Message.Enum
import qualified Lens.Family2
import qualified Lens.Family2.Unchecked
import qualified Data.Default.Class
import qualified Data.Text
import qualified Data.Int
import qualified Data.Word
import qualified Data.Map
import qualified Data.ByteString
import qualified Proto.POGOProtos.Data.Battle.BattleLog
import qualified Proto.POGOProtos.Data.Battle.BattleParticipant
data StartGymBattleResponse = StartGymBattleResponse{_StartGymBattleResponse'result
:: StartGymBattleResponse'Result,
_StartGymBattleResponse'battleStartTimestampMs
:: Data.Int.Int64,
_StartGymBattleResponse'battleEndTimestampMs ::
Data.Int.Int64,
_StartGymBattleResponse'battleId ::
Data.Text.Text,
_StartGymBattleResponse'defender ::
Prelude.Maybe
Proto.POGOProtos.Data.Battle.BattleParticipant.BattleParticipant,
_StartGymBattleResponse'battleLog ::
Prelude.Maybe
Proto.POGOProtos.Data.Battle.BattleLog.BattleLog}
deriving (Prelude.Show, Prelude.Eq)
type instance Data.ProtoLens.Field "result" StartGymBattleResponse
= StartGymBattleResponse'Result
instance Data.ProtoLens.HasField "result" StartGymBattleResponse
StartGymBattleResponse where
field _
= Lens.Family2.Unchecked.lens _StartGymBattleResponse'result
(\ x__ y__ -> x__{_StartGymBattleResponse'result = y__})
type instance
Data.ProtoLens.Field "battleStartTimestampMs"
StartGymBattleResponse
= Data.Int.Int64
instance Data.ProtoLens.HasField "battleStartTimestampMs"
StartGymBattleResponse StartGymBattleResponse where
field _
= Lens.Family2.Unchecked.lens
_StartGymBattleResponse'battleStartTimestampMs
(\ x__ y__ ->
x__{_StartGymBattleResponse'battleStartTimestampMs = y__})
type instance
Data.ProtoLens.Field "battleEndTimestampMs" StartGymBattleResponse
= Data.Int.Int64
instance Data.ProtoLens.HasField "battleEndTimestampMs"
StartGymBattleResponse StartGymBattleResponse where
field _
= Lens.Family2.Unchecked.lens
_StartGymBattleResponse'battleEndTimestampMs
(\ x__ y__ ->
x__{_StartGymBattleResponse'battleEndTimestampMs = y__})
type instance
Data.ProtoLens.Field "battleId" StartGymBattleResponse =
Data.Text.Text
instance Data.ProtoLens.HasField "battleId" StartGymBattleResponse
StartGymBattleResponse where
field _
= Lens.Family2.Unchecked.lens _StartGymBattleResponse'battleId
(\ x__ y__ -> x__{_StartGymBattleResponse'battleId = y__})
type instance
Data.ProtoLens.Field "defender" StartGymBattleResponse =
Proto.POGOProtos.Data.Battle.BattleParticipant.BattleParticipant
instance Data.ProtoLens.HasField "defender" StartGymBattleResponse
StartGymBattleResponse where
field _
= (Prelude..) maybe'defender
(Data.ProtoLens.maybeLens Data.Default.Class.def)
type instance
Data.ProtoLens.Field "maybe'defender" StartGymBattleResponse =
Prelude.Maybe
Proto.POGOProtos.Data.Battle.BattleParticipant.BattleParticipant
instance Data.ProtoLens.HasField "maybe'defender"
StartGymBattleResponse StartGymBattleResponse where
field _
= Lens.Family2.Unchecked.lens _StartGymBattleResponse'defender
(\ x__ y__ -> x__{_StartGymBattleResponse'defender = y__})
type instance
Data.ProtoLens.Field "battleLog" StartGymBattleResponse =
Proto.POGOProtos.Data.Battle.BattleLog.BattleLog
instance Data.ProtoLens.HasField "battleLog" StartGymBattleResponse
StartGymBattleResponse where
field _
= (Prelude..) maybe'battleLog
(Data.ProtoLens.maybeLens Data.Default.Class.def)
type instance
Data.ProtoLens.Field "maybe'battleLog" StartGymBattleResponse =
Prelude.Maybe Proto.POGOProtos.Data.Battle.BattleLog.BattleLog
instance Data.ProtoLens.HasField "maybe'battleLog"
StartGymBattleResponse StartGymBattleResponse where
field _
= Lens.Family2.Unchecked.lens _StartGymBattleResponse'battleLog
(\ x__ y__ -> x__{_StartGymBattleResponse'battleLog = y__})
instance Data.Default.Class.Default StartGymBattleResponse where
def
= StartGymBattleResponse{_StartGymBattleResponse'result =
Data.Default.Class.def,
_StartGymBattleResponse'battleStartTimestampMs =
Data.ProtoLens.fieldDefault,
_StartGymBattleResponse'battleEndTimestampMs =
Data.ProtoLens.fieldDefault,
_StartGymBattleResponse'battleId = Data.ProtoLens.fieldDefault,
_StartGymBattleResponse'defender = Prelude.Nothing,
_StartGymBattleResponse'battleLog = Prelude.Nothing}
instance Data.ProtoLens.Message StartGymBattleResponse where
descriptor
= let result__field_descriptor
= Data.ProtoLens.FieldDescriptor "result"
(Data.ProtoLens.EnumField ::
Data.ProtoLens.FieldTypeDescriptor StartGymBattleResponse'Result)
(Data.ProtoLens.PlainField Data.ProtoLens.Optional result)
battleStartTimestampMs__field_descriptor
= Data.ProtoLens.FieldDescriptor "battle_start_timestamp_ms"
(Data.ProtoLens.Int64Field ::
Data.ProtoLens.FieldTypeDescriptor Data.Int.Int64)
(Data.ProtoLens.PlainField Data.ProtoLens.Optional
battleStartTimestampMs)
battleEndTimestampMs__field_descriptor
= Data.ProtoLens.FieldDescriptor "battle_end_timestamp_ms"
(Data.ProtoLens.Int64Field ::
Data.ProtoLens.FieldTypeDescriptor Data.Int.Int64)
(Data.ProtoLens.PlainField Data.ProtoLens.Optional
battleEndTimestampMs)
battleId__field_descriptor
= Data.ProtoLens.FieldDescriptor "battle_id"
(Data.ProtoLens.StringField ::
Data.ProtoLens.FieldTypeDescriptor Data.Text.Text)
(Data.ProtoLens.PlainField Data.ProtoLens.Optional battleId)
defender__field_descriptor
= Data.ProtoLens.FieldDescriptor "defender"
(Data.ProtoLens.MessageField ::
Data.ProtoLens.FieldTypeDescriptor
Proto.POGOProtos.Data.Battle.BattleParticipant.BattleParticipant)
(Data.ProtoLens.OptionalField maybe'defender)
battleLog__field_descriptor
= Data.ProtoLens.FieldDescriptor "battle_log"
(Data.ProtoLens.MessageField ::
Data.ProtoLens.FieldTypeDescriptor
Proto.POGOProtos.Data.Battle.BattleLog.BattleLog)
(Data.ProtoLens.OptionalField maybe'battleLog)
in
Data.ProtoLens.MessageDescriptor
(Data.Map.fromList
[(Data.ProtoLens.Tag 1, result__field_descriptor),
(Data.ProtoLens.Tag 2, battleStartTimestampMs__field_descriptor),
(Data.ProtoLens.Tag 3, battleEndTimestampMs__field_descriptor),
(Data.ProtoLens.Tag 4, battleId__field_descriptor),
(Data.ProtoLens.Tag 5, defender__field_descriptor),
(Data.ProtoLens.Tag 6, battleLog__field_descriptor)])
(Data.Map.fromList
[("result", result__field_descriptor),
("battle_start_timestamp_ms",
battleStartTimestampMs__field_descriptor),
("battle_end_timestamp_ms",
battleEndTimestampMs__field_descriptor),
("battle_id", battleId__field_descriptor),
("defender", defender__field_descriptor),
("battle_log", battleLog__field_descriptor)])
data StartGymBattleResponse'Result = StartGymBattleResponse'UNSET
| StartGymBattleResponse'SUCCESS
| StartGymBattleResponse'ERROR_GYM_NOT_FOUND
| StartGymBattleResponse'ERROR_GYM_NEUTRAL
| StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
| StartGymBattleResponse'ERROR_GYM_EMPTY
| StartGymBattleResponse'ERROR_INVALID_DEFENDER
| StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
| StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
| StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
| StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
| StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
| StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
| StartGymBattleResponse'ERROR_NOT_IN_RANGE
deriving (Prelude.Show, Prelude.Eq)
instance Data.Default.Class.Default StartGymBattleResponse'Result
where
def = StartGymBattleResponse'UNSET
instance Data.ProtoLens.FieldDefault StartGymBattleResponse'Result
where
fieldDefault = StartGymBattleResponse'UNSET
instance Data.ProtoLens.MessageEnum StartGymBattleResponse'Result
where
maybeToEnum 0 = Prelude.Just StartGymBattleResponse'UNSET
maybeToEnum 1 = Prelude.Just StartGymBattleResponse'SUCCESS
maybeToEnum 2
= Prelude.Just StartGymBattleResponse'ERROR_GYM_NOT_FOUND
maybeToEnum 3
= Prelude.Just StartGymBattleResponse'ERROR_GYM_NEUTRAL
maybeToEnum 4
= Prelude.Just StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
maybeToEnum 5 = Prelude.Just StartGymBattleResponse'ERROR_GYM_EMPTY
maybeToEnum 6
= Prelude.Just StartGymBattleResponse'ERROR_INVALID_DEFENDER
maybeToEnum 7
= Prelude.Just
StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
maybeToEnum 8
= Prelude.Just StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
maybeToEnum 9
= Prelude.Just StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
maybeToEnum 10
= Prelude.Just StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
maybeToEnum 11
= Prelude.Just StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
maybeToEnum 12
= Prelude.Just
StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
maybeToEnum 13
= Prelude.Just StartGymBattleResponse'ERROR_NOT_IN_RANGE
maybeToEnum _ = Prelude.Nothing
showEnum StartGymBattleResponse'UNSET = "UNSET"
showEnum StartGymBattleResponse'SUCCESS = "SUCCESS"
showEnum StartGymBattleResponse'ERROR_GYM_NOT_FOUND
= "ERROR_GYM_NOT_FOUND"
showEnum StartGymBattleResponse'ERROR_GYM_NEUTRAL
= "ERROR_GYM_NEUTRAL"
showEnum StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
= "ERROR_GYM_WRONG_TEAM"
showEnum StartGymBattleResponse'ERROR_GYM_EMPTY = "ERROR_GYM_EMPTY"
showEnum StartGymBattleResponse'ERROR_INVALID_DEFENDER
= "ERROR_INVALID_DEFENDER"
showEnum
StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
= "ERROR_TRAINING_INVALID_ATTACKER_COUNT"
showEnum StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
= "ERROR_ALL_POKEMON_FAINTED"
showEnum StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
= "ERROR_TOO_MANY_BATTLES"
showEnum StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
= "ERROR_TOO_MANY_PLAYERS"
showEnum StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
= "ERROR_GYM_BATTLE_LOCKOUT"
showEnum StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
= "ERROR_PLAYER_BELOW_MINIMUM_LEVEL"
showEnum StartGymBattleResponse'ERROR_NOT_IN_RANGE
= "ERROR_NOT_IN_RANGE"
readEnum "UNSET" = Prelude.Just StartGymBattleResponse'UNSET
readEnum "SUCCESS" = Prelude.Just StartGymBattleResponse'SUCCESS
readEnum "ERROR_GYM_NOT_FOUND"
= Prelude.Just StartGymBattleResponse'ERROR_GYM_NOT_FOUND
readEnum "ERROR_GYM_NEUTRAL"
= Prelude.Just StartGymBattleResponse'ERROR_GYM_NEUTRAL
readEnum "ERROR_GYM_WRONG_TEAM"
= Prelude.Just StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
readEnum "ERROR_GYM_EMPTY"
= Prelude.Just StartGymBattleResponse'ERROR_GYM_EMPTY
readEnum "ERROR_INVALID_DEFENDER"
= Prelude.Just StartGymBattleResponse'ERROR_INVALID_DEFENDER
readEnum "ERROR_TRAINING_INVALID_ATTACKER_COUNT"
= Prelude.Just
StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
readEnum "ERROR_ALL_POKEMON_FAINTED"
= Prelude.Just StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
readEnum "ERROR_TOO_MANY_BATTLES"
= Prelude.Just StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
readEnum "ERROR_TOO_MANY_PLAYERS"
= Prelude.Just StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
readEnum "ERROR_GYM_BATTLE_LOCKOUT"
= Prelude.Just StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
readEnum "ERROR_PLAYER_BELOW_MINIMUM_LEVEL"
= Prelude.Just
StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
readEnum "ERROR_NOT_IN_RANGE"
= Prelude.Just StartGymBattleResponse'ERROR_NOT_IN_RANGE
readEnum _ = Prelude.Nothing
instance Prelude.Enum StartGymBattleResponse'Result where
toEnum k__
= Prelude.maybe
(Prelude.error
((Prelude.++) "toEnum: unknown value for enum Result: "
(Prelude.show k__)))
Prelude.id
(Data.ProtoLens.maybeToEnum k__)
fromEnum StartGymBattleResponse'UNSET = 0
fromEnum StartGymBattleResponse'SUCCESS = 1
fromEnum StartGymBattleResponse'ERROR_GYM_NOT_FOUND = 2
fromEnum StartGymBattleResponse'ERROR_GYM_NEUTRAL = 3
fromEnum StartGymBattleResponse'ERROR_GYM_WRONG_TEAM = 4
fromEnum StartGymBattleResponse'ERROR_GYM_EMPTY = 5
fromEnum StartGymBattleResponse'ERROR_INVALID_DEFENDER = 6
fromEnum
StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT = 7
fromEnum StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED = 8
fromEnum StartGymBattleResponse'ERROR_TOO_MANY_BATTLES = 9
fromEnum StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS = 10
fromEnum StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT = 11
fromEnum StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
= 12
fromEnum StartGymBattleResponse'ERROR_NOT_IN_RANGE = 13
succ StartGymBattleResponse'ERROR_NOT_IN_RANGE
= Prelude.error
"Ident \"StartGymBattleResponse'Result\".Ident \"succ\": bad argument Ident \"StartGymBattleResponse'ERROR_NOT_IN_RANGE\". This value would be out of bounds."
succ StartGymBattleResponse'UNSET = StartGymBattleResponse'SUCCESS
succ StartGymBattleResponse'SUCCESS
= StartGymBattleResponse'ERROR_GYM_NOT_FOUND
succ StartGymBattleResponse'ERROR_GYM_NOT_FOUND
= StartGymBattleResponse'ERROR_GYM_NEUTRAL
succ StartGymBattleResponse'ERROR_GYM_NEUTRAL
= StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
succ StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
= StartGymBattleResponse'ERROR_GYM_EMPTY
succ StartGymBattleResponse'ERROR_GYM_EMPTY
= StartGymBattleResponse'ERROR_INVALID_DEFENDER
succ StartGymBattleResponse'ERROR_INVALID_DEFENDER
= StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
succ StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
= StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
succ StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
= StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
succ StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
= StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
succ StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
= StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
succ StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
= StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
succ StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
= StartGymBattleResponse'ERROR_NOT_IN_RANGE
pred StartGymBattleResponse'UNSET
= Prelude.error
"Ident \"StartGymBattleResponse'Result\".Ident \"pred\": bad argument Ident \"StartGymBattleResponse'UNSET\". This value would be out of bounds."
pred StartGymBattleResponse'SUCCESS = StartGymBattleResponse'UNSET
pred StartGymBattleResponse'ERROR_GYM_NOT_FOUND
= StartGymBattleResponse'SUCCESS
pred StartGymBattleResponse'ERROR_GYM_NEUTRAL
= StartGymBattleResponse'ERROR_GYM_NOT_FOUND
pred StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
= StartGymBattleResponse'ERROR_GYM_NEUTRAL
pred StartGymBattleResponse'ERROR_GYM_EMPTY
= StartGymBattleResponse'ERROR_GYM_WRONG_TEAM
pred StartGymBattleResponse'ERROR_INVALID_DEFENDER
= StartGymBattleResponse'ERROR_GYM_EMPTY
pred StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
= StartGymBattleResponse'ERROR_INVALID_DEFENDER
pred StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
= StartGymBattleResponse'ERROR_TRAINING_INVALID_ATTACKER_COUNT
pred StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
= StartGymBattleResponse'ERROR_ALL_POKEMON_FAINTED
pred StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
= StartGymBattleResponse'ERROR_TOO_MANY_BATTLES
pred StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
= StartGymBattleResponse'ERROR_TOO_MANY_PLAYERS
pred StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
= StartGymBattleResponse'ERROR_GYM_BATTLE_LOCKOUT
pred StartGymBattleResponse'ERROR_NOT_IN_RANGE
= StartGymBattleResponse'ERROR_PLAYER_BELOW_MINIMUM_LEVEL
enumFrom = Data.ProtoLens.Message.Enum.messageEnumFrom
enumFromTo = Data.ProtoLens.Message.Enum.messageEnumFromTo
enumFromThen = Data.ProtoLens.Message.Enum.messageEnumFromThen
enumFromThenTo = Data.ProtoLens.Message.Enum.messageEnumFromThenTo
instance Prelude.Bounded StartGymBattleResponse'Result where
minBound = StartGymBattleResponse'UNSET
maxBound = StartGymBattleResponse'ERROR_NOT_IN_RANGE
battleEndTimestampMs ::
forall msg msg' .
Data.ProtoLens.HasField "battleEndTimestampMs" msg msg' =>
Lens.Family2.Lens msg msg'
(Data.ProtoLens.Field "battleEndTimestampMs" msg)
(Data.ProtoLens.Field "battleEndTimestampMs" msg')
battleEndTimestampMs
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym ::
Data.ProtoLens.ProxySym "battleEndTimestampMs")
battleId ::
forall msg msg' . Data.ProtoLens.HasField "battleId" msg msg' =>
Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "battleId" msg)
(Data.ProtoLens.Field "battleId" msg')
battleId
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "battleId")
battleLog ::
forall msg msg' . Data.ProtoLens.HasField "battleLog" msg msg' =>
Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "battleLog" msg)
(Data.ProtoLens.Field "battleLog" msg')
battleLog
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "battleLog")
battleStartTimestampMs ::
forall msg msg' .
Data.ProtoLens.HasField "battleStartTimestampMs" msg msg' =>
Lens.Family2.Lens msg msg'
(Data.ProtoLens.Field "battleStartTimestampMs" msg)
(Data.ProtoLens.Field "battleStartTimestampMs" msg')
battleStartTimestampMs
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym ::
Data.ProtoLens.ProxySym "battleStartTimestampMs")
defender ::
forall msg msg' . Data.ProtoLens.HasField "defender" msg msg' =>
Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "defender" msg)
(Data.ProtoLens.Field "defender" msg')
defender
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "defender")
maybe'battleLog ::
forall msg msg' .
Data.ProtoLens.HasField "maybe'battleLog" msg msg' =>
Lens.Family2.Lens msg msg'
(Data.ProtoLens.Field "maybe'battleLog" msg)
(Data.ProtoLens.Field "maybe'battleLog" msg')
maybe'battleLog
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym ::
Data.ProtoLens.ProxySym "maybe'battleLog")
maybe'defender ::
forall msg msg' .
Data.ProtoLens.HasField "maybe'defender" msg msg' =>
Lens.Family2.Lens msg msg'
(Data.ProtoLens.Field "maybe'defender" msg)
(Data.ProtoLens.Field "maybe'defender" msg')
maybe'defender
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym ::
Data.ProtoLens.ProxySym "maybe'defender")
result ::
forall msg msg' . Data.ProtoLens.HasField "result" msg msg' =>
Lens.Family2.Lens msg msg' (Data.ProtoLens.Field "result" msg)
(Data.ProtoLens.Field "result" msg')
result
= Data.ProtoLens.field
(Data.ProtoLens.ProxySym :: Data.ProtoLens.ProxySym "result")