Safe Haskell	None
Language	Haskell2010

Proto3.Suite.DotProto.AST

Contents

Types

Description

Fairly straightforward AST encoding of the .proto grammar

Synopsis

newtype MessageName = MessageName {
- getMessageName :: String
}
newtype FieldName = FieldName {
- getFieldName :: String
}
newtype PackageName = PackageName {
- getPackageName :: String
}
data DotProtoIdentifier
- = Single String
- | Dots Path
- | Qualified DotProtoIdentifier DotProtoIdentifier
- | Anonymous
data DotProtoImport = DotProtoImport {
- dotProtoImportQualifier :: DotProtoImportQualifier
- dotProtoImportPath :: FilePath
}
data DotProtoImportQualifier
- = DotProtoImportPublic
- | DotProtoImportWeak
- | DotProtoImportDefault
data DotProtoPackageSpec
- = DotProtoPackageSpec DotProtoIdentifier
- | DotProtoNoPackage
data DotProtoOption = DotProtoOption {
- dotProtoOptionIdentifier :: DotProtoIdentifier
- dotProtoOptionValue :: DotProtoValue
}
data DotProtoDefinition
- = DotProtoMessage String DotProtoIdentifier [DotProtoMessagePart]
- | DotProtoEnum String DotProtoIdentifier [DotProtoEnumPart]
- | DotProtoService String DotProtoIdentifier [DotProtoServicePart]
data DotProtoMeta = DotProtoMeta {
- metaModulePath :: Path
}
data DotProto = DotProto {
- protoImports :: [DotProtoImport]
- protoOptions :: [DotProtoOption]
- protoPackage :: DotProtoPackageSpec
- protoDefinitions :: [DotProtoDefinition]
- protoMeta :: DotProtoMeta
}
data DotProtoValue
- = Identifier DotProtoIdentifier
- | StringLit String
- | IntLit Int
- | FloatLit Double
- | BoolLit Bool
data DotProtoPrimType
- = Int32
- | Int64
- | SInt32
- | SInt64
- | UInt32
- | UInt64
- | Fixed32
- | Fixed64
- | SFixed32
- | SFixed64
- | String
- | Bytes
- | Bool
- | Float
- | Double
- | Named DotProtoIdentifier
data Packing
- = PackedField
- | UnpackedField
newtype Path = Path {
- components :: NonEmpty String
}
fakePath :: Path
data DotProtoType
- = Prim DotProtoPrimType
- | Optional DotProtoPrimType
- | Repeated DotProtoPrimType
- | NestedRepeated DotProtoPrimType
- | Map DotProtoPrimType DotProtoPrimType
type DotProtoEnumValue = Int32
data DotProtoEnumPart
- = DotProtoEnumField DotProtoIdentifier DotProtoEnumValue [DotProtoOption]
- | DotProtoEnumOption DotProtoOption
- | DotProtoEnumReserved [DotProtoReservedField]
data Streaming
- = Streaming
- | NonStreaming
data DotProtoServicePart
- = DotProtoServiceRPCMethod RPCMethod
- | DotProtoServiceOption DotProtoOption
data RPCMethod = RPCMethod {
- rpcMethodName :: DotProtoIdentifier
- rpcMethodRequestType :: DotProtoIdentifier
- rpcMethodRequestStreaming :: Streaming
- rpcMethodResponseType :: DotProtoIdentifier
- rpcMethodResponseStreaming :: Streaming
- rpcMethodOptions :: [DotProtoOption]
}
data DotProtoMessagePart
- = DotProtoMessageField DotProtoField
- | DotProtoMessageOneOf DotProtoIdentifier [DotProtoField]
- | DotProtoMessageDefinition DotProtoDefinition
- | DotProtoMessageReserved [DotProtoReservedField]
- | DotProtoMessageOption DotProtoOption
data DotProtoField = DotProtoField {
- dotProtoFieldNumber :: FieldNumber
- dotProtoFieldType :: DotProtoType
- dotProtoFieldName :: DotProtoIdentifier
- dotProtoFieldOptions :: [DotProtoOption]
- dotProtoFieldComment :: String
}
data DotProtoReservedField
- = SingleField Int
- | FieldRange Int Int
- | ReservedIdentifier String

Types

newtype MessageName Source #

The name of a message

Constructors

MessageName
Fields getMessageName :: String

Instances

Instances details

Data MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: MessageName -> Constr #

dataTypeOf :: MessageName -> DataType #

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

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

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

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

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

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

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

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

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

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

IsString MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

fromString :: String -> MessageName #

