Spec-Zone.ru › Pony

Целочисленное положительное без знака [A: Целочисленное положительное без знака[A] val]

[Исходный код]

trait val UnsignedInteger[A: UnsignedInteger[A] val] is
  Integer[A] val

Реализует

  • Целое число[A] val

Конструкторы

создать

[Исходный код]

new val create(
  value: A)
: Real[A] val^

Параметры

  • value: A

Возвращает

  • Вещественное число[A] val^

из[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) & Вещественное число[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

Возвращает

  • Вещественное число[A] val^

минимальное значение

[Исходный код]

new val min_value()
: Real[A] val^

Возвращает

  • Вещественное число[A] val^

максимальное значение

[Исходный код]

new val max_value()
: Real[A] val^

Возвращает

  • Вещественное число[A] val^

Открытые функции

abs

[Исходный код]

fun box abs()
: A

Возвращает

  • A

shl

[Исходный код]

fun box shl(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

shr

[Исходный код]

fun box shr(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

fld

[Исходный код]

fun box fld(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

fldc

[Исходный код]

fun box fldc(
  y: A)
: (A , Bool val)

Параметры

  • y: A

Возвращает

  • (A , Булево val)

fld_частичный

[Исходный код]

fun box fld_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • A ?

fld_небезопасный

[Исходный код]

fun box fld_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

mod

[Исходный код]

fun box mod(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

modc

[Исходный код]

fun box modc(
  y: A)
: (A , Bool val)

Параметры

  • y: A

Возвращает

  • (A , Булево val)

mod_частичный

[Исходный код]

fun box mod_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • A ?

mod_небезопасный

[Исходный код]

fun box mod_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

shl_небезопасный

[Исходный код]

Небезопасная операция. Если не нулевые биты сдвигаются, результат неопределен.

fun box shl_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

shr_небезопасный

[Исходный код]

Небезопасная операция. Если не нулевые биты сдвигаются, результат неопределен.

fun box shr_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

rotl

[Исходный код]

fun box rotl(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

rotr

[Исходный код]

fun box rotr(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

popcount

[Исходный код]

fun box popcount()
: A

Возвращает

  • A

clz

[Исходный код]

fun box clz()
: A

Возвращает

  • A

ctz

[Исходный код]

fun box ctz()
: A

Возвращает

  • A

clz_небезопасный

[Исходный код]

Подсчёт старших нулей.

Небезопасная операция. Если это 0, результат неопределён.

fun box clz_unsafe()
: A

Возвращает

  • A

ctz_небезопасный

[Исходный код]

Подсчёт младших нулей.

Небезопасная операция. Если это 0, результат неопределён.

fun box ctz_unsafe()
: A

Возвращает

  • A

bitwidth

[Исходный код]

fun box bitwidth()
: A

Возвращает

  • A

bytewidth

[Исходный код]

fun box bytewidth()
: USize val

Возвращает

  • USize val

строка

[Исходный код]

fun box string()
: String iso^

Возвращает

  • Строка iso^

add_небезопасный

[Исходный код]

fun box add_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

sub_небезопасный

[Исходный код]

fun box sub_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

mul_небезопасный

[Исходный код]

fun box mul_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

div_небезопасный

[Исходный код]

fun box div_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

divrem_небезопасный

[Исходный код]

fun box divrem_unsafe(
  y: A)
: (A , A)

Параметры

  • y: A

Возвращает

  • (A , A)

rem_небезопасный

[Исходный код]

fun box rem_unsafe(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

add_частичный

[Исходный код]

fun box add_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • A ?

sub_частичный

[Исходный код]

fun box sub_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • A ?

mul_частичный

[Исходный код]

fun box mul_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • A ?

div_частичный

[Исходный код]

fun box div_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • A ?

rem_частичный

[Исходный код]

fun box rem_partial(
  y: A)
: A ?

Параметры

  • y: A

Возвращает

  • А ?

divrem_partial

[Источник]

fun box divrem_partial(
  y: A)
: (A , A) ?

Параметры

  • y: А

Возвращает

  • (А , А) ?

neg_unsafe

[Источник]

fun box neg_unsafe()
: A

Возвращает

  • А

addc

[Источник]

fun box addc(
  y: A)
: (A , Bool val)

Параметры

  • y: А

Возвращает

  • (А , Булево значение)

subc

[Источник]

fun box subc(
  y: A)
: (A , Bool val)

Параметры

  • y: А

Возвращает

  • (А , Булево значение)

mulc

[Источник]

fun box mulc(
  y: A)
: (A , Bool val)

Параметры

  • y: А

Возвращает

  • (А , Булево значение)

divc

[Источник]

fun box divc(
  y: A)
: (A , Bool val)

Параметры

  • y: А

Возвращает

  • (А , Булево значение)

remc

[Источник]

fun box remc(
  y: A)
: (A , Bool val)

Параметры

  • y: А

Возвращает

  • (А , Булево значение)

op_and

[Источник]

fun box op_and(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

op_or

[Источник]

fun box op_or(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

op_xor

[Источник]

fun box op_xor(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

op_not

[Источник]

fun box op_not()
: A

Возвращает

  • А

bit_reverse

[Источник]

fun box bit_reverse()
: A

Возвращает

  • А

bswap

[Источник]

fun box bswap()
: A

Возвращает

  • А

add

[Источник]

fun box add(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

sub

[Источник]

fun box sub(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

mul

[Источник]

fun box mul(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

div

[Источник]

fun box div(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

divrem

[Источник]

fun box divrem(
  y: A)
: (A , A)

Параметры

  • y: А

Возвращает

  • (А , А)

rem

[Источник]

fun box rem(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

neg

[Источник]

fun box neg()
: A

Возвращает

  • А

eq

[Источник]

fun box eq(
  y: box->A)
: Bool val

Параметры

  • y: box->А

Возвращает

  • Булево значение

ne

[Источник]

fun box ne(
  y: box->A)
: Bool val

Параметры

  • y: box->А

Возвращает

  • Булево значение

lt

[Источник]

fun box lt(
  y: box->A)
: Bool val

Параметры

  • y: box->А

Возвращает

  • Булево значение

le

[Источник]

fun box le(
  y: box->A)
: Bool val

Параметры

  • y: box->А

Возвращает

  • Булево значение

ge

[Источник]

fun box ge(
  y: box->A)
: Bool val

Параметры

  • y: box->А

Возвращает

  • Булево значение

gt

[Источник]

fun box gt(
  y: box->A)
: Bool val

Параметры

  • y: box->А

Возвращает

  • Булево значение

min

[Источник]

fun box min(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

max

[Источник]

fun box max(
  y: A)
: A

Параметры

  • y: А

Возвращает

  • А

hash

[Источник]

fun box hash()
: USize val

Возвращает

  • Значение USize

hash64

[Источник]

fun box hash64()
: U64 val

Возвращает

  • Значение U64

i8

[Источник]

fun box i8()
: I8 val

Возвращает

  • Значение I8

i16

[Источник]

fun box i16()
: I16 val

Возвращает

  • Значение I16

i32

[Источник]

fun box i32()
: I32 val

Возвращает

  • Значение I32

i64

[Источник]

fun box i64()
: I64 val

Возвращает

  • Значение I64

i128

[Источник]

fun box i128()
: I128 val

Возвращает

  • Значение I128

ilong

[Источник]

fun box ilong()
: ILong val

Возвращает

  • Значение ILong

isize

[Источник]

fun box isize()
: ISize val

Возвращает

  • Значение ISize

u8

[Источник]

fun box u8()
: U8 val

Возвращает

  • Значение U8

u16

[Источник]

fun box u16()
: U16 val

Возвращает

  • Значение U16

u32

[Источник]

fun box u32()
: U32 val

Возвращает

  • Значение U32

u64

[Источник]

fun box u64()
: U64 val

Возвращает

  • Значение U64

u128

[Источник]

fun box u128()
: U128 val

Возвращает

  • Значение U128

ulong

[Источник]

fun box ulong()
: ULong val

Возвращает

  • Значение ULong

usize

[Источник]

fun box usize()
: USize val

Возвращает

  • Значение USize

f32

[Источник]

fun box f32()
: F32 val

Возвращаемое значение

  • F32 значение

f64

[Источник]

fun box f64()
: F64 val

Возвращаемое значение

  • F64 значение

i8_unsafe

[Источник]

fun box i8_unsafe()
: I8 val

Возвращаемое значение

  • I8 значение

i16_unsafe

[Источник]

fun box i16_unsafe()
: I16 val

Возвращаемое значение

  • I16 значение

i32_unsafe

[Источник]

fun box i32_unsafe()
: I32 val

Возвращаемое значение

  • I32 значение

i64_unsafe

[Источник]

fun box i64_unsafe()
: I64 val

Возвращаемое значение

  • I64 значение

i128_unsafe

[Источник]

fun box i128_unsafe()
: I128 val

Возвращаемое значение

  • I128 значение

ilong_unsafe

[Источник]

fun box ilong_unsafe()
: ILong val

Возвращаемое значение

  • ILong значение

isize_unsafe

[Источник]

fun box isize_unsafe()
: ISize val

Возвращаемое значение

  • ISize значение

u8_unsafe

[Источник]

fun box u8_unsafe()
: U8 val

Возвращаемое значение

  • U8 значение

u16_unsafe

[Источник]

fun box u16_unsafe()
: U16 val

Возвращаемое значение

  • U16 значение

u32_unsafe

[Источник]

fun box u32_unsafe()
: U32 val

Возвращаемое значение

  • U32 значение

u64_unsafe

[Источник]

fun box u64_unsafe()
: U64 val

Возвращаемое значение

  • U64 значение

u128_unsafe

[Источник]

fun box u128_unsafe()
: U128 val

Возвращаемое значение

  • U128 значение

ulong_unsafe

[Источник]

fun box ulong_unsafe()
: ULong val

Возвращаемое значение

  • ULong значение

usize_unsafe

[Источник]

fun box usize_unsafe()
: USize val

Возвращаемое значение

  • USize значение

f32_unsafe

[Источник]

fun box f32_unsafe()
: F32 val

Возвращаемое значение

  • F32 значение

f64_unsafe

[Источник]

fun box f64_unsafe()
: F64 val

Возвращаемое значение

  • F64 значение

compare

fun box compare(
  that: box->A)
: (Less val | Equal val | Greater val)

Параметры

  • that: box->A

Возвращаемое значение

  • (Меньше значение | Равно значение | Больше значение)

© 2016-2020, The Pony Developers
© 2014-2015, Causality Ltd.
Licensed under the BSD 2-Clause License.
https://stdlib.ponylang.io/builtin-UnsignedInteger

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API