Proto3.Suite.DotProto.AST

Fairly straightforward AST encoding of the .proto grammar

Types

newtype MessageName

The name of a message

Constructors

MessageName

Fields

• getMessageName :: String

Instances

Eq MessageName

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data MessageName

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

Ord MessageName

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

Show MessageName

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> MessageName -> ShowS

show :: MessageName -> String

showList :: [MessageName] -> ShowS

IsString MessageName

Defined in Proto3.Suite.DotProto.AST

Methods

fromString :: String -> MessageName

Generic MessageName

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep MessageName :: Type -> Type

Methods

from :: MessageName -> Rep MessageName x

to :: Rep MessageName x -> MessageName

type Rep MessageName

Defined in Proto3.Suite.DotProto.AST

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

newtype FieldName

The name of some field

Constructors

FieldName

Fields

• getFieldName :: String

Instances

Eq FieldName

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data FieldName

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

Ord FieldName

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

Show FieldName

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> FieldName -> ShowS

show :: FieldName -> String

showList :: [FieldName] -> ShowS

IsString FieldName

Defined in Proto3.Suite.DotProto.AST

Methods

fromString :: String -> FieldName

Generic FieldName

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep FieldName :: Type -> Type

Methods

from :: FieldName -> Rep FieldName x

to :: Rep FieldName x -> FieldName

type Rep FieldName

Defined in Proto3.Suite.DotProto.AST

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

newtype PackageName

The name of the package

Constructors

PackageName

Fields

• getPackageName :: String

Instances

Eq PackageName

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data PackageName

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

Ord PackageName

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

Show PackageName

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> PackageName -> ShowS

show :: PackageName -> String

showList :: [PackageName] -> ShowS

IsString PackageName

Defined in Proto3.Suite.DotProto.AST

Methods

fromString :: String -> PackageName

Generic PackageName

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep PackageName :: Type -> Type

Methods

from :: PackageName -> Rep PackageName x

to :: Rep PackageName x -> PackageName

type Rep PackageName

Defined in Proto3.Suite.DotProto.AST

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

data DotProtoIdentifier

Constructors

Single String

Dots Path

Qualified DotProtoIdentifier DotProtoIdentifier

Anonymous

Instances

Eq DotProtoIdentifier

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoIdentifier

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

Ord DotProtoIdentifier

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

Show DotProtoIdentifier

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoIdentifier -> ShowS

show :: DotProtoIdentifier -> String

showList :: [DotProtoIdentifier] -> ShowS

Generic DotProtoIdentifier

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoIdentifier :: Type -> Type

Methods

from :: DotProtoIdentifier -> Rep DotProtoIdentifier x

to :: Rep DotProtoIdentifier x -> DotProtoIdentifier

Pretty DotProtoIdentifier

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoIdentifier -> Doc

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

