builtin SignedInteger - tadashi9e/gmp4pony GitHub Wiki
SignedInteger[A: SignedInteger[A, B] val, B: UnsignedInteger[B] val]
trait val SignedInteger[A: SignedInteger[A, B] val, B: UnsignedInteger[B] val] is
Integer[A] val- Integer[A] val
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 abs()
: B- B
fun box shl(
y: B)
: A- y: B
- A
fun box shr(
y: B)
: A- y: B
- A
Unsafe operation. If bits differing from the final sign bit are shifted-out, the result is undefined.
fun box shl_unsafe(
y: B)
: A- y: B
- A
Unsafe operation. If non-zero bits are shifted-out, the result is undefined.
fun box shr_unsafe(
y: B)
: A- y: B
- A
fun box popcount()
: B- B
fun box clz()
: B- B
fun box ctz()
: B- B
Unsafe operation. If this is 0, the result is undefined.
fun box clz_unsafe()
: B- B
Unsafe operation. If this is 0, the result is undefined.
fun box ctz_unsafe()
: B- B
fun box bitwidth()
: B- B
fun box bytewidth()
: USize val- USize val
fun box string()
: String iso^- String iso^
fun box add_unsafe(
y: A)
: A- y: A
- A
fun box sub_unsafe(
y: A)
: A- y: A
- A
fun box mul_unsafe(
y: A)
: A- y: A
- A
fun box div_unsafe(
y: A)
: A- y: A
- A
fun box divrem_unsafe(
y: A)
: (A , A)- y: A
- (A , A)
fun box rem_unsafe(
y: A)
: A- y: A
- A
fun box fld_unsafe(
y: A)
: A- y: A
- A
fun box mod_unsafe(
y: A)
: A- y: A
- A
fun box add_partial(
y: A)
: A ?- y: A
- A ?
fun box sub_partial(
y: A)
: A ?- y: A
- A ?
fun box mul_partial(
y: A)
: A ?- y: A
- A ?
fun box div_partial(
y: A)
: A ?- y: A
- A ?
fun box rem_partial(
y: A)
: A ?- y: A
- A ?
fun box divrem_partial(
y: A)
: (A , A) ?- y: A
- (A , A) ?
fun box fld_partial(
y: A)
: A ?- y: A
- A ?
fun box mod_partial(
y: A)
: A ?- y: A
- A ?
fun box neg_unsafe()
: A- A
fun box addc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box subc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box mulc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box divc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box remc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box fldc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box modc(
y: A)
: (A , Bool val)- y: A
- (A , Bool val)
fun box op_and(
y: A)
: A- y: A
- A
fun box op_or(
y: A)
: A- y: A
- A
fun box op_xor(
y: A)
: A- y: A
- A
fun box op_not()
: A- A
fun box bit_reverse()
: A- A
fun box bswap()
: A- A
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
fun box div(
y: A)
: A- y: A
- A
fun box divrem(
y: A)
: (A , A)- y: A
- (A , A)
fun box rem(
y: A)
: A- y: A
- A
fun box neg()
: A- A
fun box fld(
y: A)
: A- y: A
- A
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 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