模块 Effect

module Effect: sig .. end

效应。

请参阅手册中的“语言扩展/效应处理程序”部分。

type _ t = ..

效应的类型。

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