package dunolint

  1. Overview
  2. Docs
A linter for build files in dune projects

Install

dune-project
 Dependency

Authors

Maintainers

Sources

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

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

Module Dunolinter.Enforce_resultSource

A type to describe the result of an attempt to enforce a predicate during linting.

Sourcetype t =
  1. | Ok
    (*

    The enforcement of the predicate was successful, or perhaps the required condition was already verified without requiring to perform any change.

    *)
  2. | Fail
    (*

    The enforcement of such predicate cannot succeed and requires the user's intervention.

    *)
  3. | Eval
    (*

    This is a special value that instructs the call site to check with eval whether the required condition holds. If the evaluation returns True, the end result is the same as for an Ok status. If the evaluation returns False, this will result in a Fail. If the evaluation is Undefined, this results in an Unapplicable status.

    *)
  4. | Unapplicable
    (*

    The predicate in question does not apply to the stanza currently at hand. For example, it starts with a selector that does not match the stanza being linted. Unapplicable predicates are ignored by dunolint.

    *)