IntersectMBO/plutus

Data.AssocMap and Data.Value should use Data.List

Open

#6933 aperta il 10 mar 2025

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (511 fork)batch import
Good first issueInternalPlinthPlutus Ledger APIstatus: triaged

Metriche repository

Star
 (1637 star)
Metriche merge PR
 (Merge medio 15g 11h) (13 PR mergiate in 30 g)

Descrizione

After https://github.com/IntersectMBO/plutus/pull/6931 is merged, you can search for uses of toSOPList or unsafeFromSOPList and you'll see that lots of code in the ledger API or the standard library does conversions to and from SOP lists which is not ideal. This is because when we implemented Data-backed Map and Value, we didn't have a Data-backed List yet. We should refactor all of these cases where a Data-backed List would be more appropriate.

Guida contributor