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

string

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

Attributes

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]]]
inline given emptyLength(using listArb: Arbitrary[IronType[List[Char], Empty]]): Arbitrary[IronType[String, Empty]]
inline given endWith[V <: String]: Arbitrary[IronType[String, EndWith[V]]]
inline given exactLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], FixedLength[V]]]): Arbitrary[IronType[String, FixedLength[V]]]
inline given forAll[V](using listArb: Arbitrary[IronType[List[Char], ForAll[V]]]): Arbitrary[IronType[String, ForAll[V]]]
inline given head[V](using listArb: Arbitrary[IronType[List[Char], Head[V]]]): Arbitrary[IronType[String, Head[V]]]
inline given init[V](using listArb: Arbitrary[IronType[List[Char], Init[V]]]): Arbitrary[IronType[String, Init[V]]]
inline given last[V](using listArb: Arbitrary[IronType[List[Char], Last[V]]]): Arbitrary[IronType[String, Last[V]]]
inline given maxLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MaxLength[V]]]): Arbitrary[IronType[String, MaxLength[V]]]
inline given minLength[V <: Int](using listArb: Arbitrary[IronType[List[Char], MinLength[V]]]): Arbitrary[IronType[String, MinLength[V]]]
inline given notEmptyString: Arbitrary[IronType[String, Not[Empty]]]
inline given startWith[V <: String]: Arbitrary[IronType[String, StartWith[V]]]
inline given tail[V](using listArb: Arbitrary[IronType[List[Char], Tail[V]]]): Arbitrary[IronType[String, Tail[V]]]
Generated with