eu.timepit.refined.scalacheck

all

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

Source
all.scala
Linear Supertypes
CollectionInstancesBinCompat1, CollectionInstances, StringInstancesBinCompat1, StringInstances, RefTypeInstances, NumericInstances, GenericInstances, CharInstances, BooleanInstances, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. all
  2. CollectionInstancesBinCompat1
  3. CollectionInstances
  4. StringInstancesBinCompat1
  5. StringInstances
  6. RefTypeInstances
  7. NumericInstances
  8. GenericInstances
  9. CharInstances
  10. BooleanInstances
  11. AnyRef
  12. 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 listNonEmptyArbitrary[F[_, _], T](implicit arg0: RefType[F], arg1: Arbitrary[T]): Arbitrary[F[List[T], NonEmpty]]

    Definition Classes
    CollectionInstancesBinCompat1

  31. 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

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

    Definition Classes
    CharInstances

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

    Definition Classes
    AnyRef

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

    Definition Classes
    StringInstances

  35. final def notify(): Unit

    Definition Classes
    AnyRef

  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  37. 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

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

    Definition Classes
    RefTypeInstances

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

    Definition Classes
    StringInstances

  40. 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

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

    Definition Classes
    AnyRef

  42. def toString(): String

    Definition Classes
    AnyRef → Any

  43. implicit def trimmedStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, Trimmed]]

    Definition Classes
    StringInstancesBinCompat1

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

    Definition Classes
    CharInstances

  45. implicit def vectorNonEmptyArbitrary[F[_, _], T](implicit arg0: RefType[F], arg1: Arbitrary[T]): Arbitrary[F[Vector[T], NonEmpty]]

    Definition Classes
    CollectionInstancesBinCompat1

  46. 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

  47. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    CharInstances

Inherited from CollectionInstancesBinCompat1

Inherited from CollectionInstances

Inherited from StringInstancesBinCompat1

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