Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Make2.Diverter
Sourcetype ('next_input, 'next_output, 'output, 'm) t =
| Stop of ('output, 'm) M.t
Control stops here, and 'output
is returned to the wrapping Middleware
.
| Continue of 'next_input * ('next_output -> ('output, 'm) M.t)
Control continues to the next Middleware
g
, which receives 'next_input
as input. After g
runs, its result is transformed with the given function.
Union, determining whether or not to run a subsequent Middleware
or return early.