package yuujinchou

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Yuujinchou.Scope`Source

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.

Sourcemodule type Param = Modifier.Param

The parameters of scoping effects.

Sourcemodule type S = sig ... end

The signature of scoping effects.

module Make
  (P : Param) : 
  S
    with type data = P.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.