package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.7-505.preview.tbz
sha256=a3047606d06580e251ee8acbeb67f80f1d059238f879e187e10de40b4ec61be7
sha512=871f4e8f1111d086985172a9157812d5e22fd746edeffa8bdb5363f5c8cef2308da36a57d989ae77becec32eaa6ea4e8ef67f9b0247cbd409537701644db563f

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 [].