Bounds

io.github.iltotore.iron.Bounds
See theBounds companion trait
object Bounds

Attributes

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

Members list

Givens

Givens

inline given closedBounds[A, L <: A, U <: A, C](using Implication[C, Closed[L, U]], Implication[Closed[L, U], C], Numeric[A]): Bounds[A, C]

Bounds for interval [L, U].

Bounds for interval [L, U].

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala
given negDoubleBounds[C](using Implication[C, Negative], Implication[Negative, C]): Bounds[Double, C]

Attributes

Source
Bounds.scala
given negFloatBounds[C](using Implication[C, Negative], Implication[Negative, C]): Bounds[Float, C]

Attributes

Source
Bounds.scala
given negIntBounds[C](using Implication[C, Negative], Implication[Negative, C]): Bounds[Int, C]

Attributes

Source
Bounds.scala
given negLongBounds[C](using Implication[C, Negative], Implication[Negative, C]): Bounds[Long, C]

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala

Attributes

Source
Bounds.scala
given posDoubleBounds[C](using Implication[C, Positive], Implication[Positive, C]): Bounds[Double, C]

Attributes

Source
Bounds.scala
given posFloatBounds[C](using Implication[C, Positive], Implication[Positive, C]): Bounds[Float, C]

Attributes

Source
Bounds.scala
given posIntBounds[C](using Implication[C, Positive], Implication[Positive, C]): Bounds[Int, C]

Attributes

Source
Bounds.scala
given posLongBounds[C](using Implication[C, Positive], Implication[Positive, C]): Bounds[Long, C]

Attributes

Source
Bounds.scala