iron-scalacheck
API
Generated with
iron-scalacheck/io.github.iltotore.iron.scalacheck/collection

collection

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

Attributes

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]]]
inline given empty[A, CC[_]](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A]): Arbitrary[IronType[CC[A], Empty]]
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]]]
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]]]
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]]]
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]]]
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]]]
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]]]
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]]]
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]]]
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]]]
inline given notEmptyCollection[CC, A](using evb: Buildable[A, CC], ev2: CC => Iterable[A], arb: Arbitrary[A]): Arbitrary[IronType[CC, Not[Empty]]]
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]]]
Generated with