Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype Fixed a = Fixed {
- fixed :: a
- newtype Signed a = Signed {
- signed :: a
- newtype Enumerated a = Enumerated {
- enumerated :: Either Int32 a
- newtype ForceEmit a = ForceEmit {
- forceEmit :: a
- newtype Nested a = Nested {}
- newtype UnpackedVec a = UnpackedVec {
- unpackedvec :: Vector a
- newtype PackedVec a = PackedVec {}
- newtype NestedVec a = NestedVec {}
- newtype Commented (comment :: Symbol) a = Commented {
- unCommented :: a
- type (//) a (comment :: Symbol) = Commented comment a
Integral Types
Fixed
provides a way to encode integers in the fixed-width wire formats.
Instances
Signed
provides a way to encode integers in the signed wire formats.
Instances
Enumerable Types
newtype Enumerated a Source #
Enumerated
lifts any type with an IsEnum
instance so that it can be encoded
with HasEncoding
.
Enumerated | |
|
Instances
ForceEmit
provides a way to force emission of field values, even when
default-value semantics states otherwise. Used when serializing oneof
subfields.
Instances
Nested
provides a way to nest protobuf messages within protobuf messages.
Instances
newtype UnpackedVec a Source #
UnpackedVec | |
|
Instances
PackedVec
provides a way to encode packed lists of basic protobuf types into
the wire format.
Instances
Instances
newtype Commented (comment :: Symbol) a Source #
Commented
provides a way to add comments to generated .proto
files.
Commented | |
|
Instances
Functor (Commented comment) Source # | |
Foldable (Commented comment) Source # | |
Defined in Proto3.Suite.Types 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 # | |
Traversable (Commented comment) Source # | |
Defined in Proto3.Suite.Types 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) Source # | |
Ord a => Ord (Commented comment a) Source # | |
Defined in Proto3.Suite.Types 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) Source # | |
Generic (Commented comment a) Source # | |
Semigroup a => Semigroup (Commented comment a) Source # | |
Monoid a => Monoid (Commented comment a) Source # | |
Arbitrary a => Arbitrary (Commented comment a) Source # | |
NFData a => NFData (Commented comment a) Source # | |
Defined in Proto3.Suite.Types | |
(MessageField e, KnownSymbol comments) => MessageField (e // comments) Source # | |
Defined in Proto3.Suite.Class encodeMessageField :: FieldNumber -> (e // comments) -> MessageBuilder Source # decodeMessageField :: Parser RawField (e // comments) Source # protoType :: Proxy# (e // comments) -> DotProtoField Source # | |
type Rep (Commented comment a) Source # | |
Defined in Proto3.Suite.Types |