R - org.sireum.logika.math.R

Abstract Value Members

abstract def toReal: Real

Concrete Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
final def %(other: R): R
final def *(other: R): R
final def +(other: R): R
final def -(other: R): R
def ->[B](y: B): (R, B)

Implicit information
This member is added by an implicit conversion from R to ArrowAssoc[R] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def /(other: R): R
final def <(other: R): B
final def <=(other: R): B
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def >(other: R): B
final def >=(other: R): B
final def asInstanceOf[T0]: T0

Definition Classes
Any
def byteValue(): Byte

Definition Classes
Number
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def compareTo(other: R): Int

Definition Classes
R → Comparable
final def doubleValue(): Double

Definition Classes
R → ScalaNumericAnyConversions → Number
def ensuring(cond: (R) ⇒ Boolean, msg: ⇒ Any): R

Implicit information
This member is added by an implicit conversion from R to Ensuring[R] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (R) ⇒ Boolean): R

Implicit information
This member is added by an implicit conversion from R to Ensuring[R] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): R

Implicit information
This member is added by an implicit conversion from R to Ensuring[R] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): R

Implicit information
This member is added by an implicit conversion from R to Ensuring[R] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def equals(other: Any): B

Definition Classes
R → AnyRef → Any
def finalize(): Unit

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

Definition Classes
R → ScalaNumericAnyConversions → Number
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from R to StringFormat[R] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
final lazy val hashCode: Int

Definition Classes
R → AnyRef → Any
final def intValue(): Int

Definition Classes
R → ScalaNumericAnyConversions → Number
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def isValidByte: Boolean

Definition Classes
ScalaNumericAnyConversions
def isValidChar: Boolean

Definition Classes
ScalaNumericAnyConversions
def isValidInt: Boolean

Definition Classes
ScalaNumericAnyConversions
def isValidShort: Boolean

Definition Classes
ScalaNumericAnyConversions
final def isWhole(): Boolean

Definition Classes
R → ScalaNumericAnyConversions → ScalaNumber
final def longValue(): Long

Definition Classes
R → ScalaNumericAnyConversions → Number
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def shortValue(): Short

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

Definition Classes
AnyRef
def toByte: Byte

Definition Classes
ScalaNumericAnyConversions
def toChar: Char

Definition Classes
ScalaNumericAnyConversions
def toDouble: Double

Definition Classes
ScalaNumericAnyConversions
def toFloat: Float

Definition Classes
ScalaNumericAnyConversions
def toInt: Int

Definition Classes
ScalaNumericAnyConversions
def toLong: Long

Definition Classes
ScalaNumericAnyConversions
def toShort: Short

Definition Classes
ScalaNumericAnyConversions
final def toString(): String

Definition Classes
R → AnyRef → Any
final def unary_-(): R
final def underlying(): Real

Definition Classes
R → ScalaNumericConversions → ScalaNumericAnyConversions → ScalaNumber
def unifiedPrimitiveEquals(x: Any): Boolean

Attributes
protected
Definition Classes
ScalaNumericAnyConversions
def unifiedPrimitiveHashcode(): Int

Attributes
protected
Definition Classes
ScalaNumericAnyConversions
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( ... )
def →[B](y: B): (R, B)

Implicit information
This member is added by an implicit conversion from R to ArrowAssoc[R] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Shadowed Implicit Value Members

def +(other: String): String
Implicit information
This member is added by an implicit conversion from R to any2stringadd[R] performed by method any2stringadd in scala.Predef.
Shadowing
This implicitly inherited member is shadowed by one or more members in this class.
To access this member you can use a type ascription:
(r: any2stringadd[R]).+(other)
Definition Classes
any2stringadd

R

Related Docs: object R | package math

sealed trait R extends ScalaNumber with ScalaNumericConversions with Comparable[R] with LogikaNumber

Abstract Value Members

abstract def toReal: Real

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def %(other: R): R

final def *(other: R): R

final def +(other: R): R

final def -(other: R): R

def ->[B](y: B): (R, B)

final def /(other: R): R

final def <(other: R): B

final def <=(other: R): B

final def ==(arg0: Any): Boolean

final def >(other: R): B

final def >=(other: R): B

final def asInstanceOf[T0]: T0

def byteValue(): Byte

def clone(): AnyRef

final def compareTo(other: R): Int

final def doubleValue(): Double

def ensuring(cond: (R) ⇒ Boolean, msg: ⇒ Any): R

def ensuring(cond: (R) ⇒ Boolean): R

def ensuring(cond: Boolean, msg: ⇒ Any): R

def ensuring(cond: Boolean): R

final def eq(arg0: AnyRef): Boolean

final def equals(other: Any): B

def finalize(): Unit

final def floatValue(): Float

def formatted(fmtstr: String): String

final def getClass(): Class[_]

final lazy val hashCode: Int

final def intValue(): Int

final def isInstanceOf[T0]: Boolean

def isValidByte: Boolean

def isValidChar: Boolean

def isValidInt: Boolean

def isValidShort: Boolean

final def isWhole(): Boolean

final def longValue(): Long

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def shortValue(): Short

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

def toByte: Byte

def toChar: Char

def toDouble: Double

def toFloat: Float

def toInt: Int

def toLong: Long

def toShort: Short

final def toString(): String

final def unary_-(): R

final def underlying(): Real

def unifiedPrimitiveEquals(x: Any): Boolean

def unifiedPrimitiveHashcode(): Int

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (R, B)

Shadowed Implicit Value Members

def +(other: String): String

Inherited from LogikaNumber

Inherited from Comparable[R]

Inherited from ScalaNumericConversions

Inherited from ScalaNumericAnyConversions

Inherited from ScalaNumber

Inherited from Number

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from R to any2stringadd[R]

Inherited by implicit conversion StringFormat from R to StringFormat[R]

Inherited by implicit conversion Ensuring from R to Ensuring[R]

Inherited by implicit conversion ArrowAssoc from R to ArrowAssoc[R]

Ungrouped