{-# 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"))