Generic MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep MessageName
Instance details Defined in Proto3.Suite.DotProto.AST type Rep MessageName = D1 ('MetaData "MessageName" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "MessageName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMessageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: MessageName -> Rep MessageName x #

to :: Rep MessageName x -> MessageName #

Show MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> MessageName -> ShowS #

show :: MessageName -> String #

showList :: [MessageName] -> ShowS #

Eq MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: MessageName -> MessageName -> Bool #

(/=) :: MessageName -> MessageName -> Bool #

Ord MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: MessageName -> MessageName -> Ordering #

(<) :: MessageName -> MessageName -> Bool #

(<=) :: MessageName -> MessageName -> Bool #

(>) :: MessageName -> MessageName -> Bool #

(>=) :: MessageName -> MessageName -> Bool #

max :: MessageName -> MessageName -> MessageName #

min :: MessageName -> MessageName -> MessageName #

type Rep MessageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep MessageName = D1 ('MetaData "MessageName" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "MessageName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMessageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype FieldName Source #

The name of some field

Constructors

FieldName
Fields getFieldName :: String

Instances

Instances details

Data FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: FieldName -> Constr #

dataTypeOf :: FieldName -> DataType #

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

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

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

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

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

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

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

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

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

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

IsString FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

fromString :: String -> FieldName #

Generic FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep FieldName
Instance details Defined in Proto3.Suite.DotProto.AST type Rep FieldName = D1 ('MetaData "FieldName" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "FieldName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: FieldName -> Rep FieldName x #

to :: Rep FieldName x -> FieldName #

Show FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> FieldName -> ShowS #

show :: FieldName -> String #

showList :: [FieldName] -> ShowS #

Eq FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: FieldName -> FieldName -> Bool #

(/=) :: FieldName -> FieldName -> Bool #

Ord FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: FieldName -> FieldName -> Ordering #

(<) :: FieldName -> FieldName -> Bool #

(<=) :: FieldName -> FieldName -> Bool #

(>) :: FieldName -> FieldName -> Bool #

(>=) :: FieldName -> FieldName -> Bool #

max :: FieldName -> FieldName -> FieldName #

min :: FieldName -> FieldName -> FieldName #

type Rep FieldName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep FieldName = D1 ('MetaData "FieldName" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "FieldName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype PackageName Source #

The name of the package

Constructors

PackageName
Fields getPackageName :: String

Instances

Instances details

Data PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: PackageName -> Constr #

dataTypeOf :: PackageName -> DataType #

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

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

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

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

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

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

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

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

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

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

IsString PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

fromString :: String -> PackageName #

Generic PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep PackageName
Instance details Defined in Proto3.Suite.DotProto.AST type Rep PackageName = D1 ('MetaData "PackageName" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "PackageName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPackageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

Methods

from :: PackageName -> Rep PackageName x #

to :: Rep PackageName x -> PackageName #

Show PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> PackageName -> ShowS #

show :: PackageName -> String #

showList :: [PackageName] -> ShowS #

Eq PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: PackageName -> PackageName -> Bool #

(/=) :: PackageName -> PackageName -> Bool #

Ord PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: PackageName -> PackageName -> Ordering #

(<) :: PackageName -> PackageName -> Bool #

(<=) :: PackageName -> PackageName -> Bool #

(>) :: PackageName -> PackageName -> Bool #

(>=) :: PackageName -> PackageName -> Bool #

max :: PackageName -> PackageName -> PackageName #

min :: PackageName -> PackageName -> PackageName #

type Rep PackageName Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep PackageName = D1 ('MetaData "PackageName" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "PackageName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPackageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data DotProtoIdentifier Source #

Constructors

Single String
Dots Path
Qualified DotProtoIdentifier DotProtoIdentifier
Anonymous

Instances

Instances details

Data DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoIdentifier -> Constr #

dataTypeOf :: DotProtoIdentifier -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoIdentifier

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoIdentifier = D1 ('MetaData "DotProtoIdentifier" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "Single" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "Dots" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path))) :+: (C1 ('MetaCons "Qualified" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier)) :+: C1 ('MetaCons "Anonymous" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: DotProtoIdentifier -> Rep DotProtoIdentifier x #

to :: Rep DotProtoIdentifier x -> DotProtoIdentifier #

Show DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoIdentifier -> ShowS #

show :: DotProtoIdentifier -> String #

showList :: [DotProtoIdentifier] -> ShowS #

Eq DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoIdentifier -> DotProtoIdentifier -> Bool #

(/=) :: DotProtoIdentifier -> DotProtoIdentifier -> Bool #

Ord DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoIdentifier -> DotProtoIdentifier -> Ordering #

(<) :: DotProtoIdentifier -> DotProtoIdentifier -> Bool #

(<=) :: DotProtoIdentifier -> DotProtoIdentifier -> Bool #

(>) :: DotProtoIdentifier -> DotProtoIdentifier -> Bool #

(>=) :: DotProtoIdentifier -> DotProtoIdentifier -> Bool #

max :: DotProtoIdentifier -> DotProtoIdentifier -> DotProtoIdentifier #

min :: DotProtoIdentifier -> DotProtoIdentifier -> DotProtoIdentifier #

Pretty DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoIdentifier -> Doc #

pPrint :: DotProtoIdentifier -> Doc #

pPrintList :: PrettyLevel -> [DotProtoIdentifier] -> Doc #

type Rep DotProtoIdentifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoIdentifier = D1 ('MetaData "DotProtoIdentifier" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "Single" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "Dots" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path))) :+: (C1 ('MetaCons "Qualified" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier)) :+: C1 ('MetaCons "Anonymous" 'PrefixI 'False) (U1 :: Type -> Type)))

data DotProtoImport Source #

Top-level import declaration

Constructors

DotProtoImport
Fields dotProtoImportQualifier :: DotProtoImportQualifier dotProtoImportPath :: FilePath

Instances

Instances details

Arbitrary DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoImport #

shrink :: DotProtoImport -> [DotProtoImport] #

Data DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoImport -> Constr #

dataTypeOf :: DotProtoImport -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoImport

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoImport = D1 ('MetaData "DotProtoImport" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoImport" 'PrefixI 'True) (S1 ('MetaSel ('Just "dotProtoImportQualifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoImportQualifier) :*: S1 ('MetaSel ('Just "dotProtoImportPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))

Methods

from :: DotProtoImport -> Rep DotProtoImport x #

to :: Rep DotProtoImport x -> DotProtoImport #

Show DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoImport -> ShowS #

show :: DotProtoImport -> String #

showList :: [DotProtoImport] -> ShowS #

Eq DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoImport -> DotProtoImport -> Bool #

(/=) :: DotProtoImport -> DotProtoImport -> Bool #

Ord DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoImport -> DotProtoImport -> Ordering #

(<) :: DotProtoImport -> DotProtoImport -> Bool #

(<=) :: DotProtoImport -> DotProtoImport -> Bool #

(>) :: DotProtoImport -> DotProtoImport -> Bool #

(>=) :: DotProtoImport -> DotProtoImport -> Bool #

max :: DotProtoImport -> DotProtoImport -> DotProtoImport #

min :: DotProtoImport -> DotProtoImport -> DotProtoImport #

Pretty DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoImport -> Doc #

pPrint :: DotProtoImport -> Doc #

pPrintList :: PrettyLevel -> [DotProtoImport] -> Doc #

type Rep DotProtoImport Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoImport = D1 ('MetaData "DotProtoImport" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoImport" 'PrefixI 'True) (S1 ('MetaSel ('Just "dotProtoImportQualifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoImportQualifier) :*: S1 ('MetaSel ('Just "dotProtoImportPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))

data DotProtoImportQualifier Source #

Constructors

DotProtoImportPublic
DotProtoImportWeak
DotProtoImportDefault

Instances

Instances details

Arbitrary DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoImportQualifier #

shrink :: DotProtoImportQualifier -> [DotProtoImportQualifier] #

Data DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoImportQualifier -> Constr #

dataTypeOf :: DotProtoImportQualifier -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

minBound :: DotProtoImportQualifier #

maxBound :: DotProtoImportQualifier #

Enum DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Generic DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoImportQualifier

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoImportQualifier = D1 ('MetaData "DotProtoImportQualifier" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoImportPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DotProtoImportWeak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DotProtoImportDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: DotProtoImportQualifier -> Rep DotProtoImportQualifier x #

to :: Rep DotProtoImportQualifier x -> DotProtoImportQualifier #

Show DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoImportQualifier -> ShowS #

show :: DotProtoImportQualifier -> String #

showList :: [DotProtoImportQualifier] -> ShowS #

Eq DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoImportQualifier -> DotProtoImportQualifier -> Bool #

(/=) :: DotProtoImportQualifier -> DotProtoImportQualifier -> Bool #

Ord DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Pretty DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoImportQualifier -> Doc #

pPrint :: DotProtoImportQualifier -> Doc #

pPrintList :: PrettyLevel -> [DotProtoImportQualifier] -> Doc #

type Rep DotProtoImportQualifier Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoImportQualifier = D1 ('MetaData "DotProtoImportQualifier" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoImportPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DotProtoImportWeak" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DotProtoImportDefault" 'PrefixI 'False) (U1 :: Type -> Type)))

data DotProtoPackageSpec Source #

The namespace declaration

Constructors

DotProtoPackageSpec DotProtoIdentifier
DotProtoNoPackage

Instances

Instances details

Arbitrary DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoPackageSpec #

shrink :: DotProtoPackageSpec -> [DotProtoPackageSpec] #

Data DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoPackageSpec -> Constr #

dataTypeOf :: DotProtoPackageSpec -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoPackageSpec

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoPackageSpec = D1 ('MetaData "DotProtoPackageSpec" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoPackageSpec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier)) :+: C1 ('MetaCons "DotProtoNoPackage" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: DotProtoPackageSpec -> Rep DotProtoPackageSpec x #

to :: Rep DotProtoPackageSpec x -> DotProtoPackageSpec #

Show DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoPackageSpec -> ShowS #

show :: DotProtoPackageSpec -> String #

showList :: [DotProtoPackageSpec] -> ShowS #

Eq DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoPackageSpec -> DotProtoPackageSpec -> Bool #

(/=) :: DotProtoPackageSpec -> DotProtoPackageSpec -> Bool #

Ord DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoPackageSpec -> DotProtoPackageSpec -> Ordering #

(<) :: DotProtoPackageSpec -> DotProtoPackageSpec -> Bool #

(<=) :: DotProtoPackageSpec -> DotProtoPackageSpec -> Bool #

(>) :: DotProtoPackageSpec -> DotProtoPackageSpec -> Bool #

(>=) :: DotProtoPackageSpec -> DotProtoPackageSpec -> Bool #

max :: DotProtoPackageSpec -> DotProtoPackageSpec -> DotProtoPackageSpec #

min :: DotProtoPackageSpec -> DotProtoPackageSpec -> DotProtoPackageSpec #

Pretty DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoPackageSpec -> Doc #

pPrint :: DotProtoPackageSpec -> Doc #

pPrintList :: PrettyLevel -> [DotProtoPackageSpec] -> Doc #

type Rep DotProtoPackageSpec Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoPackageSpec = D1 ('MetaData "DotProtoPackageSpec" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoPackageSpec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier)) :+: C1 ('MetaCons "DotProtoNoPackage" 'PrefixI 'False) (U1 :: Type -> Type))

data DotProtoOption Source #

An option id/value pair, can be attached to many types of statements

Constructors

DotProtoOption
Fields dotProtoOptionIdentifier :: DotProtoIdentifier dotProtoOptionValue :: DotProtoValue

Instances

Instances details

Arbitrary DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoOption #

shrink :: DotProtoOption -> [DotProtoOption] #

Data DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoOption -> Constr #

dataTypeOf :: DotProtoOption -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoOption

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoOption = D1 ('MetaData "DotProtoOption" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoOption" 'PrefixI 'True) (S1 ('MetaSel ('Just "dotProtoOptionIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Just "dotProtoOptionValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoValue)))

Methods

from :: DotProtoOption -> Rep DotProtoOption x #

to :: Rep DotProtoOption x -> DotProtoOption #

Show DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoOption -> ShowS #

show :: DotProtoOption -> String #

showList :: [DotProtoOption] -> ShowS #

Eq DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoOption -> DotProtoOption -> Bool #

(/=) :: DotProtoOption -> DotProtoOption -> Bool #

Ord DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoOption -> DotProtoOption -> Ordering #

(<) :: DotProtoOption -> DotProtoOption -> Bool #

(<=) :: DotProtoOption -> DotProtoOption -> Bool #

(>) :: DotProtoOption -> DotProtoOption -> Bool #

(>=) :: DotProtoOption -> DotProtoOption -> Bool #

max :: DotProtoOption -> DotProtoOption -> DotProtoOption #

min :: DotProtoOption -> DotProtoOption -> DotProtoOption #

Pretty DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoOption -> Doc #

pPrint :: DotProtoOption -> Doc #

pPrintList :: PrettyLevel -> [DotProtoOption] -> Doc #

type Rep DotProtoOption Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoOption = D1 ('MetaData "DotProtoOption" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoOption" 'PrefixI 'True) (S1 ('MetaSel ('Just "dotProtoOptionIdentifier") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Just "dotProtoOptionValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoValue)))

data DotProtoDefinition Source #

Top-level protocol definitions

Constructors

DotProtoMessage String DotProtoIdentifier [DotProtoMessagePart]
DotProtoEnum String DotProtoIdentifier [DotProtoEnumPart]
DotProtoService String DotProtoIdentifier [DotProtoServicePart]

Instances

Instances details

Arbitrary DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoDefinition #

shrink :: DotProtoDefinition -> [DotProtoDefinition] #

Data DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoDefinition -> Constr #

dataTypeOf :: DotProtoDefinition -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoDefinition

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

from :: DotProtoDefinition -> Rep DotProtoDefinition x #

to :: Rep DotProtoDefinition x -> DotProtoDefinition #

Show DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoDefinition -> ShowS #

show :: DotProtoDefinition -> String #

showList :: [DotProtoDefinition] -> ShowS #

Eq DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoDefinition -> DotProtoDefinition -> Bool #

(/=) :: DotProtoDefinition -> DotProtoDefinition -> Bool #

Ord DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoDefinition -> DotProtoDefinition -> Ordering #

(<) :: DotProtoDefinition -> DotProtoDefinition -> Bool #

(<=) :: DotProtoDefinition -> DotProtoDefinition -> Bool #

(>) :: DotProtoDefinition -> DotProtoDefinition -> Bool #

(>=) :: DotProtoDefinition -> DotProtoDefinition -> Bool #

max :: DotProtoDefinition -> DotProtoDefinition -> DotProtoDefinition #

min :: DotProtoDefinition -> DotProtoDefinition -> DotProtoDefinition #

type Rep DotProtoDefinition Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

data DotProtoMeta Source #

Tracks misc metadata about the AST

Constructors

DotProtoMeta
Fields metaModulePath :: Path The "module path" associated with the .proto file from which this AST was parsed. The "module path" is derived from the `--includeDir`-relative .proto filename passed to `parseProtoFile`. See `toModulePath` for details on how module path values are constructed. See `modulePathModName` to see how it is used during code generation.

Instances

Instances details

Arbitrary DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoMeta #

shrink :: DotProtoMeta -> [DotProtoMeta] #

Data DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoMeta -> Constr #

dataTypeOf :: DotProtoMeta -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoMeta
Instance details Defined in Proto3.Suite.DotProto.AST type Rep DotProtoMeta = D1 ('MetaData "DotProtoMeta" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoMeta" 'PrefixI 'True) (S1 ('MetaSel ('Just "metaModulePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path)))

Methods

from :: DotProtoMeta -> Rep DotProtoMeta x #

to :: Rep DotProtoMeta x -> DotProtoMeta #

Show DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoMeta -> ShowS #

show :: DotProtoMeta -> String #

showList :: [DotProtoMeta] -> ShowS #

Eq DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoMeta -> DotProtoMeta -> Bool #

(/=) :: DotProtoMeta -> DotProtoMeta -> Bool #

Ord DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoMeta -> DotProtoMeta -> Ordering #

(<) :: DotProtoMeta -> DotProtoMeta -> Bool #

(<=) :: DotProtoMeta -> DotProtoMeta -> Bool #

(>) :: DotProtoMeta -> DotProtoMeta -> Bool #

(>=) :: DotProtoMeta -> DotProtoMeta -> Bool #

max :: DotProtoMeta -> DotProtoMeta -> DotProtoMeta #

min :: DotProtoMeta -> DotProtoMeta -> DotProtoMeta #

type Rep DotProtoMeta Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoMeta = D1 ('MetaData "DotProtoMeta" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoMeta" 'PrefixI 'True) (S1 ('MetaSel ('Just "metaModulePath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Path)))

data DotProto Source #

This data structure represents a .proto file The actual source order of protobuf statements isn't meaningful so statements are sorted by type during parsing. A .proto file with more than one package declaration is considered invalid.

Constructors

DotProto
Fields protoImports :: [DotProtoImport] protoOptions :: [DotProtoOption] protoPackage :: DotProtoPackageSpec protoDefinitions :: [DotProtoDefinition] protoMeta :: DotProtoMeta

Instances

Instances details

Arbitrary DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProto #

shrink :: DotProto -> [DotProto] #

Data DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProto -> Constr #

dataTypeOf :: DotProto -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProto

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProto = D1 ('MetaData "DotProto" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProto" 'PrefixI 'True) ((S1 ('MetaSel ('Just "protoImports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoImport]) :*: S1 ('MetaSel ('Just "protoOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption])) :*: (S1 ('MetaSel ('Just "protoPackage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPackageSpec) :*: (S1 ('MetaSel ('Just "protoDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoDefinition]) :*: S1 ('MetaSel ('Just "protoMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoMeta)))))

Methods

from :: DotProto -> Rep DotProto x #

to :: Rep DotProto x -> DotProto #

Show DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProto -> ShowS #

show :: DotProto -> String #

showList :: [DotProto] -> ShowS #

Eq DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProto -> DotProto -> Bool #

(/=) :: DotProto -> DotProto -> Bool #

Ord DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProto -> DotProto -> Ordering #

(<) :: DotProto -> DotProto -> Bool #

(<=) :: DotProto -> DotProto -> Bool #

(>) :: DotProto -> DotProto -> Bool #

(>=) :: DotProto -> DotProto -> Bool #

max :: DotProto -> DotProto -> DotProto #

min :: DotProto -> DotProto -> DotProto #

type Rep DotProto Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProto = D1 ('MetaData "DotProto" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProto" 'PrefixI 'True) ((S1 ('MetaSel ('Just "protoImports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoImport]) :*: S1 ('MetaSel ('Just "protoOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption])) :*: (S1 ('MetaSel ('Just "protoPackage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPackageSpec) :*: (S1 ('MetaSel ('Just "protoDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoDefinition]) :*: S1 ('MetaSel ('Just "protoMeta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoMeta)))))

data DotProtoValue Source #

Matches the definition of constant in the proto3 language spec These are only used as rvalues

Constructors

Identifier DotProtoIdentifier
StringLit String
IntLit Int
FloatLit Double
BoolLit Bool

Instances

Instances details

Arbitrary DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoValue #

shrink :: DotProtoValue -> [DotProtoValue] #

Data DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoValue -> Constr #

dataTypeOf :: DotProtoValue -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoValue

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoValue = D1 ('MetaData "DotProtoValue" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "Identifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier)) :+: C1 ('MetaCons "StringLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "IntLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "FloatLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "BoolLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

Methods

from :: DotProtoValue -> Rep DotProtoValue x #

to :: Rep DotProtoValue x -> DotProtoValue #

Show DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoValue -> ShowS #

show :: DotProtoValue -> String #

showList :: [DotProtoValue] -> ShowS #

Eq DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoValue -> DotProtoValue -> Bool #

(/=) :: DotProtoValue -> DotProtoValue -> Bool #

Ord DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoValue -> DotProtoValue -> Ordering #

(<) :: DotProtoValue -> DotProtoValue -> Bool #

(<=) :: DotProtoValue -> DotProtoValue -> Bool #

(>) :: DotProtoValue -> DotProtoValue -> Bool #

(>=) :: DotProtoValue -> DotProtoValue -> Bool #

max :: DotProtoValue -> DotProtoValue -> DotProtoValue #

min :: DotProtoValue -> DotProtoValue -> DotProtoValue #

Pretty DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoValue -> Doc #

pPrint :: DotProtoValue -> Doc #

pPrintList :: PrettyLevel -> [DotProtoValue] -> Doc #

type Rep DotProtoValue Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoValue = D1 ('MetaData "DotProtoValue" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "Identifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier)) :+: C1 ('MetaCons "StringLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :+: (C1 ('MetaCons "IntLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "FloatLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :+: C1 ('MetaCons "BoolLit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

data DotProtoPrimType Source #

Constructors

Int32
Int64
SInt32
SInt64
UInt32
UInt64
Fixed32
Fixed64
SFixed32
SFixed64
String
Bytes
Bool
Float
Double
Named DotProtoIdentifier	A named type, referring to another message or enum defined in the same file

Instances

Instances details

Arbitrary DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoPrimType #

shrink :: DotProtoPrimType -> [DotProtoPrimType] #

Data DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoPrimType -> Constr #

dataTypeOf :: DotProtoPrimType -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoPrimType

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

from :: DotProtoPrimType -> Rep DotProtoPrimType x #

to :: Rep DotProtoPrimType x -> DotProtoPrimType #

Show DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoPrimType -> ShowS #

show :: DotProtoPrimType -> String #

showList :: [DotProtoPrimType] -> ShowS #

Eq DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoPrimType -> DotProtoPrimType -> Bool #

(/=) :: DotProtoPrimType -> DotProtoPrimType -> Bool #

Ord DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoPrimType -> DotProtoPrimType -> Ordering #

(<) :: DotProtoPrimType -> DotProtoPrimType -> Bool #

(<=) :: DotProtoPrimType -> DotProtoPrimType -> Bool #

(>) :: DotProtoPrimType -> DotProtoPrimType -> Bool #

(>=) :: DotProtoPrimType -> DotProtoPrimType -> Bool #

max :: DotProtoPrimType -> DotProtoPrimType -> DotProtoPrimType #

min :: DotProtoPrimType -> DotProtoPrimType -> DotProtoPrimType #

Pretty DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoPrimType -> Doc #

pPrint :: DotProtoPrimType -> Doc #

pPrintList :: PrettyLevel -> [DotProtoPrimType] -> Doc #

type Rep DotProtoPrimType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

data Packing Source #

Constructors

PackedField
UnpackedField

Instances

Instances details

Arbitrary Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen Packing #

shrink :: Packing -> [Packing] #

Data Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: Packing -> Constr #

dataTypeOf :: Packing -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

minBound :: Packing #

maxBound :: Packing #

Enum Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

succ :: Packing -> Packing #

pred :: Packing -> Packing #

toEnum :: Int -> Packing #

fromEnum :: Packing -> Int #

enumFrom :: Packing -> [Packing] #

enumFromThen :: Packing -> Packing -> [Packing] #

enumFromTo :: Packing -> Packing -> [Packing] #

enumFromThenTo :: Packing -> Packing -> Packing -> [Packing] #

Generic Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep Packing
Instance details Defined in Proto3.Suite.DotProto.AST type Rep Packing = D1 ('MetaData "Packing" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "PackedField" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnpackedField" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Packing -> Rep Packing x #

to :: Rep Packing x -> Packing #

Show Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> Packing -> ShowS #

show :: Packing -> String #

showList :: [Packing] -> ShowS #

Eq Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: Packing -> Packing -> Bool #

(/=) :: Packing -> Packing -> Bool #

Ord Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: Packing -> Packing -> Ordering #

(<) :: Packing -> Packing -> Bool #

(<=) :: Packing -> Packing -> Bool #

(>) :: Packing -> Packing -> Bool #

(>=) :: Packing -> Packing -> Bool #

max :: Packing -> Packing -> Packing #

min :: Packing -> Packing -> Packing #

type Rep Packing Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep Packing = D1 ('MetaData "Packing" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "PackedField" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnpackedField" 'PrefixI 'False) (U1 :: Type -> Type))

newtype Path Source #

Constructors

Path
Fields components :: NonEmpty String

Instances

Instances details

Data Path Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: Path -> Constr #

dataTypeOf :: Path -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic Path Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep Path
Instance details Defined in Proto3.Suite.DotProto.AST type Rep Path = D1 ('MetaData "Path" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "components") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty String))))

Methods

from :: Path -> Rep Path x #

to :: Rep Path x -> Path #

Show Path Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> Path -> ShowS #

show :: Path -> String #

showList :: [Path] -> ShowS #

Eq Path Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: Path -> Path -> Bool #

(/=) :: Path -> Path -> Bool #

Ord Path Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: Path -> Path -> Ordering #

(<) :: Path -> Path -> Bool #

(<=) :: Path -> Path -> Bool #

(>) :: Path -> Path -> Bool #

(>=) :: Path -> Path -> Bool #

max :: Path -> Path -> Path #

min :: Path -> Path -> Path #

type Rep Path Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep Path = D1 ('MetaData "Path" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "components") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty String))))

fakePath :: Path Source #

data DotProtoType Source #

This type is an almagamation of the modifiers used in types. It corresponds to a syntax role but not a semantic role, not all modifiers are meaningful in every type context.

Constructors

Prim DotProtoPrimType
Optional DotProtoPrimType
Repeated DotProtoPrimType
NestedRepeated DotProtoPrimType
Map DotProtoPrimType DotProtoPrimType

Instances

Instances details

Arbitrary DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoType #

shrink :: DotProtoType -> [DotProtoType] #

Data DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoType -> Constr #

dataTypeOf :: DotProtoType -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoType

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoType = D1 ('MetaData "DotProtoType" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "Prim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)) :+: C1 ('MetaCons "Optional" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType))) :+: (C1 ('MetaCons "Repeated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)) :+: (C1 ('MetaCons "NestedRepeated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)))))

Methods

from :: DotProtoType -> Rep DotProtoType x #

to :: Rep DotProtoType x -> DotProtoType #

Show DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoType -> ShowS #

show :: DotProtoType -> String #

showList :: [DotProtoType] -> ShowS #

Eq DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoType -> DotProtoType -> Bool #

(/=) :: DotProtoType -> DotProtoType -> Bool #

Ord DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoType -> DotProtoType -> Ordering #

(<) :: DotProtoType -> DotProtoType -> Bool #

(<=) :: DotProtoType -> DotProtoType -> Bool #

(>) :: DotProtoType -> DotProtoType -> Bool #

(>=) :: DotProtoType -> DotProtoType -> Bool #

max :: DotProtoType -> DotProtoType -> DotProtoType #

min :: DotProtoType -> DotProtoType -> DotProtoType #

Pretty DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoType -> Doc #

pPrint :: DotProtoType -> Doc #

pPrintList :: PrettyLevel -> [DotProtoType] -> Doc #

type Rep DotProtoType Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoType = D1 ('MetaData "DotProtoType" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "Prim" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)) :+: C1 ('MetaCons "Optional" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType))) :+: (C1 ('MetaCons "Repeated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)) :+: (C1 ('MetaCons "NestedRepeated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)) :+: C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoPrimType)))))

type DotProtoEnumValue = Int32 Source #

data DotProtoEnumPart Source #

Constructors

DotProtoEnumField DotProtoIdentifier DotProtoEnumValue [DotProtoOption]
DotProtoEnumOption DotProtoOption
DotProtoEnumReserved [DotProtoReservedField]

Instances

Instances details

Arbitrary DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoEnumPart #

shrink :: DotProtoEnumPart -> [DotProtoEnumPart] #

Data DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoEnumPart -> Constr #

dataTypeOf :: DotProtoEnumPart -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoEnumPart

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoEnumPart = D1 ('MetaData "DotProtoEnumPart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoEnumField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoEnumValue) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption]))) :+: (C1 ('MetaCons "DotProtoEnumOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoOption)) :+: C1 ('MetaCons "DotProtoEnumReserved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoReservedField]))))

Methods

from :: DotProtoEnumPart -> Rep DotProtoEnumPart x #

to :: Rep DotProtoEnumPart x -> DotProtoEnumPart #

Show DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoEnumPart -> ShowS #

show :: DotProtoEnumPart -> String #

showList :: [DotProtoEnumPart] -> ShowS #

Eq DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoEnumPart -> DotProtoEnumPart -> Bool #

(/=) :: DotProtoEnumPart -> DotProtoEnumPart -> Bool #

Ord DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoEnumPart -> DotProtoEnumPart -> Ordering #

(<) :: DotProtoEnumPart -> DotProtoEnumPart -> Bool #

(<=) :: DotProtoEnumPart -> DotProtoEnumPart -> Bool #

(>) :: DotProtoEnumPart -> DotProtoEnumPart -> Bool #

(>=) :: DotProtoEnumPart -> DotProtoEnumPart -> Bool #

max :: DotProtoEnumPart -> DotProtoEnumPart -> DotProtoEnumPart #

min :: DotProtoEnumPart -> DotProtoEnumPart -> DotProtoEnumPart #

type Rep DotProtoEnumPart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoEnumPart = D1 ('MetaData "DotProtoEnumPart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoEnumField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoEnumValue) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption]))) :+: (C1 ('MetaCons "DotProtoEnumOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoOption)) :+: C1 ('MetaCons "DotProtoEnumReserved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoReservedField]))))

data Streaming Source #

Constructors

Streaming
NonStreaming

Instances

Instances details

Arbitrary Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen Streaming #

shrink :: Streaming -> [Streaming] #

Data Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: Streaming -> Constr #

dataTypeOf :: Streaming -> DataType #

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

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

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

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

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

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

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

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

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

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

Bounded Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

minBound :: Streaming #

maxBound :: Streaming #

Enum Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

succ :: Streaming -> Streaming #

pred :: Streaming -> Streaming #

toEnum :: Int -> Streaming #

fromEnum :: Streaming -> Int #

enumFrom :: Streaming -> [Streaming] #

enumFromThen :: Streaming -> Streaming -> [Streaming] #

enumFromTo :: Streaming -> Streaming -> [Streaming] #

enumFromThenTo :: Streaming -> Streaming -> Streaming -> [Streaming] #

Generic Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep Streaming
Instance details Defined in Proto3.Suite.DotProto.AST type Rep Streaming = D1 ('MetaData "Streaming" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "Streaming" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonStreaming" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: Streaming -> Rep Streaming x #

to :: Rep Streaming x -> Streaming #

Show Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> Streaming -> ShowS #

show :: Streaming -> String #

showList :: [Streaming] -> ShowS #

Eq Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: Streaming -> Streaming -> Bool #

(/=) :: Streaming -> Streaming -> Bool #

Ord Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: Streaming -> Streaming -> Ordering #

(<) :: Streaming -> Streaming -> Bool #

(<=) :: Streaming -> Streaming -> Bool #

(>) :: Streaming -> Streaming -> Bool #

(>=) :: Streaming -> Streaming -> Bool #

max :: Streaming -> Streaming -> Streaming #

min :: Streaming -> Streaming -> Streaming #

Pretty Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> Streaming -> Doc #

pPrint :: Streaming -> Doc #

pPrintList :: PrettyLevel -> [Streaming] -> Doc #

type Rep Streaming Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep Streaming = D1 ('MetaData "Streaming" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "Streaming" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NonStreaming" 'PrefixI 'False) (U1 :: Type -> Type))

data DotProtoServicePart Source #

Constructors

DotProtoServiceRPCMethod RPCMethod
DotProtoServiceOption DotProtoOption

Instances

Instances details

Arbitrary DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoServicePart #

shrink :: DotProtoServicePart -> [DotProtoServicePart] #

Data DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoServicePart -> Constr #

dataTypeOf :: DotProtoServicePart -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoServicePart

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoServicePart = D1 ('MetaData "DotProtoServicePart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoServiceRPCMethod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RPCMethod)) :+: C1 ('MetaCons "DotProtoServiceOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoOption)))

Methods

from :: DotProtoServicePart -> Rep DotProtoServicePart x #

to :: Rep DotProtoServicePart x -> DotProtoServicePart #

Show DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoServicePart -> ShowS #

show :: DotProtoServicePart -> String #

showList :: [DotProtoServicePart] -> ShowS #

Eq DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoServicePart -> DotProtoServicePart -> Bool #

(/=) :: DotProtoServicePart -> DotProtoServicePart -> Bool #

Ord DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoServicePart -> DotProtoServicePart -> Ordering #

(<) :: DotProtoServicePart -> DotProtoServicePart -> Bool #

(<=) :: DotProtoServicePart -> DotProtoServicePart -> Bool #

(>) :: DotProtoServicePart -> DotProtoServicePart -> Bool #

(>=) :: DotProtoServicePart -> DotProtoServicePart -> Bool #

max :: DotProtoServicePart -> DotProtoServicePart -> DotProtoServicePart #

min :: DotProtoServicePart -> DotProtoServicePart -> DotProtoServicePart #

Pretty DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoServicePart -> Doc #

pPrint :: DotProtoServicePart -> Doc #

pPrintList :: PrettyLevel -> [DotProtoServicePart] -> Doc #

type Rep DotProtoServicePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoServicePart = D1 ('MetaData "DotProtoServicePart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoServiceRPCMethod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RPCMethod)) :+: C1 ('MetaCons "DotProtoServiceOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoOption)))

data RPCMethod Source #

Constructors

RPCMethod
Fields rpcMethodName :: DotProtoIdentifier rpcMethodRequestType :: DotProtoIdentifier rpcMethodRequestStreaming :: Streaming rpcMethodResponseType :: DotProtoIdentifier rpcMethodResponseStreaming :: Streaming rpcMethodOptions :: [DotProtoOption]

Instances

Instances details

Arbitrary RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen RPCMethod #

shrink :: RPCMethod -> [RPCMethod] #

Data RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: RPCMethod -> Constr #

dataTypeOf :: RPCMethod -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep RPCMethod

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep RPCMethod = D1 ('MetaData "RPCMethod" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "RPCMethod" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rpcMethodName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Just "rpcMethodRequestType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Just "rpcMethodRequestStreaming") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Streaming))) :*: (S1 ('MetaSel ('Just "rpcMethodResponseType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Just "rpcMethodResponseStreaming") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Streaming) :*: S1 ('MetaSel ('Just "rpcMethodOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption])))))

Methods

from :: RPCMethod -> Rep RPCMethod x #

to :: Rep RPCMethod x -> RPCMethod #

Show RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> RPCMethod -> ShowS #

show :: RPCMethod -> String #

showList :: [RPCMethod] -> ShowS #

Eq RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: RPCMethod -> RPCMethod -> Bool #

(/=) :: RPCMethod -> RPCMethod -> Bool #

Ord RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: RPCMethod -> RPCMethod -> Ordering #

(<) :: RPCMethod -> RPCMethod -> Bool #

(<=) :: RPCMethod -> RPCMethod -> Bool #

(>) :: RPCMethod -> RPCMethod -> Bool #

(>=) :: RPCMethod -> RPCMethod -> Bool #

max :: RPCMethod -> RPCMethod -> RPCMethod #

min :: RPCMethod -> RPCMethod -> RPCMethod #

type Rep RPCMethod Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep RPCMethod = D1 ('MetaData "RPCMethod" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "RPCMethod" 'PrefixI 'True) ((S1 ('MetaSel ('Just "rpcMethodName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Just "rpcMethodRequestType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Just "rpcMethodRequestStreaming") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Streaming))) :*: (S1 ('MetaSel ('Just "rpcMethodResponseType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Just "rpcMethodResponseStreaming") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Streaming) :*: S1 ('MetaSel ('Just "rpcMethodOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption])))))

data DotProtoMessagePart Source #

Constructors

DotProtoMessageField DotProtoField
DotProtoMessageOneOf DotProtoIdentifier [DotProtoField]
DotProtoMessageDefinition DotProtoDefinition
DotProtoMessageReserved [DotProtoReservedField]
DotProtoMessageOption DotProtoOption

Instances

Instances details

Arbitrary DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoMessagePart #

shrink :: DotProtoMessagePart -> [DotProtoMessagePart] #

Data DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoMessagePart -> Constr #

dataTypeOf :: DotProtoMessagePart -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoMessagePart

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoMessagePart = D1 ('MetaData "DotProtoMessagePart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "DotProtoMessageField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoField)) :+: C1 ('MetaCons "DotProtoMessageOneOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoField]))) :+: (C1 ('MetaCons "DotProtoMessageDefinition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoDefinition)) :+: (C1 ('MetaCons "DotProtoMessageReserved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoReservedField])) :+: C1 ('MetaCons "DotProtoMessageOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoOption)))))

Methods

from :: DotProtoMessagePart -> Rep DotProtoMessagePart x #

to :: Rep DotProtoMessagePart x -> DotProtoMessagePart #

Show DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoMessagePart -> ShowS #

show :: DotProtoMessagePart -> String #

showList :: [DotProtoMessagePart] -> ShowS #

Eq DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoMessagePart -> DotProtoMessagePart -> Bool #

(/=) :: DotProtoMessagePart -> DotProtoMessagePart -> Bool #

Ord DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoMessagePart -> DotProtoMessagePart -> Ordering #

(<) :: DotProtoMessagePart -> DotProtoMessagePart -> Bool #

(<=) :: DotProtoMessagePart -> DotProtoMessagePart -> Bool #

(>) :: DotProtoMessagePart -> DotProtoMessagePart -> Bool #

(>=) :: DotProtoMessagePart -> DotProtoMessagePart -> Bool #

max :: DotProtoMessagePart -> DotProtoMessagePart -> DotProtoMessagePart #

min :: DotProtoMessagePart -> DotProtoMessagePart -> DotProtoMessagePart #

type Rep DotProtoMessagePart Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoMessagePart = D1 ('MetaData "DotProtoMessagePart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) ((C1 ('MetaCons "DotProtoMessageField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoField)) :+: C1 ('MetaCons "DotProtoMessageOneOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoField]))) :+: (C1 ('MetaCons "DotProtoMessageDefinition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoDefinition)) :+: (C1 ('MetaCons "DotProtoMessageReserved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoReservedField])) :+: C1 ('MetaCons "DotProtoMessageOption" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoOption)))))

data DotProtoField Source #

Constructors

DotProtoField
Fields dotProtoFieldNumber :: FieldNumber dotProtoFieldType :: DotProtoType dotProtoFieldName :: DotProtoIdentifier dotProtoFieldOptions :: [DotProtoOption] dotProtoFieldComment :: String

Instances

Instances details

Arbitrary DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoField #

shrink :: DotProtoField -> [DotProtoField] #

Data DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoField -> Constr #

dataTypeOf :: DotProtoField -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoField

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoField = D1 ('MetaData "DotProtoField" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoField" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dotProtoFieldNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldNumber) :*: S1 ('MetaSel ('Just "dotProtoFieldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoType)) :*: (S1 ('MetaSel ('Just "dotProtoFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Just "dotProtoFieldOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption]) :*: S1 ('MetaSel ('Just "dotProtoFieldComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

Methods

from :: DotProtoField -> Rep DotProtoField x #

to :: Rep DotProtoField x -> DotProtoField #

Show DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoField -> ShowS #

show :: DotProtoField -> String #

showList :: [DotProtoField] -> ShowS #

Eq DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoField -> DotProtoField -> Bool #

(/=) :: DotProtoField -> DotProtoField -> Bool #

Ord DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoField -> DotProtoField -> Ordering #

(<) :: DotProtoField -> DotProtoField -> Bool #

(<=) :: DotProtoField -> DotProtoField -> Bool #

(>) :: DotProtoField -> DotProtoField -> Bool #

(>=) :: DotProtoField -> DotProtoField -> Bool #

max :: DotProtoField -> DotProtoField -> DotProtoField #

min :: DotProtoField -> DotProtoField -> DotProtoField #

type Rep DotProtoField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoField = D1 ('MetaData "DotProtoField" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "DotProtoField" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dotProtoFieldNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FieldNumber) :*: S1 ('MetaSel ('Just "dotProtoFieldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoType)) :*: (S1 ('MetaSel ('Just "dotProtoFieldName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: (S1 ('MetaSel ('Just "dotProtoFieldOptions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoOption]) :*: S1 ('MetaSel ('Just "dotProtoFieldComment") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

data DotProtoReservedField Source #

Constructors

SingleField Int
FieldRange Int Int
ReservedIdentifier String

Instances

Instances details

Arbitrary DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoReservedField #

shrink :: DotProtoReservedField -> [DotProtoReservedField] #

Data DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

toConstr :: DotProtoReservedField -> Constr #

dataTypeOf :: DotProtoReservedField -> DataType #

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

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

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

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

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

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

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

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

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

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

Generic DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoReservedField

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoReservedField = D1 ('MetaData "DotProtoReservedField" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "SingleField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "FieldRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "ReservedIdentifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

Methods

from :: DotProtoReservedField -> Rep DotProtoReservedField x #

to :: Rep DotProtoReservedField x -> DotProtoReservedField #

Show DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoReservedField -> ShowS #

show :: DotProtoReservedField -> String #

showList :: [DotProtoReservedField] -> ShowS #

Eq DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

(==) :: DotProtoReservedField -> DotProtoReservedField -> Bool #

(/=) :: DotProtoReservedField -> DotProtoReservedField -> Bool #

Ord DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoReservedField -> DotProtoReservedField -> Ordering #

(<) :: DotProtoReservedField -> DotProtoReservedField -> Bool #

(<=) :: DotProtoReservedField -> DotProtoReservedField -> Bool #

(>) :: DotProtoReservedField -> DotProtoReservedField -> Bool #

(>=) :: DotProtoReservedField -> DotProtoReservedField -> Bool #

max :: DotProtoReservedField -> DotProtoReservedField -> DotProtoReservedField #

min :: DotProtoReservedField -> DotProtoReservedField -> DotProtoReservedField #

Pretty DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

Methods

pPrintPrec :: PrettyLevel -> Rational -> DotProtoReservedField -> Doc #

pPrint :: DotProtoReservedField -> Doc #

pPrintList :: PrettyLevel -> [DotProtoReservedField] -> Doc #

type Rep DotProtoReservedField Source #

Instance details

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoReservedField = D1 ('MetaData "DotProtoReservedField" "Proto3.Suite.DotProto.AST" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'False) (C1 ('MetaCons "SingleField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: (C1 ('MetaCons "FieldRange" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "ReservedIdentifier" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))