{-# LANGUAGE BangPatterns, DeriveDataTypeable, DeriveGeneric, FlexibleInstances, MultiParamTypeClasses, OverloadedStrings #-}
{-# OPTIONS_GHC  -w #-}
module Text.DescriptorProtos.DescriptorProto.ReservedRange (ReservedRange(..)) where
import Prelude ((+), (/), (++), (.))
import qualified Prelude as Prelude'
import qualified Data.List as Prelude'
import qualified Data.Typeable as Prelude'
import qualified GHC.Generics as Prelude'
import qualified Data.Data as Prelude'
import qualified Text.ProtocolBuffers.Header as P'

data ReservedRange = ReservedRange{ReservedRange -> Maybe Int32
start :: !(P'.Maybe P'.Int32), ReservedRange -> Maybe Int32
end :: !(P'.Maybe P'.Int32), ReservedRange -> UnknownField
unknown'field :: !(P'.UnknownField)}
                     deriving (Int -> ReservedRange -> ShowS
[ReservedRange] -> ShowS
ReservedRange -> String
(Int -> ReservedRange -> ShowS)
-> (ReservedRange -> String)
-> ([ReservedRange] -> ShowS)
-> Show ReservedRange
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [ReservedRange] -> ShowS
$cshowList :: [ReservedRange] -> ShowS
show :: ReservedRange -> String
$cshow :: ReservedRange -> String
showsPrec :: Int -> ReservedRange -> ShowS
$cshowsPrec :: Int -> ReservedRange -> ShowS
Prelude'.Show, ReservedRange -> ReservedRange -> Bool
(ReservedRange -> ReservedRange -> Bool)
-> (ReservedRange -> ReservedRange -> Bool) -> Eq ReservedRange
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: ReservedRange -> ReservedRange -> Bool
$c/= :: ReservedRange -> ReservedRange -> Bool
== :: ReservedRange -> ReservedRange -> Bool
$c== :: ReservedRange -> ReservedRange -> Bool
Prelude'.Eq, Eq ReservedRange
Eq ReservedRange
-> (ReservedRange -> ReservedRange -> Ordering)
-> (ReservedRange -> ReservedRange -> Bool)
-> (ReservedRange -> ReservedRange -> Bool)
-> (ReservedRange -> ReservedRange -> Bool)
-> (ReservedRange -> ReservedRange -> Bool)
-> (ReservedRange -> ReservedRange -> ReservedRange)
-> (ReservedRange -> ReservedRange -> ReservedRange)
-> Ord ReservedRange
ReservedRange -> ReservedRange -> Bool
ReservedRange -> ReservedRange -> Ordering
ReservedRange -> ReservedRange -> ReservedRange
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: ReservedRange -> ReservedRange -> ReservedRange
$cmin :: ReservedRange -> ReservedRange -> ReservedRange
max :: ReservedRange -> ReservedRange -> ReservedRange
$cmax :: ReservedRange -> ReservedRange -> ReservedRange
>= :: ReservedRange -> ReservedRange -> Bool
$c>= :: ReservedRange -> ReservedRange -> Bool
> :: ReservedRange -> ReservedRange -> Bool
$c> :: ReservedRange -> ReservedRange -> Bool
<= :: ReservedRange -> ReservedRange -> Bool
$c<= :: ReservedRange -> ReservedRange -> Bool
< :: ReservedRange -> ReservedRange -> Bool
$c< :: ReservedRange -> ReservedRange -> Bool
compare :: ReservedRange -> ReservedRange -> Ordering
$ccompare :: ReservedRange -> ReservedRange -> Ordering
$cp1Ord :: Eq ReservedRange
Prelude'.Ord, Prelude'.Typeable, Typeable ReservedRange
DataType
Constr
Typeable ReservedRange
-> (forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> ReservedRange -> c ReservedRange)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c ReservedRange)
-> (ReservedRange -> Constr)
-> (ReservedRange -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c ReservedRange))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e))
    -> Maybe (c ReservedRange))
