Add `ToList` class
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- backend
Direzione di ricerca
Read the proposed ToList class and its toList and foldrLazy definitions, then compare them with the linked foldable-traversable issue. The payload does not name source files or tests, so first locate the existing list and lazy-fold definitions. Done means the class and conversions are implemented with behavior consistent with the proposal.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
As an alternative to https://github.com/purescript/purescript-foldable-traversable/issues/69, we could add a class:
class ToList f where
toList :: forall a. f a -> LL.List a
foldrLazy :: forall a b. Z.Lazy b => (a -> b -> b) -> b -> f a -> b
Where
toList f = foldrLazy LL.cons LL.nil f
foldrLazy cons nil f = LL.foldrLazy cons nil (toList f)
- Lingua principale
- PureScript
- Stelle
- 61
- Fork
- 50
- Merge medio
- 2g 6h
- PR unite (30g)
- 1
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Nessuna 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 purescript/purescript-lists
-
ZipList is BindAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
purescript/purescript-lists#219 · 1 commento · 1 reazione ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100
purescript/purescript-lists#218 ·
-
Data.List.NonEmpty.intersect and Data.List.NonEmpty.intersectBy throw when intersection emptyForse già presa @evaogbe l’ha presa 1066 giorni fa. Apertagood first issue type: bug
Difficoltà 4/5 3-5 giorni Idoneità per principianti 1/100
purescript/purescript-lists#216 · 2 commenti ·
-
type: enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
purescript/purescript-lists#197 · 1 commento ·
-
type: enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 24/100
purescript/purescript-lists#194 · 5 commenti ·
Tutte le issue di purescript/purescript-lists
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
remove the use of `forget`Apertagood first issue help wanted
Difficoltà 2/5 1-3 ore Idoneità per principianti 80/100
I maintainer di solito rispondono entro 1 giorno
-
bug good first issue
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
I maintainer di solito rispondono entro 1 giorno
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
milind-soni/OpenMausBot#5829 ·
I maintainer di solito rispondono entro 1 giorno