Как добиться такого вывода (диапазонами) у QuickCheck? Я сделал через

Question

Как добиться такого вывода (диапазонами) у QuickCheck? Я сделал через

newtype над Int и collect, но может есть стандартный способ?
+++ OK, passed 100 tests:
56% 0 .. 10
24% 10 .. 20
13% 20 .. 30
4% 30 .. 40
1% 40 .. 50
1% 50 .. 60
1% 60 .. 70

#haskell #programming #russian

0

07.06.2023

4 ответов

8 просмотров

Лев Дворкин Автор вопроса

Cheese Syrowiecki
collect ровно это и делает, как я понимаю. а зачем...

Чтобы диапазоны по 10, а не конкретные значения. А то у меня получается: 31 - 1%, 32 - 1% — не очень информативно

0

11 месяцев назад

Cheese Syrowiecki

Лев Дворкин
Чтобы диапазоны по 10, а не конкретные значения. А...

> quickCheck \x y -> collect (let x' = (x `div` 10) * 10 in show x' <> " .. " <> show (x' + 10)) $ x + y == y + x +++ OK, passed 100 tests: 16% "0 .. 10" 15% "-10 .. 0" 11% "10 .. 20"

0

11 месяцев назад

Лев Дворкин Автор вопроса

Cheese Syrowiecki
> quickCheck \x y -> collect (let x' = (x `div` 10...

ok, да. У меня что-то похожее и получилось: newtype Approx = Approx Int instance Show Approx where show (Approx n) = unwords [show $ n10 * 10, "..", show $ (n10 + 1) * 10 ] where n10 = n `div` 10 collect (Approx ...)

0

11 месяцев назад

Cheese Syrowiecki · Accepted Answer

Cheese Syrowiecki

collect ровно это и делает, как я понимаю. а зачем newtype?

0

11 месяцев назад

169 похожих чатов

Как добиться такого вывода (диапазонами) у QuickCheck? Я сделал через

4 ответов

Похожие вопросы