protocol-buffers-descriptor-2.4.2: Text.DescriptorProto.Options and code generated from the Google Protocol Buffer specification

Safe HaskellNone
LanguageHaskell98

Text.DescriptorProtos.Options

Description

This module provides a less verbose API for accessing the options of the various descriptor messages types. There are seven different option types. The EnumValueOptions are not currently settable in the proto file. To access extension keys the descendKey functions are provided as the descend functions ignore them. The toDP, toEP, toSP are type-specific descents that are demonstrated in the the tests below. They are useful in that they provide more information for the type-checker. The toFP, toEVP, and toMP are fully type-specific descents but are needed to make the tests below type-check, though they could have been used in test4, test5', and test7.

import Text.DescriptorProtos.Options
import Text.DescriptorProtos(fileDescriptorProto)

test1 :: D.FileOptions
test1 = options fileDescriptorProto

test2 :: Maybe D.MessageOptions
test2 = return fileDescriptorProto >>= descend "FieldDescriptorProto" >>= return . options

test3 :: Maybe D.EnumOptions
test3 = return fileDescriptorProto >>= toDP "FieldDescriptorProto" >>= descend "Type" >>= return . options

test4 :: Maybe D.EnumValueOptions
test4 = return fileDescriptorProto >>= toDP "FieldDescriptorProto" >>= toEP "Type" >>= descend "TYPE_DOUBLE" >>= return . options

test5 :: Maybe D.FieldOptions
test5 = return fileDescriptorProto >>= toDP "DescriptorProto" >>= toDP "ExtensionRange" >>= descend "start" >>= return . options

test6 :: Maybe D.ServiceOptions
test6 = return fileDescriptorProto >>= descend "ImaginaryService" >>= return . options

test7 :: Maybe D.MethodOptions
test7 = return fileDescriptorProto >>= toSP "ImaginaryService" >>= descend "ImaginaryMethod" >>= return . options

Documentation

descend :: DescendClass a c => String -> a -> Maybe c #

data FileDescriptorProto #

Instances

Eq FileDescriptorProto # 
Data FileDescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileDescriptorProto -> c FileDescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileDescriptorProto #

toConstr :: FileDescriptorProto -> Constr #

dataTypeOf :: FileDescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FileDescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileDescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> FileDescriptorProto -> FileDescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileDescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> FileDescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FileDescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FileDescriptorProto -> m FileDescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorProto -> m FileDescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FileDescriptorProto -> m FileDescriptorProto #

Ord FileDescriptorProto # 
Show FileDescriptorProto # 
UnknownMessage FileDescriptorProto # 
GPB FileDescriptorProto # 
Wire FileDescriptorProto # 
TextMsg FileDescriptorProto # 
TextType FileDescriptorProto # 
ReflectDescriptor FileDescriptorProto # 
Mergeable FileDescriptorProto # 
Default FileDescriptorProto # 
DescendKey FileDescriptorProto # 
NameAndOptions FileDescriptorProto FileOptions # 
DescendClass FileDescriptorProto ServiceDescriptorProto # 
DescendClass FileDescriptorProto EnumDescriptorProto # 
DescendClass FileDescriptorProto DescriptorProto # 
MessageAPI msg' (msg' -> FileDescriptorProto) FileDescriptorProto # 

Methods

getVal :: msg' -> (msg' -> FileDescriptorProto) -> FileDescriptorProto #

isSet :: msg' -> (msg' -> FileDescriptorProto) -> Bool #

data DescriptorProto #

Instances

Eq DescriptorProto # 
Data DescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DescriptorProto -> c DescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DescriptorProto #

toConstr :: DescriptorProto -> Constr #

dataTypeOf :: DescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> DescriptorProto -> DescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> DescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DescriptorProto -> m DescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DescriptorProto -> m DescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DescriptorProto -> m DescriptorProto #

Ord DescriptorProto # 
Show DescriptorProto # 
UnknownMessage DescriptorProto # 
GPB DescriptorProto # 
Wire DescriptorProto # 
TextMsg DescriptorProto # 
TextType DescriptorProto # 
ReflectDescriptor DescriptorProto # 
Mergeable DescriptorProto # 
Default DescriptorProto # 
DescendKey DescriptorProto # 
NameAndOptions DescriptorProto MessageOptions # 
DescendClass DescriptorProto FieldDescriptorProto # 
DescendClass DescriptorProto EnumDescriptorProto # 
DescendClass DescriptorProto DescriptorProto # 
DescendClass FileDescriptorProto DescriptorProto # 
MessageAPI msg' (msg' -> DescriptorProto) DescriptorProto # 

