IsReal

abstract def abs(a: A): A

An idempotent function that ensures an object has a non-negative sign.

abstract def ceil(a: A): A

Rounds a the nearest integer that is greater than or equal to a.

abstract def compare(x: A, y: A): ComparisonBundle

abstract def context_abs(a: A): A

abstract def floor(a: A): A

Rounds a the nearest integer that is less than or equal to a.

abstract def getClass(): Class[_]

abstract def isWhole(a: A): Bool

Returns true iff a is a an integer.

abstract def round(a: A): A

Rounds a to the nearest integer (When the fractional part is 0.5, tie breaking rounds to positive infinity i.e.

abstract def signum(a: A): ComparisonBundle

Returns 0 if a is 0, > 0 if a is positive, and < 0 is a is negative.

abstract def truncate(a: A): A

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def equals(arg0: Any): Boolean

def eqv(x: A, y: A): Bool

Returns true if x and y are equivalent, false otherwise.

def gt(x: A, y: A): Bool

def gteqv(x: A, y: A): Bool

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def isSignNegative(a: A): Bool

def isSignNonNegative(a: A): Bool

def isSignNonPositive(a: A): Bool

def isSignNonZero(a: A): Bool

def isSignPositive(a: A): Bool

def isSignZero(a: A): Bool

def lt(x: A, y: A): Bool

def lteqv(x: A, y: A): Bool

def max(x: A, y: A): A

def min(x: A, y: A): A

def neqv(x: A, y: A): Bool

Returns false if x and y are equivalent, true otherwise.

def on[B <: Data](f: (B) ⇒ A): Order[B]

Defines an order on B by mapping B to A using f and using As order to order B.

def partialCompare(x: A, y: A): ValidIO[ComparisonBundle]

Result of comparing x with y.

def pmax(x: A, y: A): ValidIO[A]

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

def pmin(x: A, y: A): ValidIO[A]

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

def reverse: Order[A]

Defines an ordering on A where all arrows switch direction.

def sign(a: A): Sign

Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

def toString(): String