Iron
2.6.0-12-a077d1-SNAPSHOT
Iron
Docs
API
io.github.iltotore.iron
constraint
all
any
DescribedAs
DescribedAs
DescribedAsConstraint
False
False
Not
Not
NotConstraint
StrictEqual
StrictEqual
True
True
Xor
Xor
XorConstraint
char
Digit
Digit
Letter
Letter
LowerCase
LowerCase
UpperCase
UpperCase
Whitespace
Whitespace
collection
Contain
Contain
Exists
Exists
ExistsIterable
ExistsString
ForAll
ForAll
ForAllIterable
ForAllString
Head
Head
HeadIterable
HeadString
Init
Init
InitIterable
InitString
Last
Last
LastIterable
LastString
Length
Length
LengthIterable
LengthString
Tail
Tail
TailIterable
TailString
numeric
Divide
Divide
Greater
Greater
Infinity
Infinity
Interval
Less
Less
Multiple
Multiple
NaN
NaN
string
Blank
EndWith
EndWith
Match
Match
StartWith
StartWith
internal
IronConfig
IronConfig
Validation
Valid
Invalid
macros
ReflectUtil
DecodingFailure
NotInlined
DefinitionNotInlined
HasBindings
HasStatements
ApplyNotInlined
VarArgsNotInlined
OrNotInlined
AndNotInlined
StringPartsNotInlined
InterpolatorNotInlined
ExprDecoder
intersection
IsIntersection
IsIntersection
union
IsUnion
IsUnion
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
Constraint
Constraint
IntersectionConstraint
UnionConstraint
Implication
Implication
InvalidValue
IronType
MapLogic
MapLogic
NegShift
NegShift
PosShift
PosShift
RefinedTypeOps
RefinedTypeOps
Mirror
RuntimeConstraint
RuntimeConstraint
cats
circe
ciris
compileTime
decline
doobie
jsoniter
pureconfig
RefinedConfigError
skunk
upickle
zio
zioJson
Iron
/
io.github.iltotore.iron
/
io.github.iltotore.iron.scalacheck
/
AnyArbitrary
AnyArbitrary
io.github.iltotore.iron.scalacheck.AnyArbitrary
trait
AnyArbitrary
extends
LowPriorityArbitrary
Attributes
Source
any.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
LowPriorityArbitrary
trait
LowPriorityArbitrary2
class
Object
trait
Matchable
class
Any
Known subtypes
object
all
object
any
Members list
Clear all
Givens
Givens
inline
given
strictEqual
[
A
,
V
<:
A
]:
Arbitrary
[
IronType
[
A
,
StrictEqual
[
V
]]]
Attributes
Source
any.scala
inline
given
union
[
A
,
C
](
using
IsUnion
[
C
]):
Arbitrary
[
IronType
[
A
,
C
]]
Attributes
Source
any.scala
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
In this article
Attributes
Members list
Givens
Givens
Inherited givens