-> ((forall b. Data b => b -> b) -> ReservedRange -> ReservedRange)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> ReservedRange -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> ReservedRange -> r)
-> (forall u. (forall d. Data d => d -> u) -> ReservedRange -> [u])
-> (forall u.
    Int -> (forall d. Data d => d -> u) -> ReservedRange -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange)
-> Data ReservedRange
ReservedRange -> DataType
ReservedRange -> Constr
(forall b. Data b => b -> b) -> ReservedRange -> ReservedRange
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> ReservedRange -> c ReservedRange
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ReservedRange
forall a.
Typeable a
-> (forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> ReservedRange -> u
forall u. (forall d. Data d => d -> u) -> ReservedRange -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> ReservedRange -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> ReservedRange -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ReservedRange
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> ReservedRange -> c ReservedRange
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c ReservedRange)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c ReservedRange)
$cReservedRange :: Constr
$tReservedRange :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
gmapMp :: (forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
gmapM :: (forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> ReservedRange -> m ReservedRange
gmapQi :: Int -> (forall d. Data d => d -> u) -> ReservedRange -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> ReservedRange -> u
gmapQ :: (forall d. Data d => d -> u) -> ReservedRange -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> ReservedRange -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> ReservedRange -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> ReservedRange -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> ReservedRange -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> ReservedRange -> r
gmapT :: (forall b. Data b => b -> b) -> ReservedRange -> ReservedRange
$cgmapT :: (forall b. Data b => b -> b) -> ReservedRange -> ReservedRange
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c ReservedRange)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c ReservedRange)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c ReservedRange)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c ReservedRange)
dataTypeOf :: ReservedRange -> DataType
$cdataTypeOf :: ReservedRange -> DataType
toConstr :: ReservedRange -> Constr
$ctoConstr :: ReservedRange -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ReservedRange
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c ReservedRange
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> ReservedRange -> c ReservedRange
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> ReservedRange -> c ReservedRange
$cp1Data :: Typeable ReservedRange
Prelude'.Data, (forall x. ReservedRange -> Rep ReservedRange x)
-> (forall x. Rep ReservedRange x -> ReservedRange)
-> Generic ReservedRange
forall x. Rep ReservedRange x -> ReservedRange
forall x. ReservedRange -> Rep ReservedRange x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep ReservedRange x -> ReservedRange
$cfrom :: forall x. ReservedRange -> Rep ReservedRange x
Prelude'.Generic)

instance P'.UnknownMessage ReservedRange where
  getUnknownField :: ReservedRange -> UnknownField
getUnknownField = ReservedRange -> UnknownField
unknown'field
  putUnknownField :: UnknownField -> ReservedRange -> ReservedRange
