continuum

Type Members

1. sealed abstract class Bound[T] extends AnyRef

   

   A Bound is a lower or upper bound over a continuous and infinite set of total-ordered values.

   A Bound is a lower or upper bound over a continuous and infinite set of total-ordered values. A bound can be closed, open, or unbounded. An unbounded bound represents a bound either above or below all other bounds, depending on whether the bound is an upper or lower bound.

   Bound is an internal implementation mechanism for Ray.

   T

   type of values contained in the continuous, infinite, total-ordered set which the bound operates on.

2. trait Discrete[T] extends AnyRef

   

   A trait for describing discrete domains.

3. case class GreaterRay[T](bound: Bound[T])(implicit conv: (T) ⇒ Ordered[T]) extends Ray[T] with Ordered[GreaterRay[T]] with Product with Serializable

   

4. final case class Interval[T](lower: GreaterRay[T], upper: LesserRay[T])(implicit conv: (T) ⇒ Ordered[T]) extends (T) ⇒ Boolean with Ordered[Interval[T]] with Product with Serializable

   

   A non-empty bounded interval over a continuous, infinite, total-ordered set of values.

   A non-empty bounded interval over a continuous, infinite, total-ordered set of values. An interval contains all values between its lower and upper bound. The lower and/or upper bound may be unbounded. Any operation which could potentially return an empty interval returns an Option type instead.

   T

   type of values contained in the continuous, infinite, total-ordered set which the interval operates on.

   lower

   bounding ray of interval. Must point in the Greater direction.

   upper

   bounding ray of interval. Must point in the Lesser direction.

5. type IntervalSet[T] = scala.collection.immutable.IntervalSet[T]

   

6. case class LesserRay[T](bound: Bound[T])(implicit conv: (T) ⇒ Ordered[T]) extends Ray[T] with Ordered[LesserRay[T]] with Product with Serializable

   

7. sealed abstract class Ray[T] extends (T) ⇒ Boolean

   

   A bounded subset of a continuous, infinite, and total-ordered values.

   A bounded subset of a continuous, infinite, and total-ordered values. A ray is composed of a single bound and a direction. The ray may either point in the Lesser direction, towards smaller values, or in the Greater direction, towards larger values. Thus, if the ray points in the Greater direction, it is bounded below, whereas a ray pointing in the Greater direction is bounded above. A ray's bound can potentially be unbounded, in which case the ray is equivalent to a line.

   T

   type of values contained in the continuous, infinite, total-ordered set which the ray operates on.