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

string

io.github.iltotore.iron.scalacheck.string
object string

Attributes

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

Members list

Givens

Givens

inline given contain[V <: String](using stringArb: Arbitrary[String]): Arbitrary[IronType[String, Contain[V]]]

Attributes

Source
string.scala
inline given emptyLength(using listArb: Arbitrary[IronType[List[Char], Empty]]): Arbitrary[IronType[String, Empty]]

Attributes

Source
string.scala
inline given endWith[V <: String]: Arbitrary[IronType[String, EndWith[V]]]

Attributes

Source
string.scala
inline given exactLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], FixedLength[V]]]): Arbitrary[IronType[String, FixedLength[V]]]

Attributes

Source
string.scala
inline given forAll[V](using listArb: Arbitrary[IronType[List[Char], ForAll[V]]]): Arbitrary[IronType[String, ForAll[V]]]

Attributes

Source
string.scala
inline given head[V](using listArb: Arbitrary[IronType[List[Char], Head[V]]]): Arbitrary[IronType[String, Head[V]]]

Attributes

Source
string.scala
inline given init[V](using listArb: Arbitrary[IronType[List[Char], Init[V]]]): Arbitrary[IronType[String, Init[V]]]

Attributes

Source
string.scala
inline given last[V](using listArb: Arbitrary[IronType[List[Char], Last[V]]]): Arbitrary[IronType[String, Last[V]]]

Attributes

Source
string.scala
inline given maxLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MaxLength[V]]]): Arbitrary[IronType[String, MaxLength[V]]]

Attributes

Source
string.scala
inline given minLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MinLength[V]]]): Arbitrary[IronType[String, MinLength[V]]]

Attributes

Source
string.scala
inline given notEmptyString: Arbitrary[IronType[String, Not[Empty]]]

Attributes

Source
string.scala
inline given startWith[V <: String]: Arbitrary[IronType[String, StartWith[V]]]

Attributes

Source
string.scala
inline given tail[V](using listArb: Arbitrary[IronType[List[Char], Tail[V]]]): Arbitrary[IronType[String, Tail[V]]]

Attributes

Source
string.scala
Generated with