package yuujinchou

  1. Overview
  2. Docs

The Scope module implements lexical scoping based on Modifier.

type ('data, 'tag, 'hook, 'context) handler = ('data, 'tag, 'hook, 'context) Modifier.handler

The type of effect handlers used in this module.

module type Param = Modifier.Param

The parameters of scoping effects.

module type S = sig ... end

The signature of scoping effects.

module Make (P : Param) : S with type data = and type tag = P.tag and type hook = P.hook and type context = P.context

The functor to generate a module for scoping effects.


Innovation. Community. Security.