package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.9.tbz
sha256=de395dd37d246e3ec303e1af35ff8421665fa4f0f0005d95732124b22e3417ac
sha512=74756b28767cdfe10288720540582e818a9d946dd2406606724ebc7b68d1cf6623142e56a1e457f7862839732e7add365aec056930c7ac89be7036c22e5f29ae

doc/merlin-lib.ocaml_utils/Ocaml_utils/Build_path_prefix_map/index.html

Module Ocaml_utils.Build_path_prefix_mapSource

Rewrite paths for reproducible builds

Warning: this module is unstable and part of compiler-libs.

See the BUILD_PATH_PREFIX_MAP spec

Sourcetype path = string
Sourcetype path_prefix = string
Sourcetype error_message = string
Sourceval encode_prefix : path_prefix -> string
Sourceval decode_prefix : string -> (path_prefix, error_message) result
Sourcetype pair = {
  1. target : path_prefix;
  2. source : path_prefix;
}
Sourceval encode_pair : pair -> string
Sourceval decode_pair : string -> (pair, error_message) result
Sourcetype map = pair option list
Sourceval encode_map : map -> string
Sourceval decode_map : string -> (map, error_message) result
Sourceval rewrite_first : map -> path -> path option

rewrite_first map path tries to find a source in map that is a prefix of the input path. If it succeeds, it replaces this prefix with the corresponding target. If it fails, it just returns None.

Sourceval rewrite_all : map -> path -> path list

rewrite_all map path finds all sources in map that are a prefix of the input path. For each matching source, in priority order, it replaces this prefix with the corresponding target and adds the result to the returned list. If there are no matches, it just returns [].

Sourceval rewrite : map -> path -> path

rewrite path uses rewrite_first to try to find a mapping for path. If found, it returns that, otherwise it just returns path.

Sourceval invert_all : map -> path -> path list

invert_all map path finds all targets in map that are a prefix of the input path. For each matching target, in priority order, it replaces this prefix with the corresponding source and adds the result to the returned list. If there are no matches, it just returns [].