numeric

Type Members

type NegDouble = Refined[Double, Negative]

A Double less than 0.
type NegFloat = Refined[Float, Negative]

A Float less than 0.
type NegInt = Refined[Int, Negative]

An Int in the range from Int.MinValue to -1.
type NegLong = Refined[Long, Negative]

A Long in the range from Long.MinValue to -1.
type NonNegDouble = Refined[Double, NonNegative]

A Double greater than or equal to 0.
type NonNegFloat = Refined[Float, NonNegative]

A Float greater than or equal to 0.
type NonNegInt = Refined[Int, NonNegative]

An Int in the range from 0 to Int.MaxValue.
type NonNegLong = Refined[Long, NonNegative]

A Long in the range from 0 to Long.MaxValue.
type NonPosDouble = Refined[Double, NonPositive]

A Double less than or equal to 0.
type NonPosFloat = Refined[Float, NonPositive]

A Float less than or equal to 0.
type NonPosInt = Refined[Int, NonPositive]

An Int in the range from Int.MinValue to 0.
type NonPosLong = Refined[Long, NonPositive]

A Long in the range from Long.MinValue to 0.
type PosDouble = Refined[Double, Positive]

A Double greater than 0.
type PosFloat = Refined[Float, Positive]

A Float greater than 0.
type PosInt = Refined[Int, Positive]

An Int in the range from 1 to Int.MaxValue.
type PosLong = Refined[Long, Positive]

A Long in the range from 1 to Long.MaxValue.

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
object NegDouble extends Numeric[NegDouble, Double]
object NegFloat extends Numeric[NegFloat, Float]
object NegInt extends Numeric[NegInt, Int]
object NegLong extends Numeric[NegLong, Long]
object NonNegDouble extends Numeric[NonNegDouble, Double]
object NonNegFloat extends Numeric[NonNegFloat, Float]
object NonNegInt extends Numeric[NonNegInt, Int]
object NonNegLong extends Numeric[NonNegLong, Long]
object NonPosDouble extends Numeric[NonPosDouble, Double]
object NonPosFloat extends Numeric[NonPosFloat, Float]
object NonPosInt extends Numeric[NonPosInt, Int]
object NonPosLong extends Numeric[NonPosLong, Long]
object PosDouble extends Numeric[PosDouble, Double]
object PosFloat extends Numeric[PosFloat, Float]
object PosInt extends Numeric[PosInt, Int]
object PosLong extends Numeric[PosLong, Long]
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package types

object numeric

Type Members

type NegDouble = Refined[Double, Negative]

type NegFloat = Refined[Float, Negative]

type NegInt = Refined[Int, Negative]

type NegLong = Refined[Long, Negative]

type NonNegDouble = Refined[Double, NonNegative]

type NonNegFloat = Refined[Float, NonNegative]

type NonNegInt = Refined[Int, NonNegative]

type NonNegLong = Refined[Long, NonNegative]

type NonPosDouble = Refined[Double, NonPositive]

type NonPosFloat = Refined[Float, NonPositive]

type NonPosInt = Refined[Int, NonPositive]

type NonPosLong = Refined[Long, NonPositive]

type PosDouble = Refined[Double, Positive]

type PosFloat = Refined[Float, Positive]

type PosInt = Refined[Int, Positive]

type PosLong = Refined[Long, Positive]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object NegDouble extends Numeric[NegDouble, Double]

object NegFloat extends Numeric[NegFloat, Float]

object NegInt extends Numeric[NegInt, Int]

object NegLong extends Numeric[NegLong, Long]

object NonNegDouble extends Numeric[NonNegDouble, Double]

object NonNegFloat extends Numeric[NonNegFloat, Float]

object NonNegInt extends Numeric[NonNegInt, Int]

object NonNegLong extends Numeric[NonNegLong, Long]

object NonPosDouble extends Numeric[NonPosDouble, Double]

object NonPosFloat extends Numeric[NonPosFloat, Float]

object NonPosInt extends Numeric[NonPosInt, Int]

object NonPosLong extends Numeric[NonPosLong, Long]

object PosDouble extends Numeric[PosDouble, Double]

object PosFloat extends Numeric[PosFloat, Float]

object PosInt extends Numeric[PosInt, Int]

object PosLong extends Numeric[PosLong, Long]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped