Stop using `UMap` in favor of `Accounts` type family#5128

Draft

lehins wants to merge 24 commits intomasterfrom

lehins/era-specific-umap

Commits on Jul 7, 2025

Export Maybe expectations

lehins
authored and
TimSheard
committed
Add EitherDeepExpr helpers

lehins
authored and
TimSheard
committed
Add `Uniform` instance for `Ptr`, `SlotNo32`, `CertIx` and `TxIx`

lehins
authored and
TimSheard
committed
Viable approach in the works. In process of removing UMap in favor of AccountStates

lehins
authored and
TimSheard
committed
generic tests are building

lehins
authored and
TimSheard
committed
Starting on constraint generators adjustments

lehins
authored and
TimSheard
committed
WIP on cardano-ledger-test

lehins
authored and
TimSheard
committed
WIP cardano-ledger-test

lehins
authored and
TimSheard
committed
I am done

lehins
authored and
TimSheard
committed
f

lehins
authored and
TimSheard
committed
Generic in ledger-test builds

lehins
authored and
TimSheard
committed
Generic in ledger-test builds

lehins
authored and
TimSheard
committed
Getting a hang of Deleg constrained generation

lehins
authored and
TimSheard
committed
conway part of Specs is building

lehins
authored and
TimSheard
committed
conway part of Specs is building

lehins
authored and
TimSheard
committed
cardano-ledger-test builds

lehins
authored and
TimSheard
committed
conformance builds

lehins
authored and
TimSheard
committed
Finish rebase and adjust Dijkstra

lehins
authored and
TimSheard
committed
Fix cardano-ledger-test

lehins
authored and
TimSheard
committed
remove usage of language extension

lehins
authored and
TimSheard
committed
Formatting

lehins
authored and
TimSheard
committed
Some renames and changelog

lehins
authored and
TimSheard
committed
Trying to get the tests to pass
TimSheard
committed
Made a test that required a UMap invalid for eras after Babbage.
TimSheard
committed