Timelock

Pretty prints Timelock scripts in a readable format

The names of the product elements

The name of the type

Parses a Timelock script from Blockfrost JSON string.

Reads a Timelock script from a CBOR encoded byte array

Checks if less-than-equal comparison holds where Nothing is negative infinity

Checks if less-than-equal comparison holds where Nothing is positive infinity

ReadWriter for Timelock in Blockfrost JSON format.

Blockfrost uses the following JSON format for native scripts:

• sig: {"type": "sig", "keyHash": "..."}
• all: {"type": "all", "scripts": [...]}
• any: {"type": "any", "scripts": [...]}
• atLeast: {"type": "atLeast", "required": n, "scripts": [...]}
• after: {"type": "after", "slot": n}
• before: {"type": "before", "slot": n}

Reads a definite- or indefinite-length array, as decodeRecordSum in cardano-ledger. The nested lists accept both too, as decodeStrictSeq. A definite-length array must hold exactly the fields of its constructor, tag included: 3 for MOf, 2 for the others, as matchSize checks.

The decoder does not recurse over the scripts of AllOf, AnyOf and MOf: it keeps those it has opened on the heap (NestedCbor), so how deep it reads does not depend on the stack of the thread that reads. It reads at most scalus.serialization.cbor.Cbor.maxMetadataAndScriptNestingLevels levels of arrays: a deeper script fails to decode.

Timelock encoder, based on the Haskell code, which uses sum types with tags.

It does not recurse over the scripts of AllOf, AnyOf and MOf: it keeps the lists of scripts it has opened on the heap (NestedCbor.writeNested), so how deep it writes does not depend on the stack of the thread that writes. A list of scripts is written as borer writes an IndexedSeq.

Pretty prints Timelock scripts in a readable format