OCaml library : Stdlib.Effect (original) (raw)

Module Stdlib.Effect

module Effect: [Effect](Effect.html)

• Alert unstable. The Effect interface may change in incompatible ways in the future.

Effects.

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

type 'a t = 'a eff = ..

exception Unhandled : 'a [t](Effect.html#TYPEt) -> 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](Effect.html#TYPEt) -> 'a

perform e performs an effect e.

• Raises Unhandled if there is no handler for e.

module Deep: sig .. end

module Shallow: sig .. end