У меня есть простое определение типа:
data Cell = Cell {
x :: Int,
y :: Int
} deriving (Show)
Я не могу использовать Cell
как вход для свойства quickcheck, предположительно потому, что quickcheck не знает, как генерировать значения Cell.
Я понимаю, что мне нужно сделать Cell экземпляром класса Arbitrary
.
Как это сделать, например, если я хочу, чтобы ячейка генерировалась со случайными положительными значениями для x и y?