{-# LANGUAGE BangPatterns, DeriveDataTypeable, DeriveGeneric, FlexibleInstances, MultiParamTypeClasses, OverloadedStrings #-} {-# OPTIONS_GHC -w #-} module Text.DescriptorProtos.FileDescriptorSet (FileDescriptorSet(..)) 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' import qualified Text.DescriptorProtos.FileDescriptorProto as DescriptorProtos (FileDescriptorProto) data FileDescriptorSet = FileDescriptorSet{FileDescriptorSet -> Seq FileDescriptorProto file :: !(P'.Seq DescriptorProtos.FileDescriptorProto), FileDescriptorSet -> UnknownField unknown'field :: !(P'.UnknownField)} deriving (Int -> FileDescriptorSet -> ShowS [FileDescriptorSet] -> ShowS FileDescriptorSet -> String (Int -> FileDescriptorSet -> ShowS) -> (FileDescriptorSet -> String) -> ([FileDescriptorSet] -> ShowS) -> Show FileDescriptorSet forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [FileDescriptorSet] -> ShowS $cshowList :: [FileDescriptorSet] -> ShowS show :: FileDescriptorSet -> String $cshow :: FileDescriptorSet -> String showsPrec :: Int -> FileDescriptorSet -> ShowS $cshowsPrec :: Int -> FileDescriptorSet -> ShowS Prelude'.Show, FileDescriptorSet -> FileDescriptorSet -> Bool (FileDescriptorSet -> FileDescriptorSet -> Bool) -> (FileDescriptorSet -> FileDescriptorSet -> Bool) -> Eq FileDescriptorSet forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: FileDescriptorSet -> FileDescriptorSet -> Bool $c/= :: FileDescriptorSet -> FileDescriptorSet -> Bool == :: FileDescriptorSet -> FileDescriptorSet -> Bool $c== :: FileDescriptorSet -> FileDescriptorSet -> Bool Prelude'.Eq, Eq FileDescriptorSet Eq FileDescriptorSet -> (FileDescriptorSet -> FileDescriptorSet -> Ordering) -> (FileDescriptorSet -> FileDescriptorSet -> Bool) -> (FileDescriptorSet -> FileDescriptorSet -> Bool) -> (FileDescriptorSet -> FileDescriptorSet -> Bool) -> (FileDescriptorSet -> FileDescriptorSet -> Bool) -> (FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet) -> (FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet) -> Ord FileDescriptorSet FileDescriptorSet -> FileDescriptorSet -> Bool FileDescriptorSet -> FileDescriptorSet -> Ordering FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet 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 :: FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet $cmin :: FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet max :: FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet $cmax :: FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet >= :: FileDescriptorSet -> FileDescriptorSet -> Bool $c>= :: FileDescriptorSet -> FileDescriptorSet -> Bool > :: FileDescriptorSet -> FileDescriptorSet -> Bool $c> :: FileDescriptorSet -> FileDescriptorSet -> Bool <= :: FileDescriptorSet -> FileDescriptorSet -> Bool $c<= :: FileDescriptorSet -> FileDescriptorSet -> Bool < :: FileDescriptorSet -> FileDescriptorSet -> Bool $c< :: FileDescriptorSet -> FileDescriptorSet -> Bool compare :: FileDescriptorSet -> FileDescriptorSet -> Ordering $ccompare :: FileDescriptorSet -> FileDescriptorSet -> Ordering $cp1Ord :: Eq FileDescriptorSet Prelude'.Ord, Prelude'.Typeable, Typeable FileDescriptorSet DataType Constr Typeable FileDescriptorSet -> (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileDescriptorSet -> c FileDescriptorSet) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileDescriptorSet) -> (FileDescriptorSet -> Constr) -> (FileDescriptorSet -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FileDescriptorSet)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileDescriptorSet)) -> ((forall b. Data b => b -> b) -> FileDescriptorSet -> FileDescriptorSet) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r) -> (forall u. (forall d. Data d => d -> u) -> FileDescriptorSet -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> FileDescriptorSet -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet) -> Data FileDescriptorSet FileDescriptorSet -> DataType FileDescriptorSet -> Constr (forall b. Data b => b -> b) -> FileDescriptorSet -> FileDescriptorSet (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileDescriptorSet -> c FileDescriptorSet (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileDescriptorSet 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) -> FileDescriptorSet -> u forall u. (forall d. Data d => d -> u) -> FileDescriptorSet -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileDescriptorSet forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileDescriptorSet -> c FileDescriptorSet forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FileDescriptorSet) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileDescriptorSet) $cFileDescriptorSet :: Constr $tFileDescriptorSet :: DataType gmapMo :: (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet gmapMp :: (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet gmapM :: (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> FileDescriptorSet -> m FileDescriptorSet gmapQi :: Int -> (forall d. Data d => d -> u) -> FileDescriptorSet -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> FileDescriptorSet -> u gmapQ :: (forall d. Data d => d -> u) -> FileDescriptorSet -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> FileDescriptorSet -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorSet -> r gmapT :: (forall b. Data b => b -> b) -> FileDescriptorSet -> FileDescriptorSet $cgmapT :: (forall b. Data b => b -> b) -> FileDescriptorSet -> FileDescriptorSet dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileDescriptorSet) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileDescriptorSet) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c FileDescriptorSet) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FileDescriptorSet) dataTypeOf :: FileDescriptorSet -> DataType $cdataTypeOf :: FileDescriptorSet -> DataType toConstr :: FileDescriptorSet -> Constr $ctoConstr :: FileDescriptorSet -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileDescriptorSet $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileDescriptorSet gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileDescriptorSet -> c FileDescriptorSet $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileDescriptorSet -> c FileDescriptorSet $cp1Data :: Typeable FileDescriptorSet Prelude'.Data, (forall x. FileDescriptorSet -> Rep FileDescriptorSet x) -> (forall x. Rep FileDescriptorSet x -> FileDescriptorSet) -> Generic FileDescriptorSet forall x. Rep FileDescriptorSet x -> FileDescriptorSet forall x. FileDescriptorSet -> Rep FileDescriptorSet x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep FileDescriptorSet x -> FileDescriptorSet $cfrom :: forall x. FileDescriptorSet -> Rep FileDescriptorSet x Prelude'.Generic) instance P'.UnknownMessage FileDescriptorSet where getUnknownField :: FileDescriptorSet -> UnknownField getUnknownField = FileDescriptorSet -> UnknownField unknown'field putUnknownField :: UnknownField -> FileDescriptorSet -> FileDescriptorSet putUnknownField UnknownField u'f FileDescriptorSet msg = FileDescriptorSet msg{unknown'field :: UnknownField unknown'field = UnknownField u'f} instance P'.Mergeable FileDescriptorSet where mergeAppend :: FileDescriptorSet -> FileDescriptorSet -> FileDescriptorSet mergeAppend (FileDescriptorSet Seq FileDescriptorProto x'1 UnknownField x'2) (FileDescriptorSet Seq FileDescriptorProto y'1 UnknownField y'2) = let !z'1 :: Seq FileDescriptorProto z'1 = Seq FileDescriptorProto -> Seq FileDescriptorProto -> Seq FileDescriptorProto forall a. Mergeable a => a -> a -> a P'.mergeAppend Seq FileDescriptorProto x'1 Seq FileDescriptorProto y'1 !z'2 :: UnknownField z'2 = UnknownField -> UnknownField -> UnknownField forall a. Mergeable a => a -> a -> a P'.mergeAppend UnknownField x'2 UnknownField y'2 in Seq FileDescriptorProto -> UnknownField -> FileDescriptorSet FileDescriptorSet Seq FileDescriptorProto z'1 UnknownField z'2 instance P'.Default FileDescriptorSet where defaultValue :: FileDescriptorSet defaultValue = Seq FileDescriptorProto -> UnknownField -> FileDescriptorSet FileDescriptorSet Seq FileDescriptorProto forall a. Default a => a P'.defaultValue UnknownField forall a. Default a => a P'.defaultValue instance P'.Wire FileDescriptorSet where wireSize :: FieldType -> FileDescriptorSet -> WireSize wireSize FieldType ft' self' :: FileDescriptorSet self'@(FileDescriptorSet Seq FileDescriptorProto x'1 UnknownField x'2) = case FieldType ft' of FieldType 10 -> WireSize calc'Size FieldType 11 -> WireSize -> WireSize P'.prependMessageSize WireSize calc'Size FieldType _ -> FieldType -> FileDescriptorSet -> WireSize forall a. Typeable a => FieldType -> a -> WireSize P'.wireSizeErr FieldType ft' FileDescriptorSet self' where calc'Size :: WireSize calc'Size = (WireSize -> FieldType -> Seq FileDescriptorProto -> WireSize forall v. Wire v => WireSize -> FieldType -> Seq v -> WireSize P'.wireSizeRep WireSize 1 FieldType 11 Seq FileDescriptorProto x'1 WireSize -> WireSize -> WireSize forall a. Num a => a -> a -> a + UnknownField -> WireSize P'.wireSizeUnknownField UnknownField x'2) wirePutWithSize :: FieldType -> FileDescriptorSet -> PutM WireSize wirePutWithSize FieldType ft' self' :: FileDescriptorSet self'@(FileDescriptorSet Seq FileDescriptorProto x'1 UnknownField x'2) = case FieldType ft' of FieldType 10 -> PutM WireSize put'Fields FieldType 11 -> PutM WireSize put'FieldsSized FieldType _ -> FieldType -> FileDescriptorSet -> PutM WireSize forall a b. Typeable a => FieldType -> a -> PutM b P'.wirePutErr FieldType ft' FileDescriptorSet 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 -> Seq FileDescriptorProto -> PutM WireSize forall v. Wire v => WireTag -> FieldType -> Seq v -> PutM WireSize P'.wirePutRepWithSize WireTag 10 FieldType 11 Seq FileDescriptorProto x'1, UnknownField -> PutM WireSize P'.wirePutUnknownFieldWithSize UnknownField x'2] 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 FileDescriptorSet wireGet FieldType ft' = case FieldType ft' of FieldType 10 -> (WireTag -> FileDescriptorSet -> Get FileDescriptorSet) -> Get FileDescriptorSet forall message. (Default message, ReflectDescriptor message) => (WireTag -> message -> Get message) -> Get message P'.getBareMessageWith ((WireTag -> FileDescriptorSet -> Get FileDescriptorSet) -> (WireTag -> FileDescriptorSet -> Get FileDescriptorSet) -> WireTag -> FileDescriptorSet -> Get FileDescriptorSet forall a. (WireTag -> a -> Get a) -> (WireTag -> a -> Get a) -> WireTag -> a -> Get a P'.catch'Unknown' WireTag -> FileDescriptorSet -> Get FileDescriptorSet forall a. UnknownMessage a => WireTag -> a -> Get a P'.loadUnknown WireTag -> FileDescriptorSet -> Get FileDescriptorSet update'Self) FieldType 11 -> (WireTag -> FileDescriptorSet -> Get FileDescriptorSet) -> Get FileDescriptorSet forall message. (Default message, ReflectDescriptor message) => (WireTag -> message -> Get message) -> Get message P'.getMessageWith ((WireTag -> FileDescriptorSet -> Get FileDescriptorSet) -> (WireTag -> FileDescriptorSet -> Get FileDescriptorSet) -> WireTag -> FileDescriptorSet -> Get FileDescriptorSet forall a. (WireTag -> a -> Get a) -> (WireTag -> a -> Get a) -> WireTag -> a -> Get a P'.catch'Unknown' WireTag -> FileDescriptorSet -> Get FileDescriptorSet forall a. UnknownMessage a => WireTag -> a -> Get a P'.loadUnknown WireTag -> FileDescriptorSet -> Get FileDescriptorSet update'Self) FieldType _ -> FieldType -> Get FileDescriptorSet forall a. Typeable a => FieldType -> Get a P'.wireGetErr FieldType ft' where update'Self :: WireTag -> FileDescriptorSet -> Get FileDescriptorSet update'Self WireTag wire'Tag FileDescriptorSet old'Self = case WireTag wire'Tag of WireTag 10 -> (FileDescriptorProto -> FileDescriptorSet) -> Get FileDescriptorProto -> Get FileDescriptorSet forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b Prelude'.fmap (\ !FileDescriptorProto new'Field -> FileDescriptorSet old'Self{file :: Seq FileDescriptorProto file = Seq FileDescriptorProto -> FileDescriptorProto -> Seq FileDescriptorProto forall a. Seq a -> a -> Seq a P'.append (FileDescriptorSet -> Seq FileDescriptorProto file FileDescriptorSet old'Self) FileDescriptorProto new'Field}) (FieldType -> Get FileDescriptorProto forall b. Wire b => FieldType -> Get b P'.wireGet FieldType 11) WireTag _ -> let (FieldId field'Number, WireType wire'Type) = WireTag -> (FieldId, WireType) P'.splitWireTag WireTag wire'Tag in FieldId -> WireType -> FileDescriptorSet -> Get FileDescriptorSet forall a. (Typeable a, ReflectDescriptor a) => FieldId -> WireType -> a -> Get a P'.unknown FieldId field'Number WireType wire'Type FileDescriptorSet old'Self instance P'.MessageAPI msg' (msg' -> FileDescriptorSet) FileDescriptorSet where getVal :: msg' -> (msg' -> FileDescriptorSet) -> FileDescriptorSet getVal msg' m' msg' -> FileDescriptorSet f' = msg' -> FileDescriptorSet f' msg' m' instance P'.GPB FileDescriptorSet instance P'.ReflectDescriptor FileDescriptorSet where getMessageInfo :: FileDescriptorSet -> GetMessageInfo getMessageInfo FileDescriptorSet _ = 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 10]) reflectDescriptorInfo :: FileDescriptorSet -> DescriptorInfo reflectDescriptorInfo FileDescriptorSet _ = String -> DescriptorInfo forall a. Read a => String -> a Prelude'.read String "DescriptorInfo {descName = ProtoName {protobufName = FIName \".google.protobuf.FileDescriptorSet\", haskellPrefix = [MName \"Text\"], parentModule = [MName \"DescriptorProtos\"], baseName = MName \"FileDescriptorSet\"}, descFilePath = [\"Text\",\"DescriptorProtos\",\"FileDescriptorSet.hs\"], isGroup = False, fields = fromList [FieldInfo {fieldName = ProtoFName {protobufName' = FIName \".google.protobuf.FileDescriptorSet.file\", haskellPrefix' = [MName \"Text\"], parentModule' = [MName \"DescriptorProtos\",MName \"FileDescriptorSet\"], baseName' = FName \"file\", baseNamePrefix' = \"\"}, fieldNumber = FieldId {getFieldId = 1}, wireTag = WireTag {getWireTag = 10}, packedTag = Nothing, wireTagLength = 1, isPacked = False, isRequired = False, canRepeat = True, mightPack = False, typeCode = FieldType {getFieldType = 11}, typeName = Just (ProtoName {protobufName = FIName \".google.protobuf.FileDescriptorProto\", haskellPrefix = [MName \"Text\"], parentModule = [MName \"DescriptorProtos\"], baseName = MName \"FileDescriptorProto\"}), hsRawDefault = Nothing, hsDefault = Nothing}], descOneofs = fromList [], keys = fromList [], extRanges = [], knownKeys = fromList [], storeUnknown = True, lazyFields = False, makeLenses = False, jsonInstances = False}" instance P'.TextType FileDescriptorSet where tellT :: String -> FileDescriptorSet -> Output tellT = String -> FileDescriptorSet -> Output forall a. TextMsg a => String -> a -> Output P'.tellSubMessage getT :: String -> Parsec s () FileDescriptorSet getT = String -> Parsec s () FileDescriptorSet forall s a. (Stream s Identity Char, TextMsg a) => String -> Parsec s () a P'.getSubMessage instance P'.TextMsg FileDescriptorSet where textPut :: FileDescriptorSet -> Output textPut FileDescriptorSet msg = do String -> Seq FileDescriptorProto -> Output forall a. TextType a => String -> a -> Output P'.tellT String "file" (FileDescriptorSet -> Seq FileDescriptorProto file FileDescriptorSet msg) textGet :: Parsec s () FileDescriptorSet textGet = do [FileDescriptorSet -> FileDescriptorSet] mods <- ParsecT s () Identity (FileDescriptorSet -> FileDescriptorSet) -> ParsecT s () Identity () -> ParsecT s () Identity [FileDescriptorSet -> FileDescriptorSet] 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 (FileDescriptorSet -> FileDescriptorSet)] -> ParsecT s () Identity (FileDescriptorSet -> FileDescriptorSet) 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 (FileDescriptorSet -> FileDescriptorSet) parse'file]) ParsecT s () Identity () forall s (m :: * -> *) u. Stream s m Char => ParsecT s u m () P'.spaces FileDescriptorSet -> Parsec s () FileDescriptorSet forall (m :: * -> *) a. Monad m => a -> m a Prelude'.return ((FileDescriptorSet -> (FileDescriptorSet -> FileDescriptorSet) -> FileDescriptorSet) -> FileDescriptorSet -> [FileDescriptorSet -> FileDescriptorSet] -> FileDescriptorSet forall (t :: * -> *) b a. Foldable t => (b -> a -> b) -> b -> t a -> b Prelude'.foldl' (\ FileDescriptorSet v FileDescriptorSet -> FileDescriptorSet f -> FileDescriptorSet -> FileDescriptorSet f FileDescriptorSet v) FileDescriptorSet forall a. Default a => a P'.defaultValue [FileDescriptorSet -> FileDescriptorSet] mods) where parse'file :: ParsecT s () Identity (FileDescriptorSet -> FileDescriptorSet) parse'file = (FileDescriptorProto -> FileDescriptorSet -> FileDescriptorSet) -> ParsecT s () Identity FileDescriptorProto -> ParsecT s () Identity (FileDescriptorSet -> FileDescriptorSet) forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b Prelude'.fmap (\ FileDescriptorProto v FileDescriptorSet o -> FileDescriptorSet o{file :: Seq FileDescriptorProto file = Seq FileDescriptorProto -> FileDescriptorProto -> Seq FileDescriptorProto forall a. Seq a -> a -> Seq a P'.append (FileDescriptorSet -> Seq FileDescriptorProto file FileDescriptorSet o) FileDescriptorProto v}) (ParsecT s () Identity FileDescriptorProto -> ParsecT s () Identity FileDescriptorProto forall s u (m :: * -> *) a. ParsecT s u m a -> ParsecT s u m a P'.try (String -> ParsecT s () Identity FileDescriptorProto forall a s. (TextType a, Stream s Identity Char) => String -> Parsec s () a P'.getT String "file"))