package dunolint

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

Install

dune-project
 Dependency

Authors

Maintainers

Sources

dunolint-0.0.20260306.tbz
sha256=d92e0d705b661ea12b22dcc9bdd83815c507218c1de085d75140fd47bea0c5ec
sha512=fdf4fbb4906aba4aeab766dfa5202b64950c71c988b1b84363319dd05edb93b34142355f968a5687057977e40defdced20a2a17ee0614565096eb123655621f3

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

Module Dunolinter.Ordered_setSource

Sourcetype 'a t =
  1. | Element of 'a
  2. | Standard
  3. | Union of 'a t Base.list
  4. | Diff of 'a t * 'a t
  5. | Include of Base.string
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
Sourceval read : read_element: (sexps_rewriter:Sexps_rewriter.t -> Dunolint_stdlib.Sexp.t -> 'a) -> sexps_rewriter:Sexps_rewriter.t -> Dunolint_stdlib.Sexp.t Base.list -> 'a t
Sourceval write : write_a:('a -> Dunolint_stdlib.Sexp.t) -> 'a t -> Dunolint_stdlib.Sexp.t Base.list
Sourcemodule Evaluation_result : sig ... end
Sourcemodule Evaluator : sig ... end
Sourceval of_set : ('a, _) Base.Set.t -> 'a t
Sourceval of_list : 'a Base.list -> 'a t
Sourceval empty : 'a t
Sourceval as_set : ('a, 'cmp) Base.Comparator.Module.t -> 'a t -> evaluator:'a Evaluator.t -> ('a, 'cmp) Base.Set.t Evaluation_result.t

Return the elements of t as a set, using the specified static evaluator.

Sourceval mem : (module Base.Comparator.S with type t = 'a) -> 'a t -> 'a -> evaluator:'a Evaluator.t -> Base.bool Evaluation_result.t

Whether it is possible to determine statically if a value belongs to the set. This is meant to cover more cases in which, even though it is not possible to know the set completely statically, it is still possible to determine whether an element belongs to it.

Sourceval insert : (module Base.Comparator.S with type t = 'a) -> 'a t -> 'a -> 'a t
Sourceval remove : (module Base.Comparator.S with type t = 'a) -> 'a t -> 'a -> 'a t
Sourceval canonical_sort : (module Base.Comparator.S with type t = 'a) -> 'a t -> 'a t

A canonical sort defined by dunolint when the order has no particular meaning.