package dunolint

  1. Overview
  2. Docs
On This Page
  1. Helpers
A linter for build files in dune projects

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (3)

Authors

  1. M
    Mathieu Barbin

Maintainers

  1. M
    Mathieu Barbin <opensource@mbarbin.org>

Sources

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

doc/dunolint.dunolinter/Dunolinter/Linter/index.html

Module Dunolinter.LinterSource

Sourcemodule type S = sig ... end
Sourcetype t =
  1. | Unhandled
  2. | T : {
    1. eval : path:Fpath_base.Relative_path.t -> predicate:Dunolint.Predicate.t -> Dunolint.Trilang.t;
    2. enforce : path:Fpath_base.Relative_path.t -> condition:Dunolint.Predicate.t Dunolint.Std.Blang.t -> Base.unit;
    } -> t

Helpers

Sourcemodule Predicate : sig ... end
Sourceval enforce : (module Handler.Predicate with type t = 'predicate) -> eval:('t -> predicate:'predicate -> Dunolint.Trilang.t) -> enforce:('t -> 'predicate Predicate.t -> Enforce_result.t) -> 't -> condition:'predicate Dunolint.Std.Blang.t -> Base.unit

A helper function that can be useful to implement the enforce function required by the Linter.S interface.

Sourceval at_positive_enforcing_position : 'a Dunolint.Std.Blang.t -> 'a Base.list

Returns the list of elements from the input condition that are directly reachable as elements to be enforced, without going through dynamic conditions or SAT logic. In practice, that is Base, and elements under And _ recursively.

Sourceval public_name_is_prefix : Base.string -> prefix:Base.string -> Base.string

A helper that applies some usually helpful heuristic when proposing a new name based on the `is_prefix predicate. Assumed to be called when the given prefix is not already a prefix of the input, otherwise the output is unspecified.