Модуль Стек

module Stack: sig .. end

Стек по принципу LIFO.

Этот модуль реализует стеки (LIFO), с модификацией на месте.

type 'a t

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

exception Empty

Возникает, когда Stack.pop или Stack.top применяется к пустому стеку.

val create : unit -> 'a t

Возвращает новый, изначально пустой, стек.

val push : 'a -> 'a t -> unit

push x s добавляет элемент x в верхнюю часть стека s.

val pop : 'a t -> 'a

pop s удаляет и возвращает самый верхний элемент в стеке s, или вызывает Stack.Empty, если стек пуст.

val pop_opt : 'a t -> 'a option

pop_opt s удаляет и возвращает самый верхний элемент в стеке s, или возвращает None, если стек пуст.

Since 4.08

val top : 'a t -> 'a

top s возвращает самый верхний элемент в стеке s, или вызывает Stack.Empty, если стек пуст.

val top_opt : 'a t -> 'a option

top_opt s возвращает самый верхний элемент в стеке s, или None, если стек пуст.

Since 4.08

val clear : 'a t -> unit

Очистить все элементы из стека.

val copy : 'a t -> 'a t

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

val is_empty : 'a t -> bool

Возвращает true если данный стек пустой, false в противном случае.

val length : 'a t -> int

Возвращает количество элементов в стеке. Время выполнения O(1)

val iter : ('a -> unit) -> 'a t -> unit

iter f s последовательно применяет f ко всем элементам s, начиная с элемента в верхней части стека и до элемента в нижней части. Сам стек не изменяется.

val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b

fold f accu s представляет собой (f (... (f (f accu x1) x2) ...) xn), где x1 - вершина стека, x2 - второй элемент, и xn - нижний элемент. Стек не изменяется.

Since 4.03

Стек и Последовательности

val to_seq : 'a t -> 'a Seq.t

Итерируется по стеку сверху вниз. В процессе итерации можно изменять стек.

Since 4.07

val add_seq : 'a t -> 'a Seq.t -> unit

Добавить элементы из последовательности в верхнюю часть стека.

Since 4.07

val of_seq : 'a Seq.t -> 'a t

Создать стек из последовательности.

Since 4.07