Methods

getVal :: msg' -> (msg' -> DescriptorProto) -> DescriptorProto #

isSet :: msg' -> (msg' -> DescriptorProto) -> Bool #

data EnumDescriptorProto #

Instances

Eq EnumDescriptorProto # 
Data EnumDescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumDescriptorProto -> c EnumDescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumDescriptorProto #

toConstr :: EnumDescriptorProto -> Constr #

dataTypeOf :: EnumDescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EnumDescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumDescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> EnumDescriptorProto -> EnumDescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumDescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumDescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumDescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumDescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumDescriptorProto -> m EnumDescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumDescriptorProto -> m EnumDescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumDescriptorProto -> m EnumDescriptorProto #

Ord EnumDescriptorProto # 
Show EnumDescriptorProto # 
UnknownMessage EnumDescriptorProto # 
GPB EnumDescriptorProto # 
Wire EnumDescriptorProto # 
TextMsg EnumDescriptorProto # 
TextType EnumDescriptorProto # 
ReflectDescriptor EnumDescriptorProto # 
Mergeable EnumDescriptorProto # 
Default EnumDescriptorProto # 
NameAndOptions EnumDescriptorProto EnumOptions # 
DescendClass EnumDescriptorProto EnumValueDescriptorProto # 
DescendClass DescriptorProto EnumDescriptorProto # 
DescendClass FileDescriptorProto EnumDescriptorProto # 
MessageAPI msg' (msg' -> EnumDescriptorProto) EnumDescriptorProto # 

Methods

getVal :: msg' -> (msg' -> EnumDescriptorProto) -> EnumDescriptorProto #

isSet :: msg' -> (msg' -> EnumDescriptorProto) -> Bool #

data EnumValueDescriptorProto #

Instances

Eq EnumValueDescriptorProto # 
Data EnumValueDescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumValueDescriptorProto -> c EnumValueDescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumValueDescriptorProto #

toConstr :: EnumValueDescriptorProto -> Constr #

dataTypeOf :: EnumValueDescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EnumValueDescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumValueDescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> EnumValueDescriptorProto -> EnumValueDescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumValueDescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumValueDescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumValueDescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumValueDescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumValueDescriptorProto -> m EnumValueDescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumValueDescriptorProto -> m EnumValueDescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumValueDescriptorProto -> m EnumValueDescriptorProto #

Ord EnumValueDescriptorProto # 
Show EnumValueDescriptorProto # 
UnknownMessage EnumValueDescriptorProto # 
GPB EnumValueDescriptorProto # 
Wire EnumValueDescriptorProto # 
TextMsg EnumValueDescriptorProto # 
TextType EnumValueDescriptorProto # 
ReflectDescriptor EnumValueDescriptorProto # 
Mergeable EnumValueDescriptorProto # 
Default EnumValueDescriptorProto # 
NameAndOptions EnumValueDescriptorProto EnumValueOptions # 
DescendClass EnumDescriptorProto EnumValueDescriptorProto # 
MessageAPI msg' (msg' -> EnumValueDescriptorProto) EnumValueDescriptorProto # 

Methods

getVal :: msg' -> (msg' -> EnumValueDescriptorProto) -> EnumValueDescriptorProto #

isSet :: msg' -> (msg' -> EnumValueDescriptorProto) -> Bool #

data FieldDescriptorProto #

Instances

Eq FieldDescriptorProto # 
Data FieldDescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldDescriptorProto -> c FieldDescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldDescriptorProto #

toConstr :: FieldDescriptorProto -> Constr #

dataTypeOf :: FieldDescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FieldDescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldDescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> FieldDescriptorProto -> FieldDescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldDescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldDescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> FieldDescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldDescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldDescriptorProto -> m FieldDescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldDescriptorProto -> m FieldDescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldDescriptorProto -> m FieldDescriptorProto #

