collection

io.github.iltotore.iron.scalacheck.collection
object collection

Attributes

Source
collection.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
collection.type

Members list

Givens

Givens

inline given contain[A, V <: A, CC[_]](using arb: Arbitrary[A], buildable: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Contain[V]]]

Attributes

Source
collection.scala
inline given empty[A, CC[_]](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Empty]]

Attributes

Source
collection.scala
inline given exactLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], FixedLength[V]]]

Attributes

Source
collection.scala
inline given exists[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Exists[C]]]

Attributes

Source
collection.scala
inline given forAll[A, CC[_], C](using arb: Arbitrary[IronType[A, C]], evb: Buildable[IronType[A, C], CC[IronType[A, C]]], evt: (CC[IronType[A, C]]) => Iterable[IronType[A, C]]): Arbitrary[IronType[CC[A], ForAll[C]]]

Attributes

Source
collection.scala
inline given head[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Head[C]]]

Attributes

Source
collection.scala
inline given init[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Init[C]]]

Attributes

Source
collection.scala
inline given last[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Last[C]]]

Attributes

Source
collection.scala
inline given length[A, CC[_], C](using arbLength: Arbitrary[IronType[Int, C]], arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Length[C]]]

Attributes

Source
collection.scala
inline given maxLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], MaxLength[V]]]

Attributes

Source
collection.scala
inline given minLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], MinLength[V]]]

Attributes

Source
collection.scala
inline given notEmptyCollection[CC, A](using evb: Buildable[A, CC], ev2: CC => Iterable[A], arb: Arbitrary[A]): Arbitrary[IronType[CC, Not[Empty]]]

Attributes

Source
collection.scala
inline given tail[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: (CC[A]) => Iterable[A]): Arbitrary[IronType[CC[A], Tail[C]]]

Attributes

Source
collection.scala