package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=66b6e0b25769fc2363972c6a6ab6ac33

sha256=584d314cbaa5485e26d08ce87f7d7ff49043d9096101f2641b59def9aa6d7d71

Filepath handling.

Paths can be used with different string implementations:

see Path.OfRope to use paths built of validated UTF-8 strings (Rope.t)
see Path.OfString to use paths based on primitive string type. Actual strings may use UTF-8 encoding.

module type StringType = sig ... end

This signature lists few basic operations provided by all string types.

module type PathType = sig ... end

All implementations of Path functionality have this module type.

module Make
  (S : StringType) : 
  PathType with type ustring = S.t and type uchar = S.tchar

Constructs path handling module for string-like type and its operations given in S.

module OfString : PathType with type ustring = string and type uchar = char

This implementation can be used with UTF-8, but encoding of used strings is not verified.

On This Page