type Rep DotProtoIdentifier

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoIdentifier = D1 ('MetaData "DotProtoIdentifier" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

Top-level import declaration

Constructors

DotProtoImport

Fields

• dotProtoImportQualifier :: DotProtoImportQualifier
• dotProtoImportPath :: FilePath

Instances

Eq DotProtoImport

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoImport

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

Ord DotProtoImport

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

Show DotProtoImport

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoImport -> ShowS

show :: DotProtoImport -> String

showList :: [DotProtoImport] -> ShowS

Generic DotProtoImport

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoImport :: Type -> Type

Methods

from :: DotProtoImport -> Rep DotProtoImport x

to :: Rep DotProtoImport x -> DotProtoImport

Arbitrary DotProtoImport

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoImport

shrink :: DotProtoImport -> [DotProtoImport]

Pretty DotProtoImport

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoImport -> Doc

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

type Rep DotProtoImport

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoImport = D1 ('MetaData "DotProtoImport" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

Constructors

DotProtoImportPublic

DotProtoImportWeak

DotProtoImportDefault

Instances

Bounded DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Methods

minBound :: DotProtoImportQualifier

maxBound :: DotProtoImportQualifier

Enum DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Methods

succ :: DotProtoImportQualifier -> DotProtoImportQualifier

pred :: DotProtoImportQualifier -> DotProtoImportQualifier

toEnum :: Int -> DotProtoImportQualifier

fromEnum :: DotProtoImportQualifier -> Int

enumFrom :: DotProtoImportQualifier -> [DotProtoImportQualifier]

enumFromThen :: DotProtoImportQualifier -> DotProtoImportQualifier -> [DotProtoImportQualifier]

enumFromTo :: DotProtoImportQualifier -> DotProtoImportQualifier -> [DotProtoImportQualifier]

enumFromThenTo :: DotProtoImportQualifier -> DotProtoImportQualifier -> DotProtoImportQualifier -> [DotProtoImportQualifier]

Eq DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoImportQualifier

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

Ord DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Methods

compare :: DotProtoImportQualifier -> DotProtoImportQualifier -> Ordering

(<) :: DotProtoImportQualifier -> DotProtoImportQualifier -> Bool

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

(>) :: DotProtoImportQualifier -> DotProtoImportQualifier -> Bool

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

max :: DotProtoImportQualifier -> DotProtoImportQualifier -> DotProtoImportQualifier

min :: DotProtoImportQualifier -> DotProtoImportQualifier -> DotProtoImportQualifier

Show DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoImportQualifier -> ShowS

show :: DotProtoImportQualifier -> String

showList :: [DotProtoImportQualifier] -> ShowS

Generic DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoImportQualifier :: Type -> Type

Methods

from :: DotProtoImportQualifier -> Rep DotProtoImportQualifier x

to :: Rep DotProtoImportQualifier x -> DotProtoImportQualifier

Arbitrary DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoImportQualifier

shrink :: DotProtoImportQualifier -> [DotProtoImportQualifier]

Pretty DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoImportQualifier -> Doc

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

type Rep DotProtoImportQualifier

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoImportQualifier = D1 ('MetaData "DotProtoImportQualifier" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

The namespace declaration

Constructors

DotProtoPackageSpec DotProtoIdentifier

DotProtoNoPackage

Instances

Eq DotProtoPackageSpec

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoPackageSpec

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

Ord DotProtoPackageSpec

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

Show DotProtoPackageSpec

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoPackageSpec -> ShowS

show :: DotProtoPackageSpec -> String

showList :: [DotProtoPackageSpec] -> ShowS

Generic DotProtoPackageSpec

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoPackageSpec :: Type -> Type

Methods

from :: DotProtoPackageSpec -> Rep DotProtoPackageSpec x

to :: Rep DotProtoPackageSpec x -> DotProtoPackageSpec

Arbitrary DotProtoPackageSpec

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoPackageSpec

shrink :: DotProtoPackageSpec -> [DotProtoPackageSpec]

Pretty DotProtoPackageSpec

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoPackageSpec -> Doc

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

type Rep DotProtoPackageSpec

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoPackageSpec = D1 ('MetaData "DotProtoPackageSpec" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

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

Constructors

DotProtoOption

Fields

• dotProtoOptionIdentifier :: DotProtoIdentifier
• dotProtoOptionValue :: DotProtoValue

Instances

Eq DotProtoOption

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoOption

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

Ord DotProtoOption

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

Show DotProtoOption

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoOption -> ShowS

show :: DotProtoOption -> String

showList :: [DotProtoOption] -> ShowS

Generic DotProtoOption

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoOption :: Type -> Type

Methods

from :: DotProtoOption -> Rep DotProtoOption x

to :: Rep DotProtoOption x -> DotProtoOption

Arbitrary DotProtoOption

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoOption

shrink :: DotProtoOption -> [DotProtoOption]

Pretty DotProtoOption

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoOption -> Doc

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

type Rep DotProtoOption

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoOption = D1 ('MetaData "DotProtoOption" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

Top-level protocol definitions

Constructors

DotProtoMessage String DotProtoIdentifier [DotProtoMessagePart]

DotProtoEnum String DotProtoIdentifier [DotProtoEnumPart]

DotProtoService String DotProtoIdentifier [DotProtoServicePart]

Instances

Eq DotProtoDefinition

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoDefinition

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

Ord DotProtoDefinition

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

Show DotProtoDefinition

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoDefinition -> ShowS

show :: DotProtoDefinition -> String

showList :: [DotProtoDefinition] -> ShowS

Generic DotProtoDefinition

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoDefinition :: Type -> Type

Methods

from :: DotProtoDefinition -> Rep DotProtoDefinition x

to :: Rep DotProtoDefinition x -> DotProtoDefinition

Arbitrary DotProtoDefinition

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoDefinition

shrink :: DotProtoDefinition -> [DotProtoDefinition]

type Rep DotProtoDefinition

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoDefinition = D1 ('MetaData "DotProtoDefinition" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" 'False) (C1 ('MetaCons "DotProtoMessage" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoMessagePart]))) :+: (C1 ('MetaCons "DotProtoEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoEnumPart]))) :+: C1 ('MetaCons "DotProtoService" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DotProtoServicePart])))))

data DotProtoMeta

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

Eq DotProtoMeta

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoMeta

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

Ord DotProtoMeta

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

Show DotProtoMeta

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoMeta -> ShowS

show :: DotProtoMeta -> String

showList :: [DotProtoMeta] -> ShowS

Generic DotProtoMeta

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoMeta :: Type -> Type

Methods

from :: DotProtoMeta -> Rep DotProtoMeta x

to :: Rep DotProtoMeta x -> DotProtoMeta

Arbitrary DotProtoMeta

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoMeta

shrink :: DotProtoMeta -> [DotProtoMeta]

type Rep DotProtoMeta

Defined in Proto3.Suite.DotProto.AST

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

data DotProto

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

Eq DotProto

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProto

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

Ord DotProto

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

Show DotProto

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProto -> ShowS

show :: DotProto -> String

showList :: [DotProto] -> ShowS

Generic DotProto

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProto :: Type -> Type

Methods

from :: DotProto -> Rep DotProto x

to :: Rep DotProto x -> DotProto

Arbitrary DotProto

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProto

shrink :: DotProto -> [DotProto]

type Rep DotProto

Defined in Proto3.Suite.DotProto.AST

type Rep DotProto = D1 ('MetaData "DotProto" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

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

Eq DotProtoValue

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoValue

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

Ord DotProtoValue

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

Show DotProtoValue

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoValue -> ShowS

show :: DotProtoValue -> String

showList :: [DotProtoValue] -> ShowS

Generic DotProtoValue

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoValue :: Type -> Type

Methods

from :: DotProtoValue -> Rep DotProtoValue x

to :: Rep DotProtoValue x -> DotProtoValue

Arbitrary DotProtoValue

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoValue

shrink :: DotProtoValue -> [DotProtoValue]

Pretty DotProtoValue

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoValue -> Doc

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

type Rep DotProtoValue

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoValue = D1 ('MetaData "DotProtoValue" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

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

Eq DotProtoPrimType

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoPrimType

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

Ord DotProtoPrimType

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

Show DotProtoPrimType

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoPrimType -> ShowS

show :: DotProtoPrimType -> String

showList :: [DotProtoPrimType] -> ShowS

Generic DotProtoPrimType

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoPrimType :: Type -> Type

Methods

from :: DotProtoPrimType -> Rep DotProtoPrimType x

to :: Rep DotProtoPrimType x -> DotProtoPrimType

Arbitrary DotProtoPrimType

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoPrimType

shrink :: DotProtoPrimType -> [DotProtoPrimType]

Pretty DotProtoPrimType

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoPrimType -> Doc

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

type Rep DotProtoPrimType

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoPrimType = D1 ('MetaData "DotProtoPrimType" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" 'False) ((((C1 ('MetaCons "Int32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Int64" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SInt32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SInt64" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "UInt32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UInt64" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Fixed32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Fixed64" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: (((C1 ('MetaCons "SFixed32" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SFixed64" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Bytes" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Bool" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Float" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Double" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Named" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DotProtoIdentifier))))))

data Packing

Constructors

PackedField

UnpackedField

Instances

Bounded Packing

Defined in Proto3.Suite.DotProto.AST

Methods

minBound :: Packing

maxBound :: Packing

Enum Packing

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]

Eq Packing

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data Packing

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

Ord Packing

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

Show Packing

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> Packing -> ShowS

show :: Packing -> String

showList :: [Packing] -> ShowS

Generic Packing

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep Packing :: Type -> Type

Methods

from :: Packing -> Rep Packing x

to :: Rep Packing x -> Packing

Arbitrary Packing

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen Packing

shrink :: Packing -> [Packing]

type Rep Packing

Defined in Proto3.Suite.DotProto.AST

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

newtype Path

Constructors

Path

Fields

• components :: NonEmpty String

Instances

Eq Path

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data Path

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

Ord Path

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

Show Path

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

Generic Path

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep Path :: Type -> Type

Methods

from :: Path -> Rep Path x

to :: Rep Path x -> Path

type Rep Path

Defined in Proto3.Suite.DotProto.AST

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

fakePath :: Path

data DotProtoType

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

Repeated DotProtoPrimType

NestedRepeated DotProtoPrimType

Map DotProtoPrimType DotProtoPrimType

Instances

Eq DotProtoType

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoType

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

Ord DotProtoType

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

Show DotProtoType

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoType -> ShowS

show :: DotProtoType -> String

showList :: [DotProtoType] -> ShowS

Generic DotProtoType

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoType :: Type -> Type

Methods

from :: DotProtoType -> Rep DotProtoType x

to :: Rep DotProtoType x -> DotProtoType

Arbitrary DotProtoType

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoType

shrink :: DotProtoType -> [DotProtoType]

Pretty DotProtoType

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoType -> Doc

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

type Rep DotProtoType

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoType = D1 ('MetaData "DotProtoType" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" 'False) ((C1 ('MetaCons "Prim" '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

data DotProtoEnumPart

Constructors

DotProtoEnumField DotProtoIdentifier DotProtoEnumValue [DotProtoOption]

DotProtoEnumOption DotProtoOption

DotProtoEnumEmpty

Instances

Eq DotProtoEnumPart

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoEnumPart

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

Ord DotProtoEnumPart

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

Show DotProtoEnumPart

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoEnumPart -> ShowS

show :: DotProtoEnumPart -> String

showList :: [DotProtoEnumPart] -> ShowS

Generic DotProtoEnumPart

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoEnumPart :: Type -> Type

Methods

from :: DotProtoEnumPart -> Rep DotProtoEnumPart x

to :: Rep DotProtoEnumPart x -> DotProtoEnumPart

Arbitrary DotProtoEnumPart

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoEnumPart

shrink :: DotProtoEnumPart -> [DotProtoEnumPart]

type Rep DotProtoEnumPart

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoEnumPart = D1 ('MetaData "DotProtoEnumPart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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 "DotProtoEnumEmpty" 'PrefixI 'False) (U1 :: Type -> Type)))

data Streaming

Constructors

Streaming

NonStreaming

Instances

Bounded Streaming

Defined in Proto3.Suite.DotProto.AST

Methods

minBound :: Streaming

maxBound :: Streaming

Enum Streaming

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]

Eq Streaming

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data Streaming

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

Ord Streaming

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

Show Streaming

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> Streaming -> ShowS

show :: Streaming -> String

showList :: [Streaming] -> ShowS

Generic Streaming

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep Streaming :: Type -> Type

Methods

from :: Streaming -> Rep Streaming x

to :: Rep Streaming x -> Streaming

Arbitrary Streaming

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen Streaming

shrink :: Streaming -> [Streaming]

Pretty Streaming

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: Streaming -> Doc

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

type Rep Streaming

Defined in Proto3.Suite.DotProto.AST

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

data DotProtoServicePart

Constructors

DotProtoServiceRPCMethod RPCMethod

DotProtoServiceOption DotProtoOption

DotProtoServiceEmpty

Instances

Eq DotProtoServicePart

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoServicePart

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

Ord DotProtoServicePart

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

Show DotProtoServicePart

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoServicePart -> ShowS

show :: DotProtoServicePart -> String

showList :: [DotProtoServicePart] -> ShowS

Generic DotProtoServicePart

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoServicePart :: Type -> Type

Methods

from :: DotProtoServicePart -> Rep DotProtoServicePart x

to :: Rep DotProtoServicePart x -> DotProtoServicePart

Arbitrary DotProtoServicePart

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoServicePart

shrink :: DotProtoServicePart -> [DotProtoServicePart]

Pretty DotProtoServicePart

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoServicePart -> Doc

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

type Rep DotProtoServicePart

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoServicePart = D1 ('MetaData "DotProtoServicePart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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)) :+: C1 ('MetaCons "DotProtoServiceEmpty" 'PrefixI 'False) (U1 :: Type -> Type)))

data RPCMethod

Constructors

RPCMethod

Fields

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

Instances

Eq RPCMethod

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data RPCMethod

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

Ord RPCMethod

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

Show RPCMethod

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> RPCMethod -> ShowS

show :: RPCMethod -> String

showList :: [RPCMethod] -> ShowS

Generic RPCMethod

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep RPCMethod :: Type -> Type

Methods

from :: RPCMethod -> Rep RPCMethod x

to :: Rep RPCMethod x -> RPCMethod

Arbitrary RPCMethod

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen RPCMethod

shrink :: RPCMethod -> [RPCMethod]

type Rep RPCMethod

Defined in Proto3.Suite.DotProto.AST

type Rep RPCMethod = D1 ('MetaData "RPCMethod" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

Constructors

DotProtoMessageField DotProtoField

DotProtoMessageOneOf DotProtoIdentifier [DotProtoField]

DotProtoMessageDefinition DotProtoDefinition

DotProtoMessageReserved [DotProtoReservedField]

DotProtoMessageOption DotProtoOption

Instances

Eq DotProtoMessagePart

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoMessagePart

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

Ord DotProtoMessagePart

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

Show DotProtoMessagePart

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoMessagePart -> ShowS

show :: DotProtoMessagePart -> String

showList :: [DotProtoMessagePart] -> ShowS

Generic DotProtoMessagePart

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoMessagePart :: Type -> Type

Methods

from :: DotProtoMessagePart -> Rep DotProtoMessagePart x

to :: Rep DotProtoMessagePart x -> DotProtoMessagePart

Arbitrary DotProtoMessagePart

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoMessagePart

shrink :: DotProtoMessagePart -> [DotProtoMessagePart]

type Rep DotProtoMessagePart

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoMessagePart = D1 ('MetaData "DotProtoMessagePart" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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

Constructors

DotProtoField

Fields

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

DotProtoEmptyField

Instances

Eq DotProtoField

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoField

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

Ord DotProtoField

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

Show DotProtoField

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoField -> ShowS

show :: DotProtoField -> String

showList :: [DotProtoField] -> ShowS

Generic DotProtoField

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoField :: Type -> Type

Methods

from :: DotProtoField -> Rep DotProtoField x

to :: Rep DotProtoField x -> DotProtoField

Arbitrary DotProtoField

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoField

shrink :: DotProtoField -> [DotProtoField]

type Rep DotProtoField

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoField = D1 ('MetaData "DotProtoField" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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)))) :+: C1 ('MetaCons "DotProtoEmptyField" 'PrefixI 'False) (U1 :: Type -> Type))

data DotProtoReservedField

Constructors

SingleField Int

FieldRange Int Int

ReservedIdentifier String

Instances

Eq DotProtoReservedField

Defined in Proto3.Suite.DotProto.AST

Methods

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

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

Data DotProtoReservedField

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

Ord DotProtoReservedField

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

Show DotProtoReservedField

Defined in Proto3.Suite.DotProto.AST

Methods

showsPrec :: Int -> DotProtoReservedField -> ShowS

show :: DotProtoReservedField -> String

showList :: [DotProtoReservedField] -> ShowS

Generic DotProtoReservedField

Defined in Proto3.Suite.DotProto.AST

Associated Types

type Rep DotProtoReservedField :: Type -> Type

Methods

from :: DotProtoReservedField -> Rep DotProtoReservedField x

to :: Rep DotProtoReservedField x -> DotProtoReservedField

Arbitrary DotProtoReservedField

Defined in Proto3.Suite.DotProto.AST

Methods

arbitrary :: Gen DotProtoReservedField

shrink :: DotProtoReservedField -> [DotProtoReservedField]

Pretty DotProtoReservedField

Defined in Proto3.Suite.DotProto.Rendering

Methods

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

pPrint :: DotProtoReservedField -> Doc

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

type Rep DotProtoReservedField

Defined in Proto3.Suite.DotProto.AST

type Rep DotProtoReservedField = D1 ('MetaData "DotProtoReservedField" "Proto3.Suite.DotProto.AST" "proto3-suite-0.7.0-inplace" '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))))