| Copyright | (c) Duncan Coutts 2015-2017 |
|---|---|
| License | BSD3-style (see LICENSE.txt) |
| Maintainer | duncan@community.haskell.org |
| Stability | experimental |
| Portability | non-portable (GHC extensions) |
| Safe Haskell | None |
| Language | Haskell2010 |
Codec.Serialise.Encoding
Description
High level API for encoding values, for later serialization into
CBOR binary format, using a Monoid
Synopsis
- newtype Encoding = Encoding (Tokens -> Tokens)
- data Tokens
- = TkWord !Word Tokens
- | TkWord64 !Word64 Tokens
- | TkInt !Int Tokens
- | TkInt64 !Int64 Tokens
- | TkBytes !ByteString Tokens
- | TkBytesBegin Tokens
- | TkByteArray !SlicedByteArray Tokens
- | TkString !Text Tokens
- | TkUtf8ByteArray !SlicedByteArray Tokens
- | TkStringBegin Tokens
- | TkListLen !Word Tokens
- | TkListBegin Tokens
- | TkMapLen !Word Tokens
- | TkMapBegin Tokens
- | TkTag !Word Tokens
- | TkTag64 !Word64 Tokens
- | TkInteger !Integer Tokens
- | TkNull Tokens
- | TkUndef Tokens
- | TkBool !Bool Tokens
- | TkSimple !Word8 Tokens
- | TkFloat16 !Float Tokens
- | TkFloat32 !Float Tokens
- | TkFloat64 !Double Tokens
- | TkBreak Tokens
- | TkEncoded !ByteString Tokens
- | TkEnd
- encodeWord :: Word -> Encoding
- encodeWord8 :: Word8 -> Encoding
- encodeWord16 :: Word16 -> Encoding
- encodeWord32 :: Word32 -> Encoding
- encodeWord64 :: Word64 -> Encoding
- encodeInt :: Int -> Encoding
- encodeInt8 :: Int8 -> Encoding
- encodeInt16 :: Int16 -> Encoding
- encodeInt32 :: Int32 -> Encoding
- encodeInt64 :: Int64 -> Encoding
- encodeInteger :: Integer -> Encoding
- encodeBytes :: ByteString -> Encoding
- encodeBytesIndef :: Encoding
- encodeByteArray :: SlicedByteArray -> Encoding
- encodeString :: Text -> Encoding
- encodeStringIndef :: Encoding
- encodeUtf8ByteArray :: SlicedByteArray -> Encoding
- encodeListLen :: Word -> Encoding
- encodeListLenIndef :: Encoding
- encodeMapLen :: Word -> Encoding
- encodeMapLenIndef :: Encoding
- encodeBreak :: Encoding
- encodeTag :: Word -> Encoding
- encodeTag64 :: Word64 -> Encoding
- encodeBool :: Bool -> Encoding
- encodeUndef :: Encoding
- encodeNull :: Encoding
- encodeSimple :: Word8 -> Encoding
- encodeFloat16 :: Float -> Encoding
- encodeFloat :: Float -> Encoding
- encodeDouble :: Double -> Encoding
Encoding implementation
An intermediate form used during serialisation, specified as a
Monoid. It supports efficient concatenation, and is equivalent
to a specialised Endo Tokens type.
It is used for the stage in serialisation where we flatten out the Haskell data structure but it is independent of any specific external binary or text format.
Traditionally, to build any arbitrary Encoding value, you specify
larger structures from smaller ones and append the small ones together
using mconcat.
Since: cborg-0.2.0.0
A flattened representation of a term, which is independent of any underlying binary representation, but which we later serialise into CBOR format.
Since: cborg-0.2.0.0
Constructors
Encoding
EncodingencodeWord :: Word -> Encoding #
Encode a Word in a flattened format.
Since: cborg-0.2.0.0
encodeWord8 :: Word8 -> Encoding #
Encode a Word8 in a flattened format.
Since: cborg-0.2.0.0
encodeWord16 :: Word16 -> Encoding #
Encode a Word16 in a flattened format.
Since: cborg-0.2.0.0
encodeWord32 :: Word32 -> Encoding #
Encode a Word32 in a flattened format.
Since: cborg-0.2.0.0
encodeWord64 :: Word64 -> Encoding #
Encode a Word64 in a flattened format.
Since: cborg-0.2.0.0
encodeInt8 :: Int8 -> Encoding #
Encode an Int8 in a flattened format.
Since: cborg-0.2.0.0
encodeInt16 :: Int16 -> Encoding #
Encode an Int16 in a flattened format.
Since: cborg-0.2.0.0
encodeInt32 :: Int32 -> Encoding #
Encode an Int32 in a flattened format.
Since: cborg-0.2.0.0
encodeInt64 :: Int64 -> Encoding #
Encode an @Int64 in a flattened format.
Since: cborg-0.2.0.0
encodeInteger :: Integer -> Encoding #
Encode an arbitrarily large @Integer in a
flattened format.
Since: cborg-0.2.0.0
encodeBytes :: ByteString -> Encoding #
Encode an arbitrary strict ByteString in
a flattened format.
Since: cborg-0.2.0.0
encodeBytesIndef :: Encoding #
Encode a token specifying the beginning of a string of bytes of
indefinite length. In reality, this specifies a stream of many
occurrences of encodeBytes, each specifying a single chunk of the
overall string. After all the bytes desired have been encoded, you
should follow it with a break token (see encodeBreak).
Since: cborg-0.2.0.0
encodeByteArray :: SlicedByteArray -> Encoding #
Encode a bytestring in a flattened format.
Since: cborg-0.2.0.0
encodeString :: Text -> Encoding #
Encode a Text in a flattened format.
Since: cborg-0.2.0.0
encodeStringIndef :: Encoding #
Encode the beginning of an indefinite string.
Since: cborg-0.2.0.0
encodeUtf8ByteArray :: SlicedByteArray -> Encoding #
Encode a UTF-8 string in a flattened format. Note that the contents is not validated to be well-formed UTF-8.
Since: cborg-0.2.0.0
encodeListLen :: Word -> Encoding #
Encode the length of a list, used to indicate that the following tokens represent the list values.
Since: cborg-0.2.0.0
encodeListLenIndef :: Encoding #
Encode a token specifying that this is the beginning of an
indefinite list of unknown size. Tokens representing the list are
expected afterwords, followed by a break token (see
encodeBreak) when the list has ended.
Since: cborg-0.2.0.0
encodeMapLen :: Word -> Encoding #
Encode the length of a Map, used to indicate that the following tokens represent the map values.
Since: cborg-0.2.0.0
encodeMapLenIndef :: Encoding #
Encode a token specifying that this is the beginning of an
indefinite map of unknown size. Tokens representing the map are
expected afterwords, followed by a break token (see
encodeBreak) when the map has ended.
Since: cborg-0.2.0.0
encodeBreak :: Encoding #
Encode a 'break', used to specify the end of indefinite length objects like maps or lists.
Since: cborg-0.2.0.0
encodeTag64 :: Word64 -> Encoding #
Encode an arbitrary 64-bit Word64 tag.
Since: cborg-0.2.0.0
encodeBool :: Bool -> Encoding #
Encode a Bool.
Since: cborg-0.2.0.0
encodeUndef :: Encoding #
Encode an Undef value.
Since: cborg-0.2.0.0
encodeNull :: Encoding #
Encode a Null value.
Since: cborg-0.2.0.0
encodeSimple :: Word8 -> Encoding #
Encode a 'simple' CBOR token that can be represented with an 8-bit word. You probably don't ever need this.
Since: cborg-0.2.0.0
encodeFloat16 :: Float -> Encoding #
Encode a small 16-bit Float in a flattened format.
Since: cborg-0.2.0.0
encodeFloat :: Float -> Encoding #
Encode a full precision Float in a flattened format.
Since: cborg-0.2.0.0
encodeDouble :: Double -> Encoding #
Encode a Double in a flattened format.
Since: cborg-0.2.0.0