eu.timepit.refined.scalacheck.generic.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of refined-scalacheck_3 Show documentation

Simple refinement types for Scala

There is a newer version: 0.11.2

package eu.timepit.refined.scalacheck

import eu.timepit.refined.api.RefType
import eu.timepit.refined.generic.Equal
import org.scalacheck.{Arbitrary, Gen}
import shapeless.Witness

/** Module that provides `Arbitrary` instances for generic predicates. */
object generic extends GenericInstances

trait GenericInstances {

  implicit def equalArbitrary[F[_, _]: RefType, T, U <: T](implicit
      wu: Witness.Aux[U]
  ): Arbitrary[F[T, Equal[U]]] =
    arbitraryRefType(Gen.const(wu.value))
}