package dunolint-lib

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

Module Config.StdSource

Sourcemodule Blang = Blang
Sourcemodule Dune = Dune
Sourcemodule Dune_project = Dune_project
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 : Base.bool -> _ Blang.t

function true -> true_ | false -> false_

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

n-ary And

Sourceval or_ : 'a Blang.t Base.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) Base.list -> [> `cond of ('condition * 'action) Base.list ]
Sourceval dune : 'a -> [> `dune of 'a ] Blang.t
Sourceval dune_project : 'a -> [> `dune_project of 'a ] Blang.t
Sourceval enforce : 'a -> [> `enforce of 'a ]
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 : Base.string -> [> `glob of Glob.t ] Blang.t
Sourceval has_field : 'a -> [> `has_field of 'a ] Blang.t
Sourceval has_mode : 'a -> [> `has_mode of 'a ] Blang.t
Sourceval has_modes : 'a -> [> `has_modes 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 : Base.string -> [> `is_prefix of Base.string ] Blang.t
Sourceval is_present : [> `is_present ] Blang.t
Sourceval is_suffix : Base.string -> [> `is_suffix of Base.string ] Blang.t
Sourceval library : 'a -> [> `library of 'a ] Blang.t
Sourceval lint : 'a -> [> `lint of 'a ] Blang.t
Sourceval modes : 'a -> [> `modes of 'a ] Blang.t
Sourceval name : 'a -> [> `name of 'a ] Blang.t
Sourceval no_preprocessing : [> `no_preprocessing ] 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 skip_subtree : [> `skip_subtree ]
Sourceval stanza : 'a -> [> `stanza of 'a ] Blang.t