Provide Cardano.Api.Tx generators

[sevanspowell]

• I have provided a basic set of Tx generators, mostly copied from cardano-api.

Comments

• Generators were copied wholesale from cardano-api, instead of being imported, due to this cabal issue: Dependency on installed public sublibrary without --dependency flag haskell/cabal#7270.
  • Additionally, doing so has allowed us to:
    • Convert to Quickcheck style, in line with our other generators.
    • Tweak the generators to match our specific requirements.

Issue Number

ADP-1147

[rvl]

This looks fine. 👍

It may be easier to put coverage checks in the actual properties, rather than as standalone generator tests.

[rvl]

You could factor these out using the AnyCardanoEra existential wrapper. Something like this:

forAllEras :: (AnyCardanoEra -> a) -> a
forAllEras f = do
    f (AnyCardanoEra ByronEra)
    forAllShelleyBasedEras f

forAllShelleyBasedEras :: (AnyCardanoEra -> a) -> a
forAllShelleyBasedEras f = do
    f (AnyCardanoEra ShelleyEra)
    f (AnyCardanoEra AllegraEra)
    f (AnyCardanoEra MaryEra)
    f (AnyCardanoEra AlonzoEra)

[sevanspowell]

Closed in favour of #2985.