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

all

io.github.iltotore.iron.scalacheck.all
object all extends AnyArbitrary

Attributes

Graph
Supertypes
trait AnyArbitrary
class Object
trait Matchable
class Any
Show all
Self type
all.type

Members list

Givens

Inherited givens

inline given equivalence[A, C1, C2](using Implication[C1, C2], Implication[C2, C1], Arbitrary[IronType[A, C1]]): Arbitrary[IronType[A, C2]]

Attributes

Inherited from:
LowPriorityArbitrary
inline given fallback[A : Arbitrary, C](implicit evidence$1: Arbitrary[A], inline constraint: Constraint[A, C]): Arbitrary[IronType[A, C]]

Attributes

Inherited from:
LowPriorityArbitrary2
inline given strictEqual[A, V <: A]: Arbitrary[IronType[A, StrictEqual[V]]]

Attributes

Inherited from:
AnyArbitrary
inline given union[A, C](using IsUnion[C]): Arbitrary[IronType[A, C]]

Attributes

Inherited from:
AnyArbitrary

Exports

Defined exports

inline export closed[A : Choose, V1 <: A, V2 <: A]
Exported from numeric
inline export closedOpen[A : Choose, V1 <: A, V2 <: A](implicit evidence$13: Numeric[A], evidence$14: Choose[A], adj: Adjacent[A])
Exported from numeric
inline export contain[A, V <: A, CC[_]](using arb: Arbitrary[A], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export contain[V <: String](using stringArb: Arbitrary[String])
Exported from string
inline export digit
Exported from char
inline export empty[A, CC[_]](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export endWith[V <: String]
Exported from string
inline export exactLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export exactLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], FixedLength[V]]])
Exported from string
inline export exists[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export 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]])
Exported from collection
inline export forAll[V](using listArb: Arbitrary[IronType[List[Char], ForAll[V]]])
Exported from string
inline export gt[A : Choose, V1 <: A](implicit evidence$1: Numeric[A], evidence$2: Choose[A], max: Max[A], adj: Adjacent[A])
Exported from numeric
inline export gteq[A : Choose, V1 <: A](implicit evidence$3: Numeric[A], evidence$4: Choose[A], max: Max[A])
Exported from numeric
inline export head[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export head[V](using listArb: Arbitrary[IronType[List[Char], Head[V]]])
Exported from string
inline export init[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export init[V](using listArb: Arbitrary[IronType[List[Char], Init[V]]])
Exported from string
inline export last[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export last[V](using listArb: Arbitrary[IronType[List[Char], Last[V]]])
Exported from string
inline export length[A, CC[_], C](using arbLength: Arbitrary[IronType[Int, C]], arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export letter
Exported from char
inline export lowerCase
Exported from char
inline export lt[A : Choose, V1 <: A](implicit evidence$5: Numeric[A], evidence$6: Choose[A], min: Min[A], adj: Adjacent[A])
Exported from numeric
inline export lteq[A : Choose, V1 <: A](implicit evidence$7: Numeric[A], evidence$8: Choose[A], min: Min[A])
Exported from numeric
inline export maxLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export maxLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MaxLength[V]]])
Exported from string
inline export minLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export minLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MinLength[V]]])
Exported from string
inline export notEmptyCollection[CC, A](using evb: Buildable[A, CC], ev2: CC => Iterable[A], arb: Arbitrary[A])
Exported from collection
inline export notEmptyString
Exported from string
inline export open[A : Choose, V1 <: A, V2 <: A](implicit evidence$15: Numeric[A], evidence$16: Choose[A], adj: Adjacent[A])
Exported from numeric
inline export openClosed[A : Choose, V1 <: A, V2 <: A](implicit evidence$11: Numeric[A], evidence$12: Choose[A], adj: Adjacent[A])
Exported from numeric
inline export special
Exported from char
inline export startWith[V <: String]
Exported from string
inline export tail[A, CC[_], C](using arb: Arbitrary[A], arbConstrained: Arbitrary[IronType[A, C]], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection
inline export tail[V](using listArb: Arbitrary[IronType[List[Char], Tail[V]]])
Exported from string
inline export upperCase
Exported from char
inline export whitespace
Exported from char
Generated with