Semigroup Result instance?
Ninguém assumiu esta issue ainda.
- #101 de @np — fechado sem integrar
Avaliação
- Dificuldade
- 2/5
- Tempo estimado
- 1-3 horas
- Facilidade para iniciantes
- 25/100
- Tipo de issue
- Funcionalidade
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- testing
Direção de pesquisa
Read the proposed Semigroup and Monoid instances in the issue body and the linked pull request #101 for prior discussion. Decide whether combining Result values this way fits the library’s API and supports the shown QuickCheck use case; the issue does not name implementation files or tests, so locate the existing Result definitions and instances before judging completion.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
How would we feel about the following?
instance semigroupResult :: Semigroup Result where
Success <> r = r
Failed str <> _ = Failed str
instance monoidResult :: Monoid Result where
mempty = Success
This is a use case I have in mind
log "fromRotationMatrix avoids instability issues when the quaternion has one very small component"
quickCheck \(VerySmallNum e) a b c ->
let
testWith p' =
let
p = Rotation.fromQuaternion p'
q = unsafePartial (Rotation.fromRotationMatrix (Rotation.toRotationMatrix p))
in
rApproxEq p q
<?> show { p, q }
in
fold
[ testWith (Quaternion e a b c)
, testWith (Quaternion a e b c)
, testWith (Quaternion a b e c)
, testWith (Quaternion a b c e)
]
Of course I could rewrite this test to call quickCheck four times instead, but I think the instance makes sense, and I think it would be nice to allow writing tests this way. Additionally, if generating random values for a given type is expensive, being able to combine Result values in this way could let you cut down the number of random values you need to generate, since you don't need to call quickCheck as many times.
- Linguagem predominante
- PureScript
- Estrelas
- 108
- Forks
- 42
- 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-quickcheck
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
purescript/purescript-quickcheck#136 · 1 comentário ·
-
Lazy List Arbitrary InstanceTalvez já em andamento @eviefp assumiu há 2207 dias. Abertatype: enhancement
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 20/100
purescript/purescript-quickcheck#111 · 2 comentários · 2 reações ·
-
type: documentation
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 55/100
-
purs-0.15 type: breaking change
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
purescript/purescript-quickcheck#104 · 12 comentários ·
-
ShrinkingAbertatype: enhancement
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100
purescript/purescript-quickcheck#103 · 6 comentários · 4 reações ·
Todas as issues de purescript/purescript-quickcheck
Issues semelhantes
-
[prefer-expect-resolves] autofix leaves a stray ")" when the awaited expression is parenthesizedAberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
jest-community/eslint-plugin-jest#2052 ·
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 88/100
johanhaleby/occurrent#1505 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
jeanibarz/knowledge-base-mcp-server#1262 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
future-agi/future-agi#4092 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 82/100
Mantenedores costumam responder em até 1 dia