cardano-ledger-byron
cardano-ledger-byron copied to clipboard
Use the Relation class defined cardano-ledger-specs where appropriate
Use the Relation
class defined by @nc6 in cardano-ledger-specs
whenever we implement the domain restriction, exclusion, and similar operations from the spec.
Originally posted by @dnadales in https://github.com/input-output-hk/cardano-ledger/pull/407
Perhaps we should move Relation
to cardano-prelude
if it's going to be used across multiple packages