primitive val U64 is UnsignedInteger[U64 val] val
new val create( value: U64 val) : U64 val^
new val from[A: ((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[A] val)]( a: A) : U64 val^
new val min_value() : U64 val^
new val max_value() : U64 val^
fun box next_pow2() : U64 val
fun box abs() : U64 val
fun box bit_reverse() : U64 val
fun box bswap() : U64 val
fun box popcount() : U64 val
fun box clz() : U64 val
fun box ctz() : U64 val
Unsafe operation. If this is 0, the result is undefined.
fun box clz_unsafe() : U64 val
Unsafe operation. If this is 0, the result is undefined.
fun box ctz_unsafe() : U64 val
fun box bitwidth() : U64 val
fun box bytewidth() : USize val
fun box min( y: U64 val) : U64 val
fun box max( y: U64 val) : U64 val
fun box hash() : USize val
fun box addc( y: U64 val) : (U64 val , Bool val)
fun box subc( y: U64 val) : (U64 val , Bool val)
fun box mulc( y: U64 val) : (U64 val , Bool val)
fun box divc( y: U64 val) : (U64 val , Bool val)
fun box remc( y: U64 val) : (U64 val , Bool val)
fun box add_partial( y: U64 val) : U64 val ?
fun box sub_partial( y: U64 val) : U64 val ?
fun box mul_partial( y: U64 val) : U64 val ?
fun box div_partial( y: U64 val) : U64 val ?
fun box rem_partial( y: U64 val) : U64 val ?
fun box divrem_partial( y: U64 val) : (U64 val , U64 val) ?
fun box shl( y: U64 val) : U64 val
fun box shr( y: U64 val) : U64 val
fun box fld( y: U64 val) : U64 val
fun box fldc( y: U64 val) : (U64 val , Bool val)
fun box fld_partial( y: U64 val) : U64 val ?
fun box fld_unsafe( y: U64 val) : U64 val
fun box mod( y: U64 val) : U64 val
fun box modc( y: U64 val) : (U64 val , Bool val)
fun box mod_partial( y: U64 val) : U64 val ?
fun box mod_unsafe( y: U64 val) : U64 val
fun box shl_unsafe( y: U64 val) : U64 val
fun box shr_unsafe( y: U64 val) : U64 val
fun box rotl( y: U64 val) : U64 val
fun box rotr( y: U64 val) : U64 val
fun box string() : String iso^
fun box add_unsafe( y: U64 val) : U64 val
fun box sub_unsafe( y: U64 val) : U64 val
fun box mul_unsafe( y: U64 val) : U64 val
fun box div_unsafe( y: U64 val) : U64 val
fun box divrem_unsafe( y: U64 val) : (U64 val , U64 val)
fun box rem_unsafe( y: U64 val) : U64 val
fun box neg_unsafe() : U64 val
fun box op_and( y: U64 val) : U64 val
fun box op_or( y: U64 val) : U64 val
fun box op_xor( y: U64 val) : U64 val
fun box op_not() : U64 val
fun box add( y: U64 val) : U64 val
fun box sub( y: U64 val) : U64 val
fun box mul( y: U64 val) : U64 val
fun box div( y: U64 val) : U64 val
fun box divrem( y: U64 val) : (U64 val , U64 val)
fun box rem( y: U64 val) : U64 val
fun box neg() : U64 val
fun box eq( y: U64 val) : Bool val
fun box ne( y: U64 val) : Bool val
fun box lt( y: U64 val) : Bool val
fun box le( y: U64 val) : Bool val
fun box ge( y: U64 val) : Bool val
fun box gt( y: U64 val) : Bool val
fun box hash64() : U64 val
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: U64 val) : (Less val | Equal val | Greater val)
fun box _value() : U64 val
© 2016-2018, The Pony Developers
© 2014-2015, Causality Ltd.
Licensed under the BSD 2-Clause License.
https://stdlib.ponylang.io/builtin-U64