Drop the `:: () =>` constraint from `runNodeKeyGenBLSCmd` and `runNodeKeyHashBlsCmd` signatures
Use default for the description of the text envelope
Drop the `:: () =>` constraint from `runNodeKeyGenBLSCmd` and `runNodeKeyHashBlsCmd` signatures
Update Compatible layer, Transaction runners, and option parsers to use the new flat script types.
The previous ScriptRequirements GADT and associated type families
(OptionalDatum, MintPolicyId) forced callers to pattern match on
nullary constructors like NoPolicyId and NoScriptDatumAllowed that
carry no information. For example, in the old Certificate/Read.hs:
PlutusRefScriptCliArgs
refInput
(AnySLanguage lang)
Exp.NoScriptDatumAllowed -- meaningless
NoPolicyId -- meaningless
redeemerFile
execUnits
These constructors exist only to fill slots demanded by the type
families in contexts where those fields don't apply. This is an
inherent cost of a single GADT polymorphic over all script contexts.
Replace with flat, context-specific ADTs that simply omit fields
irrelevant to their context:
- PlutusSpendingScriptRequirements: carries an optional datum
- PlutusMintingScriptRequirements: carries a PolicyId
- PlutusNonAssetScriptRequirements: needs neither (certificates,
voting, withdrawals, proposals)
Update Compatible layer, Transaction/Query/Genesis runners, Byron, build config, and golden tests to use the new flat script types.
The previous ScriptRequirements GADT and associated type families
(OptionalDatum, MintPolicyId) forced callers to pattern match on
nullary constructors like NoPolicyId and NoScriptDatumAllowed that
carry no information. For example, in the old Certificate/Read.hs:
PlutusRefScriptCliArgs
refInput
(AnySLanguage lang)
Exp.NoScriptDatumAllowed -- meaningless
NoPolicyId -- meaningless
redeemerFile
execUnits
These constructors exist only to fill slots demanded by the type
families in contexts where those fields don't apply. This is an
inherent cost of a single GADT polymorphic over all script contexts.
Replace with flat, context-specific ADTs that simply omit fields
irrelevant to their context:
- PlutusSpendingScriptRequirements: carries an optional datum
- PlutusMintingScriptRequirements: carries a PolicyId
- PlutusNonAssetScriptRequirements: needs neither (certificates,
voting, withdrawals, proposals)
Update Compatible layer, Transaction/Query/Genesis runners, Byron, build config, and golden tests to use the new flat script types.