Safe Haskell	None
Language	Haskell98

Text.ProtocolBuffers.Reflections

Description

A strong feature of the protocol-buffers package is that it does not contain any structures defined by descriptor.proto! This prevents me hitting any annoying circular dependencies. The structures defined here are included in each module created by hprotoc. They are optimized for use in code generation.

These values can be inspected at runtime by the user's code, but I have yet to write much documentation. Luckily the record field names are somewhat descriptive.

The other reflection is using the fileDescriptorProto which is put into the top level module created by hprotoc.

Synopsis

data ProtoName = ProtoName {
- protobufName :: FIName Utf8
- haskellPrefix :: [MName String]
- parentModule :: [MName String]
- baseName :: MName String
}
data ProtoFName = ProtoFName {
- protobufName' :: FIName Utf8
- haskellPrefix' :: [MName String]
- parentModule' :: [MName String]
- baseName' :: FName String
- baseNamePrefix' :: String
}
data ProtoInfo = ProtoInfo {
- protoMod :: ProtoName
- protoFilePath :: [FilePath]
- protoSource :: FilePath
- extensionKeys :: Seq KeyInfo
- messages :: [DescriptorInfo]
- enums :: [EnumInfo]
- oneofs :: [OneofInfo]
- knownKeyMap :: Map ProtoName (Seq FieldInfo)
}
data DescriptorInfo = DescriptorInfo {
- descName :: ProtoName
- descFilePath :: [FilePath]
- isGroup :: Bool
- fields :: Seq FieldInfo
- descOneofs :: Seq OneofInfo
- keys :: Seq KeyInfo
- extRanges :: [(FieldId, FieldId)]
- knownKeys :: Seq FieldInfo
- storeUnknown :: Bool
- lazyFields :: Bool
- makeLenses :: Bool
}
data FieldInfo = FieldInfo {
- fieldName :: ProtoFName
- fieldNumber :: FieldId
- wireTag :: WireTag
- packedTag :: Maybe (WireTag, WireTag)
- wireTagLength :: WireSize
- isPacked :: Bool
- isRequired :: Bool
- canRepeat :: Bool
- mightPack :: Bool
- typeCode :: FieldType
- typeName :: Maybe ProtoName
- hsRawDefault :: Maybe ByteString
- hsDefault :: Maybe HsDefault
}
type KeyInfo = (ProtoName, FieldInfo)
data HsDefault
- = HsDef'Bool Bool
- | HsDef'ByteString ByteString
- | HsDef'RealFloat SomeRealFloat
- | HsDef'Integer Integer
- | HsDef'Enum String
data SomeRealFloat
- = SRF'Rational Rational
- | SRF'nan
- | SRF'ninf
- | SRF'inf
data EnumInfo = EnumInfo {
- enumName :: ProtoName
- enumFilePath :: [FilePath]
- enumValues :: [(EnumCode, String)]
}
type EnumInfoApp e = [(EnumCode, String, e)]
class ReflectDescriptor m where
class ReflectEnum e where
data GetMessageInfo = GetMessageInfo {
- requiredTags :: Set WireTag
- allowedTags :: Set WireTag
}
data OneofInfo = OneofInfo {
- oneofName :: ProtoName
- oneofFName :: ProtoFName
- oneofFilePath :: [FilePath]
- oneofFields :: Seq (ProtoName, FieldInfo)
- oneofMakeLenses :: Bool
}
makePNF :: ByteString -> [String] -> [String] -> String -> ProtoName
toRF :: (RealFloat a, Fractional a) => SomeRealFloat -> a
fromRF :: (RealFloat a, Fractional a) => a -> SomeRealFloat

Documentation

data ProtoName #

This is fully qualified name data type for code generation. The haskellPrefix was possibly specified on the hprotoc command line. The parentModule is a combination of the module prefix from the '.proto' file and any nested levels of definition.

The name components are likely to have been mangled to ensure the baseName started with an uppercase letter, in ['A'..'Z'] .

Constructors

