Safe Haskell	None
Language	Haskell2010

Data.ProtocolBuffers

Contents

Message Serialization
- Encoding
- Decoding
Fields
Values
- Selectors
Wire Coding

Description

An implementation of Protocol Buffers in pure Haskell.

Extensive documentation is available at https://developers.google.com/protocol-buffers/docs/overview and Google's reference implementation can be found at http://code.google.com/p/protobuf/.

It is intended to be used via GHC.Generics and does not require .proto files to function. Tools are being developed that will convert a Haskell Protobuf definition into a .proto and vice versa.

Given a message definition:

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DataKinds     #-}

import Data.Int
import Data.ProtocolBuffers
import Data.Text
import GHC.Generics (Generic)
import GHC.TypeLits
import Data.Monoid
import Data.Serialize
import Data.Hex  -- cabal install hex (for testing)

 data Foo = Foo
   { field1 :: Required 1 (Value Int64) -- ^ The last field with tag = 1
   , field2 :: Optional 2 (Value Text) -- ^ The last field with tag = 2
   , field3 :: Repeated 3 (Value Bool)   -- ^ All fields with tag = 3, ordering is preserved
   } deriving (Generic, Show)

instance Encode Foo
instance Decode Foo

It can then be used for encoding and decoding. The Encode and Decode instances are derived automatically using DeriveGeneric and DefaultSignatures as outlined here: http://www.haskell.org/haskellwiki/GHC.Generics#More_general_default_methods.

To construct a message, use putField to set each field value. Optional, Repeated and Packed fields can be set to their empty value by using mempty. An example using record syntax for clarity:

>>> let msg = Foo{field1 = putField 42, field2 = mempty, field3 = putField [True, False]}

To serialize a message first convert it into a Put by way of encodeMessage and then to a ByteString by using runPut. Lazy ByteString serialization is done with runPutLazy.

>>> fmap hex runPut $ encodeMessage msg
"082A18011800"

Decoding is done with the inverse functions: decodeMessage and runGet, or runGetLazy.

>>> runGet decodeMessage =<< unhex "082A18011800" :: Either String Foo
Right
  (Foo
    { field1 = Field {runField = Required {runRequired = Always {runAlways = Value {runValue = 42}}}}
    , field2 = Field {runField = Optional {runOptional = Last {getLast = Nothing}}}
    , field3 = Field {runField = Repeated {runRepeated = [Value {runValue = True},Value {runValue = False}]}}
    }
  )

Use getField to read fields from a message:

>>> let Right msg = runGet decodeMessage =<< unhex "082A18011800" :: Either String Foo
>>> getField $ field1 msg
42
>>> getField $ field2 msg
Nothing
>>> getField $ field3 msg
[True,False]

Some Protocol Buffers features are not currently implemented:

Default values for Optional fields
Extension fields
Storing unknown fields, those without a mapped field tag in message record
Tag-delimited Groups, deprecated in lieu of Message

Synopsis

class Encode a where
- encode :: a -> Put
encodeMessage :: Encode a => a -> Put
encodeLengthPrefixedMessage :: Encode a => a -> Put
class Decode a where
- decode :: HashMap Tag [WireField] -> Get a
decodeMessage :: Decode a => Get a
decodeLengthPrefixedMessage :: Decode a => Get a
type family Required (n :: Nat) a
type family Optional (n :: Nat) a
type Repeated (n :: Nat) a = Field n (RepeatedField [a])
type Packed (n :: Nat) a = Field n (PackedField (PackedList a))
class HasField a where
- type FieldType a
- getField :: a -> FieldType a
- putField :: FieldType a -> a
- field :: Functor f => (FieldType a -> f (FieldType a)) -> a -> f a
data Field (n :: Nat) a
data Value a
data Enumeration a
data Message m
newtype Signed a = Signed a
newtype Fixed a = Fixed a

Message Serialization

Encoding

class Encode a where Source #

Minimal complete definition

Nothing

Methods

encode :: a -> Put Source #

default encode :: (Generic a, GEncode (Rep a)) => a -> Put Source #

Instances

Instances details

