discussion: describe relation between Foldable and Unfoldable and there indexed versions
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 5/5
- Temps estimé
- Plus d'une semaine
- Accessibilité débutants
- 25/100
- Type d'issue
- Fonctionnalité
- Clarté
- Plutôt claire
- Activité
- À l'abandon
- Domaine
- backend
Piste de recherche
Read the discussion about the proposed relationship between Foldable and Unfoldable and their indexed variants. The issue gives example expressions and type signatures, but no files, tests, or decided design; first determine whether the proposal is wanted and what the signatures should be before implementation.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
I had an idea:
What if instead of
Map.fromFoldable $ Map.toUnfoldable someMap
You could do:
unfoldWithIndex $ foldWithIndex someMap
where
foldWithIndex ∷ ∀ g f idx a
. Unfoldable g
⇒ FolableWithIndex idx f
⇒ f idx a
→ g (idx × a)
unfoldWithIndex ∷ ∀ g f idx a
. Foldable g
⇒ UnfoldableWithIndex idx f
⇒ g (idx × a)
→ f idx a
p.s. names foldWithIndex and unfoldWithIndex are arbitrary just types meter
- Langage dominant
- PureScript
- Étoiles
- 51
- Forks
- 57
- Merge moyen
- 3 j 14 min
- PR mergées (30 j)
- 1
Préparer son environnement
- Aucun Dockerfile ni fichier Docker Compose
- Propose un modèle de pull request
- Aucun guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de purescript/purescript-foldable-traversable
-
type: breaking change
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 36/100
purescript/purescript-foldable-traversable#151 · 1 commentaire · 3 réactions ·
-
Add `count`Ouvertestatus: accepted type: enhancement
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100
purescript/purescript-foldable-traversable#140 · 7 commentaires ·
-
type: documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100
purescript/purescript-foldable-traversable#139 · 1 commentaire ·
-
`Data.Traversable` re-exports `sum` from `Data.Foldable` but not `product`Peut-être pris @triallax l’a pris il y a 1959 jours. Ouvertetype: enhancement
Difficulté 2/5 1-3 heures Accessibilité débutants 25/100
purescript/purescript-foldable-traversable#137 · 5 commentaires ·
-
foldrMOuvertetype: enhancement
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
purescript/purescript-foldable-traversable#136 · 3 commentaires ·
Toutes les issues de purescript/purescript-foldable-traversable
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFOuvertebug
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
Les mainteneurs répondent en général sous 1 jour
-
Mend: dependency security vulnerability
Difficulté 2/5 1-3 heures Accessibilité débutants 65/100
-
Mend: dependency security vulnerability
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
ManageIQ/manageiq-pods#1476 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
prime-radiant-inc/evener#6366 ·
Les mainteneurs répondent en général sous 1 jour