cardano-ledger-dijkstra-0.1.0.0: Cardano ledger with nested transactions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Dijkstra.CDDL

Synopsis

Documentation

setIsType0 t0 ⇒ t0 → GRuleCall Source #

Conway era introduces an optional 258 tag for sets, which will become mandatory in the second era after Conway. We recommend all the tooling to account for this future breaking change sooner rather than later, in order to provide a smooth transition for their users.

nonZeroInt64Rule Source #

this is the same as the current int64 definition but without zero

nonnegative_intervalRule Source #

nonnegative_interval = tag 0 [uint, positive_int]

nonempty_setIsType0 t0 ⇒ t0 → GRuleCall Source #

Conway era introduces an optional 258 tag for sets, which will become mandatory in the second era after Conway. We recommend all the tooling to account for this future breaking change sooner rather than later, in order to provide a smooth transition for their users.

constrIsType0 x ⇒ x → GRuleCall Source #