putUnknownField UnknownField
u'f ReservedRange
msg = ReservedRange
msg{unknown'field :: UnknownField
unknown'field = UnknownField
u'f}

instance P'.Mergeable ReservedRange where
  mergeAppend :: ReservedRange -> ReservedRange -> ReservedRange
mergeAppend (ReservedRange Maybe Int32
x'1 Maybe Int32
x'2 UnknownField
x'3) (ReservedRange Maybe Int32
y'1 Maybe Int32
y'2 UnknownField
y'3)
   = let !z'1 :: Maybe Int32
z'1 = Maybe Int32 -> Maybe Int32 -> Maybe Int32
forall a. Mergeable a => a -> a -> a
P'.mergeAppend Maybe Int32
x'1 Maybe Int32
y'1
         !z'2 :: Maybe Int32
z'2 = Maybe Int32 -> Maybe Int32 -> Maybe Int32
forall a. Mergeable a => a -> a -> a
P'.mergeAppend Maybe Int32
x'2 Maybe Int32
y'2
         !z'3 :: UnknownField
z'3 = UnknownField -> UnknownField -> UnknownField
forall a. Mergeable a => a -> a -> a
P'.mergeAppend UnknownField
x'3 UnknownField
y'3
      in Maybe Int32 -> Maybe Int32 -> UnknownField -> ReservedRange
ReservedRange Maybe Int32
z'1 Maybe Int32
z'2 UnknownField
z'3

instance P'.Default ReservedRange where
  defaultValue :: ReservedRange
defaultValue = Maybe Int32 -> Maybe Int32 -> UnknownField -> ReservedRange
ReservedRange Maybe Int32
forall a. Default a => a
P'.defaultValue Maybe Int32
forall a. Default a => a
P'.defaultValue UnknownField
forall a. Default a => a
P'.defaultValue

instance P'.Wire ReservedRange where
  wireSize :: FieldType -> ReservedRange -> WireSize
wireSize FieldType
ft' self' :: ReservedRange
self'@(ReservedRange Maybe Int32
x'1 Maybe Int32
x'2 UnknownField
x'3)
   = case FieldType
ft' of
       FieldType
10 -> WireSize
calc'Size
       FieldType
11 -> WireSize -> WireSize
P'.prependMessageSize WireSize
calc'Size
       FieldType
_ -> FieldType -> ReservedRange -> WireSize
forall a. Typeable a => FieldType -> a -> WireSize
P'.wireSizeErr FieldType
ft' ReservedRange
self'
    where
        calc'Size :: WireSize
calc'Size = (WireSize -> FieldType -> Maybe Int32 -> WireSize
forall v. Wire v => WireSize -> FieldType -> Maybe v -> WireSize
P'.wireSizeOpt WireSize
1 FieldType
5 Maybe Int32
x'1 WireSize -> WireSize -> WireSize
forall a. Num a => a -> a -> a
+ WireSize -> FieldType -> Maybe Int32 -> WireSize
forall v. Wire v => WireSize -> FieldType -> Maybe v -> WireSize
P'.wireSizeOpt WireSize
1 FieldType
5 Maybe Int32
x'2 WireSize -> WireSize -> WireSize
forall a. Num a => a -> a -> a
+ UnknownField -> WireSize
P'.wireSizeUnknownField UnknownField
x'3)
  wirePutWithSize :: FieldType -> ReservedRange -> PutM WireSize
wirePutWithSize FieldType
ft' self' :: ReservedRange
self'@(ReservedRange Maybe Int32
x'1 Maybe Int32
x'2 UnknownField
x'3)
   = case FieldType
ft' of
       FieldType
10 -> PutM WireSize
put'Fields
       FieldType
11 -> PutM WireSize
put'FieldsSized
       FieldType
_ -> FieldType -> ReservedRange -> PutM WireSize
forall a b. Typeable a => FieldType -> a -> PutM b
P'.wirePutErr FieldType
ft' ReservedRange
self'
    where
        put'Fields :: PutM WireSize
put'Fields
         = [PutM WireSize] -> PutM WireSize
forall (f :: * -> *).
Foldable f =>
f (PutM WireSize) -> PutM WireSize
P'.sequencePutWithSize
            [WireTag -> FieldType -> Maybe Int32 -> PutM WireSize
forall v.
Wire v =>
WireTag -> FieldType -> Maybe v -> PutM WireSize
P'.wirePutOptWithSize WireTag
8 FieldType
5 Maybe Int32
x'1, WireTag -> FieldType -> Maybe Int32 -> PutM WireSize
forall v.
Wire v =>
WireTag -> FieldType -> Maybe v -> PutM WireSize
P'.wirePutOptWithSize WireTag
16 FieldType
5 Maybe Int32
x'2, UnknownField -> PutM WireSize
P'.wirePutUnknownFieldWithSize UnknownField
x'3]
        put'FieldsSized :: PutM WireSize
put'FieldsSized
         = let size' :: WireSize
size' = (WireSize, ByteString) -> WireSize
forall a b. (a, b) -> a
Prelude'.fst (PutM WireSize -> (WireSize, ByteString)
forall a. PutM a -> (a, ByteString)
P'.runPutM PutM WireSize
put'Fields)
               put'Size :: PutM WireSize
put'Size
                = do
                    WireSize -> Put
P'.putSize WireSize
size'
                    WireSize -> PutM WireSize
forall (m :: * -> *) a. Monad m => a -> m a
Prelude'.return (WireSize -> WireSize
P'.size'WireSize WireSize
size')
            in [PutM WireSize] -> PutM WireSize
forall (f :: * -> *).
Foldable f =>
f (PutM WireSize) -> PutM WireSize
P'.sequencePutWithSize [PutM WireSize
put'Size, PutM WireSize
put'Fields]
  wireGet :: FieldType -> Get ReservedRange
wireGet FieldType
ft'
   = case FieldType
ft' of
       FieldType
10 -> (WireTag -> ReservedRange -> Get ReservedRange)
-> Get ReservedRange
forall message.
(Default message, ReflectDescriptor message) =>
(WireTag -> message -> Get message) -> Get message
P'.getBareMessageWith ((WireTag -> ReservedRange -> Get ReservedRange)
-> (WireTag -> ReservedRange -> Get ReservedRange)
-> WireTag
-> ReservedRange
-> Get ReservedRange
forall a.
(WireTag -> a -> Get a)
-> (WireTag -> a -> Get a) -> WireTag -> a -> Get a
P'.catch'Unknown' WireTag -> ReservedRange -> Get ReservedRange
forall a. UnknownMessage a => WireTag -> a -> Get a
P'.loadUnknown WireTag -> ReservedRange -> Get ReservedRange
update'Self)
       FieldType
11 -> (WireTag -> ReservedRange -> Get ReservedRange)
-> Get ReservedRange
forall message.
(Default message, ReflectDescriptor message) =>
(WireTag -> message -> Get message) -> Get message
P'.getMessageWith ((WireTag -> ReservedRange -> Get ReservedRange)
-> (WireTag -> ReservedRange -> Get ReservedRange)
-> WireTag
-> ReservedRange
-> Get ReservedRange
forall a.
(WireTag -> a -> Get a)
-> (WireTag -> a -> Get a) -> WireTag -> a -> Get a
P'.catch'Unknown' WireTag -> ReservedRange -> Get ReservedRange
forall a. UnknownMessage a => WireTag -> a -> Get a
P'.loadUnknown WireTag -> ReservedRange -> Get ReservedRange
update'Self)
       FieldType
_ -> FieldType -> Get ReservedRange
forall a. Typeable a => FieldType -> Get a
P'.wireGetErr FieldType
ft'
    where
        update'Self :: WireTag -> ReservedRange -> Get ReservedRange
update'Self WireTag
wire'Tag ReservedRange
old'Self
         = case WireTag
wire'Tag of
             WireTag
8 -> (Int32 -> ReservedRange) -> Get Int32 -> Get ReservedRange
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude'.fmap (\ !Int32
new'Field -> ReservedRange
old'Self{start :: Maybe Int32
start = Int32 -> Maybe Int32
forall a. a -> Maybe a
Prelude'.Just Int32
new'Field}) (FieldType -> Get Int32
forall b. Wire b => FieldType -> Get b
P'.wireGet FieldType
5)
             WireTag
16 -> (Int32 -> ReservedRange) -> Get Int32 -> Get ReservedRange
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude'.fmap (\ !Int32
new'Field -> ReservedRange
old'Self{end :: Maybe Int32
end = Int32 -> Maybe Int32
forall a. a -> Maybe a
Prelude'.Just Int32
new'Field}) (FieldType -> Get Int32
forall b. Wire b => FieldType -> Get b
P'.wireGet FieldType
5)
             WireTag
_ -> let (FieldId
field'Number, WireType
wire'Type) = WireTag -> (FieldId, WireType)
P'.splitWireTag WireTag
wire'Tag in FieldId -> WireType -> ReservedRange -> Get ReservedRange
forall a.
(Typeable a, ReflectDescriptor a) =>
FieldId -> WireType -> a -> Get a
P'.unknown FieldId
field'Number WireType
wire'Type ReservedRange
old'Self

instance P'.MessageAPI msg' (msg' -> ReservedRange) ReservedRange where
  getVal :: msg' -> (msg' -> ReservedRange) -> ReservedRange
getVal msg'
m' msg' -> ReservedRange
f' = msg' -> ReservedRange
f' msg'
m'

instance P'.GPB ReservedRange

instance P'.ReflectDescriptor ReservedRange where
  getMessageInfo :: ReservedRange -> GetMessageInfo
getMessageInfo ReservedRange
_ = Set WireTag -> Set WireTag -> GetMessageInfo
P'.GetMessageInfo ([WireTag] -> Set WireTag
forall a. [a] -> Set a
P'.fromDistinctAscList []) ([WireTag] -> Set WireTag
forall a. [a] -> Set a
P'.fromDistinctAscList [WireTag
8, WireTag
16])
  reflectDescriptorInfo :: ReservedRange -> DescriptorInfo
reflectDescriptorInfo ReservedRange
_
   = String -> DescriptorInfo
forall a. Read a => String -> a
Prelude'.read
      String
"DescriptorInfo {descName = ProtoName {protobufName = FIName \".google.protobuf.DescriptorProto.ReservedRange\", haskellPrefix = [MName \"Text\"], parentModule = [MName \"DescriptorProtos\",MName \"DescriptorProto\"], baseName = MName \"ReservedRange\"}, descFilePath = [\"Text\",\"DescriptorProtos\",\"DescriptorProto\",\"ReservedRange.hs\"], isGroup = False, fields = fromList [FieldInfo {fieldName = ProtoFName {protobufName' = FIName \".google.protobuf.DescriptorProto.ReservedRange.start\", haskellPrefix' = [MName \"Text\"], parentModule' = [MName \"DescriptorProtos\",MName \"DescriptorProto\",MName \"ReservedRange\"], baseName' = FName \"start\", baseNamePrefix' = \"\"}, fieldNumber = FieldId {getFieldId = 1}, wireTag = WireTag {getWireTag = 8}, packedTag = Nothing, wireTagLength = 1, isPacked = False, isRequired = False, canRepeat = False, mightPack = False, typeCode = FieldType {getFieldType = 5}, typeName = Nothing, hsRawDefault = Nothing, hsDefault = Nothing},FieldInfo {fieldName = ProtoFName {protobufName' = FIName \".google.protobuf.DescriptorProto.ReservedRange.end\", haskellPrefix' = [MName \"Text\"], parentModule' = [MName \"DescriptorProtos\",MName \"DescriptorProto\",MName \"ReservedRange\"], baseName' = FName \"end\", baseNamePrefix' = \"\"}, fieldNumber = FieldId {getFieldId = 2}, wireTag = WireTag {getWireTag = 16}, packedTag = Nothing, wireTagLength = 1, isPacked = False, isRequired = False, canRepeat = False, mightPack = False, typeCode = FieldType {getFieldType = 5}, typeName = Nothing, hsRawDefault = Nothing, hsDefault = Nothing}], descOneofs = fromList [], keys = fromList [], extRanges = [], knownKeys = fromList [], storeUnknown = True, lazyFields = False, makeLenses = False, jsonInstances = False}"