Ord FieldDescriptorProto # 
Show FieldDescriptorProto # 
UnknownMessage FieldDescriptorProto # 
GPB FieldDescriptorProto # 
Wire FieldDescriptorProto # 
TextMsg FieldDescriptorProto # 
TextType FieldDescriptorProto # 
ReflectDescriptor FieldDescriptorProto # 
Mergeable FieldDescriptorProto # 
Default FieldDescriptorProto # 
NameAndOptions FieldDescriptorProto FieldOptions # 
DescendClass DescriptorProto FieldDescriptorProto # 
MessageAPI msg' (msg' -> FieldDescriptorProto) FieldDescriptorProto # 

Methods

getVal :: msg' -> (msg' -> FieldDescriptorProto) -> FieldDescriptorProto #

isSet :: msg' -> (msg' -> FieldDescriptorProto) -> Bool #

data ServiceDescriptorProto #

Instances

Eq ServiceDescriptorProto # 
Data ServiceDescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ServiceDescriptorProto -> c ServiceDescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ServiceDescriptorProto #

toConstr :: ServiceDescriptorProto -> Constr #

dataTypeOf :: ServiceDescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ServiceDescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ServiceDescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> ServiceDescriptorProto -> ServiceDescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ServiceDescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ServiceDescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> ServiceDescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ServiceDescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ServiceDescriptorProto -> m ServiceDescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ServiceDescriptorProto -> m ServiceDescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ServiceDescriptorProto -> m ServiceDescriptorProto #

Ord ServiceDescriptorProto # 
Show ServiceDescriptorProto # 
UnknownMessage ServiceDescriptorProto # 
GPB ServiceDescriptorProto # 
Wire ServiceDescriptorProto # 
TextMsg ServiceDescriptorProto # 
TextType ServiceDescriptorProto # 
ReflectDescriptor ServiceDescriptorProto # 
Mergeable ServiceDescriptorProto # 
Default ServiceDescriptorProto # 
NameAndOptions ServiceDescriptorProto ServiceOptions # 
DescendClass ServiceDescriptorProto MethodDescriptorProto # 
DescendClass FileDescriptorProto ServiceDescriptorProto # 
MessageAPI msg' (msg' -> ServiceDescriptorProto) ServiceDescriptorProto # 

Methods

getVal :: msg' -> (msg' -> ServiceDescriptorProto) -> ServiceDescriptorProto #

isSet :: msg' -> (msg' -> ServiceDescriptorProto) -> Bool #

data MethodDescriptorProto #

Instances

Eq MethodDescriptorProto # 
Data MethodDescriptorProto # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodDescriptorProto -> c MethodDescriptorProto #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodDescriptorProto #

toConstr :: MethodDescriptorProto -> Constr #

dataTypeOf :: MethodDescriptorProto -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MethodDescriptorProto) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodDescriptorProto) #

gmapT :: (forall b. Data b => b -> b) -> MethodDescriptorProto -> MethodDescriptorProto #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodDescriptorProto -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodDescriptorProto -> r #

gmapQ :: (forall d. Data d => d -> u) -> MethodDescriptorProto -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodDescriptorProto -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodDescriptorProto -> m MethodDescriptorProto #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodDescriptorProto -> m MethodDescriptorProto #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodDescriptorProto -> m MethodDescriptorProto #

Ord MethodDescriptorProto # 
Show MethodDescriptorProto # 
UnknownMessage MethodDescriptorProto # 
GPB MethodDescriptorProto # 
Wire MethodDescriptorProto # 
TextMsg MethodDescriptorProto # 
TextType MethodDescriptorProto # 
ReflectDescriptor MethodDescriptorProto # 
Mergeable MethodDescriptorProto # 
Default MethodDescriptorProto # 
NameAndOptions MethodDescriptorProto MethodOptions # 
DescendClass ServiceDescriptorProto MethodDescriptorProto # 
MessageAPI msg' (msg' -> MethodDescriptorProto) MethodDescriptorProto # 

Methods

getVal :: msg' -> (msg' -> MethodDescriptorProto) -> MethodDescriptorProto #

isSet :: msg' -> (msg' -> MethodDescriptorProto) -> Bool #

data EnumOptions #

Instances

Eq EnumOptions # 
Data EnumOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumOptions -> c EnumOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumOptions #

toConstr :: EnumOptions -> Constr #

dataTypeOf :: EnumOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EnumOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumOptions) #

