package middleware

  1. Overview
  2. Docs

Module Make2.DiverterSource

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

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

    *)
  2. | 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.