ProtoName
Fields protobufName :: FIName Utf8 fully qualified name using "package" prefix (no mangling) haskellPrefix :: [MName String] Haskell specific prefix to module hierarchy (e.g. Text.Foo) parentModule :: [MName String] .proto specified namespace (like Com.Google.Bar) baseName :: MName String

Instances

Eq ProtoName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: ProtoName -> ProtoName -> Bool # (/=) :: ProtoName -> ProtoName -> Bool #
Data ProtoName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProtoName -> c ProtoName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProtoName # toConstr :: ProtoName -> Constr # dataTypeOf :: ProtoName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProtoName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProtoName) # gmapT :: (forall b. Data b => b -> b) -> ProtoName -> ProtoName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProtoName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProtoName -> r # gmapQ :: (forall d. Data d => d -> u) -> ProtoName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProtoName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProtoName -> m ProtoName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtoName -> m ProtoName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtoName -> m ProtoName #
Ord ProtoName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: ProtoName -> ProtoName -> Ordering # (<) :: ProtoName -> ProtoName -> Bool # (<=) :: ProtoName -> ProtoName -> Bool # (>) :: ProtoName -> ProtoName -> Bool # (>=) :: ProtoName -> ProtoName -> Bool # max :: ProtoName -> ProtoName -> ProtoName # min :: ProtoName -> ProtoName -> ProtoName #
Read ProtoName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS ProtoName # readList :: ReadS [ProtoName] # readPrec :: ReadPrec ProtoName # readListPrec :: ReadPrec [ProtoName] #
Show ProtoName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> ProtoName -> ShowS # show :: ProtoName -> String # showList :: [ProtoName] -> ShowS #

data ProtoFName #

Constructors

ProtoFName
Fields protobufName' :: FIName Utf8 fully qualified name using "package" prefix (no mangling) haskellPrefix' :: [MName String] Haskell specific prefix to module hierarchy (e.g. Text.Foo) parentModule' :: [MName String] .proto specified namespace (like Com.Google.Bar) baseName' :: FName String baseNamePrefix' :: String

Instances

Eq ProtoFName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: ProtoFName -> ProtoFName -> Bool # (/=) :: ProtoFName -> ProtoFName -> Bool #
Data ProtoFName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProtoFName -> c ProtoFName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProtoFName # toConstr :: ProtoFName -> Constr # dataTypeOf :: ProtoFName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProtoFName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProtoFName) # gmapT :: (forall b. Data b => b -> b) -> ProtoFName -> ProtoFName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProtoFName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProtoFName -> r # gmapQ :: (forall d. Data d => d -> u) -> ProtoFName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProtoFName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProtoFName -> m ProtoFName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtoFName -> m ProtoFName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtoFName -> m ProtoFName #
Ord ProtoFName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: ProtoFName -> ProtoFName -> Ordering # (<) :: ProtoFName -> ProtoFName -> Bool # (<=) :: ProtoFName -> ProtoFName -> Bool # (>) :: ProtoFName -> ProtoFName -> Bool # (>=) :: ProtoFName -> ProtoFName -> Bool # max :: ProtoFName -> ProtoFName -> ProtoFName # min :: ProtoFName -> ProtoFName -> ProtoFName #
Read ProtoFName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS ProtoFName # readList :: ReadS [ProtoFName] # readPrec :: ReadPrec ProtoFName # readListPrec :: ReadPrec [ProtoFName] #
Show ProtoFName #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> ProtoFName -> ShowS # show :: ProtoFName -> String # showList :: [ProtoFName] -> ShowS #

data ProtoInfo #

Constructors

ProtoInfo

Fields

protoMod :: ProtoName
blank protobufName, maybe blank haskellPrefix and/or parentModule
protoFilePath :: [FilePath]
path to haskell module
protoSource :: FilePath
filename without path of .proto file
extensionKeys :: Seq KeyInfo
top level keys
messages :: [DescriptorInfo]
all messages and groups
enums :: [EnumInfo]
all enums
oneofs :: [OneofInfo]
knownKeyMap :: Map ProtoName (Seq FieldInfo)

Instances

