[ Словарь функторов | Категории функторов | Мета-типы функторов ]
Алфавитный указатель AWL-функторов
версия: 0.5.5
(всего: 204)

[ Array | Constructor ]

a_copy (Array: Array) → Array


 

| a_dims >

[ Array ]

a_dims (Array: Array) → List

Размеры массива.

Возвращает список измерений массива Array (в порядке a_create: от внутренних измерений к внешним).
 

< a_copy | a_elem >

[ Array | Mutable ]

a_elem (Array: Array, Index: List) → Mutable

Доступ к элементу массива.

Возвращает мутабельную ссылку на элемент массива Array со списком индексов Index.
(Порядок индексов от внутренних до внешних.)
 

< a_dims | a_fill >

[ Array | Mutator ]

a_fill (Array: Array, Elem: Any) → Array

Заполнение массива заданным значением.

Заполняет весь массив Array значением Elem.
Возвращает Array.
 

< a_elem | a_init_all >

[ Array | Mutator ]

a_init_all (Array: Array, FnVal: Func) → ()


 

< a_fill | a_load >

[ Array ]

a_load (Array: Array, Elems: List) → Array

Загрузить элементы массива из списка.

Загрузить массив Array списком элементов Elems (в соответствии со внутренним порядком элементов).
(Все избыточные элементы списка игнорируются).
Возвращает Array.
 

< a_init_all | a_rank >

[ Array ]

a_rank (Array: Array) → Int

Ранг массива.

Возвращает ранг (количество измерений) массива Array.
 

< a_load | a_save >

[ Array ]

a_save (Array: Array) → List

Сохранить элементы массива в список.

Возвращает элементы Array в виде списка (в соответствии со внутренним порядком элементов).
(Завершающие неопределенные элементы не включаются в список.)
 

< a_rank | a_total >

[ Array ]

a_total (Array: Array) → Int

Количество элементов в массиве.

Возвращает общее количество элементов в массиве Array.
 

< a_save | abs >

[ Scalar | Unary | Numeric ]

abs (A: Num) → Num

Арифметическая абсолютная величина.

Возвращает абсолютную величину операнда.
(Равносильно (A >= 0 ? A : -A), но A вычисляется однократно).
 

< a_total | acos >

[ Scalar | Unary | Numeric ]

acos (X: Float) → Float

Тригонометрический арккосинус.

Значение арккосинуса от X (результат в радианах).
 

< abs | add >

[ Scalar | Binary | Numeric ]

add (A: Num, B: Num) → Num

Арифметическое сложение.

Возвращает сумму операндов: A + B.
 

< acos | and >

[ Scalar | Binary | Numeric ]

and (I: Int, J: Int) → Int

Битовая конъюнкция.

Результат битовой операции "И" (AND) над аргументами: I & J.
 

< add | ang >

[ Scalar | Binary | Numeric ]

ang (X: Num, Y: Num) → Num

Полярный угол точки.

Полярный угол точки с декартовыми координатами (X, Y).
 

< and | apply >

[ Func ]

apply (F: Func, Args: Any) → Any

Вызов функтора с аргументами по ссылке.

Вызвать функтор, на который ссылается F, с аргумент(ами) Args, возвращая результат его выполнения.
 

< ang | array >

[ Array | Constructor ]

array (Dims: List) → Array

Конструктор для массива.

Создает новый массив (с набором измерений, заданных списком Dims).
(Порядок размеров от внутренних до внешних.)
Значения элементов созданного массива не определены.
 

< apply | asin >

[ Scalar | Unary | Numeric ]

asin (X: Float) → Float

Тригонометрический арксинус.

Значение арксинуса от X (результат в радианах).
 

< array | atan >

[ Scalar | Unary | Numeric ]

atan (X: Float) → Float

Тригонометрический арктангенс.

Значение арктангенса от X (результат в радианах).
 

< asin | c_and >

[ Conditional | Binary ]

c_and (Cond: Bool, @Body: Any) → 0 | Any

Условно-логическая конъюнкция ("И").

Если условие Cond истинно, вычисляет и возвращает Body; иначе возвращает false (0).
Равносильно if (Cond, Body, 0).
 

< atan | c_not >

[ Conditional | Unary ]

c_not (Cond: Bool) → Bool

Логическое отрицание ("НЕ").

Возвращает true (1), если условие Cond ложно; иначе возвращает false (0).
 

< c_and | c_or >

[ Conditional | Binary ]

c_or (Cond: Bool, @Body: Any) → 1 | Any

Условно-логическая дизъюнкция ("ИЛИ").

Если условие Cond ложно, вычисляет и возвращает Body; иначе возвращает true (1).
Равносильно unless (Cond, Body, 1).
 

< c_not | ceil >

[ Scalar | Unary | Numeric ]

ceil (X: Float) → Float

Арифметическое округление "вверх".

Возвращает результат округления X до ближайшего большего целого.
 

< c_or | class_of >

[ Object ]

class_of (Object: Object) → Class

Определить класс объекта.

Вычисляет объект Object, и возвращает ссылку на класс, экземпляром которого объект является.
(Возвращает undef, если Object не является объектом.)
 

< ceil | cmp >

[ Scalar | Compare | Numeric ]

cmp (A: Num, B: Num) → Sign

Арифметическое знаковое сравнение.

Возвращает -1 (если A < B); 1 (если A > B) или 0 (если A == B).
(Значения A и B вычисляются однократно.)
 

< class_of | comb >

[ Mutator | Binary | Meta ]

comb (Operation: Term) → Scalar

Совмещенное присваивание (мета-операция).

Совмещает присваивание с вычислением унарного/бинарного терма Operation.
 

< cmp | cos >

[ Scalar | Unary | Numeric ]

cos (X: Float) → Float

