Модуль Effect

module Effect: sig .. end

Эффекты.

См. раздел «Language extensions/Effect handlers» в руководстве.

Начиная с версии 5.0
Предупреждение: нестабильный интерфейс. Интерфейс Effect может измениться в будущем несовместимым образом.

type 'a t = 'a eff = ..

Тип эффектов.

exception Unhandled : 'a t -> exn

Unhandled e возникает, когда выполняется эффект e, для которого нет обработчика.

exception Continuation_already_resumed

Исключение, возникающее, если продолжение возобновляется или прекращается более одного раза.

val perform : 'a t -> 'a

perform e выполняет эффект e.

module Deep: sig .. end

module Shallow: sig .. end