scalacheck

0зной

1ответ

я слежу за те же самые инструкции: http://lamp.epfl.ch/files/content/sites/lamp/files/teaching/progfun/ScalacheckTutorial.html добавить scalacheck банки в лестнице-язь, но IDE дает мне это: «объект пр

1зной

1ответ

Передача аргументов в конкретную тестовую среду при использовании только для тестирования с SBT

У меня есть проект SBT с использованием нескольких тестовых фреймворков (ScalaTest и ScalaCheck). По большей части это работает так, как ожидалось. Например. работает тест выполняет обе версии тестов.

0зной

1ответ

scala более высокие виды и масштабируемое равенство

Играли с системой типа scalas, и снова я обнаружил, что сражаюсь с ней. Я создал библиотеку Vector для некоторых простых графических приложений, и я довольно доволен ею. Теперь я хочу проверить свойст

1зной

1ответ

Как проверить функционально подобранную Monad с кошками + дисциплина

Я создал тип типа Monad, который очень похож на тип Play Json Reads[T], называемый ReadYamlValue. trait ReadYamlValue[T] { def read(json: YamlValue): ReadResult[T] // ... methods include map

3зной

1ответ

Ошибка несоответствия типа в scala для понимания

Я пишу генераторы для следующих ADT. Идея заключается в создании блоков со случайными данными. У меня ошибка компилятора Type mismatch: expected: Seq[Field], actual:Gen[Field] в методе blockGen. Что я

1зной

1ответ

Определение генератора ScalaCheck в терминах другого генератора

Как определить генератор для получения случайных данных для fields данного Block. Ниже приведен код лесов. Мне нужна помощь с выражением для замены ???. Это выражение должно генерировать Seq[Field], н

3зной

1ответ

ScalaCheck, различное поведение при вызове Test.check или Test.checkProperties

У меня есть следующий код, который использует свойства ScalaCheck испытать некоторый класс package quickcheck.tests import org.scalacheck.Arbitrary._ import org.scalacheck.Gen._ import org.scalach