Module Stdlib.EffectSource

Effects.

Sourcetype _ t = ..

The type of effects.

Sourceval perform : 'a t -> 'a

perform e performs an effect e.

  • raises Unhandled

    if there is no active handler.

Sourcemodule Deep : sig ... end

Deep handlers

Sourcemodule Shallow : sig ... end