Spec-Zone.ru › Pony

Real[A: Вещественное[A] значение]

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

trait val Real[A: Real[A] val] is
  Stringable box,
  _ArithmeticConvertible val,
  Comparable[A] ref

Реализует

  • Строковое представление коробка
  • Преобразование в арифметические типы значение
  • Сравнение[A] ссылка

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

создание

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

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

Параметры

  • значение: A

Возвращает

  • Вещественное[A] значение^

из[B: ((I8 значение | I16 значение | I32 значение | I64 значение | I128 значение | ILong значение | ISize значение | U8 значение | U16 значение | U32 значение | U64 значение | U128 значение | ULong значение | USize значение | F32 значение | F64 значение) & Вещественное[B] значение)]

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

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] значение^

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

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

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

Возвращает

  • Вещественное[A] значение^

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

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

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

Возвращает

  • Вещественное[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)

остаток

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

Вычисление остатка после целочисленного деления, округленного к нулю (div).

Результат имеет знак делимого.

fun box rem(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

отрицание

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

fun box neg()
: A

Возвращает

  • A

округлённое_к_нулю_деление

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

Целочисленное деление, округлённое до ближайшего меньшего целого числа.

fun box fld(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

модуль

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

Вычисление модуля после целочисленного деления, округлённого до ближайшего меньшего целого числа (fld).

Результат имеет знак делителя.

fun box mod(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

равно

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

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

Параметры

  • y: коробка->A

Возвращает

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

не_равно

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

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

Параметры

  • y: коробка->A

Возвращает

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

меньше

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

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

Параметры

  • y: коробка->A

Возвращает

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

меньше_или_равно

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

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

Параметры

  • y: коробка->A

Возвращает

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

больше_или_равно

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

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

Параметры

  • y: коробка->A

Возвращает

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

больше

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

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

Параметры

  • y: коробка->A

Возвращает

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

минимум

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

fun box min(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

максимум

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

fun box max(
  y: A)
: A

Параметры

  • y: A

Возвращает

  • A

хеш

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

fun box hash()
: USize val

Возвращает

  • USize значение

хеш64

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

fun box hash64()
: U64 val

Возвращает

  • U64 значение

строка

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

fun box string()
: String iso^

Возвращает

  • Строка iso^

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-Real

Spec-Zone.ru

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