package yuujinchou

  1. Overview
  2. Docs

Module type Modifier.SSource

The signature of the engine.

module Param : sig ... end
module type Handler = sig ... end

modify modifier trie runs the modifier on the trie and return the transformed trie.

  • parameter context

    The context sent to the effect handlers. If unspecified, effects come with None as their context.

  • parameter prefix

    The prefix prepended to any path or prefix sent to the effect handlers. The default is the empty path (Emp).

module Run (H : Handler) : sig ... end
module Perform : Handler

A handler that reperforms the effects. It can also be used to manually trigger the effects; for example, Perform.not_found (Emp #< "a" #< "b") will perform the not_found effect to be handled by the outer handler.