Package

ars.precondition.require

bound

Permalink

package bound

Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class BoundedNumber[T] extends AnyRef

    Permalink

    Base class for bounded number values.

    Base class for bounded number values.

    Since

    0.0.4

  2. final case class Exclusive[T](value: T)(implicit evidence$3: Numeric[T]) extends BoundedNumber[T] with Product with Serializable

    Permalink

    Exclusive bound.

  3. final case class Inclusive[T](value: T)(implicit evidence$2: Numeric[T]) extends BoundedNumber[T] with Product with Serializable

    Permalink

    Inclusive bound.

  4. class RichNumberBound[T] extends AnyRef

    Permalink

    Number to bounded number converters.

    Number to bounded number converters.

    T

    the value type

    Since

    0.0.4

Ungrouped