Module Stdlib.EffectSource

Effects.

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

Sourcetype 'a t = 'a eff = ..

The type of effects.

Sourceexception Unhandled : 'a t -> exn

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

Sourceexception Continuation_already_resumed

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

Sourceval perform : 'a t -> 'a

perform e performs an effect e.

  • raises Unhandled

    if there is no handler for e.

Sourcemodule Deep : sig ... end

Deep handlers

Sourcemodule Shallow : sig ... end