Finite

case Finite[+T](x: T)

Value members

Inherited methods

def get: T
Inherited from:
Value
def isFinite: Boolean
Inherited from:
Value
def isInf: Boolean
Inherited from:
Value
def isInfNeg: Boolean
Inherited from:
Value
def isInfPos: Boolean
Inherited from:
Value
def pred[U >: T : Domain]: Value[U]
Inherited from:
Value
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def succ[U >: T : Domain]: Value[U]
Inherited from:
Value