{-# LANGUAGE BangPatterns, DeriveDataTypeable, DeriveGeneric, FlexibleInstances, MultiParamTypeClasses #-} {-# OPTIONS_GHC -fno-warn-unused-imports #-} module Text.DescriptorProtos.DescriptorProto.ReservedRange (ReservedRange(..)) where import Prelude ((+), (/)) import qualified Prelude 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) = Maybe Int32 -> Maybe Int32 -> UnknownField -> ReservedRange ReservedRange (Maybe Int32 -> Maybe Int32 -> Maybe Int32 forall a. Mergeable a => a -> a -> a P'.mergeAppend Maybe Int32 x'1 Maybe Int32 y'1) (Maybe Int32 -> Maybe Int32 -> Maybe Int32 forall a. Mergeable a => a -> a -> a P'.mergeAppend Maybe Int32 x'2 Maybe Int32 y'2) (UnknownField -> UnknownField -> UnknownField forall a. Mergeable a => a -> a -> a P'.mergeAppend UnknownField x'3 UnknownField y'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 forall a. UnknownMessage a => (WireTag -> a -> Get a) -> WireTag -> a -> Get a P'.catch'Unknown 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 forall a. UnknownMessage a => (WireTag -> a -> Get a) -> WireTag -> a -> Get a P'.catch'Unknown 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}" 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 = ParsecT s () Identity (ReservedRange -> ReservedRange) -> ParsecT s () Identity (ReservedRange -> ReservedRange) forall s u (m :: * -> *) a. ParsecT s u m a -> ParsecT s u m a P'.try (do Maybe Int32 v <- String -> Parsec s () (Maybe Int32) forall a s. (TextType a, Stream s Identity Char) => String -> Parsec s () a P'.getT String "start" (ReservedRange -> ReservedRange) -> ParsecT s () Identity (ReservedRange -> ReservedRange) forall (m :: * -> *) a. Monad m => a -> m a Prelude'.return (\ ReservedRange o -> ReservedRange o{start :: Maybe Int32 start = Maybe Int32 v})) parse'end :: ParsecT s () Identity (ReservedRange -> ReservedRange) parse'end = ParsecT s () Identity (ReservedRange -> ReservedRange) -> ParsecT s () Identity (ReservedRange -> ReservedRange) forall s u (m :: * -> *) a. ParsecT s u m a -> ParsecT s u m a P'.try (do Maybe Int32 v <- String -> Parsec s () (Maybe Int32) forall a s. (TextType a, Stream s Identity Char) => String -> Parsec s () a P'.getT String "end" (ReservedRange -> ReservedRange) -> ParsecT s () Identity (ReservedRange -> ReservedRange) forall (m :: * -> *) a. Monad m => a -> m a Prelude'.return (\ ReservedRange o -> ReservedRange o{end :: Maybe Int32 end = Maybe Int32 v}))