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

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

Encode a Word in a flattened format.

Since: cborg-0.2.0.0

Encode a Word8 in a flattened format.

Since: cborg-0.2.0.0

Encode a Word16 in a flattened format.

Since: cborg-0.2.0.0

Encode a Word32 in a flattened format.

Since: cborg-0.2.0.0

Encode a Word64 in a flattened format.

Since: cborg-0.2.0.0

Encode an Int in a flattened format.

Since: cborg-0.2.0.0

Encode an Int8 in a flattened format.

Since: cborg-0.2.0.0

Encode an Int16 in a flattened format.

Since: cborg-0.2.0.0

Encode an Int32 in a flattened format.

Since: cborg-0.2.0.0

Encode an @Int64 in a flattened format.

Since: cborg-0.2.0.0

Encode an arbitrarily large @Integer in a flattened format.

Since: cborg-0.2.0.0

Encode an arbitrary strict ByteString in a flattened format.

Since: cborg-0.2.0.0

Encode a bytestring in a flattened format.

Since: cborg-0.2.0.0

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

Encode a Text in a flattened format.

Since: cborg-0.2.0.0

Encode the beginning of an indefinite string.

Since: cborg-0.2.0.0

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

Encode the length of a list, used to indicate that the following tokens represent the list values.

Since: cborg-0.2.0.0

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

Encode the length of a Map, used to indicate that the following tokens represent the map values.

Since: cborg-0.2.0.0

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

Encode a 'break', used to specify the end of indefinite length objects like maps or lists.

Since: cborg-0.2.0.0

Encode an arbitrary Word tag.

Since: cborg-0.2.0.0

Encode an arbitrary 64-bit Word64 tag.

Since: cborg-0.2.0.0

Encode a Bool.

Since: cborg-0.2.0.0

Encode an Undef value.

Since: cborg-0.2.0.0

Encode a Null value.

Since: cborg-0.2.0.0

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

Encode a small 16-bit Float in a flattened format.

Since: cborg-0.2.0.0

Encode a full precision Float in a flattened format.

Since: cborg-0.2.0.0

Encode a Double in a flattened format.

Since: cborg-0.2.0.0

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: cborg-0.2.2.0

A 0-based offset within the overall byte sequence that makes up the input to the Decoder.

This is an Int64 since Decoder is incremental and can decode more data than fits in memory at once. This is also compatible with the result type of length.

The type of a token, which a decoder can ask for at an arbitrary time.

Since: cborg-0.2.0.0

An action, representing a step for a decoder to taken and a continuation to invoke with the expected value.

Since: cborg-0.2.0.0

Lift an ST action into a Decoder. Useful for, e.g., leveraging in-place mutation to efficiently build a deserialised value.

Since: cborg-0.2.0.0

Given a Decoder, give us the DecodeAction

Since: cborg-0.2.0.0

Decode a Word.

Since: cborg-0.2.0.0

Decode a Word8.

Since: cborg-0.2.0.0

Decode a Word16.

Since: cborg-0.2.0.0

Decode a Word32.

Since: cborg-0.2.0.0

Decode a Word64.

Since: cborg-0.2.0.0

Decode a negative Word.

Since: cborg-0.2.0.0

Decode a negative Word64.

Since: cborg-0.2.0.0

Decode an Int.

Since: cborg-0.2.0.0

Decode an Int8.

Since: cborg-0.2.0.0

Decode an Int16.

Since: cborg-0.2.0.0

Decode an Int32.

Since: cborg-0.2.0.0

Decode an Int64.

Since: cborg-0.2.0.0

Decode canonical representation of a Word.

Since: cborg-0.2.0.0

Decode canonical representation of a Word8.

Since: cborg-0.2.0.0

Decode canonical representation of a Word16.

Since: cborg-0.2.0.0

Decode canonical representation of a Word32.

Since: cborg-0.2.0.0

Decode canonical representation of a Word64.

Since: cborg-0.2.0.0

Decode canonical representation of a negative Word.

Since: cborg-0.2.0.0

Decode canonical representation of a negative Word64.

Since: cborg-0.2.0.0

Decode canonical representation of an Int.

Since: cborg-0.2.0.0

Decode canonical representation of an Int8.

Since: cborg-0.2.0.0

Decode canonical representation of an Int16.

Since: cborg-0.2.0.0

Decode canonical representation of an Int32.

Since: cborg-0.2.0.0

