Spec-Zone.ru › OCaml 4.14

Индекс типов

A
acc [CamlinternalFormat]
acc_formatting_gen [CamlinternalFormat]
access_permission [UnixLabels]

Флаги для вызова UnixLabels.access.

access_permission [Unix]

Флаги для вызова Unix.access.

addr_info [UnixLabels]

Информация об адресе, возвращаемая UnixLabels.getaddrinfo.

addr_info [Unix]

Информация об адресе, возвращаемая Unix.getaddrinfo.

alarm [Gc]

Предупреждение — данные, вызывающие пользовательскую функцию в конце каждого основного цикла сбора мусора.

allocation [Gc.Memprof]

Тип метаданных, связанных с выделением памяти.

allocation_source [Gc.Memprof]
anon_fun [Arg]
B
backend_type [Sys]

В настоящее время официальное распространение поддерживает только Native и Bytecode, но могут быть и другие бэкэнды с альтернативными компиляторами, например, javascript.

backtrace_slot [Printexc]

Абстрактный тип backtrace_slot представляет собой один слот стека вызовов.

block_type [CamlinternalFormatBasics]
C
c_layout [Bigarray]

См. Bigarray.fortran_layout.

channel [Event]

Тип каналов связи, передающих значения типа 'a.

char_set [CamlinternalFormatBasics]
closure [CamlinternalOO]
complex32_elt [Bigarray]
complex64_elt [Bigarray]
control [Gc]

Параметры GC задаются в виде записи control.

counter [CamlinternalFormatBasics]
custom_arity [CamlinternalFormatBasics]
D
data [Weak.S]

Тип элементов, хранящихся в таблице.

dir_handle [UnixLabels]

Тип дескрипторов открытых каталогов.

dir_handle [Unix]

Тип дескрипторов открытых каталогов.

doc [Arg]
E
elt [Set.S]

Тип элементов множества.

elt [MoreLabels.Set.S]

Тип элементов множества.

equal [Ephemeron.GenHashTable]
error [UnixLabels]

Тип кодов ошибок.

error [Unix]

Тип кодов ошибок.

error [Dynlink]
event [Event]

Тип событий связи, возвращающих результат типа 'a.

extern_flags [Marshal]

Флаги для функций Marshal.to_* ниже.

extra_info [Sys]
extra_prefix [Sys]
F
file_descr [UnixLabels]

Абстрактный тип дескрипторов файлов.

file_descr [Unix]

Абстрактный тип дескрипторов файлов.

file_kind [UnixLabels]
file_kind [Unix]
file_name [Scanf.Scanning]

Удобный псевдоним для обозначения имени файла.

file_perm [UnixLabels]

Тип прав доступа к файлам, например:

file_perm [Unix]

Тип прав доступа к файлам, например:

float32_elt [Bigarray]
float64_elt [Bigarray]
float_conv [CamlinternalFormatBasics]
float_flag_conv [CamlinternalFormatBasics]
float_kind_conv [CamlinternalFormatBasics]
flow_action [UnixLabels]
flow_action [Unix]
flush_queue [UnixLabels]
flush_queue [Unix]
fmt [CamlinternalFormatBasics]

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

fmt_ebb [CamlinternalFormat]
fmtty [CamlinternalFormatBasics]
fmtty_rel [CamlinternalFormatBasics]
format [Stdlib]
format4 [Stdlib]
format6 [Stdlib]
format6 [CamlinternalFormatBasics]
formatter [Format]

Абстрактные данные, соответствующие красивому принтеру (также называемому форматировщиком) и всем его механизмам.

formatter_out_functions [Format]

Набор функций вывода, специфичных для форматировщика: функция out_string выполняет весь вывод строк красивого принтера. Она вызывается со строкой s, начальной позицией p и количеством символов n; она должна выводить символы p по p + n - 1 из s, функция out_flush очищает устройство вывода красивого принтера., функция out_newline вызывается для открытия новой строки, когда красивейший принтер разделяет строку., функция out_spaces выводит пробелы, когда подсказка о разрыве приводит к пробелам вместо разрыва строки. Она вызывается с количеством пробелов для вывода., функция out_indent выполняет отступ новой строки при разрыве строки красивым принтером. Она вызывается со значением отступа новой строки. По умолчанию: поля out_string и out_flush зависят от устройства вывода; (например, output_string и flush для устройства out_channel или Buffer.add_substring и ignore для устройства вывода Buffer.t), поле out_newline эквивалентно out_string "\n" 0 1, поля out_spaces и out_indent эквивалентны out_string (String.make n ' ') 0 n.