Тригонометрический косинус.

Значение косинуса от X радиан.
 

< comb | cosh >

[ Scalar | Unary | Numeric ]

cosh (X: Float) → Float

Гиперболический косинус.

Значение гиперболического косинуса от X.
(Равносильно: (exp(X) + exp(-X)) / 2).
 

< cos | dc_b >

[ String | Unary | Decoder ]

dc_b (S: String, [Offset: Int]) → Int

Декодировать байт без знака.

Декодировать (фрагмент строки в 8-битовое беззнаковое целое): преобразовать 1 байт строки S со смещением Offset в целое число без знака.
 

< cosh | dc_l >

[ String | Unary | Decoder ]

dc_l (S: String, [Offset: Int]) → Int

Декодировать длинное слово.

Декодировать (фрагмент строки в 32-битовое целое): преобразовать 4 байта строки S со смещением Offset в целое число.
 

< dc_b | dc_sb >

[ String | Unary | Decoder ]

dc_sb (S: String, [Offset: Int]) → Int

Декодировать байт со знаком.

Декодировать (фрагмент строки в 8-битовое знаковое целое): преобразовать 1 байт строки S со смещением Offset в целое число со знаком.
 

< dc_l | dc_sw >

[ String | Unary | Decoder ]

dc_sw (S: String, [Offset: Int]) → Int

Декодировать слово со знаком.

Декодировать (фрагмент строки в 16-битовое знаковое целое): преобразовать 2 байта строки S со смещением Offset в целое число со знаком.
 

< dc_sb | dc_w >

[ String | Unary | Decoder ]

dc_w (S: String, [Offset: Int]) → Int

Декодировать слово без знака.

Декодировать (фрагмент строки в 16-битовое беззнаковое целое): преобразовать 2 байта строки S со смещением Offset в целое число без знака.
 

< dc_sw | dec >

[ Mutator | Numeric | Unary ]

dec (V: Mutable) → Num

Пре-декремент.

Декрементирует (уменьшает на 1) значение мутабельного V (ожидается числовой тип).
Возвращает значение V после уменьшения.
 

< dc_w | dec_p >

[ Mutator | Numeric | Unary ]

dec_p (V: Mutable) → Num

Пост-декремент.

Декрементирует (уменьшает на 1) значение мутабельного V (ожидается числовой тип).
Возвращает значение V до уменьшения.
 

< dec | determ >

[ Term ]

determ (T: Term) → (Func, Any)


 

< dec_p | deval >

[ Eval | Unary ]

deval (X: Any) → Any

Девальвация.

Возвращает значение X, подавляя его вычисление.
 

< determ | devirt >

[ Object ]

devirt (Virt: Virtual, Class: Class) → Func

Явная девиртуализация.

Возвращает версию виртуального функтора Virt, определенную для класса Class.
 

< deval | differ >

[ Predicate ]

differ (V: Any, W: Any) → Bool

Проверка на неидентичность.

Сравнение выражений V и W на неидентичность: ложно, если результаты вычислений идентичны; истинно в противном случае.
 

< devirt | div >

[ Scalar | Binary | Numeric ]

div (X: Float, Y: Float) → Float

Арифметическое деление.

Возвращает частное операндов: X / Y.
 

< differ | do_until >

[ Iterator | Conditional | Binary ]

do_until (@Cond: Bool, @Body: Any) → Any

Итератор по ложности постусловия.

Повторяет вычисление Body до тех пор, пока условие Cond остается ложным.
Возвращает последнее значение Body (которое всегда вычисляется хотя бы раз).
 

< div | do_while >

[ Iterator | Conditional | Binary ]

do_while (@Cond: Bool, @Body: Any) → Any

Итератор по истинности постусловия.

Повторяет вычисление Body до тех пор, пока условие Cond остается истинным.
Возвращает последнее значение Body (которое всегда вычисляется хотя бы раз).
 

< do_until | ec_b >

[ String | Unary | Encoder ]

ec_b (Code: Int) → String

Кодировать байт.

Кодировать (8-битовое целое в строку): преобразовать целое Code в строку длины 1.
 

< do_while | ec_l >

[ String | Unary | Encoder ]

ec_l (Code: Int) → String

Кодировать длинное слово.

Кодировать (32-битовое целое в строку): преобразовать целое Code в строку длины 4.
 

< ec_b | ec_w >

[ String | Unary | Encoder ]

ec_w (Code: Int) → String

Кодировать слово.

Кодировать (16-битовое целое в строку): преобразовать целое Code в строку длины 2.
 

< ec_l | enterm >

[ Term ]

enterm (F: Func, A: Any) → Term


 

< ec_w | eq >

[ Scalar | Compare | Numeric ]

eq (A: Num, B: Num) → Bool

Арифметическое равенство.

Истинно, если A численно равно B (A == B).
 

< enterm | eval_r >

[ Eval | Unary ]

eval_r (X: Mutable) → Mutable

(Внутренняя операция: вычисление X в R-контексте.)
 

< eq | eval_v >

[ Eval | Unary ]

eval_v (X: Any) → Any

(Внутренняя операция: вычисление X в V-контексте.)
 

< eval_r | eval_x >

[ Eval | Unary ]

eval_x (X: Any) → Any

(Внутренняя операция: вычисление X в X-контексте.)
 

< eval_v | exp >

[ Scalar | Unary | Numeric ]

exp (X: Float) → Float

Экспонента.

Возвращает значение экспоненциальной функции от X.
 

< eval_x | exp_by >

[ Scalar | Binary | Numeric ]

exp_by (X: Float, Y: Float) → Float

Возведение в произвольную степень.

Возвращает X в степени Y.
(Равносильно: exp (log(X) * Y)).
 

< exp | f_err >

[ Stream | Nullary ]