instance P'.TextType ReservedRange where
  tellT :: String -> ReservedRange -> Output
tellT = String -> ReservedRange -> Output
forall a. TextMsg a => String -> a -> Output
P'.tellSubMessage
  getT :: String -> Parsec s () ReservedRange
getT = String -> Parsec s () ReservedRange
forall s a.
(Stream s Identity Char, TextMsg a) =>
String -> Parsec s () a
P'.getSubMessage

instance P'.TextMsg ReservedRange where
  textPut :: ReservedRange -> Output
textPut ReservedRange
msg
   = do
       String -> Maybe Int32 -> Output
forall a. TextType a => String -> a -> Output
P'.tellT String
"start" (ReservedRange -> Maybe Int32
start ReservedRange
msg)
       String -> Maybe Int32 -> Output
forall a. TextType a => String -> a -> Output
P'.tellT String
"end" (ReservedRange -> Maybe Int32
end ReservedRange
msg)
  textGet :: Parsec s () ReservedRange
textGet
   = do
       [ReservedRange -> ReservedRange]
mods <- ParsecT s () Identity (ReservedRange -> ReservedRange)
-> ParsecT s () Identity ()
-> ParsecT s () Identity [ReservedRange -> ReservedRange]
forall s (m :: * -> *) t u a sep.
Stream s m t =>
ParsecT s u m a -> ParsecT s u m sep -> ParsecT s u m [a]
P'.sepEndBy ([ParsecT s () Identity (ReservedRange -> ReservedRange)]
-> ParsecT s () Identity (ReservedRange -> ReservedRange)
forall s (m :: * -> *) t u a.
Stream s m t =>
[ParsecT s u m a] -> ParsecT s u m a
P'.choice [ParsecT s () Identity (ReservedRange -> ReservedRange)
parse'start, ParsecT s () Identity (ReservedRange -> ReservedRange)
parse'end]) ParsecT s () Identity ()
forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m ()
P'.spaces
       ReservedRange -> Parsec s () ReservedRange
