Iron
2.5.0-4-074122-SNAPSHOT
DocsAPI
Generated with
Iron/io.github.iltotore.iron/io.github.iltotore.iron.scalacheck/numeric

numeric

io.github.iltotore.iron.scalacheck.numeric
object numeric

Attributes

Source
numeric.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
numeric.type

Members list

Value members

Concrete methods

def intervalArbitrary[A : Choose, C](min: A, max: A): Arbitrary[IronType[A, C]]

Attributes

Source
numeric.scala

Givens

Givens

inline given closed[A : Choose, V1 <: A, V2 <: A]: Arbitrary[IronType[A, Closed[V1, V2]]]

Attributes

Source
numeric.scala
inline given closedOpen[A : Choose, V1 <: A, V2 <: A](implicit evidence$13: Numeric[A], evidence$14: Choose[A], adj: Adjacent[A]): Arbitrary[IronType[A, ClosedOpen[V1, V2]]]

Attributes

Source
numeric.scala
inline given gt[A : Choose, V1 <: A](implicit evidence$1: Numeric[A], evidence$2: Choose[A], max: Max[A], adj: Adjacent[A]): Arbitrary[IronType[A, Greater[V1]]]

Attributes

Source
numeric.scala
inline given gteq[A : Choose, V1 <: A](implicit evidence$3: Numeric[A], evidence$4: Choose[A], max: Max[A]): Arbitrary[IronType[A, GreaterEqual[V1]]]

Attributes

Source
numeric.scala
inline given lt[A : Choose, V1 <: A](implicit evidence$5: Numeric[A], evidence$6: Choose[A], min: Min[A], adj: Adjacent[A]): Arbitrary[IronType[A, Less[V1]]]

Attributes

Source
numeric.scala
inline given lteq[A : Choose, V1 <: A](implicit evidence$7: Numeric[A], evidence$8: Choose[A], min: Min[A]): Arbitrary[IronType[A, LessEqual[V1]]]

Attributes

Source
numeric.scala
inline given open[A : Choose, V1 <: A, V2 <: A](implicit evidence$15: Numeric[A], evidence$16: Choose[A], adj: Adjacent[A]): Arbitrary[IronType[A, Open[V1, V2]]]

Attributes

Source
numeric.scala
inline given openClosed[A : Choose, V1 <: A, V2 <: A](implicit evidence$11: Numeric[A], evidence$12: Choose[A], adj: Adjacent[A]): Arbitrary[IronType[A, OpenClosed[V1, V2]]]

Attributes

Source
numeric.scala
Generated with