Module Effect

module Effect: sig .. end


See 'Language extensions/Effect handlers' section in the manual.

type _ t = ..

The type of effects.

exception Unhandled : 'a t -> exn

Unhandled e is raised when effect e is performed and there is no handler for it.

exception Continuation_already_resumed

Exception raised when a continuation is continued or discontinued more than once.

val perform : 'a t -> 'a

perform e performs an effect e.

module Deep: sig .. end
module Shallow: sig .. end