Add Equals to Type.Data.Boolean?
Ninguém assumiu esta issue ainda.
- #66 de @JordanMartinez — fechado sem integrar
Avaliação
- Dificuldade
- 2/5
- Tempo estimado
- 1-3 horas
- Facilidade para iniciantes
- 35/100
- Tipo de issue
- Funcionalidade
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- backend
Direção de pesquisa
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.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
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
- Linguagem predominante
- PureScript
- Estrelas
- 65
- Forks
- 21
- Merge médio
- 2d 23h
- PRs com merge (30d)
- 1
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Sem guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de purescript/purescript-typelevel-prelude
-
type: enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
purescript/purescript-typelevel-prelude#40 · 3 comentários ·
-
status: needs more info type: documentation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
purescript/purescript-typelevel-prelude#34 · 1 comentário ·
-
RowListIntersection?Abertatype: enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 10/100
purescript/purescript-typelevel-prelude#31 · 2 comentários ·
-
Bundle up some examples?Abertatype: documentation
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 35/100
purescript/purescript-typelevel-prelude#18 · 8 reações ·
Todas as issues de purescript/purescript-typelevel-prelude
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFAbertabug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
Mantenedores costumam responder em até 1 dia
-
Mend: dependency security vulnerability
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 65/100
-
Mend: dependency security vulnerability
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
ManageIQ/manageiq-pods#1476 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
prime-radiant-inc/evener#6366 ·
Mantenedores costumam responder em até 1 dia