IntersectMBO/plutus

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

Open

Aperta il 10 mar 2025

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

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

Tech stack
Nessuno
Dominio
data
Tipo issue
refactor
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 days
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
blocked
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
clear
Prerequisiti
PR #6931 mergedKnowledge of Plutus Data typesFamiliarity with ASSOCMAP and VALUE modulesUnderstanding of SOP lists
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
40
Direzione di ricerca
Cerca gli utilizzi di `toSOPList` e `unsafeFromSOPList` nell'API del ledger e nella libreria standard. Dopo che la PR #6931 sarà unita, rifattorizza ogni occorrenza per utilizzare tipi di lista basati su Data dove appropriato. Controlla il modulo Data del repository Plutus per i tipi di lista disponibili. Assicurati che la rifattorizzazione superi tutti i test esistenti.