package dunolint-lib

  1. Overview
  2. Docs
A library to create dunolint configs

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dunolint-0.0.20251006.tbz
sha256=1b064927c9e1ef5352a1886ae34a206fef0ce6a913c19a77b0162acc108e0e50
sha512=6cbc08ba318bef6584d15a4491e3dde1bf436109ce0f8b7c400a9f91bbcee64c5785bc924df11eafe98243ec2f188a7f92c58c5062729f3e2af1e9977f1a5e67

doc/dunolint-lib.vendor_vcs/Validated_string/Make/index.html

Module Validated_string.MakeSource

Make returns an interface that exposes the fact that t = string so this equality can be used by other functions in the implementation. However, the expected pattern is that such equality is hidden by the inclusion of S in the mli of a validated string.

Parameters

module _ : X

Signature

Sourceval to_string : string -> string

Given that t = string in the implementation, this function is just the identity.

Sourceval of_string : string -> (string, [ `Msg of string ]) Result.t

of_string str returns Ok str if X.invariant str = true, and an error otherwise. This is meant to be used to validate untrusted entries.

Sourceval v : string -> string

v str is a convenient wrapper to build a t or raise Invalid_argument. This is typically handy for applying on trusted literals.