package wax-lib

All checked builds pass
  1. Overview
  2. Docs
Libraries for Wax, a Rust-like syntax for WebAssembly

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

wax-v0.3.0.tbz
sha256=cc19989d0db930d9300d7356c8f127309424a82767dd3c91ffd19a0bfd20e3a6
sha512=14ff9219dc6c4e8855c3cb895bd1af6fd81d1c521afefe1e7f69208a2e37abc7ec0946f188198a26780aa405fd43a526b938158334a019f7a5d991d8efc437c3

doc/wax-lib.utils/Wax_utils/Feature/index.html

Module Wax_utils.FeatureSource

Optional language features / WebAssembly proposals.

A feature is enabled or disabled (per its default, overridden on the command line). Validation queries is_enabled / require to accept or reject a construct, and mark_used / used track which features a module actually exercises.

Sourcetype t =
  1. | Custom_descriptors
  2. | Compact_import_section
Sourceval all : t list

Every known feature.

Sourceval name : t -> string

The command-line / diagnostic name, e.g. "custom-descriptors".

Sourceval description : t -> string
Sourceval enabled_by_default : t -> bool

Whether the feature is on when it is not mentioned on the command line.

Sourceval of_name : string -> t option
Sourcetype set

A resolved configuration: which features are enabled, together with a mutable record of which have been used. Create one per module (usage is per-module).

Sourceval configure : (t * bool) list -> set

configure specs takes each feature's default and applies specs over it (later entries win).

Sourceval set_config : (t * bool) list -> unit

Install a process-wide default configuration (like the warning policy), read by default. Intended to be called once, from the command line.

Sourceval default : unit -> set

A fresh set using the configuration installed by set_config (the built-in defaults if none), nothing used yet.

Sourceval is_enabled : set -> t -> bool

Whether t is enabled. Does not record usage.

Sourceval explicitly_disabled : set -> t -> bool

Whether the configuration set was built from explicitly disables t (an -X name=off spec), as opposed to t merely being off by default. A module declaring t against such a configuration is a conflict.

Sourceval declare : set -> t -> unit

Enable t in set: the module declares (with a #![feature = "…"] attribute or (@feature "…") annotation) that it uses t. Check explicitly_disabled first to report a conflict with the command line.

Sourceval mark_used : set -> t -> unit

Record that t is used (whether or not it is enabled). Idempotent.

Sourceval used : set -> t list

The features recorded by mark_used, in all order.

Sourceval parse_spec : string -> (t * bool, string) result

Parse a command-line spec: "NAME" or "NAME=on" enables the feature, "NAME=off" disables it.