formatter_stag_functions [Формат]

Функции обработки семантических тегов, специфичные для форматера: mark версии — это функции «пометки тегов», которые связывают строковый маркер с тегом, чтобы движок красивой печати мог записать эти маркеры как токены длиной 0 в устройство вывода форматера.

formatter_tag_functions [Формат]
formatting_gen [CamlinternalFormatBasics]
formatting_lit [CamlinternalFormatBasics]
fortran_layout [Bigarray]

Для обеспечения межпрограммного взаимодействия с существующим кодом C и Fortran эта библиотека поддерживает два различных расположения памяти для Bigarray, одно совместимое с соглашениями C, другое — с соглашениями Fortran.

fpclass [Float]

Пять классов чисел с плавающей точкой, определённых функцией Float.classify_float.

fpclass [Stdlib]

Пять классов чисел с плавающей точкой, определённых функцией classify_float.

G
geometry [Формат]
getaddrinfo_option [UnixLabels]

Параметры для UnixLabels.getaddrinfo.

getaddrinfo_option [Unix]

Параметры для Unix.getaddrinfo.

getnameinfo_option [UnixLabels]

Параметры для UnixLabels.getnameinfo.

getnameinfo_option [Unix]

Параметры для Unix.getnameinfo.

group_entry [UnixLabels]

Структура записей в базе данных groups.

group_entry [Unix]

Структура записей в базе данных groups.

H
heter_list [CamlinternalFormat]
host_entry [UnixLabels]

Структура записей в базе данных hosts.

host_entry [Unix]

Структура записей в базе данных hosts.

I
ignored [CamlinternalFormatBasics]
impl [CamlinternalOO]
in_channel [Scanf.Scanning]

Понятие входного канала для модуля Scanf: эти каналы предоставляют все необходимые инструменты для чтения из любого источника символов, включая значение in_channel.

in_channel [Stdlib]

Тип входного канала.

inet_addr [UnixLabels]

Абстрактный тип интернет-адресов.

inet_addr [Unix]

Абстрактный тип интернет-адресов.

info [Obj.Closure]
init_table [CamlinternalOO]
int16_signed_elt [Bigarray]
int16_unsigned_elt [Bigarray]
int32_elt [Bigarray]
int64_elt [Bigarray]
int8_signed_elt [Bigarray]
int8_unsigned_elt [Bigarray]
int_conv [CamlinternalFormatBasics]
int_elt [Bigarray]
interval_timer [UnixLabels]

Три типа таймеров интервалов.

interval_timer [Unix]

Три типа таймеров интервалов.

interval_timer_status [UnixLabels]

Тип, описывающий состояние таймера интервалов

interval_timer_status [Unix]

Тип, описывающий состояние таймера интервалов

K
key [MoreLabels.Map.S]

Тип ключей карты.

key [MoreLabels.Hashtbl.SeededS]
key [MoreLabels.Hashtbl.S]
key [Map.S]

Тип ключей карты.

key [Hashtbl.SeededS]
key [Hashtbl.S]
key [Ephemeron.SeededS]
key [Ephemeron.S]
key [Arg]
kind [Bigarray]

Каждому типу элемента соответствует тип OCaml, который является типом значений OCaml, которые могут храниться в Bigarray или считываться из него.

L
label [CamlinternalOO]
layout [Bigarray]
lexbuf [Lexing]

Тип буферов лексического анализатора.

linking_error [Dynlink]
location [Printexc]

Тип информации о расположении, встречающейся в трассировках.

lock_command [UnixLabels]

Команды для UnixLabels.lockf.

lock_command [Unix]

Команды для Unix.lockf.

M
meth [CamlinternalOO]
msg_flag [UnixLabels]

Флаги для UnixLabels.recv, UnixLabels.recvfrom, UnixLabels.send и UnixLabels.sendto.

msg_flag [Unix]

Флаги для Unix.recv, Unix.recvfrom, Unix.send и Unix.sendto.

mutable_char_set [CamlinternalFormat]
N
name_info [UnixLabels]

Информация о хосте и службе, возвращаемая функцией UnixLabels.getnameinfo.

name_info [Unix]

Информация о хосте и службе, возвращаемая функцией Unix.getnameinfo.

nativeint_elt [Bigarray]
узел [Последовательность]

