Add MonoTraversable, MonoFoldable, MonoFunctor to the UTxO type

[carbolymer]

Changelog

- description: |
    Add MonoTraversable, MonoFoldable, MonoFunctor to the UTxO type
# uncomment types applicable to the change:
  type:
  # - feature        # introduces a new feature
  # - breaking       # the API has changed in a breaking way
   - compatible     # the API has changed but is non-breaking
  # - optimisation   # measurable performance improvements
  # - refactoring    # QoL changes
  # - bugfix         # fixes a defect
  # - test           # fixes/modifies tests
  # - maintenance    # not directly related to the code
  # - release        # related to a new release preparation
  # - documentation  # change in code docs, haddocks...

Context

Adds Mono* classes instances useful when iterating over UTxO. https://hackage.haskell.org/package/mono-traversable-1.0.21.0/docs/Data-MonoTraversable.html

Checklist

• Commit sequence broadly makes sense and commits have useful messages
• New tests are added if needed and existing tests are updated. See Running tests for more details
• Self-reviewed the diff

[locallycompact]

Thanks for this.

[locallycompact]

I just tried this and it's quite a lot to import Data.MonoTraversable everywhere this is used. Can we still add the qualified interface as well as this?

[carbolymer]

@locallycompact I'm not sure I follow. Would you like to have Data.MonoTraversable reexported?

[locallycompact]

Re-exporting as in UTxO.ofoldMap etc? Either that or UTxO.foldMap etc would be the interface that I think is the most convenient, but I'd also expect the documentation to be monomorphic in terms of UTxO for reading consistency. That last bit might just be not especially important though.

[carbolymer]

@locallycompact ah I see. I don't have anything against exporting monomorphised functions. Which functions would like to have exported? There's a lot of them in https://hackage.haskell.org/package/mono-traversable-1.0.21.0/docs/Data-MonoTraversable.html .

[locallycompact]

I think I got everything I wanted in this other PR I made, or very close:

https://github.com/IntersectMBO/cardano-api/pull/841/files