zio-test-refined/zio.test.refined/all

all

object all extends BooleanInstances with CharInstances with CollectionInstances with GenericInstances with StringInstances with NumericInstances with AllTypesInstances
class Object
trait Matchable
class Any
all.type

Type members

Inherited classlikes

class FiniteStringPartiallyApplied[N <: Int, P](min: Int)
Inherited from:
StringInstance

Value members

Inherited methods

def byteGreaterThanGen[N](implicit wn: WitnessAs[N, Byte]): Gen[Random, Refined[Byte, Greater[N]]]
Inherited from:
NumericInstances
def byteLessThanGen[N](implicit wn: WitnessAs[N, Byte]): Gen[Random, Refined[Byte, Less[N]]]
Inherited from:
NumericInstances
def doubleGreaterThanGen[N](implicit wn: WitnessAs[N, Double]): Gen[Random, Refined[Double, Greater[N]]]
Inherited from:
NumericInstances
def doubleLessThanGen[N](implicit wn: WitnessAs[N, Double]): Gen[Random, Refined[Double, Less[N]]]
Inherited from:
NumericInstances
def endsWithString1Gen[R <: Random & Sized, S <: String](implicit ws: Aux[S], charGen: Gen[R, Char]): Gen[R, Refined[String, EndsWith[S]]]
Inherited from:
StringInstances
def endsWithStringGen[R <: Random & Sized, S <: String](implicit ws: Aux[S], charGen: Gen[R, Char]): Gen[R, Refined[String, EndsWith[S]]]
Inherited from:
StringInstances
def endsWithStringNGen[R <: Random & Sized, S <: String, P](implicit ws: Aux[S], charGen: Gen[R, Char], sizeGen: Gen[R, Refined[Int, P]]): Gen[R, Refined[String, EndsWith[S]]]
Inherited from:
StringInstances
def equalArbitraryGen[T, U <: T](implicit wu: Aux[U]): Gen[Random & Sized, Refined[T, Equal[U]]]
Inherited from:
GenericInstances
def intGreaterThanGen[N](implicit wn: WitnessAs[N, Int]): Gen[Random, Refined[Int, Greater[N]]]
Inherited from:
NumericInstances
def intLessThanGen[N](implicit wn: WitnessAs[N, Int]): Gen[Random, Refined[Int, Less[N]]]
Inherited from:
NumericInstances
def listSizeRefinedGen[R <: Random & Sized, T, P](implicit genT: Gen[R, T], sizeGen: Gen[R, Refined[Int, P]]): Gen[R, Refined[List[T], Size[P]]]
Inherited from:
CollectionInstances
def longGreaterThanGen[N](implicit wn: WitnessAs[N, Long]): Gen[Random, Refined[Long, Greater[N]]]
Inherited from:
NumericInstances
def longLessThanGen[N](implicit wn: WitnessAs[N, Long]): Gen[Random, Refined[Long, Less[N]]]
Inherited from:
NumericInstances
def nonEmptyChunkRefinedGen[R <: Random & Sized, T](implicit genT: Gen[R, T]): Gen[R, Refined[NonEmptyChunk[T], NonEmpty]]
Inherited from:
CollectionInstances
def nonEmptyListRefinedGen[R <: Random & Sized, T](implicit genT: Gen[R, T]): Gen[R, Refined[List[T], NonEmpty]]
Inherited from:
CollectionInstances
def nonEmptyStringGen[R](charGen: Gen[R, Char]): Gen[R & Random & Sized, NonEmptyString]
Inherited from:
StringInstance
def nonEmptyVectorRefinedGen[R <: Random & Sized, T](implicit genT: Gen[R, T]): Gen[R, Refined[Vector[T], NonEmpty]]
Inherited from:
CollectionInstances
def orGen[R <: Random, T, A, B](implicit genA: Gen[R, T], genB: Gen[R, T]): Gen[R, Refined[T, Or[A, B]]]
Inherited from:
BooleanInstances
def shortGreaterThanGen[N](implicit wn: WitnessAs[N, Short]): Gen[Random, Refined[Short, Greater[N]]]
Inherited from:
NumericInstances
def shortLessThanGen[N](implicit wn: WitnessAs[N, Short]): Gen[Random, Refined[Short, Less[N]]]
Inherited from:
NumericInstances
def sizedChunkRefinedGen[R <: Random & Sized, T, P](implicit genT: Gen[R, T], sizeGen: Gen[R, Refined[Int, P]]): Gen[R, Refined[Chunk[T], Size[P]]]
Inherited from:
CollectionInstances
def startsWithString1Gen[R <: Random & Sized, S <: String](implicit ws: Aux[S], charGen: Gen[R, Char]): Gen[R, Refined[String, StartsWith[S]]]
Inherited from:
StringInstances
def startsWithStringGen[R <: Random & Sized, S <: String](implicit ws: Aux[S], charGen: Gen[R, Char]): Gen[R, Refined[String, StartsWith[S]]]
Inherited from:
StringInstances
def startsWithStringNGen[R <: Random & Sized, S <: String, P](implicit ws: Aux[S], charGen: Gen[R, Char], sizeGen: Gen[R, Refined[Int, P]]): Gen[R, Refined[String, StartsWith[S]]]
Inherited from:
StringInstances
def trimmedStringGen[R](charGen: Gen[R, Char]): Gen[R & Random & Sized, TrimmedString]
Inherited from:
StringInstance
def vectorSizeRefinedGen[R <: Random & Sized, T, P](implicit genT: Gen[R, T], sizeGen: Gen[R, Refined[Int, P]]): Gen[R, Refined[Vector[T], Size[P]]]
Inherited from:
CollectionInstances

