package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Summary.MakeObservableSource

Generic implementation of OBSERVABLE_USER.

Parameters

module Obs : sig ... end

Signature

include OBSERVABLE with type value = Obs.value
Sourcetype token

The type of tokens to manipulate values. This is always marshallable.

Sourcetype value = Obs.value

The value being stored. May be non-marshallable (typically a closure).

Sourceval register : name:string -> ?override:bool -> value -> token

Register a new value and get the token used to enable and disable it.

Sourceval activate : token -> unit

Activate/deactive the value attached to the token.

Sourceval deactivate : token -> unit
Sourceval is_active : token -> bool

Determine if the value for the given token is active.

Sourceval all_active : unit -> (string * value) list

Get all of the active values