Proto3.Suite.Types

Integral Types

newtype Fixed a

Fixed provides a way to encode integers in the fixed-width wire formats.

Constructors

Fixed

Fields

• fixed :: a

Instances

Functor Fixed

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> Fixed a -> Fixed b

(<$) :: a -> Fixed b -> Fixed a

Foldable Fixed

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => Fixed m -> m

foldMap :: Monoid m => (a -> m) -> Fixed a -> m

foldMap' :: Monoid m => (a -> m) -> Fixed a -> m

foldr :: (a -> b -> b) -> b -> Fixed a -> b

foldr' :: (a -> b -> b) -> b -> Fixed a -> b

foldl :: (b -> a -> b) -> b -> Fixed a -> b

foldl' :: (b -> a -> b) -> b -> Fixed a -> b

foldr1 :: (a -> a -> a) -> Fixed a -> a

foldl1 :: (a -> a -> a) -> Fixed a -> a

toList :: Fixed a -> [a]

null :: Fixed a -> Bool

length :: Fixed a -> Int

elem :: Eq a => a -> Fixed a -> Bool

maximum :: Ord a => Fixed a -> a

minimum :: Ord a => Fixed a -> a

sum :: Num a => Fixed a -> a

product :: Num a => Fixed a -> a

Traversable Fixed

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> Fixed a -> f (Fixed b)

sequenceA :: Applicative f => Fixed (f a) -> f (Fixed a)

mapM :: Monad m => (a -> m b) -> Fixed a -> m (Fixed b)

sequence :: Monad m => Fixed (m a) -> m (Fixed a)

Bounded a => Bounded (Fixed a)

Defined in Proto3.Suite.Types

Methods

minBound :: Fixed a

maxBound :: Fixed a

Enum a => Enum (Fixed a)

Defined in Proto3.Suite.Types

Methods

succ :: Fixed a -> Fixed a

pred :: Fixed a -> Fixed a

toEnum :: Int -> Fixed a

fromEnum :: Fixed a -> Int

enumFrom :: Fixed a -> [Fixed a]

enumFromThen :: Fixed a -> Fixed a -> [Fixed a]

enumFromTo :: Fixed a -> Fixed a -> [Fixed a]

enumFromThenTo :: Fixed a -> Fixed a -> Fixed a -> [Fixed a]

Eq a => Eq (Fixed a)

Defined in Proto3.Suite.Types

Methods

(==) :: Fixed a -> Fixed a -> Bool

(/=) :: Fixed a -> Fixed a -> Bool

Num a => Num (Fixed a)

Defined in Proto3.Suite.Types

Methods

(+) :: Fixed a -> Fixed a -> Fixed a

(-) :: Fixed a -> Fixed a -> Fixed a

(*) :: Fixed a -> Fixed a -> Fixed a

negate :: Fixed a -> Fixed a

abs :: Fixed a -> Fixed a

signum :: Fixed a -> Fixed a

fromInteger :: Integer -> Fixed a

Ord a => Ord (Fixed a)

Defined in Proto3.Suite.Types

Methods

compare :: Fixed a -> Fixed a -> Ordering

(<) :: Fixed a -> Fixed a -> Bool

(<=) :: Fixed a -> Fixed a -> Bool

(>) :: Fixed a -> Fixed a -> Bool

(>=) :: Fixed a -> Fixed a -> Bool

max :: Fixed a -> Fixed a -> Fixed a

min :: Fixed a -> Fixed a -> Fixed a

Show a => Show (Fixed a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> Fixed a -> ShowS

show :: Fixed a -> String

showList :: [Fixed a] -> ShowS

Generic (Fixed a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (Fixed a) :: Type -> Type

Methods

from :: Fixed a -> Rep (Fixed a) x

to :: Rep (Fixed a) x -> Fixed a

Arbitrary a => Arbitrary (Fixed a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (Fixed a)

shrink :: Fixed a -> [Fixed a]

ToJSONKey a => ToJSONKey (Fixed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONKey :: ToJSONKeyFunction (Fixed a)

toJSONKeyList :: ToJSONKeyFunction [Fixed a]

FromJSONKey a => FromJSONKey (Fixed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

fromJSONKey :: FromJSONKeyFunction (Fixed a)

fromJSONKeyList :: FromJSONKeyFunction [Fixed a]

NFData a => NFData (Fixed a)

Defined in Proto3.Suite.Types

Methods

rnf :: Fixed a -> ()

ToSchema a => ToSchema (Fixed a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (Fixed a) -> Declare (Definitions Schema) NamedSchema

MessageField (PackedVec (Signed (Fixed Int32)))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed (Fixed Int32)) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed (Fixed Int32)))

protoType :: Proxy# (PackedVec (Signed (Fixed Int32))) -> DotProtoField

MessageField (PackedVec (Signed (Fixed Int64)))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed (Fixed Int64)) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed (Fixed Int64)))

protoType :: Proxy# (PackedVec (Signed (Fixed Int64))) -> DotProtoField

MessageField (PackedVec (Fixed Word32))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Fixed Word32) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Fixed Word32))

protoType :: Proxy# (PackedVec (Fixed Word32)) -> DotProtoField

MessageField (PackedVec (Fixed Word64))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Fixed Word64) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Fixed Word64))

protoType :: Proxy# (PackedVec (Fixed Word64)) -> DotProtoField

MessageField (Signed (Fixed Int32))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Signed (Fixed Int32) -> MessageBuilder

decodeMessageField :: Parser RawField (Signed (Fixed Int32))

protoType :: Proxy# (Signed (Fixed Int32)) -> DotProtoField

MessageField (Signed (Fixed Int64))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Signed (Fixed Int64) -> MessageBuilder

decodeMessageField :: Parser RawField (Signed (Fixed Int64))

protoType :: Proxy# (Signed (Fixed Int64)) -> DotProtoField

MessageField (Fixed Word32)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Fixed Word32 -> MessageBuilder

decodeMessageField :: Parser RawField (Fixed Word32)

protoType :: Proxy# (Fixed Word32) -> DotProtoField

MessageField (Fixed Word64)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Fixed Word64 -> MessageBuilder

decodeMessageField :: Parser RawField (Fixed Word64)

protoType :: Proxy# (Fixed Word64) -> DotProtoField

Primitive (Signed (Fixed Int32))

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Signed (Fixed Int32) -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Signed (Fixed Int32))

primType :: Proxy# (Signed (Fixed Int32)) -> DotProtoPrimType

Primitive (Signed (Fixed Int64))

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Signed (Fixed Int64) -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Signed (Fixed Int64))

primType :: Proxy# (Signed (Fixed Int64)) -> DotProtoPrimType

Primitive (Fixed Word32)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Fixed Word32 -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Fixed Word32)

primType :: Proxy# (Fixed Word32) -> DotProtoPrimType

Primitive (Fixed Word64)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Fixed Word64 -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Fixed Word64)

primType :: Proxy# (Fixed Word64) -> DotProtoPrimType

HasDefault (Signed (Fixed Int32))

Defined in Proto3.Suite.Class

Methods

def :: Signed (Fixed Int32)

isDefault :: Signed (Fixed Int32) -> Bool

HasDefault (Signed (Fixed Int64))

Defined in Proto3.Suite.Class

Methods

def :: Signed (Fixed Int64)

isDefault :: Signed (Fixed Int64) -> Bool

HasDefault (Fixed Int32)

Used in generated records to represent sfixed32

Defined in Proto3.Suite.Class

Methods

def :: Fixed Int32

isDefault :: Fixed Int32 -> Bool

HasDefault (Fixed Int64)

Used in generated records to represent sfixed64

Defined in Proto3.Suite.Class

Methods

def :: Fixed Int64

isDefault :: Fixed Int64 -> Bool

HasDefault (Fixed Word32)

Defined in Proto3.Suite.Class

Methods

def :: Fixed Word32

isDefault :: Fixed Word32 -> Bool

HasDefault (Fixed Word64)

Defined in Proto3.Suite.Class

Methods

def :: Fixed Word64

isDefault :: Fixed Word64 -> Bool

