zio-test-refined/zio.test.refined/CollectionInstances

CollectionInstances

trait CollectionInstances
class Object
trait Matchable
class Any
object all.type
object collection.type

Value members

Concrete methods

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]]]
def nonEmptyChunkRefinedGen[R <: Random & Sized, T](implicit genT: Gen[R, T]): Gen[R, Refined[NonEmptyChunk[T], NonEmpty]]
def nonEmptyListRefinedGen[R <: Random & Sized, T](implicit genT: Gen[R, T]): Gen[R, Refined[List[T], NonEmpty]]
def nonEmptyVectorRefinedGen[R <: Random & Sized, T](implicit genT: Gen[R, T]): Gen[R, Refined[Vector[T], NonEmpty]]
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]]]
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]]]

Implicits

Implicits

implicit def listSizeRefinedDeriveGen[T, P](implicit deriveGenT: DeriveGen[T], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[List[T], Size[P]]]
implicit def nonEmptyChunkRefinedDeriveGen[C, T](implicit deriveGenT: DeriveGen[T]): DeriveGen[Refined[NonEmptyChunk[T], NonEmpty]]
implicit def nonEmptyListRefinedDeriveGen[T](implicit deriveGenT: DeriveGen[T]): DeriveGen[Refined[List[T], NonEmpty]]
implicit def nonEmptyVectorRefinedDeriveGen[T](implicit deriveGenT: DeriveGen[T]): DeriveGen[Refined[Vector[T], NonEmpty]]
implicit def sizedChunkRefinedDeriveGen[T, P](implicit deriveGenT: DeriveGen[T], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[Chunk[T], Size[P]]]
implicit def vectorSizeRefinedDeriveGen[T, P](implicit deriveGenT: DeriveGen[T], deriveGenSize: DeriveGen[Refined[Int, P]]): DeriveGen[Refined[Vector[T], Size[P]]]