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
- jsonInstances :: 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)]
- enumJsonInstances :: Bool
}
type EnumInfoApp e = [(EnumCode, String, e)]
class ReflectDescriptor m where
- getMessageInfo :: m -> GetMessageInfo
- reflectDescriptorInfo :: m -> DescriptorInfo
class ReflectEnum e where
- reflectEnum :: EnumInfoApp e
- reflectEnumInfo :: e -> EnumInfo
- parentOfEnum :: e -> Maybe DescriptorInfo
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 Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: ProtoName -> ProtoName -> Bool # (/=) :: ProtoName -> ProtoName -> Bool #
Data ProtoName Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS ProtoName # readList :: ReadS [ProtoName] # readPrec :: ReadPrec ProtoName # readListPrec :: ReadPrec [ProtoName] #
Show ProtoName Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> ProtoName -> ShowS # show :: ProtoName -> String # showList :: [ProtoName] -> ShowS #

data ProtoFName Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: ProtoFName -> ProtoFName -> Bool # (/=) :: ProtoFName -> ProtoFName -> Bool #
Data ProtoFName Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS ProtoFName # readList :: ReadS [ProtoFName] # readPrec :: ReadPrec ProtoFName # readListPrec :: ReadPrec [ProtoFName] #
Show ProtoFName Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> ProtoFName -> ShowS # show :: ProtoFName -> String # showList :: [ProtoFName] -> ShowS #

data ProtoInfo Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: ProtoInfo -> ProtoInfo -> Bool # (/=) :: ProtoInfo -> ProtoInfo -> Bool #
Data ProtoInfo Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS ProtoInfo # readList :: ReadS [ProtoInfo] # readPrec :: ReadPrec ProtoInfo # readListPrec :: ReadPrec [ProtoInfo] #
Show ProtoInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> ProtoInfo -> ShowS # show :: ProtoInfo -> String # showList :: [ProtoInfo] -> ShowS #

data DescriptorInfo Source #

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 jsonInstances :: Bool

Instances

Eq DescriptorInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: DescriptorInfo -> DescriptorInfo -> Bool # (/=) :: DescriptorInfo -> DescriptorInfo -> Bool #
Data DescriptorInfo Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS DescriptorInfo # readList :: ReadS [DescriptorInfo] # readPrec :: ReadPrec DescriptorInfo # readListPrec :: ReadPrec [DescriptorInfo] #
Show DescriptorInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> DescriptorInfo -> ShowS # show :: DescriptorInfo -> String # showList :: [DescriptorInfo] -> ShowS #

data FieldInfo Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: FieldInfo -> FieldInfo -> Bool # (/=) :: FieldInfo -> FieldInfo -> Bool #
Data FieldInfo Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS FieldInfo # readList :: ReadS [FieldInfo] # readPrec :: ReadPrec FieldInfo # readListPrec :: ReadPrec [FieldInfo] #
Show FieldInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> FieldInfo -> ShowS # show :: FieldInfo -> String # showList :: [FieldInfo] -> ShowS #

type KeyInfo = (ProtoName, FieldInfo) Source #

data HsDefault Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: HsDefault -> HsDefault -> Bool # (/=) :: HsDefault -> HsDefault -> Bool #
Data HsDefault Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS HsDefault # readList :: ReadS [HsDefault] # readPrec :: ReadPrec HsDefault # readListPrec :: ReadPrec [HsDefault] #
Show HsDefault Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> HsDefault -> ShowS # show :: HsDefault -> String # showList :: [HsDefault] -> ShowS #

data SomeRealFloat Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: SomeRealFloat -> SomeRealFloat -> Bool # (/=) :: SomeRealFloat -> SomeRealFloat -> Bool #
Data SomeRealFloat Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS SomeRealFloat # readList :: ReadS [SomeRealFloat] # readPrec :: ReadPrec SomeRealFloat # readListPrec :: ReadPrec [SomeRealFloat] #
Show SomeRealFloat Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> SomeRealFloat -> ShowS # show :: SomeRealFloat -> String # showList :: [SomeRealFloat] -> ShowS #

data EnumInfo Source #

Constructors

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

Instances

Eq EnumInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: EnumInfo -> EnumInfo -> Bool # (/=) :: EnumInfo -> EnumInfo -> Bool #
Data EnumInfo Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS EnumInfo # readList :: ReadS [EnumInfo] # readPrec :: ReadPrec EnumInfo # readListPrec :: ReadPrec [EnumInfo] #
Show EnumInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> EnumInfo -> ShowS # show :: EnumInfo -> String # showList :: [EnumInfo] -> ShowS #

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

class ReflectDescriptor m where Source #

Minimal complete definition

reflectDescriptorInfo

Methods

getMessageInfo :: m -> GetMessageInfo Source #

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 Source #

Arguments

:: m
-> DescriptorInfo	Must not inspect argument

class ReflectEnum e where Source #

Minimal complete definition

reflectEnum, reflectEnumInfo

Methods

reflectEnum :: EnumInfoApp e Source #

reflectEnumInfo Source #

Arguments

:: e
-> EnumInfo	Must not inspect argument

parentOfEnum Source #

Arguments

:: e
-> Maybe DescriptorInfo	Must not inspect argument

data GetMessageInfo Source #

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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: GetMessageInfo -> GetMessageInfo -> Bool # (/=) :: GetMessageInfo -> GetMessageInfo -> Bool #
Data GetMessageInfo Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS GetMessageInfo # readList :: ReadS [GetMessageInfo] # readPrec :: ReadPrec GetMessageInfo # readListPrec :: ReadPrec [GetMessageInfo] #
Show GetMessageInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> GetMessageInfo -> ShowS # show :: GetMessageInfo -> String # showList :: [GetMessageInfo] -> ShowS #

data OneofInfo Source #

Constructors

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

Instances

Eq OneofInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods (==) :: OneofInfo -> OneofInfo -> Bool # (/=) :: OneofInfo -> OneofInfo -> Bool #
Data OneofInfo Source #
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 Source #
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 Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods readsPrec :: Int -> ReadS OneofInfo # readList :: ReadS [OneofInfo] # readPrec :: ReadPrec OneofInfo # readListPrec :: ReadPrec [OneofInfo] #
Show OneofInfo Source #
Instance details Defined in Text.ProtocolBuffers.Reflections Methods showsPrec :: Int -> OneofInfo -> ShowS # show :: OneofInfo -> String # showList :: [OneofInfo] -> ShowS #

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

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

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

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