Discuss: PlutusData meaning for Prelude types
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
Direzione di ricerca
Inizia leggendo le istanze dei tipi Prelude in libs/lbf-plutus/Plutus/V1.lbf e confrontandole con le implementazioni esistenti del backend Rust menzionate nell'issue. Il lavoro è completo quando sono stati decisi i tipi Prelude supportati e la loro semantica PlutusData toData/fromData, e le implementazioni pertinenti sono allineate.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
What is PlutusData (toData and fromData) meaning for all Prelude types?
-- Instances for Prelude types
-- TODO(bladyjoker): Add other Prelude types (Text, Bytes etc.)?
instance PlutusData Bool
instance PlutusData Integer
instance PlutusData (Maybe a) :- PlutusData a
instance PlutusData (List a) :- PlutusData a
instance PlutusData (Either a b) :- PlutusData a, PlutusData b
These are obvious, but we could theoretically define PlutusData for Prelude Char/Text/Bytes/Map/Set.
Gergely's Rust backend already implements some notion of PlutusData for these types.
Should we complete this?
- Lingua principale
- Haskell
- Stelle
- 33
- Fork
- 1
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di mlabs-haskell/lambda-buffers
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
mlabs-haskell/lambda-buffers#296 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
mlabs-haskell/lambda-buffers#295 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100
mlabs-haskell/lambda-buffers#294 ·
-
Dykstra HFAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
mlabs-haskell/lambda-buffers#293 ·
-
Nix-free pathApertadevops
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
mlabs-haskell/lambda-buffers#292 ·
Tutte le issue di mlabs-haskell/lambda-buffers
Issue simili
-
docs: install-manifest download links use main instead of master (404)Forse già presa @ChinmayaBisoi l’ha presa 1 giorno fa. Aperta
Difficoltà 2/5 Meno di un'ora Idoneità per principianti 78/100
hasura/graphql-engine#10884 ·
-
New-pipeline: update TracyAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
AccelerateHS/accelerate#583 · 2 commenti ·
-
component: hls-refactor-plugin status: needs triage type: bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 60/100
haskell/haskell-language-server#5111 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
alunduil/network-arbitrary#193 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
alunduil/siren-json.hs#245 ·
I maintainer di solito rispondono entro 1 giorno