Codec.Serialise.Encoding

High level API for encoding values, for later serialization into CBOR binary format, using a Monoid based interface.

Encoding implementation

newtype Encoding

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

Constructors

Encoding (Tokens -> Tokens)

Instances

Show Encoding

Defined in Codec.CBOR.Encoding

Methods

showsPrec :: Int -> Encoding -> ShowS

show :: Encoding -> String

showList :: [Encoding] -> ShowS

Semigroup Encoding

Since: cborg-0.2.0.0

Defined in Codec.CBOR.Encoding

Methods

(<>) :: Encoding -> Encoding -> Encoding

sconcat :: NonEmpty Encoding -> Encoding

stimes :: Integral b => b -> Encoding -> Encoding

Monoid Encoding

Since: cborg-0.2.0.0

Defined in Codec.CBOR.Encoding

Methods

mempty :: Encoding

mappend :: Encoding -> Encoding -> Encoding

mconcat :: [Encoding] -> Encoding

data Tokens

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

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

Instances

Eq Tokens

Defined in Codec.CBOR.Encoding

Methods

(==) :: Tokens -> Tokens -> Bool

(/=) :: Tokens -> Tokens -> Bool

Show Tokens

Defined in Codec.CBOR.Encoding

Methods

showsPrec :: Int -> Tokens -> ShowS

show :: Tokens -> String

showList :: [Tokens] -> ShowS

Encoding API for serialisation

encodeWord :: 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

encodeInt :: Int -> Encoding

Encode an Int 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

encodeTag :: Word -> Encoding

Encode an arbitrary Word tag.

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