Eq ProtoInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: ProtoInfo -> ProtoInfo -> Bool # (/=) :: ProtoInfo -> ProtoInfo -> Bool #
Data ProtoInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProtoInfo -> c ProtoInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProtoInfo # toConstr :: ProtoInfo -> Constr # dataTypeOf :: ProtoInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProtoInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProtoInfo) # gmapT :: (forall b. Data b => b -> b) -> ProtoInfo -> ProtoInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProtoInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProtoInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> ProtoInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ProtoInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProtoInfo -> m ProtoInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtoInfo -> m ProtoInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProtoInfo -> m ProtoInfo #
Ord ProtoInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: ProtoInfo -> ProtoInfo -> Ordering # (<) :: ProtoInfo -> ProtoInfo -> Bool # (<=) :: ProtoInfo -> ProtoInfo -> Bool # (>) :: ProtoInfo -> ProtoInfo -> Bool # (>=) :: ProtoInfo -> ProtoInfo -> Bool # max :: ProtoInfo -> ProtoInfo -> ProtoInfo # min :: ProtoInfo -> ProtoInfo -> ProtoInfo #
Read ProtoInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS ProtoInfo # readList :: ReadS [ProtoInfo] # readPrec :: ReadPrec ProtoInfo # readListPrec :: ReadPrec [ProtoInfo] #
Show ProtoInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> ProtoInfo -> ShowS # show :: ProtoInfo -> String # showList :: [ProtoInfo] -> ShowS #

data DescriptorInfo #

Constructors

DescriptorInfo
Fields descName :: ProtoName descFilePath :: [FilePath] isGroup :: Bool fields :: Seq FieldInfo descOneofs :: Seq OneofInfo keys :: Seq KeyInfo extRanges :: [(FieldId, FieldId)] knownKeys :: Seq FieldInfo storeUnknown :: Bool lazyFields :: Bool makeLenses :: Bool

Instances

Eq DescriptorInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: DescriptorInfo -> DescriptorInfo -> Bool # (/=) :: DescriptorInfo -> DescriptorInfo -> Bool #
Data DescriptorInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DescriptorInfo -> c DescriptorInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DescriptorInfo # toConstr :: DescriptorInfo -> Constr # dataTypeOf :: DescriptorInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DescriptorInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DescriptorInfo) # gmapT :: (forall b. Data b => b -> b) -> DescriptorInfo -> DescriptorInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DescriptorInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DescriptorInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> DescriptorInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DescriptorInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DescriptorInfo -> m DescriptorInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DescriptorInfo -> m DescriptorInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DescriptorInfo -> m DescriptorInfo #
Ord DescriptorInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: DescriptorInfo -> DescriptorInfo -> Ordering # (<) :: DescriptorInfo -> DescriptorInfo -> Bool # (<=) :: DescriptorInfo -> DescriptorInfo -> Bool # (>) :: DescriptorInfo -> DescriptorInfo -> Bool # (>=) :: DescriptorInfo -> DescriptorInfo -> Bool # max :: DescriptorInfo -> DescriptorInfo -> DescriptorInfo # min :: DescriptorInfo -> DescriptorInfo -> DescriptorInfo #
Read DescriptorInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS DescriptorInfo # readList :: ReadS [DescriptorInfo] # readPrec :: ReadPrec DescriptorInfo # readListPrec :: ReadPrec [DescriptorInfo] #
Show DescriptorInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> DescriptorInfo -> ShowS # show :: DescriptorInfo -> String # showList :: [DescriptorInfo] -> ShowS #

data FieldInfo #

Constructors

FieldInfo

Fields

fieldName :: ProtoFName
fieldNumber :: FieldId
wireTag :: WireTag
Used for writing and reading if packedTag is Nothing
packedTag :: Maybe (WireTag, WireTag)
used for reading when Just {} instead of wireTag
wireTagLength :: WireSize
Bytes required in the Varint formatted wireTag
isPacked :: Bool
isRequired :: Bool
canRepeat :: Bool
True if repeated is the field type
mightPack :: Bool
True if packed would be valid for this field type
typeCode :: FieldType
fromEnum of Text.DescriptorProtos.FieldDescriptorProto.Type
typeName :: Maybe ProtoName
Set for Messages,Groups,and Enums
hsRawDefault :: Maybe ByteString
crappy, but not escaped, thing
hsDefault :: Maybe HsDefault
nice parsed thing