f_err () → Stream

Стандартный вывод ошибок.

Возвращает поток стандартного вывода ошибок.
 

< exp_by | f_get >

[ Stream ]

f_get ([In: Stream], { Line: Mutable, } ...) → Int

Прочитать из потока строки текста.

Последовательно читает строки входного потока In (или стандартного ввода, если In опущен).
Присваивает прочитанные строки мутабельным элементам списка Line.
Возвращает количество успешно прочитанных и сохраненных строк.
 

< f_err | f_in >

[ Stream | Nullary ]

f_in () → Stream

Стандартный ввод.

Возвращает поток стандартного ввода.
 

< f_get | f_out >

[ Stream | Nullary ]

f_out () → Stream

Стандартный вывод.

Возвращает поток стандартного вывода.
 

< f_in | f_put >

[ Stream ]

f_put ([Out: Stream], { Value: Any, } ...) → Int

Записать набор значений в поток.

Последовательно вычисляет и записывает значения из списка Value
в выходной поток Out (или стандартный вывод, если Out опущен).
Возвращает количество успешно записанных значений.
 

< f_out | false >

[ Scalar | Nullary | Conditional ]

false () → Bool

Логический литерал: "ложь".

Всегда возвращает 0 (как "ложное" значение).
 

< f_put | float >

[ Scalar | Coercion | Numeric ]

float (V: Scalar) → Float

Преобразовать скаляр в вещественное число.

Явное преобразование скалярного значения V в вещественное число.
 

< false | floor >

[ Scalar | Unary | Numeric ]

floor (X: Float) → Float

Арифметическое округление "вниз".

Возвращает результат округления X до ближайшего меньшего целого.
 

< float | for_dec >

[ Iterator | Ternary ]

for_dec (Index: Mutable, R: Range, @Body: Any) → Any

Итератор по убыванию диапазона.

Декрементирует значение мутабельного индекса Index, от (исключая) верхней границы диапазона R вниз до (включая) нижней границы диапазона R (вычисляя Body для каждого значения индекса).
Возвращает последний результат Body (или undef, если диапазон пуст, и Body не вычислялось ни разу).
 

< floor | for_inc >

[ Iterator | Ternary ]

for_inc (Index: Mutable, R: Range, @Body: Any) → Any

Итератор по возрастанию диапазона.

Инкрементирует значение мутабельного индекса Index, от (включая) нижней границы диапазона R вверх до (исключая) верхней границы диапазона R (вычисляя Body для каждого значения индекса).
Возвращает последний результат Body (или undef, если диапазон пуст, и Body не вычислялось ни разу).
 

< for_dec | ge >

[ Scalar | Compare | Numeric ]

ge (A: Num, B: Num) → Bool

Арифметическое сравнение на "больше или равно".

Истинно, если A численно больше, или равно B (A >= B).
 

< for_inc | gt >

[ Scalar | Compare | Numeric ]

gt (A: Num, B: Num) → Bool

Арифметическое сравнение на "больше".

Истинно, если A численно больше, чем B (A > B).
 

< ge | h_clear >

[ Hash ]

h_clear (Hash: Hash) → Int

Полная очистка хэша.

Очищает хэш Hash, удаляя из него все элементы.
Возвращает количество элементов, присутствовавших в хэше до удаления.
 

< gt | h_count >

[ Hash ]

h_count (Hash: Hash) → Int

Количество элементов в хэше.

Возвращает текущее количество пар ключ/значение в хэше Hash.
 

< h_clear | h_elem >

[ Hash | Mutable ]

h_elem (Hash: Hash, Key: Any) → Mutable

Доступ к значению в хэше по ключу.

Возвращает мутабельную ссылку на значение в хэше Hash, связаенное с ключом Key.
(Если ключ Key отсутствует в Hash, он создается, с начальным значением undef.)
 

< h_count | h_inspect >

[ Hash ]

h_inspect (Hash: Hash) → List


 

< h_elem | h_keys >

[ Hash | List ]

h_keys (Hash: Hash) → List

Получить список ключей хэша.

Возвращает открытый список всех ключей в хэше Hash, в неопределенном (но совпадающем с h_values) порядке.
 

< h_inspect | h_lookup >

[ Hash ]

h_lookup (Hash: Hash, Key: Any) → Any

Поиск значения в хэше.

Возвращает значение в хэше Hash, ассоциированное с ключом Key.
Если ключ Key не присутствует в Hash, возвращается undef (новый ключ НЕ создается).
 

< h_keys | h_loop >

[ Hash | Iterator ]

h_loop (Hash: Hash, Var: Mutable, @Body: Any) → Any

Итератор по хэшу.

Выполняет цикл по всем элементам хэша Hash.
Для каждого элемента, список вида (ключ, значение) присваивается мутабельному Var, после чего вычисляется Body.
(Порядок перебора элементов непредсказуем.)
Возвращает результат последнего вычисления Body.
 

< h_lookup | h_rehash >

[ Hash ]

h_rehash (Hash: Hash, Capacity: Int) → Int

Принудительно изменить внутреннюю емкость хэша.

Изменить емкость хэша Hash на Capacity, сохраняя существующее содержимое хэша.
Возвращает количество элементов в хэше.
 

< h_loop | h_remove >

[ Hash ]

h_remove (Hash: Hash, Key: Any) → Any

Удаление значения из хэша.

Удаляет ключ Key и связанное значение из хэша Hash.
(Возвращает удаленное значение; или undef, если значение с ключом Key отсутствовало.)
 

< h_rehash | h_values >

[ Hash | List ]

h_values (Hash: Hash) → List

Получить список значений хэша.

Возвращает открытый список всех значений в хэше Hash, в неопределенном (но совпадающем с h_keys) порядке.
 

< h_remove | hash >