gmapT :: (forall b. Data b => b -> b) -> EnumOptions -> EnumOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumOptions -> m EnumOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumOptions -> m EnumOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumOptions -> m EnumOptions #

Ord EnumOptions # 
Show EnumOptions # 
UnknownMessage EnumOptions # 
ExtendMessage EnumOptions # 
GPB EnumOptions # 
Wire EnumOptions # 
TextMsg EnumOptions # 
TextType EnumOptions # 

Methods

tellT :: String -> EnumOptions -> Output #

getT :: Stream s Identity Char => String -> Parsec s () EnumOptions #

ReflectDescriptor EnumOptions # 
Mergeable EnumOptions # 
Default EnumOptions # 
NameAndOptions EnumDescriptorProto EnumOptions # 
MessageAPI msg' (msg' -> EnumOptions) EnumOptions # 

Methods

getVal :: msg' -> (msg' -> EnumOptions) -> EnumOptions #

isSet :: msg' -> (msg' -> EnumOptions) -> Bool #

data EnumValueOptions #

Instances

Eq EnumValueOptions # 
Data EnumValueOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumValueOptions -> c EnumValueOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumValueOptions #

toConstr :: EnumValueOptions -> Constr #

dataTypeOf :: EnumValueOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c EnumValueOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumValueOptions) #

gmapT :: (forall b. Data b => b -> b) -> EnumValueOptions -> EnumValueOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumValueOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumValueOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> EnumValueOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumValueOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumValueOptions -> m EnumValueOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumValueOptions -> m EnumValueOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumValueOptions -> m EnumValueOptions #

Ord EnumValueOptions # 
Show EnumValueOptions # 
UnknownMessage EnumValueOptions # 
ExtendMessage EnumValueOptions # 
GPB EnumValueOptions # 
Wire EnumValueOptions # 
TextMsg EnumValueOptions # 
TextType EnumValueOptions # 
ReflectDescriptor EnumValueOptions # 
Mergeable EnumValueOptions # 
Default EnumValueOptions # 
NameAndOptions EnumValueDescriptorProto EnumValueOptions # 
MessageAPI msg' (msg' -> EnumValueOptions) EnumValueOptions # 

Methods

getVal :: msg' -> (msg' -> EnumValueOptions) -> EnumValueOptions #

isSet :: msg' -> (msg' -> EnumValueOptions) -> Bool #

data FieldOptions #

Instances

Eq FieldOptions # 
Data FieldOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldOptions -> c FieldOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldOptions #

toConstr :: FieldOptions -> Constr #

dataTypeOf :: FieldOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FieldOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldOptions) #

gmapT :: (forall b. Data b => b -> b) -> FieldOptions -> FieldOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> FieldOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldOptions -> m FieldOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldOptions -> m FieldOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldOptions -> m FieldOptions #

Ord FieldOptions # 
Show FieldOptions # 
UnknownMessage FieldOptions # 
ExtendMessage FieldOptions # 
GPB FieldOptions # 
Wire FieldOptions # 
TextMsg FieldOptions # 
TextType FieldOptions # 

Methods

tellT :: String -> FieldOptions -> Output #

getT :: Stream s Identity Char => String -> Parsec s () FieldOptions #

ReflectDescriptor FieldOptions # 
Mergeable FieldOptions # 
Default FieldOptions # 
NameAndOptions FieldDescriptorProto FieldOptions # 
MessageAPI msg' (msg' -> FieldOptions) FieldOptions # 

Methods

getVal :: msg' -> (msg' -> FieldOptions) -> FieldOptions #

isSet :: msg' -> (msg' -> FieldOptions) -> Bool #

data FileOptions #

Instances

Eq FileOptions # 
Data FileOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FileOptions -> c FileOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FileOptions #

toConstr :: FileOptions -> Constr #

dataTypeOf :: FileOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FileOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FileOptions) #

gmapT :: (forall b. Data b => b -> b) -> FileOptions -> FileOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FileOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FileOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> FileOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FileOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FileOptions -> m FileOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FileOptions -> m FileOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FileOptions -> m FileOptions #

Ord FileOptions # 
Show FileOptions # 
UnknownMessage FileOptions # 
ExtendMessage FileOptions # 
GPB FileOptions # 
Wire FileOptions # 
TextMsg FileOptions # 
TextType FileOptions # 

Methods

tellT :: String -> FileOptions -> Output #

getT :: Stream s Identity Char => String -> Parsec s () FileOptions #

