eu.timepit.refined.scalacheck

all

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

Source
all.scala
Linear Supertypes
StringInstances, RefTypeInstances, NumericInstances, GenericInstances, CharInstances, BooleanInstances, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. all
  2. StringInstances
  3. RefTypeInstances
  4. NumericInstances
  5. GenericInstances
  6. CharInstances
  7. BooleanInstances
  8. AnyRef
  9. 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 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

  10. def clone(): AnyRef

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

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

    Definition Classes
    CharInstances

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

    Definition Classes
    StringInstances

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

    Definition Classes
    AnyRef

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

    Definition Classes
    GenericInstances

  15. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  18. implicit def greaterArbitraryNat[F[_, _], T, N <: Nat](implicit arg0: RefType[F], arg1: Choose[T], arg2: Adjacent[T], bounded: Bounded[T], nt: Numeric[T], tn: ToInt[N]): Arbitrary[F[T, Greater[N]]]

    Definition Classes
    NumericInstances

  19. implicit def greaterArbitraryWit[F[_, _], T, N <: T](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], bounded: Bounded[T], wn: Aux[N]): Arbitrary[F[T, Greater[N]]]

    Definition Classes
    NumericInstances

  20. implicit def greaterEqualArbitraryNat[F[_, _], T, N <: Nat](implicit arg0: RefType[F], arg1: Choose[T], bounded: Bounded[T], nt: Numeric[T], tn: ToInt[N]): Arbitrary[F[T, GreaterEqual[N]]]

    Definition Classes
    NumericInstances

  21. implicit def greaterEqualArbitraryWit[F[_, _], T, N <: T](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], bounded: Bounded[T], wn: Aux[N]): Arbitrary[F[T, GreaterEqual[N]]]

    Definition Classes
    NumericInstances

  22. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    NumericInstances

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

    Definition Classes
    NumericInstances

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

    Definition Classes
    NumericInstances

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

    Definition Classes
    NumericInstances

  27. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  28. implicit def lessArbitraryNat[F[_, _], T, N <: Nat](implicit arg0: RefType[F], arg1: Choose[T], arg2: Adjacent[T], bounded: Bounded[T], nt: Numeric[T], tn: ToInt[N]): Arbitrary[F[T, Less[N]]]

    Definition Classes
    NumericInstances

  29. implicit def lessArbitraryWit[F[_, _], T, N <: T](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], arg3: Adjacent[T], bounded: Bounded[T], wn: Aux[N]): Arbitrary[F[T, Less[N]]]

    Definition Classes
    NumericInstances

  30. implicit def lessEqualArbitraryNat[F[_, _], T, N <: Nat](implicit arg0: RefType[F], arg1: Choose[T], bounded: Bounded[T], nt: Numeric[T], tn: ToInt[N]): Arbitrary[F[T, LessEqual[N]]]

    Definition Classes
    NumericInstances

  31. implicit def lessEqualArbitraryWit[F[_, _], T, N <: T](implicit arg0: RefType[F], arg1: Numeric[T], arg2: Choose[T], bounded: Bounded[T], wn: Aux[N]): Arbitrary[F[T, LessEqual[N]]]

    Definition Classes
    NumericInstances

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

    Definition Classes
    CharInstances

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

    Definition Classes
    CharInstances

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

    Definition Classes
    AnyRef

  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. 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. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    CharInstances

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