[ Hash | Constructor ]

hash ([Capacity: Int]) → Hash

Конструктор для хэша.

Создает и возвращает новый (изначально пустой) хэш с начальной емкостью Capacity.
 

< h_values | hcode >

[ ]

hcode (V: Any) → Int

Вычисление хэш-кода.

Возвращает хэш-код для результата вычисления V.
 

< hash | ident >

[ Predicate ]

ident (V: Any, W: Any) → Bool

Проверка на идентичность.

Сравнение выражений V и W на идентичность: истинно, если результаты вычислений идентичны; ложно в противном случае.
 

< hcode | idiv >

[ Scalar | Binary | Numeric ]

idiv (I: Int, J: Int) → Int

Целочисленное деление.

Возвращает частное операндов, округленное до целого: I % J.
 

< ident | if >

[ Conditional | Ternary ]

if (Cond: Bool, @Then: Any1, @Else: Any2) → Any1 | Any2

Условная проверка на истинность.

Если условие Cond истинно, вычисляет и возвращает Then; иначе вычисляет и возвращает Else.
 

< idiv | inc >

[ Mutator | Numeric | Unary ]

inc (V: Mutable) → Num

Пре-инкремент.

Инкрементирует (увеличивает на 1) значение мутабельного V (ожидается числовой тип).
Возвращает значение V после увеличения.
 

< if | inc_p >

[ Mutator | Numeric | Unary ]

inc_p (V: Mutable) → Num

Пост-инкремент.

Инкрементирует (увеличивает на 1) значение мутабельного V (ожидается числовой тип).
Возвращает значение V до увеличения.
 

< inc | include >

[ System ]

include (Filename: String) → Int


 

< inc_p | inside >

[ Numeric | Predicate ]

inside (Value: Int, R: Range) → Bool

Проверить значение на включенность в диапазон.

Истинно, если целое Value находится внутри целого диапазона Range (равносильно R[0] <= Value && Value < R[1]).
 

< include | int >

[ Scalar | Coercion | Numeric ]

int (V: Scalar) → Int

Преобразовать скаляр в целое число.

Явное преобразование скалярного значения V в целое число.
 

< inside | irem >

[ Scalar | Binary | Numeric ]

irem (I: Int, J: Int) → Int

Целочисленный остаток.

Возвращает остаток от целочисленного деления: I %% J.
 

< int | is_array >

[ Predicate | Array ]

is_array (V: Any) → Bool

Проверка на массив.

Предикат: истинен, если V вычисляется в объект-массив.
 

< irem | is_block >

[ Predicate ]

is_block (V: Any) → Bool

Проверка на блок.

Предикат: истинен, если V вычисляется в блок.
 

< is_array | is_class >

[ Predicate | Object ]

is_class (F: Func) → Bool

Проверка на класс.

Предикат: истинен, если F вычисляется в ссылку на произвольный класс.
 

< is_block | is_float >

[ Predicate | Numeric ]

is_float (V: Any) → Bool

Проверка на вещественное число.

Предикат: истинен, если V вычисляется в вещественное значение.
 

< is_class | is_func >

[ Predicate ]

is_func (V: Any) → Bool

Проверка на функтор.

Предикат: истинен, если V вычисляется в ссылку на функтор.
 

< is_float | is_hash >

[ Predicate | Hash ]

is_hash (V: Any) → Bool

Проверка на хэш.

Предикат: истинен, если V вычисляется в объект-хэш.
 

< is_func | is_int >

[ Predicate | Numeric ]

is_int (V: Any) → Bool

Проверка на целое число.

Предикат: истинен, если V вычисляется в целочисленное значение.
 

< is_hash | is_list >

[ Predicate | List ]

is_list (V: Any) → Bool

Проверка на список.

Предикат: истинен, если V вычисляется в список.
 

< is_int | is_mut >

[ Predicate ]

is_mut (V: Any) → Bool

Проверка на мутабельность.

Предикат: истинен, если результат V мутабелен.
 

< is_list | is_num >

[ Predicate | Numeric ]

is_num (V: Any) → Bool

Проверка на произвольное число.

Предикат: истинен, если V вычисляется в числовое значение.
 

< is_mut | is_object >

[ Predicate | Object ]

is_object (V: Any) → Bool

Проверка на объект.

Предикат: истинен, если V вычисляется в экземпляр произвольного класса.
 

< is_num | is_pattern >

[ Predicate | Pattern ]

is_pattern (V: Any) → Bool

Проверка на образец.

Предикат: истинен, если V вычисляется в объект-образец.
 

< is_object | is_stream >

[ Stream | Predicate ]

is_stream (V: Any) → Bool

Проверка на поток.

Предикат: истинен, если V вычисляется в ссылку на поток ввода/вывода.
 

< is_pattern | is_string >

[ Predicate | String ]

is_string (V: Any) → Bool

Проверка на строковое значение.

Предикат: истинен, если V вычисляется в значение строкового типа.
 

< is_stream | is_term >

[ Predicate ]

is_term (V: Any) → Bool

Проверка на терм.

Предикат: истинен, если V вычисляется в терм.
 

< is_string | is_undef >

[ Predicate ]

is_undef (V: Any) → Bool

Проверка на отсутствие значения.

Предикат: истинен, если V вычисляется в undef.
 

< is_term | is_var >

[ Predicate ]

is_var (V: Any) → Bool

Проверка на переменную.

Предикат: истинен, если V вычисляется в переменную.
 

< is_undef | is_virtual >

[ Predicate | Object ]

is_virtual (F: Func) → Bool

Проверка на виртуальный функтор.

Предикат: истинен, если F вычисляется в ссылку на виртуальный функтор.
 

< is_var | l_cat >

[ List ]

l_cat (L: List, M: List) → List

