package yuujinchou

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package yuujinchou

yuujinchou
- Yuujinchou
  - Language
  - Modifier
    
    Make
    
    Handler
    
    Param
    
    Perform
    
    Run
    
    H
    
    Param
    
    S
    
    Handler
    
    Param
    
    Perform
    
    Run
    
    H
  - Scope
    
    Make
    
    Handler
    
    Param
    
    Perform
    
    Run
    
    H
    
    Param
    
    S
    
    Handler
    
    Param
    
    Perform
    
    Run
    
    H
  - Trie
    
    Untagged

Legend:
Library
Module
Module type
Parameter
Class
Class type

The functor to generate an engine.

Parameters

module Param : sig ... end

Signature

module type Handler = sig ... end

val modify : 
  ?context:Param.context ->
  ?prefix:Trie.bwd_path ->
  Param.hook Language.t ->
  (Param.data, Param.tag) Trie.t ->
  (Param.data, Param.tag) Trie.t

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.