| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.ProtocolBuffers.Internal
Synopsis
- type Tag = Word32
- data WireField
- = VarintField !Tag !Word64
- | Fixed64Field !Tag !Word64
- | DelimitedField !Tag !ByteString
- | StartField !Tag
- | EndField !Tag
- | Fixed32Field !Tag !Word32
- wireFieldTag :: WireField -> Tag
- getWireField :: Get WireField
- class EncodeWire a where
- encodeWire :: Tag -> a -> Put
- class DecodeWire a where
- decodeWire :: WireField -> Get a
- zzEncode32 :: Int32 -> Word32
- zzEncode64 :: Int64 -> Word64
- zzDecode32 :: Word32 -> Int32
- zzDecode64 :: Word64 -> Int64
- getVarintPrefixedBS :: Get ByteString
- getVarInt :: (Integral a, Bits a) => Get a
- putVarintPrefixedBS :: ByteString -> Put
- putVarSInt :: (Integral a, Bits a) => a -> Put
- putVarUInt :: (Integral a, Bits a) => a -> Put
- newtype Field (n :: Nat) a = Field {
- runField :: a
- newtype Value a = Value {
- runValue :: a
- newtype Always a = Always {
- runAlways :: a
- newtype Enumeration a = Enumeration {
- runEnumeration :: a
- newtype RequiredField a = Required {
- runRequired :: a
- newtype OptionalField a = Optional {
- runOptional :: a
- newtype RepeatedField a = Repeated {
- runRepeated :: a
- newtype PackedField a = PackedField {
- runPackedField :: a
- newtype PackedList a = PackedList {
- unPackedList :: [a]
- newtype Message m = Message {
- runMessage :: m
- class GDecode (f :: Type -> Type)
- class GEncode (f :: Type -> Type)
- class GMessageMonoid (f :: Type -> Type)
Documentation
A representation of the wire format as described in https://developers.google.com/protocol-buffers/docs/encoding#structure
Constructors
| VarintField !Tag !Word64 | For: int32, int64, uint32, uint64, sint32, sint64, bool, enum |
| Fixed64Field !Tag !Word64 | For: fixed64, sfixed64, double |
| DelimitedField !Tag !ByteString | For: string, bytes, embedded messages, packed repeated fields |
| StartField !Tag | For: groups (deprecated) |
| EndField !Tag | For: groups (deprecated) |
| Fixed32Field !Tag !Word32 | For: fixed32, sfixed32, float |
Instances
| Show WireField Source # | |
| Eq WireField Source # | |
| Ord WireField Source # | |
| DecodeWire WireField Source # | |
Defined in Data.ProtocolBuffers.Wire | |
| EncodeWire WireField Source # | |
Defined in Data.ProtocolBuffers.Wire | |
| Decode (HashMap Tag [WireField]) Source # | |
| Encode (HashMap Tag [WireField]) Source # | Untyped message encoding |
wireFieldTag :: WireField -> Tag Source #
class EncodeWire a where Source #
Methods
encodeWire :: Tag -> a -> Put Source #
Instances
class DecodeWire a where Source #
Methods
decodeWire :: WireField -> Get a Source #
Instances
zzEncode32 :: Int32 -> Word32 Source #
zzEncode64 :: Int64 -> Word64 Source #
zzDecode32 :: Word32 -> Int32 Source #
zzDecode64 :: Word64 -> Int64 Source #
putVarintPrefixedBS :: ByteString -> Put Source #
putVarSInt :: (Integral a, Bits a) => a -> Put Source #
This can be used on any Integral type and is needed for signed types; unsigned can use putVarUInt below. This has been changed to handle only up to 64 bit integral values (to match documentation).
putVarUInt :: (Integral a, Bits a) => a -> Put Source #
This should be used on unsigned Integral types only (not checked)
newtype Field (n :: Nat) a Source #
Fields are merely a way to hold a field tag along with its type, this shouldn't normally be referenced directly.
This provides better error messages than older versions which used Tagged
Instances
Value selects the normal/typical way for encoding scalar (primitive) values.
Instances
| Foldable Value Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => Value m -> m # foldMap :: Monoid m => (a -> m) -> Value a -> m # foldMap' :: Monoid m => (a -> m) -> Value a -> m # foldr :: (a -> b -> b) -> b -> Value a -> b # foldr' :: (a -> b -> b) -> b -> Value a -> b # foldl :: (b -> a -> b) -> b -> Value a -> b # foldl' :: (b -> a -> b) -> b -> Value a -> b # foldr1 :: (a -> a -> a) -> Value a -> a # foldl1 :: (a -> a -> a) -> Value a -> a # elem :: Eq a => a -> Value a -> Bool # maximum :: Ord a => Value a -> a # minimum :: Ord a => Value a -> a # | |||||
| Traversable Value Source # | |||||
| Functor Value Source # | |||||
| Monoid a => Monoid (Value a) Source # | |||||
| Semigroup a => Semigroup (Value a) Source # | |||||
| Bounded a => Bounded (Value a) Source # | |||||
| Enum a => Enum (Value a) Source # | |||||
| Show a => Show (Value a) Source # | |||||
| NFData a => NFData (Value a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Eq a => Eq (Value a) Source # | |||||
| Ord a => Ord (Value a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| DecodeWire a => DecodeWire (Last (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| DecodeWire a => DecodeWire (Always (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| DecodeWire (PackedList (Value Int32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Int32)) Source # | |||||
| DecodeWire (PackedList (Value Int64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Int64)) Source # | |||||
| DecodeWire (PackedList (Value Word32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Word32)) Source # | |||||
| DecodeWire (PackedList (Value Word64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Word64)) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Int32))) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Int64))) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Word32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Word32))) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Word64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Word64))) Source # | |||||
| DecodeWire (PackedList (Value (Signed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Signed Int32))) Source # | |||||
| DecodeWire (PackedList (Value (Signed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Signed Int64))) Source # | |||||
| DecodeWire (PackedList (Value Bool)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Bool)) Source # | |||||
| DecodeWire (PackedList (Value Double)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Double)) Source # | |||||
| DecodeWire (PackedList (Value Float)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Float)) Source # | |||||
| DecodeWire a => DecodeWire (Value a) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| DecodeWire a => DecodeWire (Maybe (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| EncodeWire a => EncodeWire (Last (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| EncodeWire a => EncodeWire (Always (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| EncodeWire (PackedList (Value Int32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Int32) -> Put Source # | |||||
| EncodeWire (PackedList (Value Int64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Int64) -> Put Source # | |||||
| EncodeWire (PackedList (Value Word32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Word32) -> Put Source # | |||||
| EncodeWire (PackedList (Value Word64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Word64) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Int32)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Int64)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Word32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Word32)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Word64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Word64)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Signed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Signed Int32)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Signed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Signed Int64)) -> Put Source # | |||||
| EncodeWire (PackedList (Value Bool)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Bool) -> Put Source # | |||||
| EncodeWire (PackedList (Value Double)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Double) -> Put Source # | |||||
| EncodeWire (PackedList (Value Float)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Float) -> Put Source # | |||||
| EncodeWire a => EncodeWire (Value a) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| EncodeWire a => EncodeWire (Maybe (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| EncodeWire a => EncodeWire [Value a] Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| HasField (Field n (OptionalField (Last (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (OptionalField (Last (Value a))) -> FieldType (Field n (OptionalField (Last (Value a)))) Source # putField :: FieldType (Field n (OptionalField (Last (Value a)))) -> Field n (OptionalField (Last (Value a))) Source # field :: Functor f => (FieldType (Field n (OptionalField (Last (Value a)))) -> f (FieldType (Field n (OptionalField (Last (Value a)))))) -> Field n (OptionalField (Last (Value a))) -> f (Field n (OptionalField (Last (Value a)))) Source # | |||||
| HasField (Field n (PackedField (PackedList (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (PackedField (PackedList (Value a))) -> FieldType (Field n (PackedField (PackedList (Value a)))) Source # putField :: FieldType (Field n (PackedField (PackedList (Value a)))) -> Field n (PackedField (PackedList (Value a))) Source # field :: Functor f => (FieldType (Field n (PackedField (PackedList (Value a)))) -> f (FieldType (Field n (PackedField (PackedList (Value a)))))) -> Field n (PackedField (PackedList (Value a))) -> f (Field n (PackedField (PackedList (Value a)))) Source # | |||||
| HasField (Field n (RepeatedField [Value a])) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RepeatedField [Value a]) -> FieldType (Field n (RepeatedField [Value a])) Source # putField :: FieldType (Field n (RepeatedField [Value a])) -> Field n (RepeatedField [Value a]) Source # field :: Functor f => (FieldType (Field n (RepeatedField [Value a])) -> f (FieldType (Field n (RepeatedField [Value a])))) -> Field n (RepeatedField [Value a]) -> f (Field n (RepeatedField [Value a])) Source # | |||||
| HasField (Field n (RequiredField (Always (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RequiredField (Always (Value a))) -> FieldType (Field n (RequiredField (Always (Value a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Value a)))) -> Field n (RequiredField (Always (Value a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Value a)))) -> f (FieldType (Field n (RequiredField (Always (Value a)))))) -> Field n (RequiredField (Always (Value a))) -> f (Field n (RequiredField (Always (Value a)))) Source # | |||||
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (OptionalField (Last (Value a)))) :: Type -> Type) Source # | |||||
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Value a)))) :: Type -> Type) Source # | |||||
| type Optional n (Value a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type Required n (Value a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (OptionalField (Last (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (PackedField (PackedList (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RepeatedField [Value a])) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RequiredField (Always (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
To provide consistent instances for serialization a Traversable Functor is needed to
make Required fields have the same shape as Optional, Repeated and Packed.
Instances
| Foldable Always Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => Always m -> m # foldMap :: Monoid m => (a -> m) -> Always a -> m # foldMap' :: Monoid m => (a -> m) -> Always a -> m # foldr :: (a -> b -> b) -> b -> Always a -> b # foldr' :: (a -> b -> b) -> b -> Always a -> b # foldl :: (b -> a -> b) -> b -> Always a -> b # foldl' :: (b -> a -> b) -> b -> Always a -> b # foldr1 :: (a -> a -> a) -> Always a -> a # foldl1 :: (a -> a -> a) -> Always a -> a # elem :: Eq a => a -> Always a -> Bool # maximum :: Ord a => Always a -> a # minimum :: Ord a => Always a -> a # | |||||
| Traversable Always Source # | |||||
| Functor Always Source # | |||||
| Monoid (Always a) Source # | |||||
| Semigroup (Always a) Source # | |||||
| Bounded a => Bounded (Always a) Source # | |||||
| Enum a => Enum (Always a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Show a => Show (Always a) Source # | |||||
| NFData a => NFData (Always a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Eq a => Eq (Always a) Source # | |||||
| Ord a => Ord (Always a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Enum a => DecodeWire (Always (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Always (Enumeration a)) Source # | |||||
| DecodeWire a => DecodeWire (Always (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| EncodeWire a => EncodeWire (Always (Value a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire | |||||
| HasField (Field n (RequiredField (Always (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (RequiredField (Always (Message a))) -> FieldType (Field n (RequiredField (Always (Message a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Message a)))) -> Field n (RequiredField (Always (Message a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Message a)))) -> f (FieldType (Field n (RequiredField (Always (Message a)))))) -> Field n (RequiredField (Always (Message a))) -> f (Field n (RequiredField (Always (Message a)))) Source # | |||||
| HasField (Field n (RequiredField (Always (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RequiredField (Always (Enumeration a))) -> FieldType (Field n (RequiredField (Always (Enumeration a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Enumeration a)))) -> Field n (RequiredField (Always (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Enumeration a)))) -> f (FieldType (Field n (RequiredField (Always (Enumeration a)))))) -> Field n (RequiredField (Always (Enumeration a))) -> f (Field n (RequiredField (Always (Enumeration a)))) Source # | |||||
| HasField (Field n (RequiredField (Always (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RequiredField (Always (Value a))) -> FieldType (Field n (RequiredField (Always (Value a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Value a)))) -> Field n (RequiredField (Always (Value a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Value a)))) -> f (FieldType (Field n (RequiredField (Always (Value a)))))) -> Field n (RequiredField (Always (Value a))) -> f (Field n (RequiredField (Always (Value a)))) Source # | |||||
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Message a)))) :: Type -> Type) Source # | |||||
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Enumeration a)))) :: Type -> Type) Source # | |||||
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (RequiredField (Always (Enumeration a)))) a0) | |||||
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Value a)))) :: Type -> Type) Source # | |||||
| type FieldType (Field n (RequiredField (Always (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type FieldType (Field n (RequiredField (Always (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RequiredField (Always (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
newtype Enumeration a Source #
Enumeration fields use fromEnum and toEnum when encoding and decoding messages.
Constructors
| Enumeration | |
Fields
| |
Instances
| Foldable Enumeration Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => Enumeration m -> m # foldMap :: Monoid m => (a -> m) -> Enumeration a -> m # foldMap' :: Monoid m => (a -> m) -> Enumeration a -> m # foldr :: (a -> b -> b) -> b -> Enumeration a -> b # foldr' :: (a -> b -> b) -> b -> Enumeration a -> b # foldl :: (b -> a -> b) -> b -> Enumeration a -> b # foldl' :: (b -> a -> b) -> b -> Enumeration a -> b # foldr1 :: (a -> a -> a) -> Enumeration a -> a # foldl1 :: (a -> a -> a) -> Enumeration a -> a # toList :: Enumeration a -> [a] # null :: Enumeration a -> Bool # length :: Enumeration a -> Int # elem :: Eq a => a -> Enumeration a -> Bool # maximum :: Ord a => Enumeration a -> a # minimum :: Ord a => Enumeration a -> a # sum :: Num a => Enumeration a -> a # product :: Num a => Enumeration a -> a # | |||||
| Traversable Enumeration Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods traverse :: Applicative f => (a -> f b) -> Enumeration a -> f (Enumeration b) # sequenceA :: Applicative f => Enumeration (f a) -> f (Enumeration a) # mapM :: Monad m => (a -> m b) -> Enumeration a -> m (Enumeration b) # sequence :: Monad m => Enumeration (m a) -> m (Enumeration a) # | |||||
| Functor Enumeration Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> Enumeration a -> Enumeration b # (<$) :: a -> Enumeration b -> Enumeration a # | |||||
| Monoid a => Monoid (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods mempty :: Enumeration a # mappend :: Enumeration a -> Enumeration a -> Enumeration a # mconcat :: [Enumeration a] -> Enumeration a # | |||||
| Semigroup a => Semigroup (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (<>) :: Enumeration a -> Enumeration a -> Enumeration a # sconcat :: NonEmpty (Enumeration a) -> Enumeration a # stimes :: Integral b => b -> Enumeration a -> Enumeration a # | |||||
| Bounded a => Bounded (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Enum a => Enum (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods succ :: Enumeration a -> Enumeration a # pred :: Enumeration a -> Enumeration a # toEnum :: Int -> Enumeration a # fromEnum :: Enumeration a -> Int # enumFrom :: Enumeration a -> [Enumeration a] # enumFromThen :: Enumeration a -> Enumeration a -> [Enumeration a] # enumFromTo :: Enumeration a -> Enumeration a -> [Enumeration a] # enumFromThenTo :: Enumeration a -> Enumeration a -> Enumeration a -> [Enumeration a] # | |||||
| Show a => Show (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> Enumeration a -> ShowS # show :: Enumeration a -> String # showList :: [Enumeration a] -> ShowS # | |||||
| NFData a => NFData (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods rnf :: Enumeration a -> () # | |||||
| Eq a => Eq (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (==) :: Enumeration a -> Enumeration a -> Bool # (/=) :: Enumeration a -> Enumeration a -> Bool # | |||||
| Ord a => Ord (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods compare :: Enumeration a -> Enumeration a -> Ordering # (<) :: Enumeration a -> Enumeration a -> Bool # (<=) :: Enumeration a -> Enumeration a -> Bool # (>) :: Enumeration a -> Enumeration a -> Bool # (>=) :: Enumeration a -> Enumeration a -> Bool # max :: Enumeration a -> Enumeration a -> Enumeration a # min :: Enumeration a -> Enumeration a -> Enumeration a # | |||||
| Enum a => DecodeWire (Always (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Always (Enumeration a)) Source # | |||||
| Enum a => DecodeWire (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Enumeration a) Source # | |||||
| Enum a => DecodeWire (PackedList (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Enumeration a)) Source # | |||||
| Enum a => DecodeWire (Maybe (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Maybe (Enumeration a)) Source # | |||||
| Enum a => EncodeWire (PackedList (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Enumeration a) -> Put Source # | |||||
| (Foldable f, Enum a) => EncodeWire (f (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> f (Enumeration a) -> Put Source # | |||||
| HasField (Field n (OptionalField (Last (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (OptionalField (Last (Enumeration a))) -> FieldType (Field n (OptionalField (Last (Enumeration a)))) Source # putField :: FieldType (Field n (OptionalField (Last (Enumeration a)))) -> Field n (OptionalField (Last (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (OptionalField (Last (Enumeration a)))) -> f (FieldType (Field n (OptionalField (Last (Enumeration a)))))) -> Field n (OptionalField (Last (Enumeration a))) -> f (Field n (OptionalField (Last (Enumeration a)))) Source # | |||||
| HasField (Field n (PackedField (PackedList (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (PackedField (PackedList (Enumeration a))) -> FieldType (Field n (PackedField (PackedList (Enumeration a)))) Source # putField :: FieldType (Field n (PackedField (PackedList (Enumeration a)))) -> Field n (PackedField (PackedList (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (PackedField (PackedList (Enumeration a)))) -> f (FieldType (Field n (PackedField (PackedList (Enumeration a)))))) -> Field n (PackedField (PackedList (Enumeration a))) -> f (Field n (PackedField (PackedList (Enumeration a)))) Source # | |||||
| HasField (Field n (RepeatedField [Enumeration a])) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RepeatedField [Enumeration a]) -> FieldType (Field n (RepeatedField [Enumeration a])) Source # putField :: FieldType (Field n (RepeatedField [Enumeration a])) -> Field n (RepeatedField [Enumeration a]) Source # field :: Functor f => (FieldType (Field n (RepeatedField [Enumeration a])) -> f (FieldType (Field n (RepeatedField [Enumeration a])))) -> Field n (RepeatedField [Enumeration a]) -> f (Field n (RepeatedField [Enumeration a])) Source # | |||||
| HasField (Field n (RequiredField (Always (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RequiredField (Always (Enumeration a))) -> FieldType (Field n (RequiredField (Always (Enumeration a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Enumeration a)))) -> Field n (RequiredField (Always (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Enumeration a)))) -> f (FieldType (Field n (RequiredField (Always (Enumeration a)))))) -> Field n (RequiredField (Always (Enumeration a))) -> f (Field n (RequiredField (Always (Enumeration a)))) Source # | |||||
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (OptionalField (Last (Enumeration a)))) :: Type -> Type) Source # | |||||
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (OptionalField (Last (Enumeration a)))) a0) | |||||
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Enumeration a)))) :: Type -> Type) Source # | |||||
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (RequiredField (Always (Enumeration a)))) a0) | |||||
| type Optional n (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type Required n (Enumeration a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (OptionalField (Last (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (PackedField (PackedList (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RepeatedField [Enumeration a])) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RequiredField (Always (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
newtype RequiredField a Source #
RequiredField is a newtype wrapped used to break overlapping instances
for encoding and decoding values
Constructors
| Required | |
Fields
| |
Instances
| Foldable RequiredField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => RequiredField m -> m # foldMap :: Monoid m => (a -> m) -> RequiredField a -> m # foldMap' :: Monoid m => (a -> m) -> RequiredField a -> m # foldr :: (a -> b -> b) -> b -> RequiredField a -> b # foldr' :: (a -> b -> b) -> b -> RequiredField a -> b # foldl :: (b -> a -> b) -> b -> RequiredField a -> b # foldl' :: (b -> a -> b) -> b -> RequiredField a -> b # foldr1 :: (a -> a -> a) -> RequiredField a -> a # foldl1 :: (a -> a -> a) -> RequiredField a -> a # toList :: RequiredField a -> [a] # null :: RequiredField a -> Bool # length :: RequiredField a -> Int # elem :: Eq a => a -> RequiredField a -> Bool # maximum :: Ord a => RequiredField a -> a # minimum :: Ord a => RequiredField a -> a # sum :: Num a => RequiredField a -> a # product :: Num a => RequiredField a -> a # | |||||
| Traversable RequiredField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods traverse :: Applicative f => (a -> f b) -> RequiredField a -> f (RequiredField b) # sequenceA :: Applicative f => RequiredField (f a) -> f (RequiredField a) # mapM :: Monad m => (a -> m b) -> RequiredField a -> m (RequiredField b) # sequence :: Monad m => RequiredField (m a) -> m (RequiredField a) # | |||||
| Functor RequiredField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> RequiredField a -> RequiredField b # (<$) :: a -> RequiredField b -> RequiredField a # | |||||
| Monoid a => Monoid (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods mempty :: RequiredField a # mappend :: RequiredField a -> RequiredField a -> RequiredField a # mconcat :: [RequiredField a] -> RequiredField a # | |||||
| Semigroup a => Semigroup (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (<>) :: RequiredField a -> RequiredField a -> RequiredField a # sconcat :: NonEmpty (RequiredField a) -> RequiredField a # stimes :: Integral b => b -> RequiredField a -> RequiredField a # | |||||
| Bounded a => Bounded (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Enum a => Enum (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods succ :: RequiredField a -> RequiredField a # pred :: RequiredField a -> RequiredField a # toEnum :: Int -> RequiredField a # fromEnum :: RequiredField a -> Int # enumFrom :: RequiredField a -> [RequiredField a] # enumFromThen :: RequiredField a -> RequiredField a -> [RequiredField a] # enumFromTo :: RequiredField a -> RequiredField a -> [RequiredField a] # enumFromThenTo :: RequiredField a -> RequiredField a -> RequiredField a -> [RequiredField a] # | |||||
| Show a => Show (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> RequiredField a -> ShowS # show :: RequiredField a -> String # showList :: [RequiredField a] -> ShowS # | |||||
| NFData a => NFData (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods rnf :: RequiredField a -> () # | |||||
| Eq a => Eq (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (==) :: RequiredField a -> RequiredField a -> Bool # (/=) :: RequiredField a -> RequiredField a -> Bool # | |||||
| Ord a => Ord (RequiredField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods compare :: RequiredField a -> RequiredField a -> Ordering # (<) :: RequiredField a -> RequiredField a -> Bool # (<=) :: RequiredField a -> RequiredField a -> Bool # (>) :: RequiredField a -> RequiredField a -> Bool # (>=) :: RequiredField a -> RequiredField a -> Bool # max :: RequiredField a -> RequiredField a -> RequiredField a # min :: RequiredField a -> RequiredField a -> RequiredField a # | |||||
| HasField (Field n (RequiredField (Always (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (RequiredField (Always (Message a))) -> FieldType (Field n (RequiredField (Always (Message a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Message a)))) -> Field n (RequiredField (Always (Message a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Message a)))) -> f (FieldType (Field n (RequiredField (Always (Message a)))))) -> Field n (RequiredField (Always (Message a))) -> f (Field n (RequiredField (Always (Message a)))) Source # | |||||
| HasField (Field n (RequiredField (Always (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RequiredField (Always (Enumeration a))) -> FieldType (Field n (RequiredField (Always (Enumeration a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Enumeration a)))) -> Field n (RequiredField (Always (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Enumeration a)))) -> f (FieldType (Field n (RequiredField (Always (Enumeration a)))))) -> Field n (RequiredField (Always (Enumeration a))) -> f (Field n (RequiredField (Always (Enumeration a)))) Source # | |||||
| HasField (Field n (RequiredField (Always (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RequiredField (Always (Value a))) -> FieldType (Field n (RequiredField (Always (Value a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Value a)))) -> Field n (RequiredField (Always (Value a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Value a)))) -> f (FieldType (Field n (RequiredField (Always (Value a)))))) -> Field n (RequiredField (Always (Value a))) -> f (Field n (RequiredField (Always (Value a)))) Source # | |||||
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Message a)))) :: Type -> Type) Source # | |||||
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Enumeration a)))) :: Type -> Type) Source # | |||||
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (RequiredField (Always (Enumeration a)))) a0) | |||||
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Value a)))) :: Type -> Type) Source # | |||||
| type FieldType (Field n (RequiredField (Always (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type FieldType (Field n (RequiredField (Always (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RequiredField (Always (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
newtype OptionalField a Source #
OptionalField is a newtype wrapped used to break overlapping instances
for encoding and decoding values
Constructors
| Optional | |
Fields
| |
Instances
| Foldable OptionalField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => OptionalField m -> m # foldMap :: Monoid m => (a -> m) -> OptionalField a -> m # foldMap' :: Monoid m => (a -> m) -> OptionalField a -> m # foldr :: (a -> b -> b) -> b -> OptionalField a -> b # foldr' :: (a -> b -> b) -> b -> OptionalField a -> b # foldl :: (b -> a -> b) -> b -> OptionalField a -> b # foldl' :: (b -> a -> b) -> b -> OptionalField a -> b # foldr1 :: (a -> a -> a) -> OptionalField a -> a # foldl1 :: (a -> a -> a) -> OptionalField a -> a # toList :: OptionalField a -> [a] # null :: OptionalField a -> Bool # length :: OptionalField a -> Int # elem :: Eq a => a -> OptionalField a -> Bool # maximum :: Ord a => OptionalField a -> a # minimum :: Ord a => OptionalField a -> a # sum :: Num a => OptionalField a -> a # product :: Num a => OptionalField a -> a # | |||||
| Traversable OptionalField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods traverse :: Applicative f => (a -> f b) -> OptionalField a -> f (OptionalField b) # sequenceA :: Applicative f => OptionalField (f a) -> f (OptionalField a) # mapM :: Monad m => (a -> m b) -> OptionalField a -> m (OptionalField b) # sequence :: Monad m => OptionalField (m a) -> m (OptionalField a) # | |||||
| Functor OptionalField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> OptionalField a -> OptionalField b # (<$) :: a -> OptionalField b -> OptionalField a # | |||||
| Monoid a => Monoid (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods mempty :: OptionalField a # mappend :: OptionalField a -> OptionalField a -> OptionalField a # mconcat :: [OptionalField a] -> OptionalField a # | |||||
| Semigroup a => Semigroup (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (<>) :: OptionalField a -> OptionalField a -> OptionalField a # sconcat :: NonEmpty (OptionalField a) -> OptionalField a # stimes :: Integral b => b -> OptionalField a -> OptionalField a # | |||||
| Bounded a => Bounded (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Enum a => Enum (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods succ :: OptionalField a -> OptionalField a # pred :: OptionalField a -> OptionalField a # toEnum :: Int -> OptionalField a # fromEnum :: OptionalField a -> Int # enumFrom :: OptionalField a -> [OptionalField a] # enumFromThen :: OptionalField a -> OptionalField a -> [OptionalField a] # enumFromTo :: OptionalField a -> OptionalField a -> [OptionalField a] # enumFromThenTo :: OptionalField a -> OptionalField a -> OptionalField a -> [OptionalField a] # | |||||
| Show a => Show (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> OptionalField a -> ShowS # show :: OptionalField a -> String # showList :: [OptionalField a] -> ShowS # | |||||
| NFData a => NFData (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods rnf :: OptionalField a -> () # | |||||
| Eq a => Eq (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (==) :: OptionalField a -> OptionalField a -> Bool # (/=) :: OptionalField a -> OptionalField a -> Bool # | |||||
| Ord a => Ord (OptionalField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods compare :: OptionalField a -> OptionalField a -> Ordering # (<) :: OptionalField a -> OptionalField a -> Bool # (<=) :: OptionalField a -> OptionalField a -> Bool # (>) :: OptionalField a -> OptionalField a -> Bool # (>=) :: OptionalField a -> OptionalField a -> Bool # max :: OptionalField a -> OptionalField a -> OptionalField a # min :: OptionalField a -> OptionalField a -> OptionalField a # | |||||
| HasField (Field n (OptionalField (Last (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (OptionalField (Last (Enumeration a))) -> FieldType (Field n (OptionalField (Last (Enumeration a)))) Source # putField :: FieldType (Field n (OptionalField (Last (Enumeration a)))) -> Field n (OptionalField (Last (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (OptionalField (Last (Enumeration a)))) -> f (FieldType (Field n (OptionalField (Last (Enumeration a)))))) -> Field n (OptionalField (Last (Enumeration a))) -> f (Field n (OptionalField (Last (Enumeration a)))) Source # | |||||
| HasField (Field n (OptionalField (Last (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (OptionalField (Last (Value a))) -> FieldType (Field n (OptionalField (Last (Value a)))) Source # putField :: FieldType (Field n (OptionalField (Last (Value a)))) -> Field n (OptionalField (Last (Value a))) Source # field :: Functor f => (FieldType (Field n (OptionalField (Last (Value a)))) -> f (FieldType (Field n (OptionalField (Last (Value a)))))) -> Field n (OptionalField (Last (Value a))) -> f (Field n (OptionalField (Last (Value a)))) Source # | |||||
| HasField (Field n (OptionalField (Maybe (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (OptionalField (Maybe (Message a))) -> FieldType (Field n (OptionalField (Maybe (Message a)))) Source # putField :: FieldType (Field n (OptionalField (Maybe (Message a)))) -> Field n (OptionalField (Maybe (Message a))) Source # field :: Functor f => (FieldType (Field n (OptionalField (Maybe (Message a)))) -> f (FieldType (Field n (OptionalField (Maybe (Message a)))))) -> Field n (OptionalField (Maybe (Message a))) -> f (Field n (OptionalField (Maybe (Message a)))) Source # | |||||
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (OptionalField (Last (Enumeration a)))) :: Type -> Type) Source # | |||||
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (OptionalField (Last (Enumeration a)))) a0) | |||||
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (OptionalField (Last (Value a)))) :: Type -> Type) Source # | |||||
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (OptionalField (Maybe (Message a)))) :: Type -> Type) Source # | |||||
| type FieldType (Field n (OptionalField (Last (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (OptionalField (Last (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (OptionalField (Maybe (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
newtype RepeatedField a Source #
RepeatedField is a newtype wrapped used to break overlapping instances
for encoding and decoding values
Constructors
| Repeated | |
Fields
| |
Instances
| Foldable RepeatedField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => RepeatedField m -> m # foldMap :: Monoid m => (a -> m) -> RepeatedField a -> m # foldMap' :: Monoid m => (a -> m) -> RepeatedField a -> m # foldr :: (a -> b -> b) -> b -> RepeatedField a -> b # foldr' :: (a -> b -> b) -> b -> RepeatedField a -> b # foldl :: (b -> a -> b) -> b -> RepeatedField a -> b # foldl' :: (b -> a -> b) -> b -> RepeatedField a -> b # foldr1 :: (a -> a -> a) -> RepeatedField a -> a # foldl1 :: (a -> a -> a) -> RepeatedField a -> a # toList :: RepeatedField a -> [a] # null :: RepeatedField a -> Bool # length :: RepeatedField a -> Int # elem :: Eq a => a -> RepeatedField a -> Bool # maximum :: Ord a => RepeatedField a -> a # minimum :: Ord a => RepeatedField a -> a # sum :: Num a => RepeatedField a -> a # product :: Num a => RepeatedField a -> a # | |||||
| Traversable RepeatedField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods traverse :: Applicative f => (a -> f b) -> RepeatedField a -> f (RepeatedField b) # sequenceA :: Applicative f => RepeatedField (f a) -> f (RepeatedField a) # mapM :: Monad m => (a -> m b) -> RepeatedField a -> m (RepeatedField b) # sequence :: Monad m => RepeatedField (m a) -> m (RepeatedField a) # | |||||
| Functor RepeatedField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> RepeatedField a -> RepeatedField b # (<$) :: a -> RepeatedField b -> RepeatedField a # | |||||
| Monoid a => Monoid (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods mempty :: RepeatedField a # mappend :: RepeatedField a -> RepeatedField a -> RepeatedField a # mconcat :: [RepeatedField a] -> RepeatedField a # | |||||
| Semigroup a => Semigroup (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (<>) :: RepeatedField a -> RepeatedField a -> RepeatedField a # sconcat :: NonEmpty (RepeatedField a) -> RepeatedField a # stimes :: Integral b => b -> RepeatedField a -> RepeatedField a # | |||||
| Bounded a => Bounded (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Enum a => Enum (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods succ :: RepeatedField a -> RepeatedField a # pred :: RepeatedField a -> RepeatedField a # toEnum :: Int -> RepeatedField a # fromEnum :: RepeatedField a -> Int # enumFrom :: RepeatedField a -> [RepeatedField a] # enumFromThen :: RepeatedField a -> RepeatedField a -> [RepeatedField a] # enumFromTo :: RepeatedField a -> RepeatedField a -> [RepeatedField a] # enumFromThenTo :: RepeatedField a -> RepeatedField a -> RepeatedField a -> [RepeatedField a] # | |||||
| Show a => Show (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> RepeatedField a -> ShowS # show :: RepeatedField a -> String # showList :: [RepeatedField a] -> ShowS # | |||||
| NFData a => NFData (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods rnf :: RepeatedField a -> () # | |||||
| Eq a => Eq (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (==) :: RepeatedField a -> RepeatedField a -> Bool # (/=) :: RepeatedField a -> RepeatedField a -> Bool # | |||||
| Ord a => Ord (RepeatedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods compare :: RepeatedField a -> RepeatedField a -> Ordering # (<) :: RepeatedField a -> RepeatedField a -> Bool # (<=) :: RepeatedField a -> RepeatedField a -> Bool # (>) :: RepeatedField a -> RepeatedField a -> Bool # (>=) :: RepeatedField a -> RepeatedField a -> Bool # max :: RepeatedField a -> RepeatedField a -> RepeatedField a # min :: RepeatedField a -> RepeatedField a -> RepeatedField a # | |||||
| HasField (Field n (RepeatedField [Message a])) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (RepeatedField [Message a]) -> FieldType (Field n (RepeatedField [Message a])) Source # putField :: FieldType (Field n (RepeatedField [Message a])) -> Field n (RepeatedField [Message a]) Source # field :: Functor f => (FieldType (Field n (RepeatedField [Message a])) -> f (FieldType (Field n (RepeatedField [Message a])))) -> Field n (RepeatedField [Message a]) -> f (Field n (RepeatedField [Message a])) Source # | |||||
| HasField (Field n (RepeatedField [Enumeration a])) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RepeatedField [Enumeration a]) -> FieldType (Field n (RepeatedField [Enumeration a])) Source # putField :: FieldType (Field n (RepeatedField [Enumeration a])) -> Field n (RepeatedField [Enumeration a]) Source # field :: Functor f => (FieldType (Field n (RepeatedField [Enumeration a])) -> f (FieldType (Field n (RepeatedField [Enumeration a])))) -> Field n (RepeatedField [Enumeration a]) -> f (Field n (RepeatedField [Enumeration a])) Source # | |||||
| HasField (Field n (RepeatedField [Value a])) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (RepeatedField [Value a]) -> FieldType (Field n (RepeatedField [Value a])) Source # putField :: FieldType (Field n (RepeatedField [Value a])) -> Field n (RepeatedField [Value a]) Source # field :: Functor f => (FieldType (Field n (RepeatedField [Value a])) -> f (FieldType (Field n (RepeatedField [Value a])))) -> Field n (RepeatedField [Value a]) -> f (Field n (RepeatedField [Value a])) Source # | |||||
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Repeated n a) :: Type -> Type) Source # | |||||
| type FieldType (Field n (RepeatedField [Message a])) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type FieldType (Field n (RepeatedField [Enumeration a])) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (RepeatedField [Value a])) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
newtype PackedField a Source #
A Traversable Functor used to select packed sequence encoding/decoding.
Constructors
| PackedField | |
Fields
| |
Instances
| Foldable PackedField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => PackedField m -> m # foldMap :: Monoid m => (a -> m) -> PackedField a -> m # foldMap' :: Monoid m => (a -> m) -> PackedField a -> m # foldr :: (a -> b -> b) -> b -> PackedField a -> b # foldr' :: (a -> b -> b) -> b -> PackedField a -> b # foldl :: (b -> a -> b) -> b -> PackedField a -> b # foldl' :: (b -> a -> b) -> b -> PackedField a -> b # foldr1 :: (a -> a -> a) -> PackedField a -> a # foldl1 :: (a -> a -> a) -> PackedField a -> a # toList :: PackedField a -> [a] # null :: PackedField a -> Bool # length :: PackedField a -> Int # elem :: Eq a => a -> PackedField a -> Bool # maximum :: Ord a => PackedField a -> a # minimum :: Ord a => PackedField a -> a # sum :: Num a => PackedField a -> a # product :: Num a => PackedField a -> a # | |||||
| Traversable PackedField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods traverse :: Applicative f => (a -> f b) -> PackedField a -> f (PackedField b) # sequenceA :: Applicative f => PackedField (f a) -> f (PackedField a) # mapM :: Monad m => (a -> m b) -> PackedField a -> m (PackedField b) # sequence :: Monad m => PackedField (m a) -> m (PackedField a) # | |||||
| Functor PackedField Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> PackedField a -> PackedField b # (<$) :: a -> PackedField b -> PackedField a # | |||||
| Monoid a => Monoid (PackedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods mempty :: PackedField a # mappend :: PackedField a -> PackedField a -> PackedField a # mconcat :: [PackedField a] -> PackedField a # | |||||
| Semigroup a => Semigroup (PackedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (<>) :: PackedField a -> PackedField a -> PackedField a # sconcat :: NonEmpty (PackedField a) -> PackedField a # stimes :: Integral b => b -> PackedField a -> PackedField a # | |||||
| Show a => Show (PackedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> PackedField a -> ShowS # show :: PackedField a -> String # showList :: [PackedField a] -> ShowS # | |||||
| NFData a => NFData (PackedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods rnf :: PackedField a -> () # | |||||
| Eq a => Eq (PackedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (==) :: PackedField a -> PackedField a -> Bool # (/=) :: PackedField a -> PackedField a -> Bool # | |||||
| Ord a => Ord (PackedField a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods compare :: PackedField a -> PackedField a -> Ordering # (<) :: PackedField a -> PackedField a -> Bool # (<=) :: PackedField a -> PackedField a -> Bool # (>) :: PackedField a -> PackedField a -> Bool # (>=) :: PackedField a -> PackedField a -> Bool # max :: PackedField a -> PackedField a -> PackedField a # min :: PackedField a -> PackedField a -> PackedField a # | |||||
| HasField (Field n (PackedField (PackedList (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (PackedField (PackedList (Enumeration a))) -> FieldType (Field n (PackedField (PackedList (Enumeration a)))) Source # putField :: FieldType (Field n (PackedField (PackedList (Enumeration a)))) -> Field n (PackedField (PackedList (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (PackedField (PackedList (Enumeration a)))) -> f (FieldType (Field n (PackedField (PackedList (Enumeration a)))))) -> Field n (PackedField (PackedList (Enumeration a))) -> f (Field n (PackedField (PackedList (Enumeration a)))) Source # | |||||
| HasField (Field n (PackedField (PackedList (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (PackedField (PackedList (Value a))) -> FieldType (Field n (PackedField (PackedList (Value a)))) Source # putField :: FieldType (Field n (PackedField (PackedList (Value a)))) -> Field n (PackedField (PackedList (Value a))) Source # field :: Functor f => (FieldType (Field n (PackedField (PackedList (Value a)))) -> f (FieldType (Field n (PackedField (PackedList (Value a)))))) -> Field n (PackedField (PackedList (Value a))) -> f (Field n (PackedField (PackedList (Value a)))) Source # | |||||
| (DecodeWire (PackedList a), KnownNat n) => GDecode (K1 i (Packed n a) :: Type -> Type) Source # | |||||
| type FieldType (Field n (PackedField (PackedList (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (PackedField (PackedList (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
newtype PackedList a Source #
A list that is stored in a packed format.
Constructors
| PackedList | |
Fields
| |
Instances
| Foldable PackedList Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fold :: Monoid m => PackedList m -> m # foldMap :: Monoid m => (a -> m) -> PackedList a -> m # foldMap' :: Monoid m => (a -> m) -> PackedList a -> m # foldr :: (a -> b -> b) -> b -> PackedList a -> b # foldr' :: (a -> b -> b) -> b -> PackedList a -> b # foldl :: (b -> a -> b) -> b -> PackedList a -> b # foldl' :: (b -> a -> b) -> b -> PackedList a -> b # foldr1 :: (a -> a -> a) -> PackedList a -> a # foldl1 :: (a -> a -> a) -> PackedList a -> a # toList :: PackedList a -> [a] # null :: PackedList a -> Bool # length :: PackedList a -> Int # elem :: Eq a => a -> PackedList a -> Bool # maximum :: Ord a => PackedList a -> a # minimum :: Ord a => PackedList a -> a # sum :: Num a => PackedList a -> a # product :: Num a => PackedList a -> a # | |||||
| Traversable PackedList Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods traverse :: Applicative f => (a -> f b) -> PackedList a -> f (PackedList b) # sequenceA :: Applicative f => PackedList (f a) -> f (PackedList a) # mapM :: Monad m => (a -> m b) -> PackedList a -> m (PackedList b) # sequence :: Monad m => PackedList (m a) -> m (PackedList a) # | |||||
| Functor PackedList Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> PackedList a -> PackedList b # (<$) :: a -> PackedList b -> PackedList a # | |||||
| Monoid (PackedList a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods mempty :: PackedList a # mappend :: PackedList a -> PackedList a -> PackedList a # mconcat :: [PackedList a] -> PackedList a # | |||||
| Semigroup (PackedList a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods (<>) :: PackedList a -> PackedList a -> PackedList a # sconcat :: NonEmpty (PackedList a) -> PackedList a # stimes :: Integral b => b -> PackedList a -> PackedList a # | |||||
| Show a => Show (PackedList a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> PackedList a -> ShowS # show :: PackedList a -> String # showList :: [PackedList a] -> ShowS # | |||||
| NFData a => NFData (PackedList a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods rnf :: PackedList a -> () # | |||||
| Eq a => Eq (PackedList a) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| Ord a => Ord (PackedList a) Source # | |||||
Defined in Data.ProtocolBuffers.Types Methods compare :: PackedList a -> PackedList a -> Ordering # (<) :: PackedList a -> PackedList a -> Bool # (<=) :: PackedList a -> PackedList a -> Bool # (>) :: PackedList a -> PackedList a -> Bool # (>=) :: PackedList a -> PackedList a -> Bool # max :: PackedList a -> PackedList a -> PackedList a # min :: PackedList a -> PackedList a -> PackedList a # | |||||
| Enum a => DecodeWire (PackedList (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Enumeration a)) Source # | |||||
| DecodeWire (PackedList (Value Int32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Int32)) Source # | |||||
| DecodeWire (PackedList (Value Int64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Int64)) Source # | |||||
| DecodeWire (PackedList (Value Word32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Word32)) Source # | |||||
| DecodeWire (PackedList (Value Word64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Word64)) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Int32))) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Int64))) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Word32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Word32))) Source # | |||||
| DecodeWire (PackedList (Value (Fixed Word64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Word64))) Source # | |||||
| DecodeWire (PackedList (Value (Signed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Signed Int32))) Source # | |||||
| DecodeWire (PackedList (Value (Signed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Signed Int64))) Source # | |||||
| DecodeWire (PackedList (Value Bool)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Bool)) Source # | |||||
| DecodeWire (PackedList (Value Double)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Double)) Source # | |||||
| DecodeWire (PackedList (Value Float)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value Float)) Source # | |||||
| Enum a => EncodeWire (PackedList (Enumeration a)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Enumeration a) -> Put Source # | |||||
| EncodeWire (PackedList (Value Int32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Int32) -> Put Source # | |||||
| EncodeWire (PackedList (Value Int64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Int64) -> Put Source # | |||||
| EncodeWire (PackedList (Value Word32)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Word32) -> Put Source # | |||||
| EncodeWire (PackedList (Value Word64)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Word64) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Int32)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Int64)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Word32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Word32)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Fixed Word64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Word64)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Signed Int32))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Signed Int32)) -> Put Source # | |||||
| EncodeWire (PackedList (Value (Signed Int64))) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Signed Int64)) -> Put Source # | |||||
| EncodeWire (PackedList (Value Bool)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Bool) -> Put Source # | |||||
| EncodeWire (PackedList (Value Double)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Double) -> Put Source # | |||||
| EncodeWire (PackedList (Value Float)) Source # | |||||
Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value Float) -> Put Source # | |||||
| HasField (Field n (PackedField (PackedList (Enumeration a)))) Source # | Iso: | ||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (PackedField (PackedList (Enumeration a))) -> FieldType (Field n (PackedField (PackedList (Enumeration a)))) Source # putField :: FieldType (Field n (PackedField (PackedList (Enumeration a)))) -> Field n (PackedField (PackedList (Enumeration a))) Source # field :: Functor f => (FieldType (Field n (PackedField (PackedList (Enumeration a)))) -> f (FieldType (Field n (PackedField (PackedList (Enumeration a)))))) -> Field n (PackedField (PackedList (Enumeration a))) -> f (Field n (PackedField (PackedList (Enumeration a)))) Source # | |||||
| HasField (Field n (PackedField (PackedList (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types Associated Types
Methods getField :: Field n (PackedField (PackedList (Value a))) -> FieldType (Field n (PackedField (PackedList (Value a)))) Source # putField :: FieldType (Field n (PackedField (PackedList (Value a)))) -> Field n (PackedField (PackedList (Value a))) Source # field :: Functor f => (FieldType (Field n (PackedField (PackedList (Value a)))) -> f (FieldType (Field n (PackedField (PackedList (Value a)))))) -> Field n (PackedField (PackedList (Value a))) -> f (Field n (PackedField (PackedList (Value a)))) Source # | |||||
| (DecodeWire (PackedList a), KnownNat n) => GDecode (K1 i (Packed n a) :: Type -> Type) Source # | |||||
| type FieldType (Field n (PackedField (PackedList (Enumeration a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
| type FieldType (Field n (PackedField (PackedList (Value a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Types | |||||
The way to embed a message within another message. These embedded messages are stored as length-delimited fields.
For example:
data Inner = Inner
{ innerField :: Required '1' (Value Int64)
} deriving (Generic, Show)
instance Encode Inner
instance Decode Inner
data Outer = Outer
{ outerField :: Required '1' (Message Inner)
} deriving (Generic, Show)
instance Encode Outer
instance Decode Outer
It's worth noting that is a Message a Monoid and NFData instance. The Monoid behavior models
that of the Protocol Buffers documentation, effectively Last. It's done with a fairly big hammer
and it isn't possible to override this behavior. This can cause some less-obvious compile errors for
paramterized Message types:
data Inner = Inner{inner :: Required '2' (Value Float)} deriving (Generic, Show)
instance Encode Inner
instance Decode Inner
data Outer a = Outer{outer :: Required '3' (Message a)} deriving (Generic, Show)
instance Encode a => Encode (Outer a)
instance Decode a => Decode (Outer a)
This fails because Decode needs to know that the message can be merged. The resulting error
implies that you may want to add a constraint to the internal GMessageMonoid class:
/tmp/tst.hs:18:10: Could not deduce (protobuf-0.1:GMessageMonoid(Repa)) arising from a use of `protobuf-0.1:Decode.$gdmdecode' from the context (Decodea) bound by the instance declaration at /tmp/tst.hs:18:10-39 Possible fix: add an instance declaration for (protobuf-0.1:GMessageMonoid(Repa)) In the expression: (protobuf-0.1:Decode.$gdmdecode) In an equation fordecode: decode = (protobuf-0.1:Decode.$gdmdecode) In the instance declaration for `Decode(Outer a)'
The correct fix is to add the Monoid constraint for the message:
- instance (Encodea) =>Decode(Outer a) + instance (Monoid(Messagea),Decodea) =>Decode(Outer a)
Constructors
| Message | |
Fields
| |
Instances
| Foldable Message Source # | |||||
Defined in Data.ProtocolBuffers.Message Methods fold :: Monoid m => Message m -> m # foldMap :: Monoid m => (a -> m) -> Message a -> m # foldMap' :: Monoid m => (a -> m) -> Message a -> m # foldr :: (a -> b -> b) -> b -> Message a -> b # foldr' :: (a -> b -> b) -> b -> Message a -> b # foldl :: (b -> a -> b) -> b -> Message a -> b # foldl' :: (b -> a -> b) -> b -> Message a -> b # foldr1 :: (a -> a -> a) -> Message a -> a # foldl1 :: (a -> a -> a) -> Message a -> a # elem :: Eq a => a -> Message a -> Bool # maximum :: Ord a => Message a -> a # minimum :: Ord a => Message a -> a # | |||||
| Traversable Message Source # | |||||
| Functor Message Source # | |||||
| (Generic m, GMessageMonoid (Rep m)) => Monoid (Message m) Source # | |||||
| (Generic m, GMessageMonoid (Rep m)) => Semigroup (Message m) Source # | |||||
| Show m => Show (Message m) Source # | |||||
| (Generic m, GMessageNFData (Rep m)) => NFData (Message m) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| Eq m => Eq (Message m) Source # | |||||
| Ord m => Ord (Message m) Source # | |||||
| Decode m => DecodeWire (Message m) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| (Foldable f, Encode m) => EncodeWire (f (Message m)) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| HasField (Field n (OptionalField (Maybe (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (OptionalField (Maybe (Message a))) -> FieldType (Field n (OptionalField (Maybe (Message a)))) Source # putField :: FieldType (Field n (OptionalField (Maybe (Message a)))) -> Field n (OptionalField (Maybe (Message a))) Source # field :: Functor f => (FieldType (Field n (OptionalField (Maybe (Message a)))) -> f (FieldType (Field n (OptionalField (Maybe (Message a)))))) -> Field n (OptionalField (Maybe (Message a))) -> f (Field n (OptionalField (Maybe (Message a)))) Source # | |||||
| HasField (Field n (RepeatedField [Message a])) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (RepeatedField [Message a]) -> FieldType (Field n (RepeatedField [Message a])) Source # putField :: FieldType (Field n (RepeatedField [Message a])) -> Field n (RepeatedField [Message a]) Source # field :: Functor f => (FieldType (Field n (RepeatedField [Message a])) -> f (FieldType (Field n (RepeatedField [Message a])))) -> Field n (RepeatedField [Message a]) -> f (Field n (RepeatedField [Message a])) Source # | |||||
| HasField (Field n (RequiredField (Always (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message Associated Types
Methods getField :: Field n (RequiredField (Always (Message a))) -> FieldType (Field n (RequiredField (Always (Message a)))) Source # putField :: FieldType (Field n (RequiredField (Always (Message a)))) -> Field n (RequiredField (Always (Message a))) Source # field :: Functor f => (FieldType (Field n (RequiredField (Always (Message a)))) -> f (FieldType (Field n (RequiredField (Always (Message a)))))) -> Field n (RequiredField (Always (Message a))) -> f (Field n (RequiredField (Always (Message a)))) Source # | |||||
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (OptionalField (Maybe (Message a)))) :: Type -> Type) Source # | |||||
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Message a)))) :: Type -> Type) Source # | |||||
| type Optional n (Message a) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type Required n (Message a) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type FieldType (Field n (OptionalField (Maybe (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type FieldType (Field n (RepeatedField [Message a])) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
| type FieldType (Field n (RequiredField (Always (Message a)))) Source # | |||||
Defined in Data.ProtocolBuffers.Message | |||||
class GDecode (f :: Type -> Type) Source #
Minimal complete definition
gdecode
Instances
| GDecode (U1 :: Type -> Type) Source # | |
| (GDecode a, GDecode b) => GDecode (a :*: b) Source # | |
| (GDecode x, GDecode y) => GDecode (x :+: y) Source # | |
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (OptionalField (Last (Enumeration a)))) :: Type -> Type) Source # | |
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (OptionalField (Last (Enumeration a)))) a0) | |
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (OptionalField (Last (Value a)))) :: Type -> Type) Source # | |
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (OptionalField (Maybe (Message a)))) :: Type -> Type) Source # | |
| (Decode a, Monoid (Message a), KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Message a)))) :: Type -> Type) Source # | |
| (Enum a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Enumeration a)))) :: Type -> Type) Source # | |
Defined in Data.ProtocolBuffers.Decode Methods gdecode :: HashMap Tag [WireField] -> Get (K1 i (Field n (RequiredField (Always (Enumeration a)))) a0) | |
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Field n (RequiredField (Always (Value a)))) :: Type -> Type) Source # | |
| (DecodeWire (PackedList a), KnownNat n) => GDecode (K1 i (Packed n a) :: Type -> Type) Source # | |
| (DecodeWire a, KnownNat n) => GDecode (K1 i (Repeated n a) :: Type -> Type) Source # | |
| GDecode a => GDecode (M1 i c a) Source # | |
class GEncode (f :: Type -> Type) Source #
Minimal complete definition
gencode
Instances
| GEncode (U1 :: Type -> Type) Source # | |
Defined in Data.ProtocolBuffers.Encode | |
| (GEncode a, GEncode b) => GEncode (a :*: b) Source # | |
Defined in Data.ProtocolBuffers.Encode | |
| (GEncode a, GEncode b) => GEncode (a :+: b) Source # | |
Defined in Data.ProtocolBuffers.Encode | |
| (EncodeWire a, KnownNat n, Foldable f) => GEncode (K1 i (Field n (f a)) :: Type -> Type) Source # | |
Defined in Data.ProtocolBuffers.Encode | |
| GEncode a => GEncode (M1 i c a) Source # | |
Defined in Data.ProtocolBuffers.Encode | |
class GMessageMonoid (f :: Type -> Type) Source #
Minimal complete definition
gmempty, gmappend
Instances
| GMessageMonoid (U1 :: Type -> Type) Source # | |
| (GMessageMonoid x, GMessageMonoid y) => GMessageMonoid (x :*: y) Source # | |
| (GMessageMonoid x, GMessageMonoid y) => GMessageMonoid (x :+: y) Source # | |
| Monoid c => GMessageMonoid (K1 i c :: Type -> Type) Source # | |
| GMessageMonoid f => GMessageMonoid (M1 i c f) Source # | |