Instances

Eq FieldInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: FieldInfo -> FieldInfo -> Bool # (/=) :: FieldInfo -> FieldInfo -> Bool #
Data FieldInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldInfo -> c FieldInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldInfo # toConstr :: FieldInfo -> Constr # dataTypeOf :: FieldInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldInfo) # gmapT :: (forall b. Data b => b -> b) -> FieldInfo -> FieldInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldInfo -> m FieldInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldInfo -> m FieldInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldInfo -> m FieldInfo #
Ord FieldInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: FieldInfo -> FieldInfo -> Ordering # (<) :: FieldInfo -> FieldInfo -> Bool # (<=) :: FieldInfo -> FieldInfo -> Bool # (>) :: FieldInfo -> FieldInfo -> Bool # (>=) :: FieldInfo -> FieldInfo -> Bool # max :: FieldInfo -> FieldInfo -> FieldInfo # min :: FieldInfo -> FieldInfo -> FieldInfo #
Read FieldInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS FieldInfo # readList :: ReadS [FieldInfo] # readPrec :: ReadPrec FieldInfo # readListPrec :: ReadPrec [FieldInfo] #
Show FieldInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> FieldInfo -> ShowS # show :: FieldInfo -> String # showList :: [FieldInfo] -> ShowS #

type KeyInfo = (ProtoName, FieldInfo) #

data HsDefault #

HsDefault stores the parsed default from the proto file in a form that will make a nice literal in the Language.Haskell.Exts.Syntax code generation by hprotoc.

Note that Utf8 labeled byte sequences have been stripped to just ByteString here as this is sufficient for code generation.

On 25 August 2010 20:12, George van den Driessche georgevdd@google.com sent Chris Kuklewicz a patch to MakeReflections.parseDefEnum to ensure that HsDef'Enum holds the mangled form of the name.

Constructors

HsDef'Bool Bool
HsDef'ByteString ByteString
HsDef'RealFloat SomeRealFloat
HsDef'Integer Integer
HsDef'Enum String

Instances

Eq HsDefault #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: HsDefault -> HsDefault -> Bool # (/=) :: HsDefault -> HsDefault -> Bool #
Data HsDefault #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HsDefault -> c HsDefault # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HsDefault # toConstr :: HsDefault -> Constr # dataTypeOf :: HsDefault -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HsDefault) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HsDefault) # gmapT :: (forall b. Data b => b -> b) -> HsDefault -> HsDefault # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HsDefault -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HsDefault -> r # gmapQ :: (forall d. Data d => d -> u) -> HsDefault -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> HsDefault -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HsDefault -> m HsDefault # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HsDefault -> m HsDefault # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HsDefault -> m HsDefault #
Ord HsDefault #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: HsDefault -> HsDefault -> Ordering # (<) :: HsDefault -> HsDefault -> Bool # (<=) :: HsDefault -> HsDefault -> Bool # (>) :: HsDefault -> HsDefault -> Bool # (>=) :: HsDefault -> HsDefault -> Bool # max :: HsDefault -> HsDefault -> HsDefault # min :: HsDefault -> HsDefault -> HsDefault #
Read HsDefault #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS HsDefault # readList :: ReadS [HsDefault] # readPrec :: ReadPrec HsDefault # readListPrec :: ReadPrec [HsDefault] #
Show HsDefault #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> HsDefault -> ShowS # show :: HsDefault -> String # showList :: [HsDefault] -> ShowS #

data SomeRealFloat #

SomeRealFloat projects Double/Float to Rational or a special IEEE type. This is needed to track protobuf-2.3.0 which allows nan and inf and -inf default values.

Constructors

SRF'Rational Rational
SRF'nan
SRF'ninf
SRF'inf

Instances

