any

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

Attributes

Source
any.scala
Graph
Supertypes
trait AnyArbitrary
class Object
trait Matchable
class Any
Show all
Self type
any.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