Конкатенация списков.

(Возвращает копию L, если M равно undef; возвращает ссылку на M, если L равно undef.)
(Если M -- открытый список, возвращает открытый результат.)
 

< is_virtual | l_copy >

[ List ]

l_copy (L: List) → List

Копирование списка.

Возвращает точную копию списка L (включая списки-элементы).
 

< l_cat | l_count_ex >

[ List | Func ]

l_count_ex (Predicate: Func, L: List) → List

Исключающий подсчет элементов списка.

Возвращает количество элементов списка List, для которых вычисление Predicate ложно.
 

< l_copy | l_count_in >

[ List | Func ]

l_count_in (Predicate: Func, L: List) → List

Включающий подсчет элементов списка.

Возвращает количество элементов списка List, для которых вычисление Predicate истинно.
 

< l_count_ex | l_filter_ex >

[ List | Func ]

l_filter_ex (Predicate: Func, L: List) → List

Исключающая фильтрация списка.

Создает и возвращает список, содержащий все элементы списка List, для которых вычисление Predicate ложно.
 

< l_count_in | l_filter_in >

[ List | Func ]

l_filter_in (Predicate: Func, L: List) → List

Включающая фильтрация списка.

Создает и возвращает список, содержащий все элементы списка List, для которых вычисление Predicate истинно.
 

< l_filter_ex | l_head >

[ List | Mutable ]

l_head (L: List) → Mutable

Доступ к голове списка.

Возвращает мутабельную ссылку на "голову" (начальный элемент) списка L.
(Равносильно l_item (0, L)).
 

< l_filter_in | l_head_by >

[ List | Mutable ]

l_head_by (N: Int, L: List) → Mutable

Доступ к голове списка со смещением.

Равносильно N-кратному применению l_head(L).
(Возвращает L, если N == 0; равносильно l_head(L), если N == 1.)
 

< l_head | l_item >

[ List | Mutable ]

l_item (I: Int, L: List) → Mutable

Доступ к элементу списка.

Возвращает мутабельную ссылку на элемент I (от 0) списка L.
 

< l_head_by | l_len >

[ List ]

l_len (L: List) → Int

Длина списка.

Возвращает длину списка L (количество элементов в нем).
(Возвращает 1 для атомарных значений, и 0 для undef.)
 

< l_item | l_loop >

[ List | Iterator ]

l_loop (V: Mutable, L: List, @Body: Any) → Any

Списковый итератор (в прямом порядке).

Вычисляет Body для всех элементов списка L (с первого по последний).
Перед каждой итерацией, ссылка на текущий элемент списка присваивается мутабельному V.
Возвращает результат последнего вычисления Body.
 

< l_len | l_loop_r >

[ List | Iterator ]

l_loop_r (V: Mutable, L: List, @Body: Any) → Any

Списковый итератор (в обратном порядке).

Вычисляет Body для всех элементов списка L (с последнего по первый).
Перед каждой итерацией, ссылка на текущий элемент списка присваивается мутабельному V.
Возвращает результат последнего вычисления Body.
 

< l_loop | l_map >

[ List | Func ]

l_map (F: Func, L: List) → List

Функциональное отображение списка.

Возвращает новый список, созданный путем применения функтора F ко всем элементам списка L.
Замечание: l_map отражает открытые списки на открытые списки.
 

< l_loop_r | l_pop >

[ List | Mutator ]

l_pop (L: Mutable, V: Mutable) → List


 

< l_map | l_push >

[ List | Mutator ]

l_push (L: Mutable, V: Any) → List


 

< l_pop | l_range >

[ List ]

l_range (R: Range, [F: Func]) → List

Преобразовать диапазон в список по возрастанию.

Создает и возвращает новый список, содержащий все числа из диапазона R в порядке увеличения (от начала до конца).
Если задан необязательный функтор F, он применяется для вычисления элементов результата.
 

< l_push | l_range_r >

[ List ]

l_range_r (R: Range, [F: Func]) → List

Преобразовать диапазон в список по убыванию.

Создает и возвращает новый список, содержащий все числа из диапазона R в порядке уменьшения (от конца до начала).
Если задан необязательный функтор F, он применяется для вычисления элементов результата.
 

< l_range | l_ref >

[ List ]

l_ref (L: List) → List

Ссылка на список.

Возвращает ссылку на список L.
 

< l_range_r | l_rep >

[ List ]

l_rep (N: Int, L: List) → List

Репликация списка.

(Возвращает undef, если N <= 0; возвращает L , если N == 1.)
(Если L -- открытый список, возвращает открытый результат.)
 

< l_ref | l_rev >

[ List ]

l_rev (L: List) → List

Реверсия списка.

Возвращает перевернутый список L, от последнего элемента до первого.
 

< l_rep | l_sort_index >

[ List | Func ]

l_sort_index (Comp: Func, R: Range) → List


 

< l_rev | l_split >

[ List | Mutator ]

l_split (N: Int, L: Mutable) → List


 

< l_sort_index | l_tail >

[ List | Mutable ]

l_tail (L: List) → Mutable

Доступ к хвосту списка.

Возвращает мутабельную ссылку на "хвост" (все элементы, кроме начального) списка L.
 

< l_split | l_tail_by >

[ List | Mutable ]

l_tail_by (N: Int, L: List) → Mutable

Доступ к хвосту списка со смещением.

Равносильно N-кратному применению l_tail(L).
(Возвращает L, если N == 0; равносильно l_tail(L), если N == 1.)
 

< l_tail | l_until >

[ List | Func ]

l_until (Predicate: Func, L: List) → Int

Поиск в списке вперед, с проверкой предиката на ложность.

