package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=d3d16ffc960e832a1c0e21b7123194e9

sha512=36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870

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