{-# LANGUAGE BangPatterns, DeriveDataTypeable, DeriveGeneric, FlexibleInstances, MultiParamTypeClasses #-} {-# OPTIONS_GHC -fno-warn-unused-imports #-} module Text.DescriptorProtos.FieldOptions.CType (CType(..)) 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 CType = STRING | CORD | STRING_PIECE deriving (ReadPrec [CType] ReadPrec CType Int -> ReadS CType ReadS [CType] (Int -> ReadS CType) -> ReadS [CType] -> ReadPrec CType -> ReadPrec [CType] -> Read CType forall a. (Int -> ReadS a) -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a readListPrec :: ReadPrec [CType] $creadListPrec :: ReadPrec [CType] readPrec :: ReadPrec CType $creadPrec :: ReadPrec CType readList :: ReadS [CType] $creadList :: ReadS [CType] readsPrec :: Int -> ReadS CType $creadsPrec :: Int -> ReadS CType Prelude'.Read, Int -> CType -> ShowS [CType] -> ShowS CType -> String (Int -> CType -> ShowS) -> (CType -> String) -> ([CType] -> ShowS) -> Show CType forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [CType] -> ShowS $cshowList :: [CType] -> ShowS show :: CType -> String $cshow :: CType -> String showsPrec :: Int -> CType -> ShowS $cshowsPrec :: Int -> CType -> ShowS Prelude'.Show, CType -> CType -> Bool (CType -> CType -> Bool) -> (CType -> CType -> Bool) -> Eq CType forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: CType -> CType -> Bool $c/= :: CType -> CType -> Bool == :: CType -> CType -> Bool $c== :: CType -> CType -> Bool Prelude'.Eq, Eq CType Eq CType -> (CType -> CType -> Ordering) -> (CType -> CType -> Bool) -> (CType -> CType -> Bool) -> (CType -> CType -> Bool) -> (CType -> CType -> Bool) -> (CType -> CType -> CType) -> (CType -> CType -> CType) -> Ord CType CType -> CType -> Bool CType -> CType -> Ordering CType -> CType -> CType 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 :: CType -> CType -> CType $cmin :: CType -> CType -> CType max :: CType -> CType -> CType $cmax :: CType -> CType -> CType >= :: CType -> CType -> Bool $c>= :: CType -> CType -> Bool > :: CType -> CType -> Bool $c> :: CType -> CType -> Bool <= :: CType -> CType -> Bool $c<= :: CType -> CType -> Bool < :: CType -> CType -> Bool $c< :: CType -> CType -> Bool compare :: CType -> CType -> Ordering $ccompare :: CType -> CType -> Ordering $cp1Ord :: Eq CType Prelude'.Ord, Prelude'.Typeable, Typeable CType DataType Constr Typeable CType -> (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType -> c CType) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CType) -> (CType -> Constr) -> (CType -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CType)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CType)) -> ((forall b. Data b => b -> b) -> CType -> CType) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r) -> (forall u. (forall d. Data d => d -> u) -> CType -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> CType -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> CType -> m CType) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType) -> Data CType CType -> DataType CType -> Constr (forall b. Data b => b -> b) -> CType -> CType (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType -> c CType (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CType 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) -> CType -> u forall u. (forall d. Data d => d -> u) -> CType -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> CType -> m CType forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CType forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType -> c CType forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CType) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CType) $cSTRING_PIECE :: Constr $cCORD :: Constr $cSTRING :: Constr $tCType :: DataType gmapMo :: (forall d. Data d => d -> m d) -> CType -> m CType $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType gmapMp :: (forall d. Data d => d -> m d) -> CType -> m CType $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> CType -> m CType gmapM :: (forall d. Data d => d -> m d) -> CType -> m CType $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> CType -> m CType gmapQi :: Int -> (forall d. Data d => d -> u) -> CType -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> CType -> u gmapQ :: (forall d. Data d => d -> u) -> CType -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> CType -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CType -> r gmapT :: (forall b. Data b => b -> b) -> CType -> CType $cgmapT :: (forall b. Data b => b -> b) -> CType -> CType dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CType) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CType) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c CType) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CType) dataTypeOf :: CType -> DataType $cdataTypeOf :: CType -> DataType toConstr :: CType -> Constr $ctoConstr :: CType -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CType $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CType gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType -> c CType $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CType -> c CType $cp1Data :: Typeable CType Prelude'.Data, (forall x. CType -> Rep CType x) -> (forall x. Rep CType x -> CType) -> Generic CType forall x. Rep CType x -> CType forall x. CType -> Rep CType x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep CType x -> CType $cfrom :: forall x. CType -> Rep CType x Prelude'.Generic) instance P'.Mergeable CType instance Prelude'.Bounded CType where minBound :: CType minBound = CType STRING maxBound :: CType maxBound = CType STRING_PIECE instance P'.Default CType where defaultValue :: CType defaultValue = CType STRING toMaybe'Enum :: Prelude'.Int -> P'.Maybe CType toMaybe'Enum :: Int -> Maybe CType toMaybe'Enum Int 0 = CType -> Maybe CType forall a. a -> Maybe a Prelude'.Just CType STRING toMaybe'Enum Int 1 = CType -> Maybe CType forall a. a -> Maybe a Prelude'.Just CType CORD toMaybe'Enum Int 2 = CType -> Maybe CType forall a. a -> Maybe a Prelude'.Just CType STRING_PIECE toMaybe'Enum Int _ = Maybe CType forall a. Maybe a Prelude'.Nothing instance Prelude'.Enum CType where fromEnum :: CType -> Int fromEnum CType STRING = Int 0 fromEnum CType CORD = Int 1 fromEnum CType STRING_PIECE = Int 2 toEnum :: Int -> CType toEnum = CType -> Maybe CType -> CType forall a. a -> Maybe a -> a P'.fromMaybe (String -> CType forall a. HasCallStack => String -> a Prelude'.error String "hprotoc generated code: toEnum failure for type Text.DescriptorProtos.FieldOptions.CType") (Maybe CType -> CType) -> (Int -> Maybe CType) -> Int -> CType forall b c a. (b -> c) -> (a -> b) -> a -> c . Int -> Maybe CType toMaybe'Enum succ :: CType -> CType succ CType STRING = CType CORD succ CType CORD = CType STRING_PIECE succ CType _ = String -> CType forall a. HasCallStack => String -> a Prelude'.error String "hprotoc generated code: succ failure for type Text.DescriptorProtos.FieldOptions.CType" pred :: CType -> CType pred CType CORD = CType STRING pred CType STRING_PIECE = CType CORD pred CType _ = String -> CType forall a. HasCallStack => String -> a Prelude'.error String "hprotoc generated code: pred failure for type Text.DescriptorProtos.FieldOptions.CType" instance P'.Wire CType where wireSize :: FieldType -> CType -> WireSize wireSize FieldType ft' CType enum = FieldType -> Int -> WireSize forall b. Wire b => FieldType -> b -> WireSize P'.wireSize FieldType ft' (CType -> Int forall a. Enum a => a -> Int Prelude'.fromEnum CType enum) wirePut :: FieldType -> CType -> Put wirePut FieldType ft' CType enum = FieldType -> Int -> Put forall b. Wire b => FieldType -> b -> Put P'.wirePut FieldType ft' (CType -> Int forall a. Enum a => a -> Int Prelude'.fromEnum CType enum) wireGet :: FieldType -> Get CType wireGet FieldType 14 = (Int -> Maybe CType) -> Get CType forall e. (Typeable e, Enum e) => (Int -> Maybe e) -> Get e P'.wireGetEnum Int -> Maybe CType toMaybe'Enum wireGet FieldType ft' = FieldType -> Get CType forall a. Typeable a => FieldType -> Get a P'.wireGetErr FieldType ft' wireGetPacked :: FieldType -> Get (Seq CType) wireGetPacked FieldType 14 = (Int -> Maybe CType) -> Get (Seq CType) forall e. (Typeable e, Enum e) => (Int -> Maybe e) -> Get (Seq e) P'.wireGetPackedEnum Int -> Maybe CType toMaybe'Enum wireGetPacked FieldType ft' = FieldType -> Get (Seq CType) forall a. Typeable a => FieldType -> Get a P'.wireGetErr FieldType ft' instance P'.GPB CType instance P'.MessageAPI msg' (msg' -> CType) CType where getVal :: msg' -> (msg' -> CType) -> CType getVal msg' m' msg' -> CType f' = msg' -> CType f' msg' m' instance P'.ReflectEnum CType where reflectEnum :: EnumInfoApp CType reflectEnum = [(EnumCode 0, String "STRING", CType STRING), (EnumCode 1, String "CORD", CType CORD), (EnumCode 2, String "STRING_PIECE", CType STRING_PIECE)] reflectEnumInfo :: CType -> EnumInfo reflectEnumInfo CType _ = ProtoName -> [String] -> [(EnumCode, String)] -> Bool -> EnumInfo P'.EnumInfo (ByteString -> [String] -> [String] -> String -> ProtoName P'.makePNF (String -> ByteString P'.pack String ".google.protobuf.FieldOptions.CType") [String "Text"] [String "DescriptorProtos", String "FieldOptions"] String "CType") [String "Text", String "DescriptorProtos", String "FieldOptions", String "CType.hs"] [(EnumCode 0, String "STRING"), (EnumCode 1, String "CORD"), (EnumCode 2, String "STRING_PIECE")] Bool Prelude'.True instance P'.TextType CType where tellT :: String -> CType -> Output tellT = String -> CType -> Output forall a. Show a => String -> a -> Output P'.tellShow getT :: String -> Parsec s () CType getT = String -> Parsec s () CType forall a s. (Read a, Stream s Identity Char) => String -> Parsec s () a P'.getRead