1Effect(3) OCaml library Effect(3)
2
3
4
6 Effect - no description
7
9 Module Effect
10
12 Module Effect
13 : sig end
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 Effect(3)