LowPriorityArbitrary

io.github.iltotore.iron.scalacheck.LowPriorityArbitrary

Attributes

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

Members list

Givens

Givens

inline given equivalence[A, C1, C2](using Implication[C1, C2], Implication[C2, C1], Arbitrary[IronType[A, C1]]): Arbitrary[IronType[A, C2]]

Attributes

Source
any.scala

Inherited givens

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