Encode (HashMap Tag [WireField]) Source #	Untyped message encoding
Instance details Defined in Data.ProtocolBuffers.Encode Methods encode :: HashMap Tag [WireField] -> Put Source #

encodeMessage :: Encode a => a -> Put Source #

Encode a Protocol Buffers message.

encodeLengthPrefixedMessage :: Encode a => a -> Put Source #

Encode a Protocol Buffers message prefixed with a varint encoded 32-bit integer describing its length.

Decoding

class Decode a where Source #

Minimal complete definition

Nothing

Methods

decode :: HashMap Tag [WireField] -> Get a Source #

default decode :: (Generic a, GDecode (Rep a)) => HashMap Tag [WireField] -> Get a Source #

Instances

Instances details

Decode (HashMap Tag [WireField]) Source #	Untyped message decoding, `decode = id`
Instance details Defined in Data.ProtocolBuffers.Decode Methods decode :: HashMap Tag [WireField] -> Get (HashMap Tag [WireField]) Source #

decodeMessage :: Decode a => Get a Source #

Decode a Protocol Buffers message.

decodeLengthPrefixedMessage :: Decode a => Get a Source #

Decode a Protocol Buffers message prefixed with a varint encoded 32-bit integer describing its length.

Fields

Accessors

Fields tend to have rather complex types that are unpleasant to interact with. HasField was designed to hide this complexity and provide a consistent way of getting and setting fields.

class HasField a where Source #

Functions for wrapping and unwrapping record fields. When applied they will have types similar to these:

getField :: Required '1' (Value Text) -> Text
putField :: Text -> Required '1' (Value Text)

getField :: Optional '2' (Value Int32) -> Maybe Int32
putField :: Maybe Int32 -> Optional '2' (Value Int32)

getField :: Repeated '3' (Value Double) -> [Double]
putField :: [Double] -> Repeated '3' (Value Double)

getField :: Packed '4' (Value Word64) -> [Word64]
putField :: [Word64] -> Packed '4' (Value Word64)

Minimal complete definition

getField, putField

Associated Types

type FieldType a Source #

Methods

getField :: a -> FieldType a Source #

Extract a value from it's Field representation.

putField :: FieldType a -> a Source #

Wrap it back up again.

field :: Functor f => (FieldType a -> f (FieldType a)) -> a -> f a Source #

An isomorphism lens compatible with the lens package

Instances

Instances details

HasField (Field n (OptionalField (Last (Enumeration a)))) Source #

Iso: FieldType (Optional n (Enumeration a)) = Maybe a

Instance details

type Required n (Message a) Source #
Instance details Defined in Data.ProtocolBuffers.Message type Required n (Message a) = Field n (RequiredField (Always (Message a)))
type Required n (Enumeration a) Source #
Instance details Defined in Data.ProtocolBuffers.Types type Required n (Enumeration a) = Field n (RequiredField (Always (Enumeration a)))
type Required n (Value a) Source #
Instance details Defined in Data.ProtocolBuffers.Types type Required n (Value a) = Field n (RequiredField (Always (Value a)))

type Optional n (Message a) Source #
Instance details Defined in Data.ProtocolBuffers.Message type Optional n (Message a) = Field n (OptionalField (Maybe (Message a)))
type Optional n (Enumeration a) Source #
Instance details Defined in Data.ProtocolBuffers.Types type Optional n (Enumeration a) = Field n (OptionalField (Last (Enumeration a)))
type Optional n (Value a) Source #
Instance details Defined in Data.ProtocolBuffers.Types type Optional n (Value a) = Field n (OptionalField (Last (Value a)))

