Skip to content

Commit

Permalink
forgot some files
Browse files Browse the repository at this point in the history
  • Loading branch information
stew committed Apr 10, 2016
1 parent 3de8bce commit 3fd8372
Show file tree
Hide file tree
Showing 2 changed files with 35 additions and 0 deletions.
17 changes: 17 additions & 0 deletions tests/src/main/scala/dogs/tests/arbitrary/ArbitraryISet.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
package dogs
package tests.arbitrary

import Predef._
import org.scalacheck.{Gen, Arbitrary}
import Arbitrary.arbitrary
import cats.Order

trait ArbitraryISet {
import set._
def isetGen[A: Arbitrary: Order]: Gen[ISet[A]] =
setGen.map(_.iset)

implicit def isetArbitrary[A: Arbitrary: Order]: Arbitrary[ISet[A]] =
Arbitrary(isetGen[A])
}

18 changes: 18 additions & 0 deletions tests/src/main/scala/dogs/tests/arbitrary/ArbitrarySet.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
package dogs
package tests.arbitrary

import Predef._
import org.scalacheck.{Gen, Arbitrary}
import Arbitrary.arbitrary
import cats.Order

trait ArbitrarySet {

import list._
def setGen[A: Order: Arbitrary]: Gen[Set[A]] =
listGen[A].map(Set.fromList[A])

implicit def setArbitrary[A: Arbitrary: Order]: Arbitrary[Set[A]] =
Arbitrary(setGen[A])
}

0 comments on commit 3fd8372

Please sign in to comment.