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 (3)

Authors

M

Mathieu Barbin

Maintainers

M

Mathieu Barbin <opensource@mbarbin.org>

Sources

dunolint-0.0.20251006.tbz

sha256=1b064927c9e1ef5352a1886ae34a206fef0ce6a913c19a77b0162acc108e0e50

sha512=6cbc08ba318bef6584d15a4491e3dde1bf436109ce0f8b7c400a9f91bbcee64c5785bc924df11eafe98243ec2f188a7f92c58c5062729f3e2af1e9977f1a5e67

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

Module `Dunolinter.Handler`Source

A handler for evaluating and enforcing predicates.

Sourcetype Effect.t += private

| Enforce_failure : {
1. condition : 'a;
2. sexp_of_condition : 'a -> Base.Sexp.t;
3. loc : Loc.t;
} -> Base.unit Effect.t
(*
A effect performed when a linter comes across a condition that is requested to be enforced, but there is no defined semantic for enforcing it automatically. Depending on the context, the course of actions to react to such case may vary. During linting, it may make sense to produce an error, and continue with the flow to check other rules and the other files. During a more focused execution, perhaps this error shall be fatal.
*)

Sourcemodule type Predicate = sig ... end

Source

val enforce_failure : 
  (module Predicate with type t = 'a) ->
  loc:Loc.t ->
  condition:'a Dunolint.Std.Blang.t ->
  Base.unit

Sourceval emit_error_and_resume : 'a -> loc:Loc.t -> f:('a -> 'b) -> 'b

This is a special handler for the effect defined by this module, which will report the error, but continue the execution of linting and enforcing with other rules, predicates and stanzas.

Sourceval raise : f:(Base.unit -> 'a) -> 'a

This is a handler for the effect defined by this module, which will discontinue the effect with an exception. It is suitable for use in expect tests.