Foldable Signed Source #
Instance details Defined in Data.ProtocolBuffers.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 Source #
Instance details Defined in Data.ProtocolBuffers.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) #
Functor Signed Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> Signed a -> Signed b # (<$) :: a -> Signed b -> Signed a #
Monoid a => Monoid (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods mempty :: Signed a # mappend :: Signed a -> Signed a -> Signed a # mconcat :: [Signed a] -> Signed a #
Semigroup a => Semigroup (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (<>) :: Signed a -> Signed a -> Signed a # sconcat :: NonEmpty (Signed a) -> Signed a # stimes :: Integral b => b -> Signed a -> Signed a #
Bits a => Bits (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (.&.) :: Signed a -> Signed a -> Signed a # (.\|.) :: Signed a -> Signed a -> Signed a # xor :: Signed a -> Signed a -> Signed a # complement :: Signed a -> Signed a # shift :: Signed a -> Int -> Signed a # rotate :: Signed a -> Int -> Signed a # zeroBits :: Signed a # bit :: Int -> Signed a # setBit :: Signed a -> Int -> Signed a # clearBit :: Signed a -> Int -> Signed a # complementBit :: Signed a -> Int -> Signed a # testBit :: Signed a -> Int -> Bool # bitSizeMaybe :: Signed a -> Maybe Int # bitSize :: Signed a -> Int # isSigned :: Signed a -> Bool # shiftL :: Signed a -> Int -> Signed a # unsafeShiftL :: Signed a -> Int -> Signed a # shiftR :: Signed a -> Int -> Signed a # unsafeShiftR :: Signed a -> Int -> Signed a # rotateL :: Signed a -> Int -> Signed a # rotateR :: Signed a -> Int -> Signed a # popCount :: Signed a -> Int #
Bounded a => Bounded (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods minBound :: Signed a # maxBound :: Signed a #
Enum a => Enum (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods succ :: Signed a -> Signed a # pred :: Signed a -> Signed a # toEnum :: Int -> Signed a # fromEnum :: Signed a -> Int # enumFrom :: Signed a -> [Signed a] # enumFromThen :: Signed a -> Signed a -> [Signed a] # enumFromTo :: Signed a -> Signed a -> [Signed a] # enumFromThenTo :: Signed a -> Signed a -> Signed a -> [Signed a] #
Floating a => Floating (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods pi :: Signed a # exp :: Signed a -> Signed a # log :: Signed a -> Signed a # sqrt :: Signed a -> Signed a # (**) :: Signed a -> Signed a -> Signed a # logBase :: Signed a -> Signed a -> Signed a # sin :: Signed a -> Signed a # cos :: Signed a -> Signed a # tan :: Signed a -> Signed a # asin :: Signed a -> Signed a # acos :: Signed a -> Signed a # atan :: Signed a -> Signed a # sinh :: Signed a -> Signed a # cosh :: Signed a -> Signed a # tanh :: Signed a -> Signed a # asinh :: Signed a -> Signed a # acosh :: Signed a -> Signed a # atanh :: Signed a -> Signed a # log1p :: Signed a -> Signed a # expm1 :: Signed a -> Signed a # log1pexp :: Signed a -> Signed a # log1mexp :: Signed a -> Signed a #
RealFloat a => RealFloat (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods floatRadix :: Signed a -> Integer # floatDigits :: Signed a -> Int # floatRange :: Signed a -> (Int, Int) # decodeFloat :: Signed a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Signed a # exponent :: Signed a -> Int # significand :: Signed a -> Signed a # scaleFloat :: Int -> Signed a -> Signed a # isNaN :: Signed a -> Bool # isInfinite :: Signed a -> Bool # isDenormalized :: Signed a -> Bool # isNegativeZero :: Signed a -> Bool # isIEEE :: Signed a -> Bool # atan2 :: Signed a -> Signed a -> Signed a #
Num a => Num (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.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 #
Fractional a => Fractional (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (/) :: Signed a -> Signed a -> Signed a # recip :: Signed a -> Signed a # fromRational :: Rational -> Signed a #
Integral a => Integral (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods quot :: Signed a -> Signed a -> Signed a # rem :: Signed a -> Signed a -> Signed a # div :: Signed a -> Signed a -> Signed a # mod :: Signed a -> Signed a -> Signed a # quotRem :: Signed a -> Signed a -> (Signed a, Signed a) # divMod :: Signed a -> Signed a -> (Signed a, Signed a) # toInteger :: Signed a -> Integer #
Real a => Real (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods toRational :: Signed a -> Rational #
RealFrac a => RealFrac (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods properFraction :: Integral b => Signed a -> (b, Signed a) # truncate :: Integral b => Signed a -> b # round :: Integral b => Signed a -> b # ceiling :: Integral b => Signed a -> b # floor :: Integral b => Signed a -> b #
Show a => Show (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> Signed a -> ShowS # show :: Signed a -> String # showList :: [Signed a] -> ShowS #
NFData a => NFData (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods rnf :: Signed a -> () #
Eq a => Eq (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (==) :: Signed a -> Signed a -> Bool # (/=) :: Signed a -> Signed a -> Bool #
Ord a => Ord (Signed a) Source #
Instance details Defined in Data.ProtocolBuffers.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 #
DecodeWire (PackedList (Value (Signed Int32))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Signed Int32))) Source #
DecodeWire (PackedList (Value (Signed Int64))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Signed Int64))) Source #
DecodeWire (Signed Int32) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Signed Int32) Source #
DecodeWire (Signed Int64) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Signed Int64) Source #
EncodeWire (PackedList (Value (Signed Int32))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Signed Int32)) -> Put Source #
EncodeWire (PackedList (Value (Signed Int64))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Signed Int64)) -> Put Source #
EncodeWire (Signed Int32) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> Signed Int32 -> Put Source #
EncodeWire (Signed Int64) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> Signed Int64 -> Put Source #

Foldable Fixed Source #
Instance details Defined in Data.ProtocolBuffers.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 Source #
Instance details Defined in Data.ProtocolBuffers.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) #
Functor Fixed Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods fmap :: (a -> b) -> Fixed a -> Fixed b # (<$) :: a -> Fixed b -> Fixed a #
Monoid a => Monoid (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods mempty :: Fixed a # mappend :: Fixed a -> Fixed a -> Fixed a # mconcat :: [Fixed a] -> Fixed a #
Semigroup a => Semigroup (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (<>) :: Fixed a -> Fixed a -> Fixed a # sconcat :: NonEmpty (Fixed a) -> Fixed a # stimes :: Integral b => b -> Fixed a -> Fixed a #
Bits a => Bits (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (.&.) :: Fixed a -> Fixed a -> Fixed a # (.\|.) :: Fixed a -> Fixed a -> Fixed a # xor :: Fixed a -> Fixed a -> Fixed a # complement :: Fixed a -> Fixed a # shift :: Fixed a -> Int -> Fixed a # rotate :: Fixed a -> Int -> Fixed a # zeroBits :: Fixed a # bit :: Int -> Fixed a # setBit :: Fixed a -> Int -> Fixed a # clearBit :: Fixed a -> Int -> Fixed a # complementBit :: Fixed a -> Int -> Fixed a # testBit :: Fixed a -> Int -> Bool # bitSizeMaybe :: Fixed a -> Maybe Int # bitSize :: Fixed a -> Int # isSigned :: Fixed a -> Bool # shiftL :: Fixed a -> Int -> Fixed a # unsafeShiftL :: Fixed a -> Int -> Fixed a # shiftR :: Fixed a -> Int -> Fixed a # unsafeShiftR :: Fixed a -> Int -> Fixed a # rotateL :: Fixed a -> Int -> Fixed a # rotateR :: Fixed a -> Int -> Fixed a # popCount :: Fixed a -> Int #
Bounded a => Bounded (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods minBound :: Fixed a # maxBound :: Fixed a #
Enum a => Enum (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.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] #
Floating a => Floating (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods pi :: Fixed a # exp :: Fixed a -> Fixed a # log :: Fixed a -> Fixed a # sqrt :: Fixed a -> Fixed a # (**) :: Fixed a -> Fixed a -> Fixed a # logBase :: Fixed a -> Fixed a -> Fixed a # sin :: Fixed a -> Fixed a # cos :: Fixed a -> Fixed a # tan :: Fixed a -> Fixed a # asin :: Fixed a -> Fixed a # acos :: Fixed a -> Fixed a # atan :: Fixed a -> Fixed a # sinh :: Fixed a -> Fixed a # cosh :: Fixed a -> Fixed a # tanh :: Fixed a -> Fixed a # asinh :: Fixed a -> Fixed a # acosh :: Fixed a -> Fixed a # atanh :: Fixed a -> Fixed a # log1p :: Fixed a -> Fixed a # expm1 :: Fixed a -> Fixed a # log1pexp :: Fixed a -> Fixed a # log1mexp :: Fixed a -> Fixed a #
RealFloat a => RealFloat (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods floatRadix :: Fixed a -> Integer # floatDigits :: Fixed a -> Int # floatRange :: Fixed a -> (Int, Int) # decodeFloat :: Fixed a -> (Integer, Int) # encodeFloat :: Integer -> Int -> Fixed a # exponent :: Fixed a -> Int # significand :: Fixed a -> Fixed a # scaleFloat :: Int -> Fixed a -> Fixed a # isNaN :: Fixed a -> Bool # isInfinite :: Fixed a -> Bool # isDenormalized :: Fixed a -> Bool # isNegativeZero :: Fixed a -> Bool # isIEEE :: Fixed a -> Bool # atan2 :: Fixed a -> Fixed a -> Fixed a #
Num a => Num (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.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 #
Fractional a => Fractional (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (/) :: Fixed a -> Fixed a -> Fixed a # recip :: Fixed a -> Fixed a # fromRational :: Rational -> Fixed a #
Integral a => Integral (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods quot :: Fixed a -> Fixed a -> Fixed a # rem :: Fixed a -> Fixed a -> Fixed a # div :: Fixed a -> Fixed a -> Fixed a # mod :: Fixed a -> Fixed a -> Fixed a # quotRem :: Fixed a -> Fixed a -> (Fixed a, Fixed a) # divMod :: Fixed a -> Fixed a -> (Fixed a, Fixed a) # toInteger :: Fixed a -> Integer #
Real a => Real (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods toRational :: Fixed a -> Rational #
RealFrac a => RealFrac (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods properFraction :: Integral b => Fixed a -> (b, Fixed a) # truncate :: Integral b => Fixed a -> b # round :: Integral b => Fixed a -> b # ceiling :: Integral b => Fixed a -> b # floor :: Integral b => Fixed a -> b #
Show a => Show (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods showsPrec :: Int -> Fixed a -> ShowS # show :: Fixed a -> String # showList :: [Fixed a] -> ShowS #
NFData a => NFData (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods rnf :: Fixed a -> () #
Eq a => Eq (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.Types Methods (==) :: Fixed a -> Fixed a -> Bool # (/=) :: Fixed a -> Fixed a -> Bool #
Ord a => Ord (Fixed a) Source #
Instance details Defined in Data.ProtocolBuffers.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 #
DecodeWire (Fixed Int32) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Fixed Int32) Source #
DecodeWire (Fixed Int64) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Fixed Int64) Source #
DecodeWire (Fixed Word32) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Fixed Word32) Source #
DecodeWire (Fixed Word64) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (Fixed Word64) Source #
DecodeWire (PackedList (Value (Fixed Int32))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Int32))) Source #
DecodeWire (PackedList (Value (Fixed Int64))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Int64))) Source #
DecodeWire (PackedList (Value (Fixed Word32))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Word32))) Source #
DecodeWire (PackedList (Value (Fixed Word64))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods decodeWire :: WireField -> Get (PackedList (Value (Fixed Word64))) Source #
EncodeWire (Fixed Int32) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> Fixed Int32 -> Put Source #
EncodeWire (Fixed Int64) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> Fixed Int64 -> Put Source #
EncodeWire (Fixed Word32) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> Fixed Word32 -> Put Source #
EncodeWire (Fixed Word64) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> Fixed Word64 -> Put Source #
EncodeWire (PackedList (Value (Fixed Int32))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Int32)) -> Put Source #
EncodeWire (PackedList (Value (Fixed Int64))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Int64)) -> Put Source #
EncodeWire (PackedList (Value (Fixed Word32))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Word32)) -> Put Source #
EncodeWire (PackedList (Value (Fixed Word64))) Source #
Instance details Defined in Data.ProtocolBuffers.Wire Methods encodeWire :: Tag -> PackedList (Value (Fixed Word64)) -> Put Source #

Message Serialization

Encoding

Instances

Decoding

Instances

Fields

Tags

Instances

Instances

Accessors

Instances

Selectors

Instances

Values

Selectors

Instances

Instances

Instances

Wire Coding

Instances

Instances