| 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.CBOR.Encoding
Description
High level API for encoding values, for later serialization into
CBOR binary format, using a
Monoid
based interface.
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
- encodePreEncoded :: ByteString -> 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: 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: 0.2.0.0
Constructors
Encoding
API for serialisation
encodeInteger :: Integer -> Encoding Source #
Encode an arbitrarily large @
Integer
in a
flattened format.
Since: 0.2.0.0
encodeBytes :: ByteString -> Encoding Source #
Encode an arbitrary strict
ByteString
in
a flattened format.
Since: 0.2.0.0
encodeBytesIndef :: Encoding Source #
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: 0.2.0.0
encodeByteArray :: SlicedByteArray -> Encoding Source #
Encode a bytestring in a flattened format.
Since: 0.2.0.0
encodeStringIndef :: Encoding Source #
Encode the beginning of an indefinite string.
Since: 0.2.0.0
encodeUtf8ByteArray :: SlicedByteArray -> Encoding Source #
Encode a UTF-8 string in a flattened format. Note that the contents is not validated to be well-formed UTF-8.
Since: 0.2.0.0
encodeListLen :: Word -> Encoding Source #
Encode the length of a list, used to indicate that the following tokens represent the list values.
Since: 0.2.0.0
encodeListLenIndef :: Encoding Source #
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: 0.2.0.0
encodeMapLen :: Word -> Encoding Source #
Encode the length of a Map, used to indicate that the following tokens represent the map values.
Since: 0.2.0.0
encodeMapLenIndef :: Encoding Source #
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: 0.2.0.0
encodeBreak :: Encoding Source #
Encode a 'break', used to specify the end of indefinite length objects like maps or lists.
Since: 0.2.0.0
encodeUndef :: Encoding Source #
Encode an
Undef
value.
Since: 0.2.0.0
encodeNull :: Encoding Source #
Encode a
Null
value.
Since: 0.2.0.0
encodeSimple :: Word8 -> Encoding Source #
Encode a 'simple' CBOR token that can be represented with an 8-bit word. You probably don't ever need this.
Since: 0.2.0.0
encodeFloat16 :: Float -> Encoding Source #
Encode a small 16-bit
Float
in a flattened format.
Since: 0.2.0.0
encodeFloat :: Float -> Encoding Source #
Encode a full precision
Float
in a flattened format.
Since: 0.2.0.0
encodePreEncoded :: ByteString -> Encoding Source #
Include pre-encoded valid CBOR data into the
Encoding
.
The data is included into the output as-is without any additional wrapper.
This should be used with care. The data must be a valid CBOR encoding, but this is not checked.
This is useful when you have CBOR data that you know is already valid, e.g. previously validated and stored on disk, and you wish to include it without having to decode and re-encode it.
Since: 0.2.2.0