Узел — это либо Nil, что означает пустую последовательность, либо Cons (x, xs), что означает, что x — первый элемент последовательности, а xs — оставшаяся часть последовательности.

O
объект [CamlinternalOO]
obj_t [Obj.Ephemeron]

псевдоним для Obj.t

информация_о_выпуске_ocaml [Sys]
флаг_открытия [UnixLabels]

Флаги для UnixLabels.openfile.

флаг_открытия [Unix]

Флаги для Unix.openfile.

флаг_открытия [Out_channel]

Режимы открытия для Out_channel.open_gen.

флаг_открытия [In_channel]

Режимы открытия для In_channel.open_gen.

флаг_открытия [Stdlib]

Режимы открытия для open_out_gen и open_in_gen.

выходной_канал [Stdlib]

Тип выходного канала.

P
опция_выравнивания [CamlinternalFormatBasics]
выравнивание [CamlinternalFormatBasics]
тип_выравнивания [CamlinternalFormatBasics]
формат_параметра_ebb [CamlinternalFormat]
параметры [CamlinternalOO]
запись_паролей [UnixLabels]

Структура записей в базе данных passwd.

запись_паролей [Unix]

Структура записей в базе данных passwd.

позиция [Lexing]

Значение типа position описывает точку в исходном файле.

опция_точности [CamlinternalFormatBasics]
точность [CamlinternalFormatBasics]
статус_процесса [UnixLabels]

Статус завершения процесса.

статус_процесса [Unix]

Статус завершения процесса.

время_процесса [UnixLabels]

Времена выполнения (время процессора) процесса.

время_процесса [Unix]

Времена выполнения (время процессора) процесса.

запись_протокола [UnixLabels]

Структура записей в базе данных protocols.

запись_протокола [Unix]

Структура записей в базе данных protocols.

R
необработанный_стек_вызовов [Printexc]

Тип raw_backtrace хранит стек вызовов в низкоуровневом формате, который может быть преобразован в пригодный для использования вид с помощью raw_backtrace_entries и backtrace_slots_of_raw_entry ниже.

элемент_необработанного_стека_вызовов [Printexc]

Элемент raw_backtrace_entry — это элемент raw_backtrace.

слот_необработанного_стека_вызовов [Printexc]

Этот тип используется для итерации по слотам raw_backtrace.

необработанные_данные [Obj]
ссылка [Stdlib]

Тип ссылок (изменяемых ячеек косвенной адресации), содержащих значение типа 'a.

регулярное_выражение [Str]

Тип скомпилированных регулярных выражений.

представление [Sys.Immediate64.Make]
результат [Stdlib]
S
буфер_сканирования [Scanf.Scanning]

Тип буферов сканирования.

сканер [Scanf]

Тип форматированных сканеров ввода: ('a, 'b, 'c, 'd) scanner — это тип форматированной функции ввода, которая считывает данные из некоторого форматированного канала ввода в соответствии с некоторым строковым форматом; точнее, если scan — это некоторая форматированная функция ввода, то scan
    ic fmt f
применяет f ко всем аргументам, указанным в строке формата fmt, когда scan прочитает эти аргументы из форматированного канала ввода Scanf.Scanning.in_channel ic.

команда_позиционирования [UnixLabels]

Режимы позиционирования для UnixLabels.lseek.

команда_позиционирования [Unix]

Режимы позиционирования для Unix.lseek.

запись_сервиса [UnixLabels]

Структура записей в базе данных services.

запись_сервиса [Unix]

Структура записей в базе данных services.

когда_изменять_атрибут [UnixLabels]
когда_изменять_атрибут [Unix]
форма [CamlinternalMod]
команда_выключения [UnixLabels]

Тип команд для shutdown.

команда_выключения [Unix]

Тип команд для shutdown.

поведение_сигнала [Sys]

Что делать при получении сигнала: Signal_default: принять поведение по умолчанию (обычно: прервать программу), Signal_ignore: игнорировать сигнал, Signal_handle f: вызвать функцию f, передав ей номер сигнала.

команда_sigprocmask [UnixLabels]
команда_sigprocmask [Unix]
адрес_соккета [UnixLabels]

Тип адресов сокетов.

адрес_соккета [Unix]

Тип адресов сокетов.

опция_соккета_булево [UnixLabels]

Опции сокета, которые можно получить с помощью UnixLabels.getsockopt и изменить с помощью UnixLabels.setsockopt.

опция_соккета_булево [Unix]

Опции сокета, которые можно получить с помощью Unix.getsockopt и изменить с помощью Unix.setsockopt.