forall (m :: * -> *) a. Monad m => a -> m a
Prelude'.return ((ReservedRange
 -> (ReservedRange -> ReservedRange) -> ReservedRange)
-> ReservedRange
-> [ReservedRange -> ReservedRange]
-> ReservedRange
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
Prelude'.foldl' (\ ReservedRange
v ReservedRange -> ReservedRange
f -> ReservedRange -> ReservedRange
f ReservedRange
v) ReservedRange
forall a. Default a => a
P'.defaultValue [ReservedRange -> ReservedRange]
mods)
    where
        parse'start :: ParsecT s () Identity (ReservedRange -> ReservedRange)
parse'start = (Maybe Int32 -> ReservedRange -> ReservedRange)
-> ParsecT s () Identity (Maybe Int32)
-> ParsecT s () Identity (ReservedRange -> ReservedRange)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude'.fmap (\ Maybe Int32
v ReservedRange
o -> ReservedRange
o{start :: Maybe Int32
start = Maybe Int32
v}) (ParsecT s () Identity (Maybe Int32)
-> ParsecT s () Identity (Maybe Int32)
forall s u (m :: * -> *) a. ParsecT s u m a -> ParsecT s u m a
P'.try (String -> ParsecT s () Identity (Maybe Int32)
forall a s.
(TextType a, Stream s Identity Char) =>
String -> Parsec s () a
P'.getT String
"start"))
        parse'end :: ParsecT s () Identity (ReservedRange -> ReservedRange)
parse'end = (Maybe Int32 -> ReservedRange -> ReservedRange)
-> ParsecT s () Identity (Maybe Int32)
-> ParsecT s () Identity (ReservedRange -> ReservedRange)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
Prelude'.fmap (\ Maybe Int32
v ReservedRange
o -> ReservedRange
o{end :: Maybe Int32
end = Maybe Int32
v}) (ParsecT s () Identity (Maybe Int32)
-> ParsecT s () Identity (Maybe Int32)
forall s u (m :: * -> *) a. ParsecT s u m a -> ParsecT s u m a
P'.try (String -> ParsecT s () Identity (Maybe Int32)
forall a s.
(TextType a, Stream s Identity Char) =>
String -> Parsec s () a
P'.getT String
"end"))