FromJSONPB a => FromJSONPB (Fixed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (Fixed a)

ToJSONPB a => ToJSONPB (Fixed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: Fixed a -> Options -> Value

toEncodingPB :: Fixed a -> Options -> Encoding

type Rep (Fixed a)

Defined in Proto3.Suite.Types

type Rep (Fixed a) = D1 ('MetaData "Fixed" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "Fixed" 'PrefixI 'True) (S1 ('MetaSel ('Just "fixed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Signed a

Signed provides a way to encode integers in the signed wire formats.

Constructors

Signed

Fields

• signed :: a

Instances

Functor Signed

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> Signed a -> Signed b

(<$) :: a -> Signed b -> Signed a

Foldable Signed

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => Signed m -> m

foldMap :: Monoid m => (a -> m) -> Signed a -> m

foldMap' :: Monoid m => (a -> m) -> Signed a -> m

foldr :: (a -> b -> b) -> b -> Signed a -> b

foldr' :: (a -> b -> b) -> b -> Signed a -> b

foldl :: (b -> a -> b) -> b -> Signed a -> b

foldl' :: (b -> a -> b) -> b -> Signed a -> b

foldr1 :: (a -> a -> a) -> Signed a -> a

foldl1 :: (a -> a -> a) -> Signed a -> a

toList :: Signed a -> [a]

null :: Signed a -> Bool

length :: Signed a -> Int

elem :: Eq a => a -> Signed a -> Bool

maximum :: Ord a => Signed a -> a

minimum :: Ord a => Signed a -> a

sum :: Num a => Signed a -> a

product :: Num a => Signed a -> a

Traversable Signed

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> Signed a -> f (Signed b)

sequenceA :: Applicative f => Signed (f a) -> f (Signed a)

mapM :: Monad m => (a -> m b) -> Signed a -> m (Signed b)

sequence :: Monad m => Signed (m a) -> m (Signed a)

Bounded a => Bounded (Signed a)

Defined in Proto3.Suite.Types

Methods

minBound :: Signed a

maxBound :: Signed a

Eq a => Eq (Signed a)

Defined in Proto3.Suite.Types

Methods

(==) :: Signed a -> Signed a -> Bool

(/=) :: Signed a -> Signed a -> Bool

Num a => Num (Signed a)

Defined in Proto3.Suite.Types

Methods

(+) :: Signed a -> Signed a -> Signed a

(-) :: Signed a -> Signed a -> Signed a

(*) :: Signed a -> Signed a -> Signed a

negate :: Signed a -> Signed a

abs :: Signed a -> Signed a

signum :: Signed a -> Signed a

fromInteger :: Integer -> Signed a

Ord a => Ord (Signed a)

Defined in Proto3.Suite.Types

Methods

compare :: Signed a -> Signed a -> Ordering

(<) :: Signed a -> Signed a -> Bool

(<=) :: Signed a -> Signed a -> Bool

(>) :: Signed a -> Signed a -> Bool

(>=) :: Signed a -> Signed a -> Bool

max :: Signed a -> Signed a -> Signed a

min :: Signed a -> Signed a -> Signed a

Show a => Show (Signed a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> Signed a -> ShowS

show :: Signed a -> String

showList :: [Signed a] -> ShowS

Generic (Signed a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (Signed a) :: Type -> Type

Methods

from :: Signed a -> Rep (Signed a) x

to :: Rep (Signed a) x -> Signed a

Arbitrary a => Arbitrary (Signed a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (Signed a)

shrink :: Signed a -> [Signed a]

ToJSONKey a => ToJSONKey (Signed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONKey :: ToJSONKeyFunction (Signed a)

toJSONKeyList :: ToJSONKeyFunction [Signed a]

FromJSONKey a => FromJSONKey (Signed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

fromJSONKey :: FromJSONKeyFunction (Signed a)

fromJSONKeyList :: FromJSONKeyFunction [Signed a]

NFData a => NFData (Signed a)

Defined in Proto3.Suite.Types

Methods

rnf :: Signed a -> ()

ToSchema a => ToSchema (Signed a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (Signed a) -> Declare (Definitions Schema) NamedSchema

MessageField (PackedVec (Signed Int32))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed Int32) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed Int32))

protoType :: Proxy# (PackedVec (Signed Int32)) -> DotProtoField

MessageField (PackedVec (Signed Int64))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed Int64) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed Int64))

protoType :: Proxy# (PackedVec (Signed Int64)) -> DotProtoField

MessageField (PackedVec (Signed (Fixed Int32)))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed (Fixed Int32)) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed (Fixed Int32)))

protoType :: Proxy# (PackedVec (Signed (Fixed Int32))) -> DotProtoField

MessageField (PackedVec (Signed (Fixed Int64)))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed (Fixed Int64)) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed (Fixed Int64)))

protoType :: Proxy# (PackedVec (Signed (Fixed Int64))) -> DotProtoField

MessageField (Signed Int32)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Signed Int32 -> MessageBuilder

decodeMessageField :: Parser RawField (Signed Int32)

protoType :: Proxy# (Signed Int32) -> DotProtoField

MessageField (Signed Int64)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Signed Int64 -> MessageBuilder

decodeMessageField :: Parser RawField (Signed Int64)

protoType :: Proxy# (Signed Int64) -> DotProtoField

MessageField (Signed (Fixed Int32))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Signed (Fixed Int32) -> MessageBuilder

decodeMessageField :: Parser RawField (Signed (Fixed Int32))

protoType :: Proxy# (Signed (Fixed Int32)) -> DotProtoField

MessageField (Signed (Fixed Int64))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Signed (Fixed Int64) -> MessageBuilder

decodeMessageField :: Parser RawField (Signed (Fixed Int64))

protoType :: Proxy# (Signed (Fixed Int64)) -> DotProtoField

Primitive (Signed Int32)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Signed Int32 -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Signed Int32)

primType :: Proxy# (Signed Int32) -> DotProtoPrimType

Primitive (Signed Int64)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Signed Int64 -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Signed Int64)

primType :: Proxy# (Signed Int64) -> DotProtoPrimType

Primitive (Signed (Fixed Int32))

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Signed (Fixed Int32) -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Signed (Fixed Int32))

primType :: Proxy# (Signed (Fixed Int32)) -> DotProtoPrimType

Primitive (Signed (Fixed Int64))

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Signed (Fixed Int64) -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Signed (Fixed Int64))

primType :: Proxy# (Signed (Fixed Int64)) -> DotProtoPrimType

HasDefault (Signed Int32)

Defined in Proto3.Suite.Class

Methods

def :: Signed Int32

isDefault :: Signed Int32 -> Bool

HasDefault (Signed Int64)

Defined in Proto3.Suite.Class

Methods

def :: Signed Int64

isDefault :: Signed Int64 -> Bool

HasDefault (Signed (Fixed Int32))

Defined in Proto3.Suite.Class

Methods

def :: Signed (Fixed Int32)

isDefault :: Signed (Fixed Int32) -> Bool

HasDefault (Signed (Fixed Int64))

Defined in Proto3.Suite.Class

Methods

def :: Signed (Fixed Int64)

isDefault :: Signed (Fixed Int64) -> Bool