Eq SomeRealFloat #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: SomeRealFloat -> SomeRealFloat -> Bool # (/=) :: SomeRealFloat -> SomeRealFloat -> Bool #
Data SomeRealFloat #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SomeRealFloat -> c SomeRealFloat # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SomeRealFloat # toConstr :: SomeRealFloat -> Constr # dataTypeOf :: SomeRealFloat -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SomeRealFloat) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SomeRealFloat) # gmapT :: (forall b. Data b => b -> b) -> SomeRealFloat -> SomeRealFloat # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SomeRealFloat -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SomeRealFloat -> r # gmapQ :: (forall d. Data d => d -> u) -> SomeRealFloat -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SomeRealFloat -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SomeRealFloat -> m SomeRealFloat # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SomeRealFloat -> m SomeRealFloat # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SomeRealFloat -> m SomeRealFloat #
Ord SomeRealFloat #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: SomeRealFloat -> SomeRealFloat -> Ordering # (<) :: SomeRealFloat -> SomeRealFloat -> Bool # (<=) :: SomeRealFloat -> SomeRealFloat -> Bool # (>) :: SomeRealFloat -> SomeRealFloat -> Bool # (>=) :: SomeRealFloat -> SomeRealFloat -> Bool # max :: SomeRealFloat -> SomeRealFloat -> SomeRealFloat # min :: SomeRealFloat -> SomeRealFloat -> SomeRealFloat #
Read SomeRealFloat #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS SomeRealFloat # readList :: ReadS [SomeRealFloat] # readPrec :: ReadPrec SomeRealFloat # readListPrec :: ReadPrec [SomeRealFloat] #
Show SomeRealFloat #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> SomeRealFloat -> ShowS # show :: SomeRealFloat -> String # showList :: [SomeRealFloat] -> ShowS #

data EnumInfo #

Constructors

EnumInfo
Fields enumName :: ProtoName enumFilePath :: [FilePath] enumValues :: [(EnumCode, String)] The String is the Haskell name to write into the generated source files

Instances

Eq EnumInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: EnumInfo -> EnumInfo -> Bool # (/=) :: EnumInfo -> EnumInfo -> Bool #
Data EnumInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumInfo -> c EnumInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumInfo # toConstr :: EnumInfo -> Constr # dataTypeOf :: EnumInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumInfo) # gmapT :: (forall b. Data b => b -> b) -> EnumInfo -> EnumInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumInfo -> m EnumInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumInfo -> m EnumInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumInfo -> m EnumInfo #
Ord EnumInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: EnumInfo -> EnumInfo -> Ordering # (<) :: EnumInfo -> EnumInfo -> Bool # (<=) :: EnumInfo -> EnumInfo -> Bool # (>) :: EnumInfo -> EnumInfo -> Bool # (>=) :: EnumInfo -> EnumInfo -> Bool # max :: EnumInfo -> EnumInfo -> EnumInfo # min :: EnumInfo -> EnumInfo -> EnumInfo #
Read EnumInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS EnumInfo # readList :: ReadS [EnumInfo] # readPrec :: ReadPrec EnumInfo # readListPrec :: ReadPrec [EnumInfo] #
Show EnumInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> EnumInfo -> ShowS # show :: EnumInfo -> String # showList :: [EnumInfo] -> ShowS #

type EnumInfoApp e = [(EnumCode, String, e)] #

class ReflectDescriptor m where #

Minimal complete definition

reflectDescriptorInfo

Methods

getMessageInfo :: m -> GetMessageInfo #

This is obtained via read on the stored show output of the DescriptorInfo in the module file. It is used in getting messages from the wire.

Must not inspect argument

reflectDescriptorInfo #

Arguments

:: m
-> DescriptorInfo	Must not inspect argument

class ReflectEnum e where #

Minimal complete definition

reflectEnum, reflectEnumInfo

Methods

reflectEnum :: EnumInfoApp e #

reflectEnumInfo #

Arguments

:: e
-> EnumInfo	Must not inspect argument

parentOfEnum #

Arguments

:: e
-> Maybe DescriptorInfo	Must not inspect argument

