package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install

dune-project
 Dependency

Authors

Maintainers

Sources

merlin-5.8-505.tbz
sha256=5642cde8486a84aad98fa5c590b70e8dcc6074d7fbdb3b9b8c46b2c5b42f653b
sha512=1d7a7751157e393d3ae248ef5ae24a6b4e81430666c61cc51a3d0ec35804523317036f3d7a3c7f18a7554337f4e5f5989fb677865b261ece3fd2b317903570ba

doc/merlin-lib.utils/Merlin_utils/Marg/index.html

Module Merlin_utils.MargSource

Argument parsing library which fold over arguments

Specifications of arguments is split in two passes:

  • _ table for parsing global arguments (compiler flags, merlin configuration)
  • a (string * _ t) for parsing command local arguments
Sourcetype 'acc t = string list -> 'acc -> string list * 'acc

Action associated to a flag updating a state of type 'acc. It takes a list of arguments and either succeeds returning untouched arguments or fails raising an exception.

Sourcetype 'acc table = (string, 'acc t) Hashtbl.t

A table mapping a flag to the corresponding action

Combinators for building actions

Sourceval unit : ('acc -> 'acc) -> 'acc t

Action updating state and not consuming any argument

Sourceval param : string -> (string -> 'acc -> 'acc) -> 'acc t

Action consuming a single argument

Sourceval bool : (bool -> 'acc -> 'acc) -> 'acc t

Action consuming a boolean argument

Sourceval int : (int -> 'acc -> 'acc) -> 'acc t

Action consuming an integer argument

Sourceval unit_ignore : 'acc t

Action doing nothing

Sourceval param_ignore : 'acc t

Action doing nothing and dropping one argument

Parsing of argument lists

Sourcetype docstring = string
Sourcetype 'a spec = string * docstring * 'a t
Sourceval parse_one : warning:(string -> unit) -> 'global table -> 'local spec list -> string list -> 'global -> 'local -> (string list * 'global * 'local) option

Consume at most one flag from the list, returning updated state or None in case of failure. Warning function is called with an error message in case of incorrect use.

Sourceval parse_all : warning:(string -> unit) -> 'global table -> 'local spec list -> string list -> 'global -> 'local -> 'global * 'local

Consume all arguments from the input list, calling warning for incorrect ones and resuming parsing after.