package dolmen

  1. Overview
  2. Docs

Module Dolmen_std.EscapeSource

Escaping identifiers

This module provides helpers to print identifers in languages, in order to ensure that the printed string is conform to a language specification, in order to avoid all kinds of injections (e.g. parentheses in identifier names, etc...)

Identifier name manipulation

Sourceval smap : (int -> char -> string) -> string -> string

umap f provides an equivalent of flat_map on strings. f is given the position of the character in the string (starting from 1), and a character.

Sourceval rename : sep:char -> string -> string

A renaming function, which add an increasing number after the given separator.

Identifier escaping

Sourcemodule type Arg = Dolmen_intf.Id.Escape
Sourcemodule Make (Id : Arg) : sig ... end