домен_соккета [UnixLabels]

Тип доменов сокетов.

домен_соккета [Unix]

Тип доменов сокетов.

опция_соккета_вещественное [UnixLabels]

Опции сокета, которые можно получить с помощью UnixLabels.getsockopt_float и изменить с помощью UnixLabels.setsockopt_float.

socket_float_option [Unix]

Опции сокета, которые можно просмотреть с помощью Unix.getsockopt_float и изменить с помощью Unix.setsockopt_float.

socket_int_option [UnixLabels]

Опции сокета, которые можно просмотреть с помощью UnixLabels.getsockopt_int и изменить с помощью UnixLabels.setsockopt_int.

socket_int_option [Unix]

Опции сокета, которые можно просмотреть с помощью Unix.getsockopt_int и изменить с помощью Unix.setsockopt_int.

socket_optint_option [UnixLabels]

Опции сокета, которые можно просмотреть с помощью UnixLabels.getsockopt_optint и изменить с помощью UnixLabels.setsockopt_optint.

socket_optint_option [Unix]

Опции сокета, которые можно просмотреть с помощью Unix.getsockopt_optint и изменить с помощью Unix.setsockopt_optint.

socket_type [UnixLabels]

Тип сокета, определяющий семантику коммуникаций.

socket_type [Unix]

Тип сокета, определяющий семантику коммуникаций.

spec [Arg]

Конкретный тип, описывающий поведение, связанное с ключевым словом.

split_result [Str]
stag [Format]

Семантические теги (или просто теги) — это определённые пользователем аннотации, связывающие конкретные операции пользователя с выводимыми сущностями.

stat [Gc]

Счётчики управления памятью возвращаются в stat записи.

statistics [MoreLabels.Hashtbl]
statistics [Hashtbl]
stats [UnixLabels.LargeFile]
stats [UnixLabels]

Информация, возвращаемая вызовами UnixLabels.stat.

stats [Unix.LargeFile]
stats [Unix]

Информация, возвращаемая вызовами Unix.stat.

stats [CamlinternalOO]
symbolic_output_buffer [Format]

Буфер вывода символического красивого принтера.

symbolic_output_item [Format]

Элементы, производимые символическими красивыми принтерами

T
t [Semaphore.Binary]

Тип бинарных семафоров.

t [Semaphore.Counting]

Тип счётных семафоров.

t [Mutex]

Тип мьютексов.

t [Condition]

Тип переменных условия.

t [Thread]

Тип дескрипторов потоков.

t [CamlinternalOO]
t [CamlinternalLazy]
t [Weak.S]

Тип таблиц, содержащих элементы типа data.

t [Weak]

Тип массивов слабых указателей (слабые массивы).

t [Unit]

Тип единицы.

t [Uchar]

Тип для символов Юникода.

t [Sys.Immediate64.Immediate]
t [Sys.Immediate64.Non_immediate]
t [Sys.Immediate64.Make]
t [String]

Тип для строк.

t [Stream]

Тип потоков, содержащих значения типа 'a.

t [StringLabels]

Тип для строк.

t [Stack]

Тип стеков, содержащих элементы типа 'a.

t [Set.OrderedType]

Тип элементов множества.

t [Set.S]

Тип множеств.

t [Seq]

Последовательность xs типа 'a t представляет собой отложенный список элементов типа 'a.

t [Result]

Тип значений результата.

t [Random.State]

Тип состояний генератора псевдослучайных чисел.

t [Queue]

Тип очередей, содержащих элементы типа 'a.

t [Printexc.Slot]
t [Printexc]

Тип значений исключений.

t [Out_channel]

Тип канала вывода.

t [Option]

Тип значений опций.

t [Obj.Ephemeron]

эфемерон см Obj.Ephemeron

t [Obj.Extension_constructor]
t [Obj]
t [Nativeint]

Псевдоним для типа целых чисел машинной длины.

t [MoreLabels.Set.OrderedType]

Тип элементов множества.

t [MoreLabels.Set.S]

Тип множеств.

t [MoreLabels.Map.OrderedType]

Тип ключей карты.

t [MoreLabels.Map.S]

Тип карт от типа key до типа 'a.

t [MoreLabels.Hashtbl.SeededHashedType]

Тип ключей хеш-таблицы.

t [MoreLabels.Hashtbl.HashedType]

Тип ключей хеш-таблицы.

t [MoreLabels.Hashtbl.SeededS]
t [MoreLabels.Hashtbl.S]
t [MoreLabels.Hashtbl]

