package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install

dune-project
 Dependency

Authors

Maintainers

Sources

batteries-3.11.0.tar.gz
md5=096be9e83e347b4c7b5b6e5b2af22992
sha512=621dca842c4a7adf0ac1e907bf44c1405e0b66a088987a138a4f4e98ca744815913bf87fd780619151cb049a07d7fdb1e8adb7b65698ab46b8c2dfe46cd7119d

doc/batteries.unthreaded/BatPathGen/index.html

Module BatPathGenSource

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.
  • author Dawid Toton

Functorized interface

Sourcemodule type StringType = sig ... end

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

Sourcemodule type PathType = sig ... end

All implementations of Path functionality have this module type.

Sourcemodule 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.

Sourcemodule 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.