AnyArbitrary

io.github.iltotore.iron.scalacheck.AnyArbitrary

Attributes

Source
any.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object all
object any

Members list

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