FromJSONPB a => FromJSONPB (Signed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (Signed a)

ToJSONPB a => ToJSONPB (Signed a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: Signed a -> Options -> Value

toEncodingPB :: Signed a -> Options -> Encoding

type Rep (Signed a)

Defined in Proto3.Suite.Types

type Rep (Signed a) = D1 ('MetaData "Signed" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "Signed" 'PrefixI 'True) (S1 ('MetaSel ('Just "signed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Enumerable Types

newtype Enumerated a

Enumerated lifts any type with an IsEnum instance so that it can be encoded with HasEncoding.

Constructors

Enumerated

Fields

• enumerated :: Either Int32 a

Instances

Functor Enumerated

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> Enumerated a -> Enumerated b

(<$) :: a -> Enumerated b -> Enumerated a

Foldable Enumerated

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => Enumerated m -> m

foldMap :: Monoid m => (a -> m) -> Enumerated a -> m

foldMap' :: Monoid m => (a -> m) -> Enumerated a -> m

foldr :: (a -> b -> b) -> b -> Enumerated a -> b

foldr' :: (a -> b -> b) -> b -> Enumerated a -> b

foldl :: (b -> a -> b) -> b -> Enumerated a -> b

foldl' :: (b -> a -> b) -> b -> Enumerated a -> b

foldr1 :: (a -> a -> a) -> Enumerated a -> a

foldl1 :: (a -> a -> a) -> Enumerated a -> a

toList :: Enumerated a -> [a]

null :: Enumerated a -> Bool

length :: Enumerated a -> Int

elem :: Eq a => a -> Enumerated a -> Bool

maximum :: Ord a => Enumerated a -> a

minimum :: Ord a => Enumerated a -> a

sum :: Num a => Enumerated a -> a

product :: Num a => Enumerated a -> a

Traversable Enumerated

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> Enumerated a -> f (Enumerated b)

sequenceA :: Applicative f => Enumerated (f a) -> f (Enumerated a)

mapM :: Monad m => (a -> m b) -> Enumerated a -> m (Enumerated b)

sequence :: Monad m => Enumerated (m a) -> m (Enumerated a)

ProtoEnum a => Eq (Enumerated a)

We consider two enumerated values to be equal if they serialize to the same code.

Defined in Proto3.Suite.Types

Methods

(==) :: Enumerated a -> Enumerated a -> Bool

(/=) :: Enumerated a -> Enumerated a -> Bool

ProtoEnum a => Ord (Enumerated a)

We compare two enumerated values by comparing the code to which they serialize.

Defined in Proto3.Suite.Types

Methods

compare :: Enumerated a -> Enumerated a -> Ordering

(<) :: Enumerated a -> Enumerated a -> Bool

(<=) :: Enumerated a -> Enumerated a -> Bool

(>) :: Enumerated a -> Enumerated a -> Bool

(>=) :: Enumerated a -> Enumerated a -> Bool

max :: Enumerated a -> Enumerated a -> Enumerated a

min :: Enumerated a -> Enumerated a -> Enumerated a

Show a => Show (Enumerated a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> Enumerated a -> ShowS

show :: Enumerated a -> String

showList :: [Enumerated a] -> ShowS

Generic (Enumerated a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (Enumerated a) :: Type -> Type

Methods

from :: Enumerated a -> Rep (Enumerated a) x

to :: Rep (Enumerated a) x -> Enumerated a

ProtoEnum a => Arbitrary (Enumerated a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (Enumerated a)

shrink :: Enumerated a -> [Enumerated a]

NFData a => NFData (Enumerated a)

Defined in Proto3.Suite.Types

Methods

rnf :: Enumerated a -> ()

(Finite e, Named e) => ToSchema (Enumerated e)

JSONPB schemas for protobuf enumerations

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (Enumerated e) -> Declare (Definitions Schema) NamedSchema

(Named e, ProtoEnum e) => MessageField (PackedVec (Enumerated e))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Enumerated e) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Enumerated e))

protoType :: Proxy# (PackedVec (Enumerated e)) -> DotProtoField

(Named e, ProtoEnum e) => MessageField (Enumerated e)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Enumerated e -> MessageBuilder

decodeMessageField :: Parser RawField (Enumerated e)

protoType :: Proxy# (Enumerated e) -> DotProtoField

(Named e, ProtoEnum e) => Primitive (Enumerated e)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Enumerated e -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Enumerated e)

primType :: Proxy# (Enumerated e) -> DotProtoPrimType

ProtoEnum e => HasDefault (Enumerated e)

Defined in Proto3.Suite.Class

Methods

def :: Enumerated e

isDefault :: Enumerated e -> Bool

(ProtoEnum e, FromJSONPB e) => FromJSONPB (Enumerated e)

Supports both names and integer codes, as required by: https://developers.google.com/protocol-buffers/docs/proto3#json

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (Enumerated e)

ToJSONPB e => ToJSONPB (Enumerated e)

If you ask for an unrecognized enumerator code to be emitted, then this instance will emit it numerically, relying upon parser behavior required by: https://developers.google.com/protocol-buffers/docs/proto3#json

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: Enumerated e -> Options -> Value

toEncodingPB :: Enumerated e -> Options -> Encoding

type Rep (Enumerated a)

Defined in Proto3.Suite.Types

type Rep (Enumerated a) = D1 ('MetaData "Enumerated" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "Enumerated" 'PrefixI 'True) (S1 ('MetaSel ('Just "enumerated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Either Int32 a))))

String and Bytes Types

newtype String a

String provides a way to indicate that the given type expresses a Protobuf string scalar. String a may have type class instances that are more specific to Protobuf uses than those of a.

Constructors

String

Fields

• string :: a

Instances

Functor String

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> String a -> String b

(<$) :: a -> String b -> String a

Foldable String

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => String m -> m

foldMap :: Monoid m => (a -> m) -> String a -> m

foldMap' :: Monoid m => (a -> m) -> String a -> m

foldr :: (a -> b -> b) -> b -> String a -> b

foldr' :: (a -> b -> b) -> b -> String a -> b

foldl :: (b -> a -> b) -> b -> String a -> b

foldl' :: (b -> a -> b) -> b -> String a -> b

foldr1 :: (a -> a -> a) -> String a -> a

foldl1 :: (a -> a -> a) -> String a -> a

toList :: String a -> [a]

null :: String a -> Bool

length :: String a -> Int

elem :: Eq a => a -> String a -> Bool

maximum :: Ord a => String a -> a

minimum :: Ord a => String a -> a

sum :: Num a => String a -> a

product :: Num a => String a -> a

Traversable String

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> String a -> f (String b)

sequenceA :: Applicative f => String (f a) -> f (String a)

mapM :: Monad m => (a -> m b) -> String a -> m (String b)

sequence :: Monad m => String (m a) -> m (String a)

Eq a => Eq (String a)

Defined in Proto3.Suite.Types

Methods

(==) :: String a -> String a -> Bool

(/=) :: String a -> String a -> Bool

Ord a => Ord (String a)

Defined in Proto3.Suite.Types

Methods

compare :: String a -> String a -> Ordering

(<) :: String a -> String a -> Bool

(<=) :: String a -> String a -> Bool

(>) :: String a -> String a -> Bool

(>=) :: String a -> String a -> Bool

max :: String a -> String a -> String a

min :: String a -> String a -> String a

Show a => Show (String a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> String a -> ShowS

show :: String a -> String0

showList :: [String a] -> ShowS

Generic (String a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (String a) :: Type -> Type

Methods

from :: String a -> Rep (String a) x

to :: Rep (String a) x -> String a

Semigroup a => Semigroup (String a)

Defined in Proto3.Suite.Types

Methods

(<>) :: String a -> String a -> String a

sconcat :: NonEmpty (String a) -> String a

stimes :: Integral b => b -> String a -> String a

Monoid a => Monoid (String a)

Defined in Proto3.Suite.Types

Methods

mempty :: String a

mappend :: String a -> String a -> String a

mconcat :: [String a] -> String a

Arbitrary a => Arbitrary (String a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (String a)

shrink :: String a -> [String a]

ToJSONKey (String Text)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONKey :: ToJSONKeyFunction (String Text)

toJSONKeyList :: ToJSONKeyFunction [String Text]

ToJSONKey (String Text)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONKey :: ToJSONKeyFunction (String Text)

toJSONKeyList :: ToJSONKeyFunction [String Text]

ToJSONKey (String ShortText)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONKey :: ToJSONKeyFunction (String ShortText)

toJSONKeyList :: ToJSONKeyFunction [String ShortText]

FromJSONKey (String Text)

Defined in Proto3.Suite.JSONPB.Class

Methods

fromJSONKey :: FromJSONKeyFunction (String Text)

fromJSONKeyList :: FromJSONKeyFunction [String Text]

FromJSONKey (String Text)

Defined in Proto3.Suite.JSONPB.Class

Methods

fromJSONKey :: FromJSONKeyFunction (String Text)

fromJSONKeyList :: FromJSONKeyFunction [String Text]

FromJSONKey (String ShortText)

Defined in Proto3.Suite.JSONPB.Class

Methods

fromJSONKey :: FromJSONKeyFunction (String ShortText)

fromJSONKeyList :: FromJSONKeyFunction [String ShortText]

NFData a => NFData (String a)

Defined in Proto3.Suite.Types

Methods

rnf :: String a -> ()

ToSchema (String a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (String a) -> Declare (Definitions Schema) NamedSchema

Message (String Text)

Defined in Proto3.Suite.Class

Methods

encodeMessage :: FieldNumber -> String Text -> MessageBuilder

decodeMessage :: FieldNumber -> Parser RawMessage (String Text)

dotProto :: Proxy# (String Text) -> [DotProtoField]

Message (String Text)

Defined in Proto3.Suite.Class

Methods

encodeMessage :: FieldNumber -> String Text -> MessageBuilder

decodeMessage :: FieldNumber -> Parser RawMessage (String Text)

dotProto :: Proxy# (String Text) -> [DotProtoField]

Message (String ShortText)

Defined in Proto3.Suite.Class

Methods

encodeMessage :: FieldNumber -> String ShortText -> MessageBuilder

decodeMessage :: FieldNumber -> Parser RawMessage (String ShortText)

dotProto :: Proxy# (String ShortText) -> [DotProtoField]

MessageField (String Text)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> String Text -> MessageBuilder

decodeMessageField :: Parser RawField (String Text)

protoType :: Proxy# (String Text) -> DotProtoField

MessageField (String Text)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> String Text -> MessageBuilder

decodeMessageField :: Parser RawField (String Text)

protoType :: Proxy# (String Text) -> DotProtoField

MessageField (String ShortText)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> String ShortText -> MessageBuilder

decodeMessageField :: Parser RawField (String ShortText)

protoType :: Proxy# (String ShortText) -> DotProtoField

Primitive (String Text)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> String Text -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (String Text)

primType :: Proxy# (String Text) -> DotProtoPrimType

Primitive (String Text)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> String Text -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (String Text)

primType :: Proxy# (String Text) -> DotProtoPrimType

Primitive (String ShortText)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> String ShortText -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (String ShortText)

primType :: Proxy# (String ShortText) -> DotProtoPrimType

HasDefault (String Text)

Defined in Proto3.Suite.Class

Methods

def :: String Text

isDefault :: String Text -> Bool

HasDefault (String Text)

Defined in Proto3.Suite.Class

Methods

def :: String Text

isDefault :: String Text -> Bool

HasDefault (String ShortText)

Defined in Proto3.Suite.Class

Methods

def :: String ShortText

isDefault :: String ShortText -> Bool

FromJSONPB a => FromJSONPB (String a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (String a)

ToJSONPB a => ToJSONPB (String a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: String a -> Options -> Value

toEncodingPB :: String a -> Options -> Encoding

type Rep (String a)

Defined in Proto3.Suite.Types

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

newtype Bytes a

Bytes provides a way to indicate that the given type expresses a Protobuf bytes scalar. Bytes a may have type class instances that are more specific to Protobuf uses than those of a.

Constructors

Bytes

Fields

• bytes :: a

Instances

Functor Bytes

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> Bytes a -> Bytes b

(<$) :: a -> Bytes b -> Bytes a

Foldable Bytes

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => Bytes m -> m

foldMap :: Monoid m => (a -> m) -> Bytes a -> m

foldMap' :: Monoid m => (a -> m) -> Bytes a -> m

foldr :: (a -> b -> b) -> b -> Bytes a -> b

foldr' :: (a -> b -> b) -> b -> Bytes a -> b

foldl :: (b -> a -> b) -> b -> Bytes a -> b

foldl' :: (b -> a -> b) -> b -> Bytes a -> b

foldr1 :: (a -> a -> a) -> Bytes a -> a

foldl1 :: (a -> a -> a) -> Bytes a -> a

toList :: Bytes a -> [a]

null :: Bytes a -> Bool

length :: Bytes a -> Int

elem :: Eq a => a -> Bytes a -> Bool

maximum :: Ord a => Bytes a -> a

minimum :: Ord a => Bytes a -> a

sum :: Num a => Bytes a -> a

product :: Num a => Bytes a -> a

Traversable Bytes

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> Bytes a -> f (Bytes b)

sequenceA :: Applicative f => Bytes (f a) -> f (Bytes a)

mapM :: Monad m => (a -> m b) -> Bytes a -> m (Bytes b)

sequence :: Monad m => Bytes (m a) -> m (Bytes a)

Eq a => Eq (Bytes a)

Defined in Proto3.Suite.Types

Methods

(==) :: Bytes a -> Bytes a -> Bool

(/=) :: Bytes a -> Bytes a -> Bool

Ord a => Ord (Bytes a)

Defined in Proto3.Suite.Types

Methods

compare :: Bytes a -> Bytes a -> Ordering

(<) :: Bytes a -> Bytes a -> Bool

(<=) :: Bytes a -> Bytes a -> Bool

(>) :: Bytes a -> Bytes a -> Bool

(>=) :: Bytes a -> Bytes a -> Bool

max :: Bytes a -> Bytes a -> Bytes a

min :: Bytes a -> Bytes a -> Bytes a

Show a => Show (Bytes a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> Bytes a -> ShowS

show :: Bytes a -> String

showList :: [Bytes a] -> ShowS

Generic (Bytes a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (Bytes a) :: Type -> Type

Methods

from :: Bytes a -> Rep (Bytes a) x

to :: Rep (Bytes a) x -> Bytes a

Semigroup a => Semigroup (Bytes a)

Defined in Proto3.Suite.Types

Methods

(<>) :: Bytes a -> Bytes a -> Bytes a

sconcat :: NonEmpty (Bytes a) -> Bytes a

stimes :: Integral b => b -> Bytes a -> Bytes a

Monoid a => Monoid (Bytes a)

Defined in Proto3.Suite.Types

Methods

mempty :: Bytes a

mappend :: Bytes a -> Bytes a -> Bytes a

mconcat :: [Bytes a] -> Bytes a

Arbitrary a => Arbitrary (Bytes a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (Bytes a)

shrink :: Bytes a -> [Bytes a]

NFData a => NFData (Bytes a)

Defined in Proto3.Suite.Types

Methods

rnf :: Bytes a -> ()

ToSchema (Bytes a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (Bytes a) -> Declare (Definitions Schema) NamedSchema

MessageField (Bytes ByteString)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Bytes ByteString -> MessageBuilder

decodeMessageField :: Parser RawField (Bytes ByteString)

protoType :: Proxy# (Bytes ByteString) -> DotProtoField

MessageField (Bytes ByteString)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Bytes ByteString -> MessageBuilder

decodeMessageField :: Parser RawField (Bytes ByteString)

protoType :: Proxy# (Bytes ByteString) -> DotProtoField

Primitive (Bytes ByteString)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Bytes ByteString -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Bytes ByteString)

primType :: Proxy# (Bytes ByteString) -> DotProtoPrimType

Primitive (Bytes ByteString)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> Bytes ByteString -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (Bytes ByteString)

primType :: Proxy# (Bytes ByteString) -> DotProtoPrimType

HasDefault (Bytes ByteString)

Defined in Proto3.Suite.Class

Methods

def :: Bytes ByteString

isDefault :: Bytes ByteString -> Bool

HasDefault (Bytes ByteString)

Defined in Proto3.Suite.Class

Methods

def :: Bytes ByteString

isDefault :: Bytes ByteString -> Bool

FromJSONPB a => FromJSONPB (Bytes a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (Bytes a)

ToJSONPB a => ToJSONPB (Bytes a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: Bytes a -> Options -> Value

toEncodingPB :: Bytes a -> Options -> Encoding

type Rep (Bytes a)

Defined in Proto3.Suite.Types

type Rep (Bytes a) = D1 ('MetaData "Bytes" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "Bytes" 'PrefixI 'True) (S1 ('MetaSel ('Just "bytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype ForceEmit a

ForceEmit provides a way to force emission of field values, even when default-value semantics states otherwise. Used when serializing oneof subfields.

Constructors

ForceEmit

Fields

• forceEmit :: a

Instances

Functor ForceEmit

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> ForceEmit a -> ForceEmit b

(<$) :: a -> ForceEmit b -> ForceEmit a

Foldable ForceEmit

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => ForceEmit m -> m

foldMap :: Monoid m => (a -> m) -> ForceEmit a -> m

foldMap' :: Monoid m => (a -> m) -> ForceEmit a -> m

foldr :: (a -> b -> b) -> b -> ForceEmit a -> b

foldr' :: (a -> b -> b) -> b -> ForceEmit a -> b

foldl :: (b -> a -> b) -> b -> ForceEmit a -> b

foldl' :: (b -> a -> b) -> b -> ForceEmit a -> b

foldr1 :: (a -> a -> a) -> ForceEmit a -> a

foldl1 :: (a -> a -> a) -> ForceEmit a -> a

toList :: ForceEmit a -> [a]

null :: ForceEmit a -> Bool

length :: ForceEmit a -> Int

elem :: Eq a => a -> ForceEmit a -> Bool

maximum :: Ord a => ForceEmit a -> a

minimum :: Ord a => ForceEmit a -> a

sum :: Num a => ForceEmit a -> a

product :: Num a => ForceEmit a -> a

Traversable ForceEmit

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> ForceEmit a -> f (ForceEmit b)

sequenceA :: Applicative f => ForceEmit (f a) -> f (ForceEmit a)

mapM :: Monad m => (a -> m b) -> ForceEmit a -> m (ForceEmit b)

sequence :: Monad m => ForceEmit (m a) -> m (ForceEmit a)

Eq a => Eq (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

(==) :: ForceEmit a -> ForceEmit a -> Bool

(/=) :: ForceEmit a -> ForceEmit a -> Bool

Ord a => Ord (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

compare :: ForceEmit a -> ForceEmit a -> Ordering

(<) :: ForceEmit a -> ForceEmit a -> Bool

(<=) :: ForceEmit a -> ForceEmit a -> Bool

(>) :: ForceEmit a -> ForceEmit a -> Bool

(>=) :: ForceEmit a -> ForceEmit a -> Bool

max :: ForceEmit a -> ForceEmit a -> ForceEmit a

min :: ForceEmit a -> ForceEmit a -> ForceEmit a

Show a => Show (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> ForceEmit a -> ShowS

show :: ForceEmit a -> String

showList :: [ForceEmit a] -> ShowS

Generic (ForceEmit a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (ForceEmit a) :: Type -> Type

Methods

from :: ForceEmit a -> Rep (ForceEmit a) x

to :: Rep (ForceEmit a) x -> ForceEmit a

Semigroup a => Semigroup (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

(<>) :: ForceEmit a -> ForceEmit a -> ForceEmit a

sconcat :: NonEmpty (ForceEmit a) -> ForceEmit a

stimes :: Integral b => b -> ForceEmit a -> ForceEmit a

Monoid a => Monoid (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

mempty :: ForceEmit a

mappend :: ForceEmit a -> ForceEmit a -> ForceEmit a

mconcat :: [ForceEmit a] -> ForceEmit a

Arbitrary a => Arbitrary (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (ForceEmit a)

shrink :: ForceEmit a -> [ForceEmit a]

NFData a => NFData (ForceEmit a)

Defined in Proto3.Suite.Types

Methods

rnf :: ForceEmit a -> ()

(HasDefault a, Primitive a) => MessageField (ForceEmit a)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> ForceEmit a -> MessageBuilder

decodeMessageField :: Parser RawField (ForceEmit a)

protoType :: Proxy# (ForceEmit a) -> DotProtoField

Primitive a => Primitive (ForceEmit a)

Defined in Proto3.Suite.Class

Methods

encodePrimitive :: FieldNumber -> ForceEmit a -> MessageBuilder

decodePrimitive :: Parser RawPrimitive (ForceEmit a)

primType :: Proxy# (ForceEmit a) -> DotProtoPrimType

HasDefault a => HasDefault (ForceEmit a)

Defined in Proto3.Suite.Class

Methods

def :: ForceEmit a

isDefault :: ForceEmit a -> Bool

type Rep (ForceEmit a)

Defined in Proto3.Suite.Types

type Rep (ForceEmit a) = D1 ('MetaData "ForceEmit" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "ForceEmit" 'PrefixI 'True) (S1 ('MetaSel ('Just "forceEmit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Nested a

Nested provides a way to nest protobuf messages within protobuf messages.

Constructors

Nested

Fields

• nested :: Maybe a

Instances

Monad Nested

Defined in Proto3.Suite.Types

Methods

(>>=) :: Nested a -> (a -> Nested b) -> Nested b

(>>) :: Nested a -> Nested b -> Nested b

return :: a -> Nested a

Functor Nested

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> Nested a -> Nested b

(<$) :: a -> Nested b -> Nested a

Applicative Nested

Defined in Proto3.Suite.Types

Methods

pure :: a -> Nested a

(<*>) :: Nested (a -> b) -> Nested a -> Nested b

liftA2 :: (a -> b -> c) -> Nested a -> Nested b -> Nested c

(*>) :: Nested a -> Nested b -> Nested b

(<*) :: Nested a -> Nested b -> Nested a

Foldable Nested

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => Nested m -> m

foldMap :: Monoid m => (a -> m) -> Nested a -> m

foldMap' :: Monoid m => (a -> m) -> Nested a -> m

foldr :: (a -> b -> b) -> b -> Nested a -> b

foldr' :: (a -> b -> b) -> b -> Nested a -> b

foldl :: (b -> a -> b) -> b -> Nested a -> b

foldl' :: (b -> a -> b) -> b -> Nested a -> b

foldr1 :: (a -> a -> a) -> Nested a -> a

foldl1 :: (a -> a -> a) -> Nested a -> a

toList :: Nested a -> [a]

null :: Nested a -> Bool

length :: Nested a -> Int

elem :: Eq a => a -> Nested a -> Bool

maximum :: Ord a => Nested a -> a

minimum :: Ord a => Nested a -> a

sum :: Num a => Nested a -> a

product :: Num a => Nested a -> a

Traversable Nested

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> Nested a -> f (Nested b)

sequenceA :: Applicative f => Nested (f a) -> f (Nested a)

mapM :: Monad m => (a -> m b) -> Nested a -> m (Nested b)

sequence :: Monad m => Nested (m a) -> m (Nested a)

Alternative Nested

Defined in Proto3.Suite.Types

Methods

empty :: Nested a

(<|>) :: Nested a -> Nested a -> Nested a

some :: Nested a -> Nested [a]

many :: Nested a -> Nested [a]

Eq a => Eq (Nested a)

Defined in Proto3.Suite.Types

Methods

(==) :: Nested a -> Nested a -> Bool

(/=) :: Nested a -> Nested a -> Bool

Ord a => Ord (Nested a)

Defined in Proto3.Suite.Types

Methods

compare :: Nested a -> Nested a -> Ordering

(<) :: Nested a -> Nested a -> Bool

(<=) :: Nested a -> Nested a -> Bool

(>) :: Nested a -> Nested a -> Bool

(>=) :: Nested a -> Nested a -> Bool

max :: Nested a -> Nested a -> Nested a

min :: Nested a -> Nested a -> Nested a

Show a => Show (Nested a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> Nested a -> ShowS

show :: Nested a -> String

showList :: [Nested a] -> ShowS

Generic (Nested a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (Nested a) :: Type -> Type

Methods

from :: Nested a -> Rep (Nested a) x

to :: Rep (Nested a) x -> Nested a

Semigroup a => Semigroup (Nested a)

Defined in Proto3.Suite.Types

Methods

(<>) :: Nested a -> Nested a -> Nested a

sconcat :: NonEmpty (Nested a) -> Nested a

stimes :: Integral b => b -> Nested a -> Nested a

Semigroup a => Monoid (Nested a)

Defined in Proto3.Suite.Types

Methods

mempty :: Nested a

mappend :: Nested a -> Nested a -> Nested a

mconcat :: [Nested a] -> Nested a

Arbitrary a => Arbitrary (Nested a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (Nested a)

shrink :: Nested a -> [Nested a]

NFData a => NFData (Nested a)

Defined in Proto3.Suite.Types

Methods

rnf :: Nested a -> ()

ToSchema (Maybe a) => ToSchema (Nested a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (Nested a) -> Declare (Definitions Schema) NamedSchema

(Named a, Message a) => MessageField (Nested a)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Nested a -> MessageBuilder

decodeMessageField :: Parser RawField (Nested a)

protoType :: Proxy# (Nested a) -> DotProtoField

HasDefault (Nested a)

Defined in Proto3.Suite.Class

Methods

def :: Nested a

isDefault :: Nested a -> Bool

FromJSONPB a => FromJSONPB (Nested a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (Nested a)

ToJSONPB a => ToJSONPB (Nested a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: Nested a -> Options -> Value

toEncodingPB :: Nested a -> Options -> Encoding

(Ord k, Primitive k, Named v, Message v, MessageField k) => MessageField (Map k (Nested v))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> Map k (Nested v) -> MessageBuilder

decodeMessageField :: Parser RawField (Map k (Nested v))

protoType :: Proxy# (Map k (Nested v)) -> DotProtoField

type Rep (Nested a)

Defined in Proto3.Suite.Types

type Rep (Nested a) = D1 ('MetaData "Nested" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "Nested" 'PrefixI 'True) (S1 ('MetaSel ('Just "nested") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))

newtype UnpackedVec a

Constructors

UnpackedVec

Fields

• unpackedvec :: Vector a

Instances

Functor UnpackedVec

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> UnpackedVec a -> UnpackedVec b

(<$) :: a -> UnpackedVec b -> UnpackedVec a

Applicative UnpackedVec

Defined in Proto3.Suite.Types

Methods

pure :: a -> UnpackedVec a

(<*>) :: UnpackedVec (a -> b) -> UnpackedVec a -> UnpackedVec b

liftA2 :: (a -> b -> c) -> UnpackedVec a -> UnpackedVec b -> UnpackedVec c

(*>) :: UnpackedVec a -> UnpackedVec b -> UnpackedVec b

(<*) :: UnpackedVec a -> UnpackedVec b -> UnpackedVec a

Foldable UnpackedVec

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => UnpackedVec m -> m

foldMap :: Monoid m => (a -> m) -> UnpackedVec a -> m

foldMap' :: Monoid m => (a -> m) -> UnpackedVec a -> m

foldr :: (a -> b -> b) -> b -> UnpackedVec a -> b

foldr' :: (a -> b -> b) -> b -> UnpackedVec a -> b

foldl :: (b -> a -> b) -> b -> UnpackedVec a -> b

foldl' :: (b -> a -> b) -> b -> UnpackedVec a -> b

foldr1 :: (a -> a -> a) -> UnpackedVec a -> a

foldl1 :: (a -> a -> a) -> UnpackedVec a -> a

toList :: UnpackedVec a -> [a]

null :: UnpackedVec a -> Bool

length :: UnpackedVec a -> Int

elem :: Eq a => a -> UnpackedVec a -> Bool

maximum :: Ord a => UnpackedVec a -> a

minimum :: Ord a => UnpackedVec a -> a

sum :: Num a => UnpackedVec a -> a

product :: Num a => UnpackedVec a -> a

Traversable UnpackedVec

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> UnpackedVec a -> f (UnpackedVec b)

sequenceA :: Applicative f => UnpackedVec (f a) -> f (UnpackedVec a)

mapM :: Monad m => (a -> m b) -> UnpackedVec a -> m (UnpackedVec b)

sequence :: Monad m => UnpackedVec (m a) -> m (UnpackedVec a)

Alternative UnpackedVec

Defined in Proto3.Suite.Types

Methods

empty :: UnpackedVec a

(<|>) :: UnpackedVec a -> UnpackedVec a -> UnpackedVec a

some :: UnpackedVec a -> UnpackedVec [a]

many :: UnpackedVec a -> UnpackedVec [a]

IsList (UnpackedVec a)

Defined in Proto3.Suite.Types

Associated Types

type Item (UnpackedVec a)

Methods

fromList :: [Item (UnpackedVec a)] -> UnpackedVec a

fromListN :: Int -> [Item (UnpackedVec a)] -> UnpackedVec a

toList :: UnpackedVec a -> [Item (UnpackedVec a)]

Eq a => Eq (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

(==) :: UnpackedVec a -> UnpackedVec a -> Bool

(/=) :: UnpackedVec a -> UnpackedVec a -> Bool

Ord a => Ord (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

compare :: UnpackedVec a -> UnpackedVec a -> Ordering

(<) :: UnpackedVec a -> UnpackedVec a -> Bool

(<=) :: UnpackedVec a -> UnpackedVec a -> Bool

(>) :: UnpackedVec a -> UnpackedVec a -> Bool

(>=) :: UnpackedVec a -> UnpackedVec a -> Bool

max :: UnpackedVec a -> UnpackedVec a -> UnpackedVec a

min :: UnpackedVec a -> UnpackedVec a -> UnpackedVec a

Show a => Show (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> UnpackedVec a -> ShowS

show :: UnpackedVec a -> String

showList :: [UnpackedVec a] -> ShowS

Semigroup (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

(<>) :: UnpackedVec a -> UnpackedVec a -> UnpackedVec a

sconcat :: NonEmpty (UnpackedVec a) -> UnpackedVec a

stimes :: Integral b => b -> UnpackedVec a -> UnpackedVec a

Monoid (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

mempty :: UnpackedVec a

mappend :: UnpackedVec a -> UnpackedVec a -> UnpackedVec a

mconcat :: [UnpackedVec a] -> UnpackedVec a

Arbitrary a => Arbitrary (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (UnpackedVec a)

shrink :: UnpackedVec a -> [UnpackedVec a]

NFData a => NFData (UnpackedVec a)

Defined in Proto3.Suite.Types

Methods

rnf :: UnpackedVec a -> ()

ToSchema a => ToSchema (UnpackedVec a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (UnpackedVec a) -> Declare (Definitions Schema) NamedSchema

Primitive a => MessageField (UnpackedVec a)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> UnpackedVec a -> MessageBuilder

decodeMessageField :: Parser RawField (UnpackedVec a)

protoType :: Proxy# (UnpackedVec a) -> DotProtoField

HasDefault (UnpackedVec a)

Defined in Proto3.Suite.Class

Methods

def :: UnpackedVec a

isDefault :: UnpackedVec a -> Bool

FromJSONPB a => FromJSONPB (UnpackedVec a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (UnpackedVec a)

ToJSONPB a => ToJSONPB (UnpackedVec a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: UnpackedVec a -> Options -> Value

toEncodingPB :: UnpackedVec a -> Options -> Encoding

type Item (UnpackedVec a)

Defined in Proto3.Suite.Types

type Item (UnpackedVec a) = a

newtype PackedVec a

PackedVec provides a way to encode packed lists of basic protobuf types into the wire format.

Constructors

PackedVec

Fields

• packedvec :: Vector a

Instances

Functor PackedVec

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> PackedVec a -> PackedVec b

(<$) :: a -> PackedVec b -> PackedVec a

Applicative PackedVec

Defined in Proto3.Suite.Types

Methods

pure :: a -> PackedVec a

(<*>) :: PackedVec (a -> b) -> PackedVec a -> PackedVec b

liftA2 :: (a -> b -> c) -> PackedVec a -> PackedVec b -> PackedVec c

(*>) :: PackedVec a -> PackedVec b -> PackedVec b

(<*) :: PackedVec a -> PackedVec b -> PackedVec a

Foldable PackedVec

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => PackedVec m -> m

foldMap :: Monoid m => (a -> m) -> PackedVec a -> m

foldMap' :: Monoid m => (a -> m) -> PackedVec a -> m

foldr :: (a -> b -> b) -> b -> PackedVec a -> b

foldr' :: (a -> b -> b) -> b -> PackedVec a -> b

foldl :: (b -> a -> b) -> b -> PackedVec a -> b

foldl' :: (b -> a -> b) -> b -> PackedVec a -> b

foldr1 :: (a -> a -> a) -> PackedVec a -> a

foldl1 :: (a -> a -> a) -> PackedVec a -> a

toList :: PackedVec a -> [a]

null :: PackedVec a -> Bool

length :: PackedVec a -> Int

elem :: Eq a => a -> PackedVec a -> Bool

maximum :: Ord a => PackedVec a -> a

minimum :: Ord a => PackedVec a -> a

sum :: Num a => PackedVec a -> a

product :: Num a => PackedVec a -> a

Traversable PackedVec

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> PackedVec a -> f (PackedVec b)

sequenceA :: Applicative f => PackedVec (f a) -> f (PackedVec a)

mapM :: Monad m => (a -> m b) -> PackedVec a -> m (PackedVec b)

sequence :: Monad m => PackedVec (m a) -> m (PackedVec a)

Alternative PackedVec

Defined in Proto3.Suite.Types

Methods

empty :: PackedVec a

(<|>) :: PackedVec a -> PackedVec a -> PackedVec a

some :: PackedVec a -> PackedVec [a]

many :: PackedVec a -> PackedVec [a]

IsList (PackedVec a)

Defined in Proto3.Suite.Types

Associated Types

type Item (PackedVec a)

Methods

fromList :: [Item (PackedVec a)] -> PackedVec a

fromListN :: Int -> [Item (PackedVec a)] -> PackedVec a

toList :: PackedVec a -> [Item (PackedVec a)]

Eq a => Eq (PackedVec a)

Defined in Proto3.Suite.Types

Methods

(==) :: PackedVec a -> PackedVec a -> Bool

(/=) :: PackedVec a -> PackedVec a -> Bool

Ord a => Ord (PackedVec a)

Defined in Proto3.Suite.Types

Methods

compare :: PackedVec a -> PackedVec a -> Ordering

(<) :: PackedVec a -> PackedVec a -> Bool

(<=) :: PackedVec a -> PackedVec a -> Bool

(>) :: PackedVec a -> PackedVec a -> Bool

(>=) :: PackedVec a -> PackedVec a -> Bool

max :: PackedVec a -> PackedVec a -> PackedVec a

min :: PackedVec a -> PackedVec a -> PackedVec a

Show a => Show (PackedVec a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> PackedVec a -> ShowS

show :: PackedVec a -> String

showList :: [PackedVec a] -> ShowS

Semigroup (PackedVec a)

Defined in Proto3.Suite.Types

Methods

(<>) :: PackedVec a -> PackedVec a -> PackedVec a

sconcat :: NonEmpty (PackedVec a) -> PackedVec a

stimes :: Integral b => b -> PackedVec a -> PackedVec a

Monoid (PackedVec a)

Defined in Proto3.Suite.Types

Methods

mempty :: PackedVec a

mappend :: PackedVec a -> PackedVec a -> PackedVec a

mconcat :: [PackedVec a] -> PackedVec a

Arbitrary a => Arbitrary (PackedVec a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (PackedVec a)

shrink :: PackedVec a -> [PackedVec a]

NFData a => NFData (PackedVec a)

Defined in Proto3.Suite.Types

Methods

rnf :: PackedVec a -> ()

ToSchema a => ToSchema (PackedVec a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (PackedVec a) -> Declare (Definitions Schema) NamedSchema

MessageField (PackedVec Bool)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Bool -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Bool)

protoType :: Proxy# (PackedVec Bool) -> DotProtoField

MessageField (PackedVec Double)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Double -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Double)

protoType :: Proxy# (PackedVec Double) -> DotProtoField

MessageField (PackedVec Float)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Float -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Float)

protoType :: Proxy# (PackedVec Float) -> DotProtoField

MessageField (PackedVec Int32)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Int32 -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Int32)

protoType :: Proxy# (PackedVec Int32) -> DotProtoField

MessageField (PackedVec Int64)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Int64 -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Int64)

protoType :: Proxy# (PackedVec Int64) -> DotProtoField

MessageField (PackedVec Word32)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Word32 -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Word32)

protoType :: Proxy# (PackedVec Word32) -> DotProtoField

MessageField (PackedVec Word64)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec Word64 -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec Word64)

protoType :: Proxy# (PackedVec Word64) -> DotProtoField

(Named e, ProtoEnum e) => MessageField (PackedVec (Enumerated e))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Enumerated e) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Enumerated e))

protoType :: Proxy# (PackedVec (Enumerated e)) -> DotProtoField

MessageField (PackedVec (Signed Int32))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed Int32) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed Int32))

protoType :: Proxy# (PackedVec (Signed Int32)) -> DotProtoField

MessageField (PackedVec (Signed Int64))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed Int64) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed Int64))

protoType :: Proxy# (PackedVec (Signed Int64)) -> DotProtoField

MessageField (PackedVec (Signed (Fixed Int32)))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed (Fixed Int32)) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed (Fixed Int32)))

protoType :: Proxy# (PackedVec (Signed (Fixed Int32))) -> DotProtoField

MessageField (PackedVec (Signed (Fixed Int64)))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Signed (Fixed Int64)) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Signed (Fixed Int64)))

protoType :: Proxy# (PackedVec (Signed (Fixed Int64))) -> DotProtoField

MessageField (PackedVec (Fixed Word32))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Fixed Word32) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Fixed Word32))

protoType :: Proxy# (PackedVec (Fixed Word32)) -> DotProtoField

MessageField (PackedVec (Fixed Word64))

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> PackedVec (Fixed Word64) -> MessageBuilder

decodeMessageField :: Parser RawField (PackedVec (Fixed Word64))

protoType :: Proxy# (PackedVec (Fixed Word64)) -> DotProtoField

HasDefault (PackedVec a)

Defined in Proto3.Suite.Class

Methods

def :: PackedVec a

isDefault :: PackedVec a -> Bool

FromJSONPB a => FromJSONPB (PackedVec a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (PackedVec a)

ToJSONPB a => ToJSONPB (PackedVec a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: PackedVec a -> Options -> Value

toEncodingPB :: PackedVec a -> Options -> Encoding

type Item (PackedVec a)

Defined in Proto3.Suite.Types

type Item (PackedVec a) = a

newtype NestedVec a

Constructors

NestedVec

Fields

• nestedvec :: Vector a

Instances

Functor NestedVec

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> NestedVec a -> NestedVec b

(<$) :: a -> NestedVec b -> NestedVec a

Applicative NestedVec

Defined in Proto3.Suite.Types

Methods

pure :: a -> NestedVec a

(<*>) :: NestedVec (a -> b) -> NestedVec a -> NestedVec b

liftA2 :: (a -> b -> c) -> NestedVec a -> NestedVec b -> NestedVec c

(*>) :: NestedVec a -> NestedVec b -> NestedVec b

(<*) :: NestedVec a -> NestedVec b -> NestedVec a

Foldable NestedVec

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => NestedVec m -> m

foldMap :: Monoid m => (a -> m) -> NestedVec a -> m

foldMap' :: Monoid m => (a -> m) -> NestedVec a -> m

foldr :: (a -> b -> b) -> b -> NestedVec a -> b

foldr' :: (a -> b -> b) -> b -> NestedVec a -> b

foldl :: (b -> a -> b) -> b -> NestedVec a -> b

foldl' :: (b -> a -> b) -> b -> NestedVec a -> b

foldr1 :: (a -> a -> a) -> NestedVec a -> a

foldl1 :: (a -> a -> a) -> NestedVec a -> a

toList :: NestedVec a -> [a]

null :: NestedVec a -> Bool

length :: NestedVec a -> Int

elem :: Eq a => a -> NestedVec a -> Bool

maximum :: Ord a => NestedVec a -> a

minimum :: Ord a => NestedVec a -> a

sum :: Num a => NestedVec a -> a

product :: Num a => NestedVec a -> a

Traversable NestedVec

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> NestedVec a -> f (NestedVec b)

sequenceA :: Applicative f => NestedVec (f a) -> f (NestedVec a)

mapM :: Monad m => (a -> m b) -> NestedVec a -> m (NestedVec b)

sequence :: Monad m => NestedVec (m a) -> m (NestedVec a)

Alternative NestedVec

Defined in Proto3.Suite.Types

Methods

empty :: NestedVec a

(<|>) :: NestedVec a -> NestedVec a -> NestedVec a

some :: NestedVec a -> NestedVec [a]

many :: NestedVec a -> NestedVec [a]

IsList (NestedVec a)

Defined in Proto3.Suite.Types

Associated Types

type Item (NestedVec a)

Methods

fromList :: [Item (NestedVec a)] -> NestedVec a

fromListN :: Int -> [Item (NestedVec a)] -> NestedVec a

toList :: NestedVec a -> [Item (NestedVec a)]

Eq a => Eq (NestedVec a)

Defined in Proto3.Suite.Types

Methods

(==) :: NestedVec a -> NestedVec a -> Bool

(/=) :: NestedVec a -> NestedVec a -> Bool

Ord a => Ord (NestedVec a)

Defined in Proto3.Suite.Types

Methods

compare :: NestedVec a -> NestedVec a -> Ordering

(<) :: NestedVec a -> NestedVec a -> Bool

(<=) :: NestedVec a -> NestedVec a -> Bool

(>) :: NestedVec a -> NestedVec a -> Bool

(>=) :: NestedVec a -> NestedVec a -> Bool

max :: NestedVec a -> NestedVec a -> NestedVec a

min :: NestedVec a -> NestedVec a -> NestedVec a

Show a => Show (NestedVec a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> NestedVec a -> ShowS

show :: NestedVec a -> String

showList :: [NestedVec a] -> ShowS

Semigroup (NestedVec a)

Defined in Proto3.Suite.Types

Methods

(<>) :: NestedVec a -> NestedVec a -> NestedVec a

sconcat :: NonEmpty (NestedVec a) -> NestedVec a

stimes :: Integral b => b -> NestedVec a -> NestedVec a

Monoid (NestedVec a)

Defined in Proto3.Suite.Types

Methods

mempty :: NestedVec a

mappend :: NestedVec a -> NestedVec a -> NestedVec a

mconcat :: [NestedVec a] -> NestedVec a

Arbitrary a => Arbitrary (NestedVec a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (NestedVec a)

shrink :: NestedVec a -> [NestedVec a]

NFData a => NFData (NestedVec a)

Defined in Proto3.Suite.Types

Methods

rnf :: NestedVec a -> ()

ToSchema a => ToSchema (NestedVec a)

Defined in Proto3.Suite.DotProto.Generate.Swagger

Methods

declareNamedSchema :: Proxy (NestedVec a) -> Declare (Definitions Schema) NamedSchema

(Named a, Message a) => MessageField (NestedVec a)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> NestedVec a -> MessageBuilder

decodeMessageField :: Parser RawField (NestedVec a)

protoType :: Proxy# (NestedVec a) -> DotProtoField

HasDefault (NestedVec a)

Defined in Proto3.Suite.Class

Methods

def :: NestedVec a

isDefault :: NestedVec a -> Bool

FromJSONPB a => FromJSONPB (NestedVec a)

Defined in Proto3.Suite.JSONPB.Class

Methods

parseJSONPB :: Value -> Parser (NestedVec a)

ToJSONPB a => ToJSONPB (NestedVec a)

Defined in Proto3.Suite.JSONPB.Class

Methods

toJSONPB :: NestedVec a -> Options -> Value

toEncodingPB :: NestedVec a -> Options -> Encoding

type Item (NestedVec a)

Defined in Proto3.Suite.Types

type Item (NestedVec a) = a

newtype Commented (comment :: Symbol) a

Commented provides a way to add comments to generated .proto files.

Constructors

Commented

Fields

• unCommented :: a

Instances

Functor (Commented comment)

Defined in Proto3.Suite.Types

Methods

fmap :: (a -> b) -> Commented comment a -> Commented comment b

(<$) :: a -> Commented comment b -> Commented comment a

Foldable (Commented comment)

Defined in Proto3.Suite.Types

Methods

fold :: Monoid m => Commented comment m -> m

foldMap :: Monoid m => (a -> m) -> Commented comment a -> m

foldMap' :: Monoid m => (a -> m) -> Commented comment a -> m

foldr :: (a -> b -> b) -> b -> Commented comment a -> b

foldr' :: (a -> b -> b) -> b -> Commented comment a -> b

foldl :: (b -> a -> b) -> b -> Commented comment a -> b

foldl' :: (b -> a -> b) -> b -> Commented comment a -> b

foldr1 :: (a -> a -> a) -> Commented comment a -> a

foldl1 :: (a -> a -> a) -> Commented comment a -> a

toList :: Commented comment a -> [a]

null :: Commented comment a -> Bool

length :: Commented comment a -> Int

elem :: Eq a => a -> Commented comment a -> Bool

maximum :: Ord a => Commented comment a -> a

minimum :: Ord a => Commented comment a -> a

sum :: Num a => Commented comment a -> a

product :: Num a => Commented comment a -> a

Traversable (Commented comment)

Defined in Proto3.Suite.Types

Methods

traverse :: Applicative f => (a -> f b) -> Commented comment a -> f (Commented comment b)

sequenceA :: Applicative f => Commented comment (f a) -> f (Commented comment a)

mapM :: Monad m => (a -> m b) -> Commented comment a -> m (Commented comment b)

sequence :: Monad m => Commented comment (m a) -> m (Commented comment a)

Eq a => Eq (Commented comment a)

Defined in Proto3.Suite.Types

Methods

(==) :: Commented comment a -> Commented comment a -> Bool

(/=) :: Commented comment a -> Commented comment a -> Bool

Ord a => Ord (Commented comment a)

Defined in Proto3.Suite.Types

Methods

compare :: Commented comment a -> Commented comment a -> Ordering

(<) :: Commented comment a -> Commented comment a -> Bool

(<=) :: Commented comment a -> Commented comment a -> Bool

(>) :: Commented comment a -> Commented comment a -> Bool

(>=) :: Commented comment a -> Commented comment a -> Bool

max :: Commented comment a -> Commented comment a -> Commented comment a

min :: Commented comment a -> Commented comment a -> Commented comment a

Show a => Show (Commented comment a)

Defined in Proto3.Suite.Types

Methods

showsPrec :: Int -> Commented comment a -> ShowS

show :: Commented comment a -> String

showList :: [Commented comment a] -> ShowS

Generic (Commented comment a)

Defined in Proto3.Suite.Types

Associated Types

type Rep (Commented comment a) :: Type -> Type

Methods

from :: Commented comment a -> Rep (Commented comment a) x

to :: Rep (Commented comment a) x -> Commented comment a

Semigroup a => Semigroup (Commented comment a)

Defined in Proto3.Suite.Types

Methods

(<>) :: Commented comment a -> Commented comment a -> Commented comment a

sconcat :: NonEmpty (Commented comment a) -> Commented comment a

stimes :: Integral b => b -> Commented comment a -> Commented comment a

Monoid a => Monoid (Commented comment a)

Defined in Proto3.Suite.Types

Methods

mempty :: Commented comment a

mappend :: Commented comment a -> Commented comment a -> Commented comment a

mconcat :: [Commented comment a] -> Commented comment a

Arbitrary a => Arbitrary (Commented comment a)

Defined in Proto3.Suite.Types

Methods

arbitrary :: Gen (Commented comment a)

shrink :: Commented comment a -> [Commented comment a]

NFData a => NFData (Commented comment a)

Defined in Proto3.Suite.Types

Methods

rnf :: Commented comment a -> ()

(MessageField e, KnownSymbol comments) => MessageField (e // comments)

Defined in Proto3.Suite.Class

Methods

encodeMessageField :: FieldNumber -> (e // comments) -> MessageBuilder

decodeMessageField :: Parser RawField (e // comments)

protoType :: Proxy# (e // comments) -> DotProtoField

type Rep (Commented comment a)

Defined in Proto3.Suite.Types

type Rep (Commented comment a) = D1 ('MetaData "Commented" "Proto3.Suite.Types" "proto3-suite-0.7.0-inplace" 'True) (C1 ('MetaCons "Commented" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCommented") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

type (//) a (comment :: Symbol) = Commented comment a

A type operator synonym for Commented, so that we can write C-style comments on fields.