package middleware

  1. Overview
  2. Docs

Module Make.DiverterSource

Sourcetype ('next_input, 'next_output, 'output) t =
  1. | Stop of 'output M.t
    (*

    Control stops here, and the 'output is returned to the wrapping Middleware.

    *)
  2. | Continue of 'next_input * ('next_output -> 'output 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.