Add Equals to Type.Data.Boolean?
Nessuno ha ancora preso questa issue.
- #66 di @JordanMartinez — chiusa senza merge
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 35/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Ferma
- Ambito
- backend
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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
- Lingua principale
- PureScript
- Stelle
- 65
- Fork
- 21
- Merge medio
- 2g 23h
- 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-typelevel-prelude
-
type: enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
purescript/purescript-typelevel-prelude#40 · 3 commenti ·
-
status: needs more info type: documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
purescript/purescript-typelevel-prelude#34 · 1 commento ·
-
RowListIntersection?Apertatype: enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100
purescript/purescript-typelevel-prelude#31 · 2 commenti ·
-
Bundle up some examples?Apertatype: documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
purescript/purescript-typelevel-prelude#18 · 8 reazioni ·
Tutte le issue di purescript/purescript-typelevel-prelude
Issue simili
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFApertabug
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
-
Mend: dependency security vulnerability
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
ManageIQ/manageiq-pods#1476 ·
I maintainer di solito rispondono entro 1 giorno
-
mcp: typed tool handlers lose wrapped JSON-RPC errorsForse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
modelcontextprotocol/go-sdk#1529 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 66/100
FinanceFlash/unvibecode#818 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100