builtin Real - tadashi9e/gmp4pony GitHub Wiki
Real[A: Real[A] val]
trait val Real[A: Real[A] val] is
Stringable box,
_ArithmeticConvertible val,
Comparable[A] ref- Stringable box
- _ArithmeticConvertible val
- Comparable[A] ref
new val create(
value: A)
: Real[A] val^- value: A
- Real[A] val^
from[B: ((I8 val | I16 val | I32 val | I64 val | I128 val | ILong val | ISize val | U8 val | U16 val | U32 val | U64 val | U128 val | ULong val | USize val | F32 val | F64 val) & Real[B] val)]
new val from[B: ((I8 val | I16 val | I32 val |
I64 val | I128 val | ILong val |
ISize val | U8 val | U16 val |
U32 val | U64 val | U128 val |
ULong val | USize val | F32 val |
F64 val) & Real[B] val)](
a: B)
: Real[A] val^- a: B
- Real[A] val^
new val min_value()
: Real[A] val^- Real[A] val^
new val max_value()
: Real[A] val^- Real[A] val^
fun box add(
y: A)
: A- y: A
- A
fun box sub(
y: A)
: A- y: A
- A
fun box mul(
y: A)
: A- y: A
- A
Integer division, rounded towards zero.
fun box div(
y: A)
: A- y: A
- A
fun box divrem(
y: A)
: (A , A)- y: A
- (A , A)
Calculate the remainder after integer division, rounded towards zero (div).
The result has the sign of the dividend.
fun box rem(
y: A)
: A- y: A
- A
fun box neg()
: A- A
Floored integer division, rounded towards negative infinity.
fun box fld(
y: A)
: A- y: A
- A
Calculate the modulo after floored integer division, rounded towards negative infinity (fld).
The result has the sign of the divisor.
fun box mod(
y: A)
: A- y: A
- A
fun box eq(
y: box->A)
: Bool val- y: box->A
- Bool val
fun box ne(
y: box->A)
: Bool val- y: box->A
- Bool val
fun box lt(
y: box->A)
: Bool val- y: box->A
- Bool val
fun box le(
y: box->A)
: Bool val- y: box->A
- Bool val
fun box ge(
y: box->A)
: Bool val- y: box->A
- Bool val
fun box gt(
y: box->A)
: Bool val- y: box->A
- Bool val
fun box min(
y: A)
: A- y: A
- A
fun box max(
y: A)
: A- y: A
- A
fun box hash()
: USize val- USize val
fun box hash64()
: U64 val- U64 val
fun box string()
: String iso^- String iso^
fun box i8()
: I8 val- I8 val
fun box i16()
: I16 val- I16 val
fun box i32()
: I32 val- I32 val
fun box i64()
: I64 val- I64 val
fun box i128()
: I128 val- I128 val
fun box ilong()
: ILong val- ILong val
fun box isize()
: ISize val- ISize val
fun box u8()
: U8 val- U8 val
fun box u16()
: U16 val- U16 val
fun box u32()
: U32 val- U32 val
fun box u64()
: U64 val- U64 val
fun box u128()
: U128 val- U128 val
fun box ulong()
: ULong val- ULong val
fun box usize()
: USize val- USize val
fun box f32()
: F32 val- F32 val
fun box f64()
: F64 val- F64 val
fun box i8_unsafe()
: I8 val- I8 val
fun box i16_unsafe()
: I16 val- I16 val
fun box i32_unsafe()
: I32 val- I32 val
fun box i64_unsafe()
: I64 val- I64 val
fun box i128_unsafe()
: I128 val- I128 val
fun box ilong_unsafe()
: ILong val- ILong val
fun box isize_unsafe()
: ISize val- ISize val
fun box u8_unsafe()
: U8 val- U8 val
fun box u16_unsafe()
: U16 val- U16 val
fun box u32_unsafe()
: U32 val- U32 val
fun box u64_unsafe()
: U64 val- U64 val
fun box u128_unsafe()
: U128 val- U128 val
fun box ulong_unsafe()
: ULong val- ULong val
fun box usize_unsafe()
: USize val- USize val
fun box f32_unsafe()
: F32 val- F32 val
fun box f64_unsafe()
: F64 val- F64 val
fun box compare(
that: box->A)
: (Less val | Equal val | Greater val)- that: box->A