1Stdlib.Effect(3) OCaml library Stdlib.Effect(3)
2
3
4
6 Stdlib.Effect - no description
7
9 Module Stdlib.Effect
10
12 Module Effect
13 : (module Stdlib__Effect)
14
15
16 Alert unstable. The Effect interface may change in incompatible ways
17 in the future.
18
19
20
21
22
23
24
25 Effects.
26
27 See 'Language extensions/Effect handlers' section in the manual.
28
29 type '_ t = ..
30
31
32 The type of effects.
33
34
35
36 exception Unhandled : 'a t -> exn
37
38
39
40 Unhandled e is raised when effect e is performed and there is no han‐
41 dler for it.
42
43
44
45 exception Continuation_already_resumed
46
47
48 Exception raised when a continuation is continued or discontinued more
49 than once.
50
51
52
53 val perform : 'a t -> 'a
54
55
56 perform e performs an effect e .
57
58
59 Raises Unhandled if there is no handler for e .
60
61
62 module Deep : sig end
63
64
65
66
67 module Shallow : sig end
68
69
70
71
72
73
74
75OCamldoc 2023-07-20 Stdlib.Effect(3)