{-# LANGUAGE BangPatterns, DeriveDataTypeable, DeriveGeneric, FlexibleInstances, MultiParamTypeClasses #-} {-# OPTIONS_GHC -fno-warn-unused-imports #-} module Text.DescriptorProtos.FieldDescriptorProto.Type (Type(..)) 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 Type = TYPE_DOUBLE | TYPE_FLOAT | TYPE_INT64 | TYPE_UINT64 | TYPE_INT32 | TYPE_FIXED64 | TYPE_FIXED32 | TYPE_BOOL | TYPE_STRING | TYPE_GROUP | TYPE_MESSAGE | TYPE_BYTES | TYPE_UINT32 | TYPE_ENUM | TYPE_SFIXED32 | TYPE_SFIXED64 | TYPE_SINT32 | TYPE_SINT64 deriving (ReadPrec [Type] ReadPrec Type Int -> ReadS Type ReadS [Type] (Int -> ReadS Type) -> ReadS [Type] -> ReadPrec Type -> ReadPrec [Type] -> Read Type forall a. (Int -> ReadS a) -> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a readListPrec :: ReadPrec [Type] $creadListPrec :: ReadPrec [Type] readPrec :: ReadPrec Type $creadPrec :: ReadPrec Type readList :: ReadS [Type] $creadList :: ReadS [Type] readsPrec :: Int -> ReadS Type $creadsPrec :: Int -> ReadS Type Prelude'.Read, Int -> Type -> ShowS [Type] -> ShowS Type -> String (Int -> Type -> ShowS) -> (Type -> String) -> ([Type] -> ShowS) -> Show Type forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Type] -> ShowS $cshowList :: [Type] -> ShowS show :: Type -> String $cshow :: Type -> String showsPrec :: Int -> Type -> ShowS $cshowsPrec :: Int -> Type -> ShowS Prelude'.Show, Type -> Type -> Bool (Type -> Type -> Bool) -> (Type -> Type -> Bool) -> Eq Type forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: Type -> Type -> Bool $c/= :: Type -> Type -> Bool == :: Type -> Type -> Bool $c== :: Type -> Type -> Bool Prelude'.Eq, Eq Type Eq Type -> (Type -> Type -> Ordering) -> (Type -> Type -> Bool) -> (Type -> Type -> Bool) -> (Type -> Type -> Bool) -> (Type -> Type -> Bool) -> (Type -> Type -> Type) -> (Type -> Type -> Type) -> Ord Type Type -> Type -> Bool Type -> Type -> Ordering Type -> Type -> Type 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 :: Type -> Type -> Type $cmin :: Type -> Type -> Type max :: Type -> Type -> Type $cmax :: Type -> Type -> Type >= :: Type -> Type -> Bool $c>= :: Type -> Type -> Bool > :: Type -> Type -> Bool $c> :: Type -> Type -> Bool <= :: Type -> Type -> Bool $c<= :: Type -> Type -> Bool < :: Type -> Type -> Bool $c< :: Type -> Type -> Bool compare :: Type -> Type -> Ordering $ccompare :: Type -> Type -> Ordering $cp1Ord :: Eq Type Prelude'.Ord, Prelude'.Typeable, Typeable Type DataType Constr Typeable Type -> (forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type) -> (forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type) -> (Type -> Constr) -> (Type -> DataType) -> (forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type)) -> (forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type)) -> ((forall b. Data b => b -> b) -> Type -> Type) -> (forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r) -> (forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r) -> (forall u. (forall d. Data d => d -> u) -> Type -> [u]) -> (forall u. Int -> (forall d. Data d => d -> u) -> Type -> u) -> (forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Type -> m Type) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type) -> (forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type) -> Data Type Type -> DataType Type -> Constr (forall b. Data b => b -> b) -> Type -> Type (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type 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) -> Type -> u forall u. (forall d. Data d => d -> u) -> Type -> [u] forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Type -> m Type forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) $cTYPE_SINT64 :: Constr $cTYPE_SINT32 :: Constr $cTYPE_SFIXED64 :: Constr $cTYPE_SFIXED32 :: Constr $cTYPE_ENUM :: Constr $cTYPE_UINT32 :: Constr $cTYPE_BYTES :: Constr $cTYPE_MESSAGE :: Constr $cTYPE_GROUP :: Constr $cTYPE_STRING :: Constr $cTYPE_BOOL :: Constr $cTYPE_FIXED32 :: Constr $cTYPE_FIXED64 :: Constr $cTYPE_INT32 :: Constr $cTYPE_UINT64 :: Constr $cTYPE_INT64 :: Constr $cTYPE_FLOAT :: Constr $cTYPE_DOUBLE :: Constr $tType :: DataType gmapMo :: (forall d. Data d => d -> m d) -> Type -> m Type $cgmapMo :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type gmapMp :: (forall d. Data d => d -> m d) -> Type -> m Type $cgmapMp :: forall (m :: * -> *). MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type gmapM :: (forall d. Data d => d -> m d) -> Type -> m Type $cgmapM :: forall (m :: * -> *). Monad m => (forall d. Data d => d -> m d) -> Type -> m Type gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u $cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> Type -> u gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] $cgmapQ :: forall u. (forall d. Data d => d -> u) -> Type -> [u] gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r $cgmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r $cgmapQl :: forall r r'. (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r gmapT :: (forall b. Data b => b -> b) -> Type -> Type $cgmapT :: (forall b. Data b => b -> b) -> Type -> Type dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) $cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *). Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c Type) $cdataCast1 :: forall (t :: * -> *) (c :: * -> *). Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) dataTypeOf :: Type -> DataType $cdataTypeOf :: Type -> DataType toConstr :: Type -> Constr $ctoConstr :: Type -> Constr gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type $cgunfold :: forall (c :: * -> *). (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type $cgfoldl :: forall (c :: * -> *). (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type $cp1Data :: Typeable Type Prelude'.Data, (forall x. Type -> Rep Type x) -> (forall x. Rep Type x -> Type) -> Generic Type forall x. Rep Type x -> Type forall x. Type -> Rep Type x forall a. (forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a $cto :: forall x. Rep Type x -> Type $cfrom :: forall x. Type -> Rep Type x Prelude'.Generic) instance P'.Mergeable Type instance Prelude'.Bounded Type where minBound :: Type minBound = Type TYPE_DOUBLE maxBound :: Type maxBound = Type TYPE_SINT64 instance P'.Default Type where defaultValue :: Type defaultValue = Type TYPE_DOUBLE toMaybe'Enum :: Prelude'.Int -> P'.Maybe Type toMaybe'Enum :: Int -> Maybe Type toMaybe'Enum Int 1 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_DOUBLE toMaybe'Enum Int 2 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_FLOAT toMaybe'Enum Int 3 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_INT64 toMaybe'Enum Int 4 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_UINT64 toMaybe'Enum Int 5 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_INT32 toMaybe'Enum Int 6 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_FIXED64 toMaybe'Enum Int 7 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_FIXED32 toMaybe'Enum Int 8 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_BOOL toMaybe'Enum Int 9 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_STRING toMaybe'Enum Int 10 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_GROUP toMaybe'Enum Int 11 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_MESSAGE toMaybe'Enum Int 12 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_BYTES toMaybe'Enum Int 13 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_UINT32 toMaybe'Enum Int 14 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_ENUM toMaybe'Enum Int 15 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_SFIXED32 toMaybe'Enum Int 16 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_SFIXED64 toMaybe'Enum Int 17 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_SINT32 toMaybe'Enum Int 18 = Type -> Maybe Type forall a. a -> Maybe a Prelude'.Just Type TYPE_SINT64 toMaybe'Enum Int _ = Maybe Type forall a. Maybe a Prelude'.Nothing instance Prelude'.Enum Type where fromEnum :: Type -> Int fromEnum Type TYPE_DOUBLE = Int 1 fromEnum Type TYPE_FLOAT = Int 2 fromEnum Type TYPE_INT64 = Int 3 fromEnum Type TYPE_UINT64 = Int 4 fromEnum Type TYPE_INT32 = Int 5 fromEnum Type TYPE_FIXED64 = Int 6 fromEnum Type TYPE_FIXED32 = Int 7 fromEnum Type TYPE_BOOL = Int 8 fromEnum Type TYPE_STRING = Int 9 fromEnum Type TYPE_GROUP = Int 10 fromEnum Type TYPE_MESSAGE = Int 11 fromEnum Type TYPE_BYTES = Int 12 fromEnum Type TYPE_UINT32 = Int 13 fromEnum Type TYPE_ENUM = Int 14 fromEnum Type TYPE_SFIXED32 = Int 15 fromEnum Type TYPE_SFIXED64 = Int 16 fromEnum Type TYPE_SINT32 = Int 17 fromEnum Type TYPE_SINT64 = Int 18 toEnum :: Int -> Type toEnum = Type -> Maybe Type -> Type forall a. a -> Maybe a -> a P'.fromMaybe (String -> Type forall a. HasCallStack => String -> a Prelude'.error String "hprotoc generated code: toEnum failure for type Text.DescriptorProtos.FieldDescriptorProto.Type") (Maybe Type -> Type) -> (Int -> Maybe Type) -> Int -> Type forall b c a. (b -> c) -> (a -> b) -> a -> c . Int -> Maybe Type toMaybe'Enum succ :: Type -> Type succ Type TYPE_DOUBLE = Type TYPE_FLOAT succ Type TYPE_FLOAT = Type TYPE_INT64 succ Type TYPE_INT64 = Type TYPE_UINT64 succ Type TYPE_UINT64 = Type TYPE_INT32 succ Type TYPE_INT32 = Type TYPE_FIXED64 succ Type TYPE_FIXED64 = Type TYPE_FIXED32 succ Type TYPE_FIXED32 = Type TYPE_BOOL succ Type TYPE_BOOL = Type TYPE_STRING succ Type TYPE_STRING = Type TYPE_GROUP succ Type TYPE_GROUP = Type TYPE_MESSAGE succ Type TYPE_MESSAGE = Type TYPE_BYTES succ Type TYPE_BYTES = Type TYPE_UINT32 succ Type TYPE_UINT32 = Type TYPE_ENUM succ Type TYPE_ENUM = Type TYPE_SFIXED32 succ Type TYPE_SFIXED32 = Type TYPE_SFIXED64 succ Type TYPE_SFIXED64 = Type TYPE_SINT32 succ Type TYPE_SINT32 = Type TYPE_SINT64 succ Type _ = String -> Type forall a. HasCallStack => String -> a Prelude'.error String "hprotoc generated code: succ failure for type Text.DescriptorProtos.FieldDescriptorProto.Type" pred :: Type -> Type pred Type TYPE_FLOAT = Type TYPE_DOUBLE pred Type TYPE_INT64 = Type TYPE_FLOAT pred Type TYPE_UINT64 = Type TYPE_INT64 pred Type TYPE_INT32 = Type TYPE_UINT64 pred Type TYPE_FIXED64 = Type TYPE_INT32 pred Type TYPE_FIXED32 = Type TYPE_FIXED64 pred Type TYPE_BOOL = Type TYPE_FIXED32 pred Type TYPE_STRING = Type TYPE_BOOL pred Type TYPE_GROUP = Type TYPE_STRING pred Type TYPE_MESSAGE = Type TYPE_GROUP pred Type TYPE_BYTES = Type TYPE_MESSAGE pred Type TYPE_UINT32 = Type TYPE_BYTES pred Type TYPE_ENUM = Type TYPE_UINT32 pred Type TYPE_SFIXED32 = Type TYPE_ENUM pred Type TYPE_SFIXED64 = Type TYPE_SFIXED32 pred Type TYPE_SINT32 = Type TYPE_SFIXED64 pred Type TYPE_SINT64 = Type TYPE_SINT32 pred Type _ = String -> Type forall a. HasCallStack => String -> a Prelude'.error String "hprotoc generated code: pred failure for type Text.DescriptorProtos.FieldDescriptorProto.Type" instance P'.Wire Type where wireSize :: FieldType -> Type -> WireSize wireSize FieldType ft' Type enum = FieldType -> Int -> WireSize forall b. Wire b => FieldType -> b -> WireSize P'.wireSize FieldType ft' (Type -> Int forall a. Enum a => a -> Int Prelude'.fromEnum Type enum) wirePut :: FieldType -> Type -> Put wirePut FieldType ft' Type enum = FieldType -> Int -> Put forall b. Wire b => FieldType -> b -> Put P'.wirePut FieldType ft' (Type -> Int forall a. Enum a => a -> Int Prelude'.fromEnum Type enum) wireGet :: FieldType -> Get Type wireGet FieldType 14 = (Int -> Maybe Type) -> Get Type forall e. (Typeable e, Enum e) => (Int -> Maybe e) -> Get e P'.wireGetEnum Int -> Maybe Type toMaybe'Enum wireGet FieldType ft' = FieldType -> Get Type forall a. Typeable a => FieldType -> Get a P'.wireGetErr FieldType ft' wireGetPacked :: FieldType -> Get (Seq Type) wireGetPacked FieldType 14 = (Int -> Maybe Type) -> Get (Seq Type) forall e. (Typeable e, Enum e) => (Int -> Maybe e) -> Get (Seq e) P'.wireGetPackedEnum Int -> Maybe Type toMaybe'Enum wireGetPacked FieldType ft' = FieldType -> Get (Seq Type) forall a. Typeable a => FieldType -> Get a P'.wireGetErr FieldType ft' instance P'.GPB Type instance P'.MessageAPI msg' (msg' -> Type) Type where getVal :: msg' -> (msg' -> Type) -> Type getVal msg' m' msg' -> Type f' = msg' -> Type f' msg' m' instance P'.ReflectEnum Type where reflectEnum :: EnumInfoApp Type reflectEnum = [(EnumCode 1, String "TYPE_DOUBLE", Type TYPE_DOUBLE), (EnumCode 2, String "TYPE_FLOAT", Type TYPE_FLOAT), (EnumCode 3, String "TYPE_INT64", Type TYPE_INT64), (EnumCode 4, String "TYPE_UINT64", Type TYPE_UINT64), (EnumCode 5, String "TYPE_INT32", Type TYPE_INT32), (EnumCode 6, String "TYPE_FIXED64", Type TYPE_FIXED64), (EnumCode 7, String "TYPE_FIXED32", Type TYPE_FIXED32), (EnumCode 8, String "TYPE_BOOL", Type TYPE_BOOL), (EnumCode 9, String "TYPE_STRING", Type TYPE_STRING), (EnumCode 10, String "TYPE_GROUP", Type TYPE_GROUP), (EnumCode 11, String "TYPE_MESSAGE", Type TYPE_MESSAGE), (EnumCode 12, String "TYPE_BYTES", Type TYPE_BYTES), (EnumCode 13, String "TYPE_UINT32", Type TYPE_UINT32), (EnumCode 14, String "TYPE_ENUM", Type TYPE_ENUM), (EnumCode 15, String "TYPE_SFIXED32", Type TYPE_SFIXED32), (EnumCode 16, String "TYPE_SFIXED64", Type TYPE_SFIXED64), (EnumCode 17, String "TYPE_SINT32", Type TYPE_SINT32), (EnumCode 18, String "TYPE_SINT64", Type TYPE_SINT64)] reflectEnumInfo :: Type -> EnumInfo reflectEnumInfo Type _ = ProtoName -> [String] -> [(EnumCode, String)] -> Bool -> EnumInfo P'.EnumInfo (ByteString -> [String] -> [String] -> String -> ProtoName P'.makePNF (String -> ByteString P'.pack String ".google.protobuf.FieldDescriptorProto.Type") [String "Text"] [String "DescriptorProtos", String "FieldDescriptorProto"] String "Type") [String "Text", String "DescriptorProtos", String "FieldDescriptorProto", String "Type.hs"] [(EnumCode 1, String "TYPE_DOUBLE"), (EnumCode 2, String "TYPE_FLOAT"), (EnumCode 3, String "TYPE_INT64"), (EnumCode 4, String "TYPE_UINT64"), (EnumCode 5, String "TYPE_INT32"), (EnumCode 6, String "TYPE_FIXED64"), (EnumCode 7, String "TYPE_FIXED32"), (EnumCode 8, String "TYPE_BOOL"), (EnumCode 9, String "TYPE_STRING"), (EnumCode 10, String "TYPE_GROUP"), (EnumCode 11, String "TYPE_MESSAGE"), (EnumCode 12, String "TYPE_BYTES"), (EnumCode 13, String "TYPE_UINT32"), (EnumCode 14, String "TYPE_ENUM"), (EnumCode 15, String "TYPE_SFIXED32"), (EnumCode 16, String "TYPE_SFIXED64"), (EnumCode 17, String "TYPE_SINT32"), (EnumCode 18, String "TYPE_SINT64")] Bool Prelude'.True instance P'.TextType Type where tellT :: String -> Type -> Output tellT = String -> Type -> Output forall a. Show a => String -> a -> Output P'.tellShow getT :: String -> Parsec s () Type getT = String -> Parsec s () Type forall a s. (Read a, Stream s Identity Char) => String -> Parsec s () a P'.getRead