Тип хеш-таблиц от типа 'a до типа 'b.

t [Map.OrderedType]

Тип ключей карты.

t [Map.S]

Тип карт от типа key до типа 'a.

t [ListLabels]

Псевдоним для типа списков.

t [List]

Псевдоним для типа списков.

t [Lazy]

Значение типа 'a Lazy.t — это отложенное вычисление, называемое приостановкой, у которого есть результат типа 'a.

t [Int64]

Псевдоним для типа 64-битных целых чисел.

t [Int32]

Псевдоним для типа 32-битных целых чисел.

t [Int]

Тип для целочисленных значений.

t [In_channel]

Тип входного канала.

t [Hashtbl.SeededHashedType]

Тип ключей хеш-таблицы.

t [Hashtbl.HashedType]

Тип ключей хеш-таблицы.

t [Hashtbl.SeededS]
t [Hashtbl.S]
t [Hashtbl]

Тип хеш-таблиц от типа 'a к типу 'b.

t [Float.ArrayLabels]

Тип массивов чисел с плавающей точкой с упакованным представлением.

t [Float.Array]

Тип массивов чисел с плавающей точкой с упакованным представлением.

t [Float]

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

t [Ephemeron.Kn.Bucket]

Ведро — это изменяемый «список» эфемерных данных.

t [Ephemeron.Kn]

Эфемерный объект с произвольным количеством ключей одного типа

t [Ephemeron.K2.Bucket]

Ведро — это изменяемый «список» эфемерных данных.

t [Ephemeron.K2]

Эфемерный объект с двумя ключами

t [Ephemeron.K1.Bucket]

Ведро — это изменяемый «список» эфемерных данных.

t [Ephemeron.SeededS]
t [Ephemeron.S]
t [Ephemeron.K1]

Эфемерный объект с одним ключом

t [Either]

Значение ('a, 'b) Either.t содержит либо значение 'a, либо значение 'b.

t [Digest]

Тип дайджестов: строки длиной 16 символов.

t [Complex]

Тип комплексных чисел.

t [Char]

Псевдоним для типа символов.

t [BytesLabels]

Псевдоним для типа последовательностей байтов.

t [Bytes]

Псевдоним для типа последовательностей байтов.

t [Buffer]

Абстрактный тип буферов.

t [Bool]

Тип булевых значений (логические значения).

t [Bigarray.Array3]

Тип трехмерных биг-массивов, элементы которых имеют тип OCaml 'a, вид представления 'b, и расположение в памяти 'c.

t [Bigarray.Array2]

Тип двумерных биг-массивов, элементы которых имеют тип OCaml 'a, вид представления 'b, и расположение в памяти 'c.

t [Bigarray.Array1]

Тип одномерных биг-массивов, элементы которых имеют тип OCaml 'a, вид представления 'b, и расположение в памяти 'c.

t [Bigarray.Array0]

Тип нульмерных биг-массивов, элементы которых имеют тип OCaml 'a, вид представления 'b, и расположение в памяти 'c.

t [Bigarray.Genarray]

Тип Genarray.t — это тип биг-массивов с переменным числом измерений.

t [Atomic]

Атомарная (изменяемая) ссылка на значение типа 'a.

t [ArrayLabels]

Псевдоним для типа массивов.

t [Array]

Псевдоним для типа массивов.

t [CamlinternalAtomic]
table [CamlinternalOO]
tables [CamlinternalOO]
tag [CamlinternalOO]
tag [Format]
terminal_io [UnixLabels]
terminal_io [Unix]
tm [UnixLabels]

Тип, представляющий время и календарную дату.

tm [Unix]

Тип, представляющий время и календарную дату.

token [Genlex]

Тип токенов.

tracker [Gc.Memprof]

('minor, 'major) tracker описывает, как memprof должен отслеживать образцы блоков в течение их жизненного цикла, сохраняя пользовательские данные для каждого из них: 'minor — это тип данных для хранения метаданных для мелких блоков, а 'major — тип для хранения метаданных для крупных блоков.

U
usage_msg [Arg]
utf_decode [Uchar]

Тип результатов декодирования UTF.

W
wait_flag [UnixLabels]

Флаги для UnixLabels.waitpid.

wait_flag [Unix]

Флаги для Unix.waitpid.

© 1995-2022 INRIA.
https://v2.ocaml.org/releases/4.14/htmlman/libref/index_types.html

Spec-Zone.ru

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