Просматривает список L (с первого элемента по последний), применяя функтор Predicate к каждому элементу, пока результат вычисления остается ложным.
(возвращает 0, если условие истинно для первого элемента; возвращает длину L, если условие ложно для всех элементов).
 

< l_tail_by | l_until_r >

[ List | Func ]

l_until_r (Predicate: Func, L: List) → Int

Поиск в списке назад, с проверкой предиката на ложность.

Просматривает список L (с последнего элемента по первый), применяя функтор Predicate к каждому элементу, пока результат вычисления остается ложным.
(возвращает длину L, если условие истинно для последнего элемента; возвращает 0, если условие ложно для всех элементов).
 

< l_until | l_while >

[ List | Func ]

l_while (Predicate: Func, L: List) → Int

Поиск в списке вперед, с проверкой предиката на истинность.

Просматривает список L (с первого элемента по последний), применяя функтор Predicate к каждому элементу, пока результат вычисления остается истинным.
(возвращает 0, если условие ложно для первого элемента; возвращает длину L, если условие истинно для всех элементов).
 

< l_until_r | l_while_r >

[ List | Func ]

l_while_r (Predicate: Func, L: List) → Int

Поиск в списке назад, с проверкой предиката на истинность.

Просматривает список L (с последнего элемента по первый), применяя функтор Predicate к каждому элементу, пока результат вычисления остается истинным.
(возвращает длину L, если условие ложно для последнего элемента; возвращает 0, если условие истинно для всех элементов).
 

< l_while | le >

[ Scalar | Compare | Numeric ]

le (A: Num, B: Num) → Bool

Арифметическое сравнение на "меньше или равно".

Истинно, если A численно меньше, или равно B (A <= B).
 

< l_while_r | let >

[ Mutator | Binary ]

let (V: Mutable, X: Any) → Any

Отложенное ("ленивое") присваивание.

Присваивает выражение X мутабельному V без вычисления.
Возвращает V.
 

< le | log >

[ Scalar | Unary | Numeric ]

log (X: Float) → Float

Натуральный логарифм.

Возвращает значение натурального логарифма от X.
 

< let | log_by >

[ Scalar | Binary | Numeric ]

log_by (X: Float, Y: Float) → Float

Логарифм по произвольному основанию.

Возвращает логарифм Y по основанию X.
(Равносильно: log(Y) / log(X)).
 

< log | lt >

[ Scalar | Compare | Numeric ]

lt (A: Num, B: Num) → Bool

Арифметическое сравнение на "меньше".

Истинно, если A численно меньше, чем B (A < B).
 

< log_by | max >

[ Scalar | Binary | Numeric ]

max (A: Num, B: Num) → Num

Арифметический максимум.

Возвращает численно большее из значений аргументов: A ?< B.
(Равносильно A > B ? A : B, но аргументы вычисляются однократно).
 

< lt | min >

[ Scalar | Binary | Numeric ]

min (A: Num, B: Num) → Num

Арифметический минимум.

Возвращает численно меньшее из значений аргументов: A ?< B.
(Равносильно A < B ? A : B, но аргументы вычисляются однократно).
 

< max | mul >

[ Scalar | Binary | Numeric ]

mul (A: Num, B: Num) → Num

Арифметическое умножение.

Возвращает произведение операндов: A * B.
 

< min | ne >

[ Scalar | Compare | Numeric ]

ne (A: Num, B: Num) → Bool

Арифметическое неравенство.

Истинно, если A численно не равно B (A <> B).
 

< mul | neg >

[ Scalar | Unary | Numeric ]

neg (A: Num) → Num

Арифметическое отрицание.

Возвращает значение, арифметически противоположное операнду: -A.
 

< ne | not >

[ Scalar | Unary | Numeric ]

not (I: Int) → Int

Битовая инверсия (NOT).

Возвращает битовую инверсию операнда: ~I.
 

< neg | num >

[ Scalar | Coercion | Numeric ]

num (V: Scalar) → Num

Преобразовать скаляр в число.

Явное преобразование скалярного значения V в целое или вещественное число.
 

< not | or >

[ Scalar | Binary | Numeric ]

or (I: Int, J: Int) → Int

Битовая дизъюнкция.

Результат битовой операции "ИЛИ" (OR) над аргументами: I | J.
 

< num | originator >

[ Object ]

originator (Virtual: Virtual) → Class

Оригинатор виртуального метода.

Возвращает ссылку на класс-оригинатор для виртуального функтора Virtual.
 

< or | outside >

[ Numeric | Predicate ]

outside (Value: Int, R: Range) → Bool

Проверить значение на исключенность из диапазона.

Истинно, если целое Value находится вне целого диапазона Range (равносильно Value < R[0] || R[1] <= Value).
 

< originator | pi >

[ Scalar | Unary | Numeric ]

pi (X: Float) → Float

Умножение на "Пи".

Возвращает значение X умноженное на "пи".
 

< outside | rad >

[ Scalar | Binary | Numeric ]

rad (X: Num, Y: Num) → Num

Полярный радиус точки.

Полярный радиус точки с декартовыми координатами (X, Y).
 

< pi | rand >

[ Unary | Numeric ]

rand ([N: Int]) → Int


 

< rad | randomize >

[ Unary | Numeric ]

randomize (Seed: Int) → Int


 

< rand | reduce >

[ List | Meta ]

reduce (Operation: Term) → Scalar

Редукция (мета-операция).

Выполняет редукцию бинарного терма Operation.
 

< randomize | reval >

[ Eval | Unary ]

reval (X: Any) → Any

Ревальвация.

Вычисляет и возвращает результат вычисления X.
 

< reduce | rx_alt >

[ Constructor | Pattern ]

rx_alt (First: Pattern, Second: Pattern) → Pattern

Альтернация образцов.

Возвращает образец, сопоставляющийся с First или с Second.
 

