Рассмотрим следующее определение категории: trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } Вот пример унарных функций: object Category { implicit def fCat = new...

Я получаю сообщение об ошибке not found: value pass для приведенного ниже фрагмента кода. Я пропустил какой-либо импорт или этот код недействителен для specs2 ? import org.specs2.mutable.Specification import org.specs2.ScalaCheck import...

Я пытаюсь следовать инструкциям в этом руководстве http://lamp.epfl.ch/files/content/sites/lamp/files/teaching/progfun/ScalacheckTutorial.html , чтобы использовать ScalaCheck в Scala IDE. Однако, когда я создаю первый файл...

Во время тестирования мы хотим квалифицировать символы Юникода, иногда с широкими диапазонами, а иногда с более узкими. Я создал несколько конкретных генераторов: // Generate a wide varying of Unicode strings with all legal characters (21-40...

Попытка добавить scalacheck в пример spray-testkit + spec2: service со следующим маршрутом: def myRoute = get( path("add" / IntNumber / IntNumber) ((a, b) => complete((a+b).toString) ) ) и тестовая спецификация для него:...

Я нахожу использование specs2 со scalacheck для проверки законов моноидов немного уродливым при попытке использовать библиотеку привязки scalacheck scalaz. В моем коде используется моноид scalaz, поэтому я хотел использовать их законы, чтобы...

Как создать список из n уникальных значений ( Gen[List[T]] ) из набора значений (не генераторов) с помощью ScalaCheck? В этом сообщении вместо набора значений используется Gen[T]* , и я не могу его переписать чтобы заставить его работать....