Decode canonical representation of an Int64.

Since: cborg-0.2.0.0

Decode an Integer.

Since: cborg-0.2.0.0

Decode a Float.

Since: cborg-0.2.0.0

Decode a Double.

Since: cborg-0.2.0.0

Decode a string of bytes as a ByteString.

Since: cborg-0.2.0.0

Decode canonical representation of a string of bytes as a ByteString.

Since: cborg-0.2.1.0

Decode a token marking the beginning of an indefinite length set of bytes.

Since: cborg-0.2.0.0

Decode a string of bytes as a ByteArray.

Also note that this will eagerly copy the content out of the input to ensure that the input does not leak in the event that the ByteArray is live but not forced.

Since: cborg-0.2.0.0

Decode canonical representation of a string of bytes as a ByteArray.

Also note that this will eagerly copy the content out of the input to ensure that the input does not leak in the event that the ByteArray is live but not forced.

Since: cborg-0.2.1.0

Decode a textual string as a piece of Text.

Since: cborg-0.2.0.0

Decode canonical representation of a textual string as a piece of Text.

Since: cborg-0.2.1.0

Decode a token marking the beginning of an indefinite length string.

Since: cborg-0.2.0.0

Decode a textual string as UTF-8 encoded ByteArray. Note that the result is not validated to be well-formed UTF-8.

Also note that this will eagerly copy the content out of the input to ensure that the input does not leak in the event that the ByteArray is live but not forced.

Since: cborg-0.2.0.0

Decode canonical representation of a textual string as UTF-8 encoded ByteArray. Note that the result is not validated to be well-formed UTF-8.

Also note that this will eagerly copy the content out of the input to ensure that the input does not leak in the event that the ByteArray is live but not forced.

Since: cborg-0.2.1.0

Decode the length of a list.

Since: cborg-0.2.0.0

Decode canonical representation of the length of a list.

Since: cborg-0.2.0.0

Decode a token marking the beginning of a list of indefinite length.

Since: cborg-0.2.0.0

Decode the length of a map.

Since: cborg-0.2.0.0

Decode canonical representation of the length of a map.

Since: cborg-0.2.0.0

Decode a token marking the beginning of a map of indefinite length.

Since: cborg-0.2.0.0

Decode an arbitrary tag and return it as a Word.

Since: cborg-0.2.0.0

Decode an arbitrary 64-bit tag and return it as a Word64.

Since: cborg-0.2.0.0

Decode canonical representation of an arbitrary tag and return it as a Word.

Since: cborg-0.2.0.0

Decode canonical representation of an arbitrary 64-bit tag and return it as a Word64.

Since: cborg-0.2.0.0

Decode a bool.

Since: cborg-0.2.0.0

Decode a nullary value, and return a unit value.

Since: cborg-0.2.0.0

Decode a simple CBOR value and give back a Word8. You probably don't ever need to use this.

Since: cborg-0.2.0.0

Decode canonical representation of an Integer.

Since: cborg-0.2.0.0

Decode canonical representation of a half-precision Float.

Since: cborg-0.2.0.0

Decode canonical representation of a Float.

Since: cborg-0.2.0.0

Decode canonical representation of a Double.

Since: cborg-0.2.0.0

Decode canonical representation of a simple CBOR value and give back a Word8. You probably don't ever need to use this.

Since: cborg-0.2.0.0

Attempt to decode a word with decodeWord, and ensure the word is exactly as expected, or fail.

Since: cborg-0.2.0.0

Attempt to decode a list length using decodeListLen, and ensure it is exactly the specified length, or fail.

Since: cborg-0.2.0.0

Attempt to decode canonical representation of a word with decodeWordCanonical, and ensure the word is exactly as expected, or fail.

Since: cborg-0.2.0.0

Attempt to decode canonical representation of a list length using decodeListLenCanonical, and ensure it is exactly the specified length, or fail.

Since: cborg-0.2.0.0

Attempt to decode a token for the length of a finite, known list, or an indefinite list. If Nothing is returned, then an indefinite length list occurs afterwords. If Just x is returned, then a list of length x is encoded.

Since: cborg-0.2.0.0

Attempt to decode a token for the length of a finite, known map, or an indefinite map. If Nothing is returned, then an indefinite length map occurs afterwords. If Just x is returned, then a map of length x is encoded.

Since: cborg-0.2.0.0

