Add Equals to Type.Data.Boolean?
Personne n'a encore pris cette issue.
- #66 par @JordanMartinez — fermée sans fusion
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 35/100
- Type d'issue
- Fonctionnalité
- Clarté
- Plutôt claire
- Activité
- À l'abandon
- Domaine
- backend
Piste de recherche
Read the existing Type.Data.Ordering.Equals and Type.Data.Symbol.Equals definitions and the linked pull request #66 for context. The issue proposes a Boolean equality class and four instances; check whether that work was attempted and what remains unresolved. Done means the maintainers decide whether to add the class and, if accepted, the Boolean equality API is implemented consistently with the existing modules.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
We have Type.Data.Ordering.Equals and Type.Data.Symbol.Equals but no Type.Data.Boolean.Equals.
Is there any reason for not wanting or needing this class?
I assume it would be implemented like this:
class Equals :: Boolean -> Boolean -> Boolean -> Constraint
class Equals lhs rhs out | lhs rhs -> out, lhs out -> rhs, rhs out -> lhs
instance equalsTrueTrue :: Equals True True True
else instance equalsTrueFalse :: Equals True False False
else instance equalsFalseTrue :: Equals False True False
else instance equalsFalseFalse :: Equals False False True
equals :: forall proxy l r o. Equals l r o => proxy l -> proxy r -> Proxy o
equals _ _ = Proxy
- Langage dominant
- PureScript
- Étoiles
- 65
- Forks
- 21
- Merge moyen
- 2 j 23 h
- 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-typelevel-prelude
-
Feature Request: Symbol ReverseOuvertetype: enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
purescript/purescript-typelevel-prelude#40 · 3 commentaires ·
-
Document Undecidable InstanceOuvertestatus: needs more info type: documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100
purescript/purescript-typelevel-prelude#34 · 1 commentaire ·
-
RowListIntersection?Ouvertetype: enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 10/100
purescript/purescript-typelevel-prelude#31 · 2 commentaires ·
-
Bundle up some examples?Ouvertetype: documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 35/100
purescript/purescript-typelevel-prelude#18 · 8 réactions ·
Toutes les issues de purescript/purescript-typelevel-prelude
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