< reval | rx_any >

[ Constructor | Pattern ]

rx_any () → Pattern

Произвольный односимвольный образец.

Возвращает образец, соответствующий одному произвольному символу.
 

< rx_alt | rx_cat >

[ Constructor | Pattern ]

rx_cat (Head: Pattern, Tail: Pattern) → Pattern

Конкатенация образцов.

Возвращает образец, сопоставляющийся с Head, за которым следует Tail.
 

< rx_any | rx_char >

[ Constructor | Pattern ]

rx_char (Code: Int) → Pattern

Литеральный символьный образец.

Возвращает образец, соответствующий одному символу с кодом Code.
 

< rx_cat | rx_length >

[ Pattern ]

rx_length (Context: Pattern) → Range

Вычисляет допустимый диапазон длин для образца.

Возвращает диапазон длин контекстов, с которыми может быть успешно сопоставлен образец Context.
 

< rx_char | rx_match >

[ String | Pattern ]

rx_match (Context: Pattern, Str: String) → Int

Сопоставление образца.

Сопоставляет строку Str с образцом Context.
Возвращает длину начала строки, сопоставленного с образцом (или -1, если сопоставление неудачно).
 

< rx_length | rx_rep >

[ Constructor | Pattern ]

rx_rep (Range: Range, Longest: Bool, Body: Pattern) → Pattern

Репликация образца.

Если Longest истинно, пытается найти максимум повторений.
 

< rx_match | rx_string >

[ Constructor | Pattern ]

rx_string (Text: String) → Pattern

Литеральный строковый образец.

Возвращает образец, соответствующий строке Text.
 

< rx_rep | s_cat >

[ Scalar | Binary | String ]

s_cat (S: String, T: String) → String

Строковая конкатенация.

Возвращает результат конкатенации (сцепления) строк S и T.
 

< rx_string | s_cmp >

[ Scalar | Compare | String ]

s_cmp (S: String, T: String) → Sign

Словарное сравнение строк.

Возвращает -1 (если S словарно предшествует T), 1 (если S словарно следует за T), 0 (если S совпадает с T) (значения S и T вычисляются однократно).
 

< s_cat | s_empty >

[ Scalar | Nullary | String ]

s_empty () → String

Пустая строка.

Всегда возвращает пустую строку.
 

< s_cmp | s_eq >

[ Scalar | Compare | String ]

s_eq (S: String, T: String) → Bool

Словарное сравнение на равенство.

Истинно, если S совпадает с T.
 

< s_empty | s_findfirst >

[ Scalar | Binary | String ]

s_findfirst (S: String, Ctx: String) → Int

Найти первую подстроку в строке.

Просматривает строку S вперед в поисках первого вхождения контекста Ctx.
Возвращает позицию найденной подстроки Ctx в строке S (начиная с 0), или -1, если Ctx не найдена.
 

< s_eq | s_findlast >

[ Scalar | Binary | String ]

s_findlast (S: String, Ctx: String) → Int

Найти последнюю подстроку в строке.

Просматривает строку S назад в поисках последнего вхождения контекста Ctx.
Возвращает позицию найденной подстроки Ctx в строке S (начиная с 0), или -1, если Ctx не найдена.
 

< s_findfirst | s_ge >

[ Scalar | Compare | String ]

s_ge (S: String, T: String) → Bool

Словарное сравнение на "больше или равно".

Истинно, если S алфавитно позже или равно T.
 

< s_findlast | s_gt >

[ Scalar | Compare | String ]

s_gt (S: String, T: String) → Bool

Словарное сравнение на "больше".

Истинно, если S алфавитно позже T.
 

< s_ge | s_join >

[ String ]

s_join (Separator: String, Items: List) → String


 

< s_gt | s_le >

[ Scalar | Compare | String ]

s_le (S: String, T: String) → Bool

Словарное сравнение на "меньше или равно".

Истинно, если S алфавитно раньше или равно T.
 

< s_join | s_len >

[ Scalar | Unary | String ]

s_len (S: String) → Int

Длина строки.

Возвращает количество символов в строке S (0, если S пуста).
 

< s_le | s_lt >

[ Scalar | Compare | String ]

s_lt (S: String, T: String) → Bool

Словарное сравнение на "меньше".

Истинно, если S алфавитно раньше T.
 

< s_len | s_map >

[ String | Unary ]

s_map (Mapper: Func, S: String) → String


 

< s_lt | s_max >

[ Scalar | Binary | String ]

s_max (S: String, T: String) → String

Словарный максимум.

Возвращает одну из строк S и T, которая позже другой алфавитно.
 

< s_map | s_min >

[ Scalar | Binary | String ]

s_min (S: String, T: String) → String

Словарный минимум.

Возвращает одну из строк S и T, которая раньше другой алфавитно.
 

< s_max | s_ne >

[ Scalar | Compare | String ]

s_ne (S: String, T: String) → Bool

Словарное сравнение на неравенство.

Истинно, если S отличается от T.
 

< s_min | s_rep >

[ Scalar | Binary | String ]

s_rep (S: String, N: Int) → String

Строковая репликация.

Возвращает результат репликации (последовательного сцепления) строки S ровно N раз.
(Возвращает S, если N == 1; или пустую строку, если N == 0.)
 

< s_ne | s_retype >

[ Scalar | Binary | String ]

s_retype (Type: Bool, S: String)

Изменить тип символов строки.

Возвращает результат преобразования строки S к типу символов Type
(0: к ASCII-символам, 1: к Unicode-символам).
 

< s_rep | s_slice >

[ Scalar | Binary | String ]

s_slice (R: Range, S: String) → String

Отрезок строки.

Возвращает отрезок строки S, ограниченный диапазоном индексов R.
По умолчанию, диапазон R задает всю строку: 0 .. s_len(S).
 

