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

Parameters

module H : Handler

Signature

val run : (unit -> 'a) -> 'a

run f h initializes the engine and runs the thunk f, using h to handle modifier effects. See Handler.

val try_with : (unit -> 'a) -> 'a

try_with f h runs the thunk f, using h to handle the intercepted modifier effects. See Handler.

Currently, try_with is an alias of run, but try_with is intended to use within run to intercept effects, while run is intended to be at the outermost layer to handle effects. That is, the following is the expected program structure:

run @@ fun () ->
(* code *)
try_with f
(* more code *)