package dunolint

You can search for identifiers within the package.

in-package search v0.2.0

A linter for build files in dune projects

Install

dune-project

Dependency

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

Authors

M

Mathieu Barbin

Maintainers

M

Mathieu Barbin <opensource@mbarbin.org>

Sources

dunolint-0.0.20250804.tbz

sha256=e4ca7c98db73dd9ab2ae8cba37ee0645f580267484e9893dbce6e28f4f2f0170

sha512=7ca658fb96139a0c41724355ac6aaf83d75468c7df14569b8f6090711f73a8fb2408ed1145384e756418682f0fa660a915842fd2b3f8b42e5ed4990e795b384e

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

Module `Dunolinter.Linter`Source

Sourcemodule type S = sig ... end

Sourcetype t =

| Unhandled
| T : {
1. eval : Dunolint.Predicate.t -> Dunolint.Trilang.t;
2. enforce : Dunolint.Predicate.t Dunolint.Std.Blang.t -> Base.unit;
} -> t

Helpers

Sourcemodule Predicate : sig ... end

Source

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

On This Page

Helpers