eu.timepit.refined.scalacheck

all

object all extends BooleanInstances with CharInstances with GenericInstances with NumericInstances with RefTypeInstances with StringInstances with CollectionInstances

Source
all.scala
Linear Supertypes
CollectionInstances, StringInstances, RefTypeInstances, NumericInstances, GenericInstances, CharInstances, BooleanInstances, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. all
  2. CollectionInstances
  3. StringInstances
  4. RefTypeInstances
  5. NumericInstances
  6. GenericInstances
  7. CharInstances
  8. BooleanInstances
  9. AnyRef
  10. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]]

    Definition Classes
    RefTypeInstances

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  8. def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop

    Definition Classes
    RefTypeInstances

  9. def checkArbitraryRefinedType[FTP](implicit arb: Arbitrary[FTP], rt: RefinedType[FTP]): Prop

    Definition Classes
    RefTypeInstances

  10. def chooseRefinedNum[F[_, _], T, P](min: F[T, P], max: F[T, P])(implicit arg0: Numeric[T], arg1: Choose[T], rt: RefType[F], v: Validate[T, P]): Gen[F[T, P]]

    A generator that generates a random value in the given (inclusive) range that satisfies the predicate P.

    A generator that generates a random value in the given (inclusive) range that satisfies the predicate P. If the range is invalid, the generator will not generate any value.

    This is like ScalaCheck's Gen.chooseNum but for refined types.

    Definition Classes
    NumericInstances

  11. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  12. implicit def digitArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, Digit]]

    Definition Classes
    CharInstances

  13. implicit def endsWithArbitrary[F[_, _], S <: String](implicit rt: RefType[F], ws: Aux[S]): Arbitrary[F[String, EndsWith[S]]]

    Definition Classes
    StringInstances

  14. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  15. implicit def equalArbitrary[F[_, _], T, U <: T](implicit arg0: RefType[F], wu: Aux[U]): Arbitrary[F[T, Equal[U]]]

    Definition Classes
    GenericInstances

  16. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  17. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  18. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  19. implicit def greaterArbitrary[F[_, _], T, N](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], max: Max[T], wn: WitnessAs[N, T]): Arbitrary[F[T, Greater[N]]]

    Definition Classes
    NumericInstances

  20. implicit def greaterEqualArbitrary[F[_, _], T, N](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], max: Max[T], wn: WitnessAs[N, T]): Arbitrary[F[T, GreaterEqual[N]]]

    Definition Classes
    NumericInstances

  21. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  22. implicit def intervalClosedArbitrary[F[_, _], T, L, H](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], wl: WitnessAs[L, T], wh: WitnessAs[H, T]): Arbitrary[F[T, Closed[L, H]]]

    Definition Classes
    NumericInstances

  23. implicit def intervalClosedOpenArbitrary[F[_, _], T, L, H](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], wl: WitnessAs[L, T], wh: WitnessAs[H, T]): Arbitrary[F[T, ClosedOpen[L, H]]]

    Definition Classes
    NumericInstances

  24. implicit def intervalOpenArbitrary[F[_, _], T, L, H](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], wl: WitnessAs[L, T], wh: WitnessAs[H, T]): Arbitrary[F[T, Open[L, H]]]

    Definition Classes
    NumericInstances

  25. implicit def intervalOpenClosedArbitrary[F[_, _], T, L, H](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], wl: WitnessAs[L, T], wh: WitnessAs[H, T]): Arbitrary[F[T, OpenClosed[L, H]]]

    Definition Classes
    NumericInstances

  26. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  27. implicit def lessArbitrary[F[_, _], T, N](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], min: Min[T], wn: WitnessAs[N, T]): Arbitrary[F[T, Less[N]]]

    Definition Classes
    NumericInstances

  28. implicit def lessEqualArbitrary[F[_, _], T, N](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], min: Min[T], wn: WitnessAs[N, T]): Arbitrary[F[T, LessEqual[N]]]

    Definition Classes
    NumericInstances

  29. implicit def letterArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, Letter]]

    Definition Classes
    CharInstances

  30. implicit def listSizeArbitrary[F[_, _], T, P](implicit arg0: RefType[F], arg1: Arbitrary[T], arbSize: Arbitrary[Refined[Int, P]]): Arbitrary[F[List[T], Size[P]]]

    Definition Classes
    CollectionInstances

  31. implicit def lowerCaseArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, LowerCase]]

    Definition Classes
    CharInstances

  32. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  33. implicit def nonEmptyStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, NonEmpty]]

    Definition Classes
    StringInstances

  34. final def notify(): Unit

    Definition Classes
    AnyRef

  35. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  36. implicit def orArbitrary[F[_, _], T, A, B](implicit rt: RefType[F], arbA: Arbitrary[F[T, A]], arbB: Arbitrary[F[T, B]]): Arbitrary[F[T, Or[A, B]]]

    Definition Classes
    BooleanInstances

  37. implicit def refTypeCogen[F[_, _], T, P](implicit arg0: Cogen[T], rt: RefType[F]): Cogen[F[T, P]]

    Definition Classes
    RefTypeInstances

  38. implicit def startsWithArbitrary[F[_, _], S <: String](implicit rt: RefType[F], ws: Aux[S]): Arbitrary[F[String, StartsWith[S]]]

    Definition Classes
    StringInstances

  39. implicit def stringSizeArbitrary[F[_, _], P](implicit arg0: RefType[F], arbChar: Arbitrary[Char], arbSize: Arbitrary[Refined[Int, P]]): Arbitrary[F[String, Size[P]]]

    Definition Classes
    StringInstances

  40. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  41. def toString(): String

    Definition Classes
    AnyRef → Any

  42. implicit def upperCaseArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, UpperCase]]

    Definition Classes
    CharInstances

  43. implicit def vectorSizeArbitrary[F[_, _], T, P](implicit arg0: RefType[F], arg1: Arbitrary[T], arbSize: Arbitrary[Refined[Int, P]]): Arbitrary[F[Vector[T], Size[P]]]

    Definition Classes
    CollectionInstances

  44. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  45. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  46. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  47. implicit def whitespaceArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, Whitespace]]

    Definition Classes
    CharInstances

Inherited from CollectionInstances

Inherited from StringInstances

Inherited from RefTypeInstances

Inherited from NumericInstances

Inherited from GenericInstances

Inherited from CharInstances

Inherited from BooleanInstances

Inherited from AnyRef

Inherited from Any

Ungrouped