cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Allegra.CDDL

Synopsis

Documentation

module Test.Cardano.Ledger.Shelley.CDDL

allegraCDDL ∷ Huddle Source #

64-bit integers

int64 ∷ Rule Source #

64-bit signed integers for native script timelock thresholds.

nonzero_int64 ∷ Rule Source #

Transaction

transaction_witness_set ∷ Rule Source #

Uses allegra_native_script with timelock support (invalid_before/hereafter).

Auxiliary data

auxiliary_data ∷ Rule Source #

Adds auxiliary_data_array format for batching native scripts with metadata.

auxiliary_data_array ∷ Rule Source #

Native scripts

allegra_native_script ∷ Rule Source #