iron-scalacheck
iron-scalacheck
API
io.github.iltotore.iron.scalacheck
Adjacent
Adjacent
given_Adjacent_Double
given_Adjacent_Float
given_Adjacent_Int
given_Adjacent_Long
AnyArbitrary
LowPriorityArbitrary
LowPriorityArbitrary2
Max
Max
Min
Min
all
any
char
collection
numeric
string
iron-scalacheck
/
io.github.iltotore.iron.scalacheck
/
collection
collection
io.github.iltotore.iron.scalacheck.collection
object
collection
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
collection
.type
Members list
Clear all
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
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
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
]]]
In this article
Attributes
Members list
Givens
Givens