Inherited fields

val dayGen: Gen[Random, Day]
Inherited from:
TimeInstances
val hourGen: Gen[Random, Hour]
Inherited from:
TimeInstances
val md5Gen: Gen[Random, MD5]
Inherited from:
DigitInstances
val millsGen: Gen[Random, Millis]
Inherited from:
TimeInstances
val minuteGen: Gen[Random, Minute]
Inherited from:
TimeInstances
val monthGen: Gen[Random, Month]
Inherited from:
TimeInstances
val secondGen: Gen[Random, Second]
Inherited from:
TimeInstances
val sha1Gen: Gen[Random, SHA1]
Inherited from:
DigitInstances

Implicits

Inherited implicits

implicit def byteGreaterThan[N](implicit wn: WitnessAs[N, Byte]): DeriveGen[Refined[Byte, Greater[N]]]
Inherited from:
NumericInstances
implicit def byteLessThan[N](implicit wn: WitnessAs[N, Byte]): DeriveGen[Refined[Byte, Less[N]]]
Inherited from:
NumericInstances
implicit def dayDeriveGen: DeriveGen[Day]
Inherited from:
TimeInstances
implicit def digitArbitrary: DeriveGen[Refined[Char, Digit]]
Inherited from:
CharInstances
implicit def doubleGreaterThan[N](implicit wn: WitnessAs[N, Double]): DeriveGen[Refined[Double, Greater[N]]]
Inherited from:
NumericInstances
implicit def doubleLessThan[N](implicit wn: WitnessAs[N, Double]): DeriveGen[Refined[Double, Less[N]]]
Inherited from:
NumericInstances
implicit def endsWithString1DeriveGen[S <: String](implicit ws: Aux[S], deriveGenT: DeriveGen[Char]): DeriveGen[Refined[String, EndsWith[S]]]
Inherited from:
StringInstances
implicit def endsWithStringDeriveGen[S <: String](implicit ws: Aux[S], deriveGenT: DeriveGen[Char]): DeriveGen[Refined[String, EndsWith[S]]]
Inherited from:
StringInstances
implicit def endsWithStringNDeriveGen[S <: String, P](implicit ws: Aux[S], deriveGenT: DeriveGen[Char], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[String, EndsWith[S]]]
Inherited from:
StringInstances
implicit def equalArbitrary[T, U <: T](implicit wu: Aux[U]): DeriveGen[Refined[T, Equal[U]]]
Inherited from:
GenericInstances
implicit def finiteStringDeriveGen[N <: Int](implicit ws: Aux[N], charGen: DeriveGen[Char]): DeriveGen[FiniteString[N]]
Inherited from:
StringInstance
implicit def hexStringDeriveGen[R]: DeriveGen[HexString]
Inherited from:
StringInstance
implicit def hourDeriveGen: DeriveGen[Hour]
Inherited from:
TimeInstances
implicit def intGreaterThan[N](implicit wn: WitnessAs[N, Int]): DeriveGen[Refined[Int, Greater[N]]]
Inherited from:
NumericInstances
implicit def intLessThan[N](implicit wn: WitnessAs[N, Int]): DeriveGen[Refined[Int, Less[N]]]
Inherited from:
NumericInstances
implicit def letterDeriveGen: DeriveGen[Refined[Char, Letter]]
Inherited from:
CharInstances
implicit def listSizeRefinedDeriveGen[T, P](implicit deriveGenT: DeriveGen[T], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[List[T], Size[P]]]
Inherited from:
CollectionInstances
implicit def longGreaterThan[N](implicit wn: WitnessAs[N, Long]): DeriveGen[Refined[Long, Greater[N]]]
Inherited from:
NumericInstances
implicit def longLessThan[N](implicit wn: WitnessAs[N, Long]): DeriveGen[Refined[Long, Less[N]]]
Inherited from:
NumericInstances
implicit val md5Arbitrary: DeriveGen[MD5]
Inherited from:
DigitInstances
implicit def millsDeriveGen: DeriveGen[Millis]
Inherited from:
TimeInstances
implicit def minuteDeriveGen: DeriveGen[Minute]
Inherited from:
TimeInstances
implicit def monthDeriveGen: DeriveGen[Month]
Inherited from:
TimeInstances
implicit val negByteDeriveGen: DeriveGen[NegByte]
Inherited from:
NumericInstances
implicit val negIntDeriveGen: DeriveGen[NegInt]
Inherited from:
NumericInstances
implicit val negLongDeriveGen: DeriveGen[NegLong]
Inherited from:
NumericInstances
implicit def nonEmptyChunkRefinedDeriveGen[C, T](implicit deriveGenT: DeriveGen[T]): DeriveGen[Refined[NonEmptyChunk[T], NonEmpty]]
Inherited from:
CollectionInstances
implicit def nonEmptyFiniteStringDeriveGen[N <: Int](implicit ws: Aux[N], charGen: DeriveGen[Char]): DeriveGen[NonEmptyFiniteString[N]]
Inherited from:
StringInstance
implicit def nonEmptyListRefinedDeriveGen[T](implicit deriveGenT: DeriveGen[T]): DeriveGen[Refined[List[T], NonEmpty]]
Inherited from:
CollectionInstances
implicit def nonEmptyStringDeriveGen[R](implicit charGen: DeriveGen[Char]): DeriveGen[NonEmptyString]
Inherited from:
StringInstance
implicit def nonEmptyVectorRefinedDeriveGen[T](implicit deriveGenT: DeriveGen[T]): DeriveGen[Refined[Vector[T], NonEmpty]]
Inherited from:
CollectionInstances
implicit def orDeriveGen[T, A, B](implicit raGen: DeriveGen[Refined[T, A]], rbGen: DeriveGen[Refined[T, B]]): DeriveGen[Refined[T, Or[A, B]]]
Inherited from:
BooleanInstances
implicit val posByteDeriveGen: DeriveGen[PosByte]
Inherited from:
NumericInstances
implicit val posIntDeriveGen: DeriveGen[PosInt]
Inherited from:
NumericInstances
implicit val posLongDeriveGen: DeriveGen[PosLong]
Inherited from:
NumericInstances
implicit def secondDeriveGen: DeriveGen[Second]
Inherited from:
TimeInstances
implicit val sha1Arbitrary: DeriveGen[SHA1]
Inherited from:
DigitInstances
implicit val sha224Arbitrary: DeriveGen[SHA224]
Inherited from:
DigitInstances
implicit val sha256Arbitrary: DeriveGen[SHA256]
Inherited from:
DigitInstances
implicit val sha384Arbitrary: DeriveGen[SHA384]
Inherited from:
DigitInstances
implicit val sha512Arbitrary: DeriveGen[SHA512]
Inherited from:
DigitInstances
implicit def shortGreaterThan[N](implicit wn: WitnessAs[N, Short]): DeriveGen[Refined[Short, Greater[N]]]
Inherited from:
NumericInstances
implicit def shortLessThan[N](implicit wn: WitnessAs[N, Short]): DeriveGen[Refined[Short, Less[N]]]
Inherited from:
NumericInstances
implicit def sizedChunkRefinedDeriveGen[T, P](implicit deriveGenT: DeriveGen[T], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[Chunk[T], Size[P]]]
Inherited from:
CollectionInstances
implicit def startsWithString1DeriveGen[S <: String](implicit ws: Aux[S], deriveGenT: DeriveGen[Char]): DeriveGen[Refined[String, StartsWith[S]]]
Inherited from:
StringInstances
implicit def startsWithStringDeriveGen[S <: String](implicit ws: Aux[S], deriveGenT: DeriveGen[Char]): DeriveGen[Refined[String, StartsWith[S]]]
Inherited from:
StringInstances
implicit def startsWithStringNDeriveGen[S <: String, P](implicit ws: Aux[S], deriveGenT: DeriveGen[Char], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[String, StartsWith[S]]]
Inherited from:
StringInstances
implicit def trimmedStringDeriveGen[R](implicit charGen: DeriveGen[Char]): DeriveGen[TrimmedString]
Inherited from:
StringInstance
implicit def vectorSizeRefinedDeriveGen[T, P](implicit deriveGenT: DeriveGen[T], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[Vector[T], Size[P]]]
Inherited from:
CollectionInstances