< s_retype | s_type >

[ Scalar | Unary | String ]

s_type (S: String) → Int

Определить тип символов строки.

Возвращает тип символов в строке S:
0: ASCII, 1: Unicode.
 

< s_slice | self >

[ Object ]

self (Class: Class) → Object

Возвращает текущий экземпляр класса.

Вычисляет Class, и возвращает его текущий экземпляр.
(Возвращает undef, если Class не является ссылкой на класс, или не имеет текущего экземпляра.)
 

< s_type | set >

[ Mutator | Binary ]

set (V: Mutable, X: Any) → Any

Прямое присваивание.

Присваивает (и возвращает) мутабельному V результат вычисления X.
 

< self | sgn >

[ Scalar | Unary | Numeric ]

sgn (A: Num) → Sign

Арифметический знак.

Возвращает знак операнда.
(Равносильно (A > 0 ? 1 : A < 0 ? -1 : 0), но A вычисляется однократно).
 

< set | shl >

[ Scalar | Binary | Numeric ]

shl (I: Int, J: Int) → Int

Битовый сдвиг влево.

Возвращает результат арифметического сдвига I на J битов влево (I << J).
(Справедливо тождество: I << -J == I >> J).
 

< sgn | shr >

[ Scalar | Binary | Numeric ]

shr (I: Int, J: Int) → Int

Битовый сдвиг вправо.

Возвращает результат арифметического сдвига I на J битов вправо (I >> J).
(Справедливо тождество: I >> -J == I << J).
 

< shl | sin >

[ Scalar | Unary | Numeric ]

sin (X: Float) → Float

Тригонометрический синус.

Значение синуса от X радиан.
 

< shr | sinh >

[ Scalar | Unary | Numeric ]

sinh (X: Float) → Float

Гиперболический синус.

Значение гиперболического синуса от X.
(Равносильно: (exp(X) - exp(-X)) / 2).
 

< sin | sqr >

[ Scalar | Unary | Numeric ]

sqr (X: Float) → Float

Арифметический квадратный корень.

Возвращает квадратный корень из X (NAN, если X < 0).
 

< sinh | string >

[ Scalar | Coercion | String ]

string (V: Scalar) → String

Преобразовать скаляр в строку.

Явное преобразование скалярного значения V в строку.
 

< sqr | sub >

[ Scalar | Binary | Numeric ]

sub (A: Num, B: Num) → Num

Арифметическое вычитание.

Возвращает разность операндов: A - B.
 

< string | swap >

[ Mutator | Binary ]

swap (V: Mutable, W: Mutable) → ()

Обмен значений.

Меняет местами значения мутабельных V и W.
 

< sub | tan >

[ Scalar | Unary | Numeric ]

tan (X: Float) → Float

Тригонометрический тангенс.

Значение тангенса от X радиан.
 

< swap | tanh >

[ Scalar | Unary | Numeric ]

tanh (X: Float) → Float

Гиперболический тангенс.

Значение гиперболического тангенса от X.
(Равносильно: sinh(X) / cosh(X), или (exp(X) - exp(-X)) / (exp(X) + exp(-X))).
 

< tan | times >

[ Iterator | Unary ]

times (Count: Int, @Body: Any) → Any

Повторение определенное количество раз.

Вычисляет Body ровно Count раз (ни одного, если Count <= 0).
Возвращает последний результат Body (или undef, если Body не вычислялось ни разу).
 

< tanh | true >

[ Scalar | Nullary | Conditional ]

true () → Bool

Логический литерал: "истина".

Всегда возвращает 1 (как "истинное" значение).
 

< times | unless >

[ Conditional | Ternary ]

unless (Cond: Bool, @Else: Any1, @Then: Any2) → Any1 | Any2

Условная проверка на ложность.

Если условие Cond ложно, вычисляет и возвращает Else; иначе вычисляет и возвращает Then.
 

< true | until >

[ Iterator | Conditional | Binary ]

until (@Cond: Bool, @Body: Any) → Any

Итератор по ложности предусловия.

Пока условие Cond остается ложным, повторяет вычисление Body.
Возвращает последнее значение Body (или undef, если Body не вычислялось ни разу).
 

< unless | void >

[ Eval | Unary ]

void (X: Any) → ()

Вычисление без явного результата.

Вычислить X, игнорируя полученное значение-результат.
 

< until | while >

[ Iterator | Conditional | Binary ]

while (@Cond: Bool, @Body: Any) → Any

Итератор по истинности предусловия.

Пока условие Cond остается истинным, повторяет вычисление Body.
Возвращает последнее значение Body (или undef, если Body не вычислялось ни разу).
 

< void | with >

[ Object | Wrapper ]

with (Instance: Object, @Body: Any) → Any

Оболочка для определения текущего экземпляра класса.

Вычисляет Body (возвращая результат), с объектом Instance в качестве текущего экземпляра собственного класса (и его предков).
 

< while | without >

[ Object | Wrapper ]

without (Class: Class, @Body: Any) → Any

Оболочка для отмены текущего экземпляра класса.

Вычисляет Body (возвращая результат), без определенного текущего экземпляра класса Class.
 

< with | x_funcs >

[ Debug ]

x_funcs ([Scope: Func]) → Int


 

< without | x_trace >

[ Debug ]

x_trace (Mode: Int [, Expr: Any]) → Any


 

< x_funcs | x_vars >

[ Debug ]

x_vars ([Scope: Func]) → Int


 

< x_trace | xor >

[ Scalar | Binary | Numeric ]

xor (I: Int, J: Int) → Int

Битовая эксъюнкция.

Результат битовой операции "исключающее ИЛИ" (XOR) над аргументами: I ~ J.
 

< x_vars |



Hosted by uCoz