Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/io.github.iltotore.iron.scalacheck/all

all

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

Attributes

Source
all.scala
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
Source
any.scala
inline given fallback[A : Arbitrary, C](implicit evidence$1: Arbitrary[A], inline constraint: Constraint[A, C]): Arbitrary[IronType[A, C]]

Attributes

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

Attributes

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

Attributes

Inherited from:
AnyArbitrary
Source
any.scala

Exports

Defined exports

inline export closed[A : Choose, V1 <: A, V2 <: A]
Exported from numeric

Attributes

Source
numeric.scala
inline export closedOpen[A : Choose, V1 <: A, V2 <: A](implicit evidence$13: Numeric[A], evidence$14: Choose[A], adj: Adjacent[A])
Exported from numeric

Attributes

Source
numeric.scala
inline export contain[A, V <: A, CC[_]](using arb: Arbitrary[A], buildable: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection

Attributes

Source
collection.scala
inline export contain[V <: String](using stringArb: Arbitrary[String])
Exported from string

Attributes

Source
string.scala
inline export digit
Exported from char

Attributes

Source
char.scala
inline export empty[A, CC[_]](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection

Attributes

Source
collection.scala
inline export endWith[V <: String]
Exported from string

Attributes

Source
string.scala
inline export exactLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection

Attributes

Source
collection.scala
inline export exactLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], FixedLength[V]]])
Exported from string

Attributes

Source
string.scala
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

Attributes

Source
collection.scala
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

Attributes

Source
collection.scala
inline export forAll[V](using listArb: Arbitrary[IronType[List[Char], ForAll[V]]])
Exported from string

Attributes

Source
string.scala
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

Attributes

Source
numeric.scala
inline export gteq[A : Choose, V1 <: A](implicit evidence$3: Numeric[A], evidence$4: Choose[A], max: Max[A])
Exported from numeric

Attributes

Source
numeric.scala
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

Attributes

Source
collection.scala
inline export head[V](using listArb: Arbitrary[IronType[List[Char], Head[V]]])
Exported from string

Attributes

Source
string.scala
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

Attributes

Source
collection.scala
inline export init[V](using listArb: Arbitrary[IronType[List[Char], Init[V]]])
Exported from string

Attributes

Source
string.scala
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

Attributes

Source
collection.scala
inline export last[V](using listArb: Arbitrary[IronType[List[Char], Last[V]]])
Exported from string

Attributes

Source
string.scala
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

Attributes

Source
collection.scala
inline export letter
Exported from char

Attributes

Source
char.scala
inline export lowerCase
Exported from char

Attributes

Source
char.scala
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

Attributes

Source
numeric.scala
inline export lteq[A : Choose, V1 <: A](implicit evidence$7: Numeric[A], evidence$8: Choose[A], min: Min[A])
Exported from numeric

Attributes

Source
numeric.scala
inline export maxLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection

Attributes

Source
collection.scala
inline export maxLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MaxLength[V]]])
Exported from string

Attributes

Source
string.scala
inline export minLength[A, CC[_], V <: Int](using arbElem: Arbitrary[A], evb: Buildable[A, CC[A]], evt: CC[A] => Iterable[A])
Exported from collection

Attributes

Source
collection.scala
inline export minLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MinLength[V]]])
Exported from string

Attributes

Source
string.scala
inline export notEmptyCollection[CC, A](using evb: Buildable[A, CC], ev2: CC => Iterable[A], arb: Arbitrary[A])
Exported from collection

Attributes

Source
collection.scala
inline export notEmptyString
Exported from string

Attributes

Source
string.scala
inline export open[A : Choose, V1 <: A, V2 <: A](implicit evidence$15: Numeric[A], evidence$16: Choose[A], adj: Adjacent[A])
Exported from numeric

Attributes

Source
numeric.scala
inline export openClosed[A : Choose, V1 <: A, V2 <: A](implicit evidence$11: Numeric[A], evidence$12: Choose[A], adj: Adjacent[A])
Exported from numeric

Attributes

Source
numeric.scala
inline export special
Exported from char

Attributes

Source
char.scala
inline export startWith[V <: String]
Exported from string

Attributes

Source
string.scala
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

Attributes

Source
collection.scala
inline export tail[V](using listArb: Arbitrary[IronType[List[Char], Tail[V]]])
Exported from string

Attributes

Source
string.scala
inline export upperCase
Exported from char

Attributes

Source
char.scala
inline export whitespace
Exported from char

Attributes

Source
char.scala
Generated with