trait val Real[A: Real[A] val] is Stringable box, _ArithmeticConvertible val, Comparable[A] ref
new val create( value: A) : Real[A] 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^
new val min_value() : Real[A] val^
new val max_value() : Real[A] val^
fun box add( y: A) : A
fun box sub( y: A) : A
fun box mul( y: A) : A
Integer division, rounded towards zero.
fun box div( y: A) : A
fun box divrem( 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
fun box neg() : A
Floored integer division, rounded towards negative infinity.
fun box fld( 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
fun box eq( y: box->A) : Bool val
fun box ne( y: box->A) : Bool val
fun box lt( y: box->A) : Bool val
fun box le( y: box->A) : Bool val
fun box ge( y: box->A) : Bool val
fun box gt( y: box->A) : Bool val
fun box min( y: A) : A
fun box max( y: A) : A
fun box hash() : USize val
fun box hash64() : U64 val
fun box string() : String iso^
fun box i8() : I8 val
fun box i16() : I16 val
fun box i32() : I32 val
fun box i64() : I64 val
fun box i128() : I128 val
fun box ilong() : ILong val
fun box isize() : ISize val
fun box u8() : U8 val
fun box u16() : U16 val
fun box u32() : U32 val
fun box u64() : U64 val
fun box u128() : U128 val
fun box ulong() : ULong val
fun box usize() : USize val
fun box f32() : F32 val
fun box f64() : F64 val
fun box i8_unsafe() : I8 val
fun box i16_unsafe() : I16 val
fun box i32_unsafe() : I32 val
fun box i64_unsafe() : I64 val
fun box i128_unsafe() : I128 val
fun box ilong_unsafe() : ILong val
fun box isize_unsafe() : ISize val
fun box u8_unsafe() : U8 val
fun box u16_unsafe() : U16 val
fun box u32_unsafe() : U32 val
fun box u64_unsafe() : U64 val
fun box u128_unsafe() : U128 val
fun box ulong_unsafe() : ULong val
fun box usize_unsafe() : USize val
fun box f32_unsafe() : F32 val
fun box f64_unsafe() : F64 val
fun box compare( that: box->A) : (Less val | Equal val | Greater val)
fun box _value() : A
© 2016-2018, The Pony Developers
© 2014-2015, Causality Ltd.
Licensed under the BSD 2-Clause License.
https://stdlib.ponylang.io/builtin-Real