trait ArbitraryInstances extends BooleanInstances with CharInstances with GenericInstances with NumericInstances with RefTypeInstances with StringInstances
Ordering
- Alphabetic
- By Inheritance
Inherited
- ArbitraryInstances
- StringInstances
- RefTypeInstances
- NumericInstances
- GenericInstances
- CharInstances
- BooleanInstances
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit val arbIllegalPositiveIntString: Arbitrary[IllegalString[Refined[Int, Positive]]]
- implicit val arbLegalPositiveIntString: Arbitrary[LegalString[Refined[Int, Positive]]]
- def arbitraryRefType[F[_, _], T, P](gen: Gen[T])(implicit rt: RefType[F]): Arbitrary[F[T, P]]
- Definition Classes
- RefTypeInstances
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def checkArbitraryRefType[F[_, _], T, P](implicit arb: Arbitrary[F[T, P]], rt: RefType[F], v: Validate[T, P]): Prop
- Definition Classes
- RefTypeInstances
- def checkArbitraryRefinedType[FTP](implicit arb: Arbitrary[FTP], rt: RefinedType[FTP]): Prop
- Definition Classes
- RefTypeInstances
- 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]]
- Definition Classes
- NumericInstances
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- implicit def digitArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, Digit]]
- Definition Classes
- CharInstances
- implicit def endsWithArbitrary[F[_, _], S <: String](implicit rt: RefType[F], ws: Aux[S]): Arbitrary[F[String, EndsWith[S]]]
- Definition Classes
- StringInstances
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- implicit def equalArbitrary[F[_, _], T, U <: T](implicit arg0: RefType[F], wu: Aux[U]): Arbitrary[F[T, Equal[U]]]
- Definition Classes
- GenericInstances
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- 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
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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
- 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
- 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
- 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
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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
- 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
- implicit def letterArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, Letter]]
- Definition Classes
- CharInstances
- implicit def lowerCaseArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, LowerCase]]
- Definition Classes
- CharInstances
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- implicit def nonEmptyStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, NonEmpty]]
- Definition Classes
- StringInstances
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- 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
- implicit def refTypeCogen[F[_, _], T, P](implicit arg0: Cogen[T], rt: RefType[F]): Cogen[F[T, P]]
- Definition Classes
- RefTypeInstances
- implicit def startsWithArbitrary[F[_, _], S <: String](implicit rt: RefType[F], ws: Aux[S]): Arbitrary[F[String, StartsWith[S]]]
- Definition Classes
- StringInstances
- 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
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- implicit def upperCaseArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, UpperCase]]
- Definition Classes
- CharInstances
- implicit def uuidStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, Uuid]]
- Definition Classes
- StringInstances
- implicit def validBigDecimalStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidBigDecimal]]
- Definition Classes
- StringInstances
- implicit def validBigIntStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidBigInt]]
- Definition Classes
- StringInstances
- implicit def validByteStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidByte]]
- Definition Classes
- StringInstances
- implicit def validDoubleStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidDouble]]
- Definition Classes
- StringInstances
- implicit def validFloatStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidFloat]]
- Definition Classes
- StringInstances
- implicit def validIntStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidInt]]
- Definition Classes
- StringInstances
- implicit def validLongStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidLong]]
- Definition Classes
- StringInstances
- implicit def validShortStringArbitrary[F[_, _]](implicit rt: RefType[F]): Arbitrary[F[String, ValidShort]]
- Definition Classes
- StringInstances
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- implicit def whitespaceArbitrary[F[_, _]](implicit arg0: RefType[F]): Arbitrary[F[Char, Whitespace]]
- Definition Classes
- CharInstances