package dunolint-lib

  1. Overview
  2. Docs
package dunolint-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module V1.StdSource

An EDSL to build configs

Sourcemodule Blang = Blang
Sourcemodule Dune = Dune
Sourcemodule Dune_project = Dune_project
Sourcemodule Dune_workspace = Dune_workspace
Sourcemodule Dunolint0 = Dunolint0
include module type of struct include Blang.O end
include Blang.Constructors
Sourceval base : 'a -> 'a Blang.t
Sourceval true_ : _ Blang.t
Sourceval false_ : _ Blang.t
Sourceval constant : bool -> _ Blang.t

function true -> true_ | false -> false_

Sourceval not_ : 'a Blang.t -> 'a Blang.t
Sourceval and_ : 'a Blang.t list -> 'a Blang.t

n-ary And

Sourceval or_ : 'a Blang.t list -> 'a Blang.t

n-ary Or

Sourceval if_ : 'a Blang.t -> 'a Blang.t -> 'a Blang.t -> 'a Blang.t

if_ if then else

Sourceval (&&) : 'a Blang.t -> 'a Blang.t -> 'a Blang.t
Sourceval (||) : 'a Blang.t -> 'a Blang.t -> 'a Blang.t
Sourceval (==>) : 'a Blang.t -> 'a Blang.t -> 'a Blang.t

a ==> b is "a implies b". This is not => to avoid making it look like a comparison operator.

Sourceval not : 'a Blang.t -> 'a Blang.t
Sourceval backend : 'a -> [> `backend of 'a ] Blang.t
Sourceval cond : ('condition * 'action) list -> [> `cond of ('condition * 'action) list ]
Sourceval dune : 'a -> [> `dune of 'a ] Blang.t
Sourceval dune_lang_version : 'a -> [> `dune_lang_version of 'a ] Blang.t
Sourceval dune_project : 'a -> [> `dune_project of 'a ] Blang.t
Sourceval dune_workspace : 'a -> [> `dune_workspace of 'a ] Blang.t
Sourceval dunolint : 'a -> [> `dunolint of 'a ] Blang.t
Sourceval dunolint_lang_version : 'a -> [> `dunolint_lang_version of 'a ] Blang.t
Sourceval enforce : 'a -> [> `enforce of 'a ]
Sourceval eq : 'a -> [> `eq of 'a ] Blang.t
Sourceval equals : 'a -> [> `equals of 'a ] Blang.t
Sourceval executable : 'a -> [> `executable of 'a ] Blang.t
Sourceval generate_opam_files : 'a -> [> `generate_opam_files of 'a ] Blang.t
Sourceval glob : string -> [> `glob of Glob.t ] Blang.t
Sourceval gt : 'a -> [> `gt of 'a ] Blang.t
Sourceval gte : 'a -> [> `gte of 'a ] Blang.t
Sourceval has_field : 'a -> [> `has_field of 'a ] Blang.t
Sourceval if_present : 'a -> [> `if_present of 'a ] Blang.t
Sourceval implicit_transitive_deps : 'a -> [> `implicit_transitive_deps of 'a ] Blang.t
Sourceval include_subdirs : 'a -> [> `include_subdirs of 'a ] Blang.t
Sourceval instrumentation : 'a -> [> `instrumentation of 'a ] Blang.t
Sourceval is_prefix : string -> [> `is_prefix of string ] Blang.t
Sourceval is_present : [> `is_present ] Blang.t
Sourceval is_suffix : string -> [> `is_suffix of string ] Blang.t
Sourceval libraries : 'a -> [> `libraries of 'a ] Blang.t
Sourceval library : 'a -> [> `library of 'a ] Blang.t
Sourceval lint : 'a -> [> `lint of 'a ] Blang.t
Sourceval lt : 'a -> [> `lt of 'a ] Blang.t
Sourceval lte : 'a -> [> `lte of 'a ] Blang.t
Sourceval mem : 'a list -> [> `mem of 'a list ] Blang.t
Sourceval modes : 'a -> [> `modes of 'a ] Blang.t
Sourceval name : 'a -> [> `name of 'a ] Blang.t
Sourceval neq : 'a -> [> `neq of 'a ] Blang.t
Sourceval no_preprocessing : [> `no_preprocessing ] Blang.t
Sourceval package : 'a -> [> `package of 'a ] Blang.t
Sourceval path : 'a -> [> `path of 'a ] Blang.t
Sourceval pps : 'a -> [> `pps of 'a ] Blang.t
Sourceval preprocess : 'a -> [> `preprocess of 'a ] Blang.t
Sourceval public_name : 'a -> [> `public_name of 'a ] Blang.t
Sourceval return : [> `return ]
Sourceval stanza : 'a -> [> `stanza of 'a ] Blang.t

Deprecated aliases

Sourceval greater_than_or_equal_to : 'a -> [> `greater_than_or_equal_to of 'a ] Blang.t
  • deprecated [since 2025-12] Use [gte]. Hint: Run [ocamlmig migrate]
Sourceval has_mode : 'a -> [> `has_mode of 'a ] Blang.t
  • deprecated [since 2026-02] Use [mem]. Hint: Run [ocamlmig migrate]
Sourceval has_modes : 'a -> [> `has_modes of 'a ] Blang.t
  • deprecated [since 2026-02] Use [mem]. Hint: Run [ocamlmig migrate]
Sourceval less_than_or_equal_to : 'a -> [> `less_than_or_equal_to of 'a ] Blang.t
  • deprecated [since 2025-12] Use [lte]. Hint: Run [ocamlmig migrate]