data GetMessageInfo #

GetMessageInfo is used in getting messages from the wire. It supplies the Set of precomposed wire tags that must be found in the message as well as a Set of all allowed tags (including known extension fields and all required wire tags).

Extension fields not in the allowedTags set are still loaded, but only as ByteString blobs that will have to interpreted later.

Constructors

GetMessageInfo
Fields requiredTags :: Set WireTag allowedTags :: Set WireTag

Instances

Eq GetMessageInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: GetMessageInfo -> GetMessageInfo -> Bool # (/=) :: GetMessageInfo -> GetMessageInfo -> Bool #
Data GetMessageInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GetMessageInfo -> c GetMessageInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GetMessageInfo # toConstr :: GetMessageInfo -> Constr # dataTypeOf :: GetMessageInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GetMessageInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GetMessageInfo) # gmapT :: (forall b. Data b => b -> b) -> GetMessageInfo -> GetMessageInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GetMessageInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GetMessageInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> GetMessageInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GetMessageInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GetMessageInfo -> m GetMessageInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GetMessageInfo -> m GetMessageInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GetMessageInfo -> m GetMessageInfo #
Ord GetMessageInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: GetMessageInfo -> GetMessageInfo -> Ordering # (<) :: GetMessageInfo -> GetMessageInfo -> Bool # (<=) :: GetMessageInfo -> GetMessageInfo -> Bool # (>) :: GetMessageInfo -> GetMessageInfo -> Bool # (>=) :: GetMessageInfo -> GetMessageInfo -> Bool # max :: GetMessageInfo -> GetMessageInfo -> GetMessageInfo # min :: GetMessageInfo -> GetMessageInfo -> GetMessageInfo #
Read GetMessageInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS GetMessageInfo # readList :: ReadS [GetMessageInfo] # readPrec :: ReadPrec GetMessageInfo # readListPrec :: ReadPrec [GetMessageInfo] #
Show GetMessageInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> GetMessageInfo -> ShowS # show :: GetMessageInfo -> String # showList :: [GetMessageInfo] -> ShowS #

data OneofInfo #

Constructors

OneofInfo
Fields oneofName :: ProtoName oneofFName :: ProtoFName oneofFilePath :: [FilePath] oneofFields :: Seq (ProtoName, FieldInfo) oneofMakeLenses :: Bool

Instances

Eq OneofInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: OneofInfo -> OneofInfo -> Bool # (/=) :: OneofInfo -> OneofInfo -> Bool #
Data OneofInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OneofInfo -> c OneofInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OneofInfo # toConstr :: OneofInfo -> Constr # dataTypeOf :: OneofInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OneofInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OneofInfo) # gmapT :: (forall b. Data b => b -> b) -> OneofInfo -> OneofInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OneofInfo -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OneofInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> OneofInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OneofInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OneofInfo -> m OneofInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OneofInfo -> m OneofInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OneofInfo -> m OneofInfo #
Ord OneofInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods compare :: OneofInfo -> OneofInfo -> Ordering # (<) :: OneofInfo -> OneofInfo -> Bool # (<=) :: OneofInfo -> OneofInfo -> Bool # (>) :: OneofInfo -> OneofInfo -> Bool # (>=) :: OneofInfo -> OneofInfo -> Bool # max :: OneofInfo -> OneofInfo -> OneofInfo # min :: OneofInfo -> OneofInfo -> OneofInfo #
Read OneofInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS OneofInfo # readList :: ReadS [OneofInfo] # readPrec :: ReadPrec OneofInfo # readListPrec :: ReadPrec [OneofInfo] #
Show OneofInfo #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> OneofInfo -> ShowS # show :: OneofInfo -> String # showList :: [OneofInfo] -> ShowS #

makePNF :: ByteString -> [String] -> [String] -> String -> ProtoName #

makePNF is used by the generated code to create a ProtoName with less newtype noise.

toRF :: (RealFloat a, Fractional a) => SomeRealFloat -> a #

fromRF :: (RealFloat a, Fractional a) => a -> SomeRealFloat #