root
API
Generated with
root/org.encalmo.models/SimpleOpaqueInteger

SimpleOpaqueInteger

org.encalmo.models.SimpleOpaqueInteger
trait SimpleOpaqueInteger[O <: Int] extends OpaqueInteger[O]

Attributes

Graph
Supertypes
trait OpaqueInteger[O]
trait OpaqueType[O, Int]
class Object
trait Matchable
class Any
Known subtypes
object Amount
object Fee

Members list

Value members

Concrete methods

inline def max(value1: O, value2: O): O
inline def max(value1: O, values: O*): O
inline def min(value1: O, value2: O): O
inline def min(value1: O, values: O*): O
inline def roundedDown(value: BigDecimal): O
inline def roundedHalfDown(value: BigDecimal): O
inline def roundedHalfUp(value: BigDecimal): O
inline def roundedUp(value: BigDecimal): O

Inherited methods

inline def of(value: BigDecimal): O

Attributes

Inherited from:
OpaqueInteger
inline def of(value: Double): O

Attributes

Inherited from:
OpaqueInteger
inline def unapply(value: O): Option[Int]

Attributes

Inherited from:
OpaqueType

Inherited and Abstract methods

def apply(value: Int): O

Attributes

Inherited from:
OpaqueType
def show(value: O): Int

Attributes

Inherited from:
OpaqueType

Concrete fields

val ZERO: O

Givens

Inherited givens

given given_Function_O_Value: O => Value

Attributes

Inherited from:
OpaqueInteger
inline given given_Ordering_O: Ordering[O]

Attributes

Inherited from:
OpaqueInteger
given given_ReadWriter_O: ReadWriter[O]

Attributes

Inherited from:
OpaqueInteger

Extensions

Extensions

extension (value: O)
infix inline def minus(other: O): O
inline def orZero: O

Current value or ZERO if negative

Current value or ZERO if negative

Attributes

infix inline def plus(other: O): O

Inherited extensions

extension (value: O)
inline def existsIn(values: O*): Boolean

Attributes

Inherited from:
OpaqueType
extension (value: O)
inline def *(n: Double): O

Attributes

Inherited from:
OpaqueInteger
inline def *(n: BigDecimal): O

Attributes

Inherited from:
OpaqueInteger
inline def *(n: Int): O

Attributes

Inherited from:
OpaqueInteger
inline def +(n: O): O

Attributes

Inherited from:
OpaqueInteger
inline def +(n: Int): O

Attributes

Inherited from:
OpaqueInteger
inline def -(n: O): O

Attributes

Inherited from:
OpaqueInteger
inline def -(n: Int): O

Attributes

Inherited from:
OpaqueInteger
inline def /(n: Double): O

Attributes

Inherited from:
OpaqueInteger
inline def /(n: BigDecimal): O

Attributes

Inherited from:
OpaqueInteger
inline def /(n: Int): O

Attributes

Inherited from:
OpaqueInteger
inline def toBigDecimal: BigDecimal

Attributes

Inherited from:
OpaqueInteger
inline def toInt: Int

Attributes

Inherited from:
OpaqueInteger
Generated with