Attempt to decode a Break token, and if that was successful, return True. If the token was of any other type, return False.

Since: cborg-0.2.0.0

Peek at the current token we're about to decode, and return a TokenType specifying what it is.

Since: cborg-0.2.0.0

Peek and return the length of the current buffer that we're running our decoder on.

Since: cborg-0.2.0.0

Get the current ByteOffset in the input byte sequence of the Decoder.

The Decoder does not provide any facility to get at the input data directly (since that is tricky with an incremental decoder). The next best is this primitive which can be used to keep track of the offset within the input bytes that makes up the encoded form of a term.

By keeping track of the byte offsets before and after decoding a subterm (a pattern captured by decodeWithByteSpan) and if the overall input data is retained then this is enables later retrieving the span of bytes for the subterm.

Since: cborg-0.2.2.0

This captures the pattern of getting the byte offsets before and after decoding a subterm.

!before <- peekByteOffset
x <- decode
!after  <- peekByteOffset

Decode an indefinite sequence length.

Since: cborg-0.2.0.0

Decode a sequence length.

Since: cborg-0.2.0.0

A continuation-based decoder, used for decoding values that were previously encoded using the Codec.CBOR.Encoding module. As Decoder has a Monad instance, you can easily write Decoders monadically for building your deserialisation logic.

Since: cborg-0.2.0.0

Like encodeNestedCbor, but assumes nothing about the shape of input object, so that it must be passed as a binary ByteString blob. It's the caller responsibility to ensure the input ByteString correspond indeed to valid, previously-serialised CBOR data.

Encode and serialise the given a and sorround it with the semantic tag 24 In CBOR diagnostic notation: >>> 24(hDEADBEEF)

A strict version of serializeEncoding

Serialize a Haskell value to an external binary representation using the provided CBOR Encoding

The output is represented as an LByteString and is constructed incrementally.

Serialize into a Builder. Useful if you want to throw other ByteStrings around it.

Serialize a Haskell value to an external binary representation.

The output is represented as a strict ByteString.

Serialize a Haskell value with a ToCBOR instance to an external binary representation.

The output is represented as a lazy LByteString and is constructed incrementally.

Alternative way to encode a Maybe type.

Note - this is not the default method for encoding Maybe, use encodeMaybe instead

Same as encodeNominalDiffTime, except with loss of precision, because it encoded as Micro

Compute encoded size of an integer

Force any thunks in the given Size expression.

ghci> putStrLn $ pretty $ szForce $ szLazy (Proxy @TxAux)
(0 + { TxAux=(2 + ((0 + (_ :: Tx)) + (_ :: Vector TxInWitness))) })

Simplify the given Size, resulting in either the simplified Size or, if it was fully simplified, an explicit upper and lower bound.

Greedily compute the size bounds for a type, using the given context to override sizes for specific types.

Apply a monotonically increasing function to the expression. There are three cases when applying f to a Size expression: * When applied to a value x, compute f x. * When applied to cases, apply to each case individually. * In all other cases, create a deferred application of f.

Is this expression a thunk?

Evaluate an expression greedily. There may still be thunks in the result, for types that did not provide a custom encodedSizeExpr method in their ToCBOR instance.

ghci> putStrLn $ pretty $ szGreedy (Proxy @TxAux)
(0 + { TxAux=(2 + ((0 + (((1 + (2 + ((_ :: LengthOf [TxIn]) * (2 + { TxInUtxo=(2 + ((1 + 34) + { minBound=1 maxBound=5 })) })))) + (2 + ((_ :: LengthOf [TxOut]) * (0 + { TxOut=(2 + ((0 + ((2 + ((2 + withWordSize((((1 + 30) + (_ :: Attributes AddrAttributes)) + 1))) + (((1 + 30) + (_ :: Attributes AddrAttributes)) + 1))) + { minBound=1 maxBound=5 })) + { minBound=1 maxBound=9 })) })))) + (_ :: Attributes ()))) + (_ :: Vector TxInWitness))) })

Evaluate the expression lazily, by immediately creating a thunk that will evaluate its contents lazily.

ghci> putStrLn $ pretty $ szLazy (Proxy @TxAux)
(_ :: TxAux)

Fully evaluate a size expression by applying the given function to any suspended computations. szEval g effectively turns each "thunk" of the form TodoF f x into g x, then evaluates the result.

Discard the label on a case.

Create a case expression from individual cases.