ReflectDescriptor FileOptions # 
Mergeable FileOptions # 
Default FileOptions # 
NameAndOptions FileDescriptorProto FileOptions # 
MessageAPI msg' (msg' -> FileOptions) FileOptions # 

Methods

getVal :: msg' -> (msg' -> FileOptions) -> FileOptions #

isSet :: msg' -> (msg' -> FileOptions) -> Bool #

data MessageOptions #

Instances

Eq MessageOptions # 
Data MessageOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MessageOptions -> c MessageOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MessageOptions #

toConstr :: MessageOptions -> Constr #

dataTypeOf :: MessageOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MessageOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MessageOptions) #

gmapT :: (forall b. Data b => b -> b) -> MessageOptions -> MessageOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MessageOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MessageOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> MessageOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MessageOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MessageOptions -> m MessageOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MessageOptions -> m MessageOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MessageOptions -> m MessageOptions #

Ord MessageOptions # 
Show MessageOptions # 
UnknownMessage MessageOptions # 
ExtendMessage MessageOptions # 
GPB MessageOptions # 
Wire MessageOptions # 
TextMsg MessageOptions # 
TextType MessageOptions # 
ReflectDescriptor MessageOptions # 
Mergeable MessageOptions # 
Default MessageOptions # 
NameAndOptions DescriptorProto MessageOptions # 
MessageAPI msg' (msg' -> MessageOptions) MessageOptions # 

Methods

getVal :: msg' -> (msg' -> MessageOptions) -> MessageOptions #

isSet :: msg' -> (msg' -> MessageOptions) -> Bool #

data MethodOptions #

Instances

Eq MethodOptions # 
Data MethodOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MethodOptions -> c MethodOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MethodOptions #

toConstr :: MethodOptions -> Constr #

dataTypeOf :: MethodOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MethodOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MethodOptions) #

gmapT :: (forall b. Data b => b -> b) -> MethodOptions -> MethodOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MethodOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MethodOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> MethodOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MethodOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MethodOptions -> m MethodOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodOptions -> m MethodOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MethodOptions -> m MethodOptions #

Ord MethodOptions # 
Show MethodOptions # 
UnknownMessage MethodOptions # 
ExtendMessage MethodOptions # 
GPB MethodOptions # 
Wire MethodOptions # 
TextMsg MethodOptions # 
TextType MethodOptions # 

Methods

tellT :: String -> MethodOptions -> Output #

getT :: Stream s Identity Char => String -> Parsec s () MethodOptions #

ReflectDescriptor MethodOptions # 
Mergeable MethodOptions # 
Default MethodOptions # 
NameAndOptions MethodDescriptorProto MethodOptions # 
MessageAPI msg' (msg' -> MethodOptions) MethodOptions # 

Methods

getVal :: msg' -> (msg' -> MethodOptions) -> MethodOptions #

isSet :: msg' -> (msg' -> MethodOptions) -> Bool #

data ServiceOptions #

Instances

Eq ServiceOptions # 
Data ServiceOptions # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ServiceOptions -> c ServiceOptions #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ServiceOptions #

toConstr :: ServiceOptions -> Constr #

dataTypeOf :: ServiceOptions -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ServiceOptions) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ServiceOptions) #

gmapT :: (forall b. Data b => b -> b) -> ServiceOptions -> ServiceOptions #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ServiceOptions -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ServiceOptions -> r #

gmapQ :: (forall d. Data d => d -> u) -> ServiceOptions -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ServiceOptions -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ServiceOptions -> m ServiceOptions #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ServiceOptions -> m ServiceOptions #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ServiceOptions -> m ServiceOptions #

Ord ServiceOptions # 
Show ServiceOptions # 
UnknownMessage ServiceOptions # 
ExtendMessage ServiceOptions # 
GPB ServiceOptions # 
Wire ServiceOptions # 
TextMsg ServiceOptions # 
TextType ServiceOptions # 
ReflectDescriptor ServiceOptions # 
Mergeable ServiceOptions # 
Default ServiceOptions # 
NameAndOptions ServiceDescriptorProto ServiceOptions # 
MessageAPI msg' (msg' -> ServiceOptions) ServiceOptions # 

Methods

getVal :: msg' -> (msg' -> ServiceOptions) -> ServiceOptions #

isSet :: msg' -> (msg' -> ServiceOptions) -> Bool #