Interval

object Interval
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def above[A : Order](a: A): Interval[A]
def all[A : Order]: Interval[A]
def apply[A : Order](lower: A, upper: A): Interval[A]
def apply(s: String): Interval[Rational]
def atOrAbove[A : Order](a: A): Interval[A]
def atOrBelow[A : Order](a: A): Interval[A]
def below[A : Order](a: A): Interval[A]
def closed[A : Order](lower: A, upper: A): Interval[A]
def empty[A : Order]: Interval[A]
def errorBounds(d: Double): Interval[Rational]

Return an Interval[Rational] that corresponds to the error bounds for the given Double value.

Return an Interval[Rational] that corresponds to the error bounds for the given Double value.

The error bounds are represented as a closed interval, whose lower point is midway between d and the adjacent Double value below it. Similarly, the upper bound is the point midway between d and the adjacent Double value above it.

There are three Double values that return "special" intervals:

 Infinity => Interval.above(Double.MaxValue)
-Infinity => Interval.below(Double.MinValue)
     NaN => Interval.empty
def fromBounds[A : Order](lower: Bound[A], upper: Bound[A]): Interval[A]
def open[A : Order](lower: A, upper: A): Interval[A]
def openLower[A : Order](lower: A, upper: A): Interval[A]
def openUpper[A : Order](lower: A, upper: A): Interval[A]
def point[A : Order](a: A): Interval[A]
def zero[A : Order](implicit evidence$5: Order[A], r: Semiring[A]): Interval[A]

Implicits

Implicits

implicit
def eq[A : Eq]: Eq[Interval[A]]
implicit
def semiring[A](implicit ev: Ring[A], o: Order[A]): Semiring[Interval[A]]