Index of types


A
action [Rule]
action [Signatures.PLUGIN]
This is the type for rule actions.
arch [Signatures.ARCH]
atom [Glob_ast]

B
backtrace [Solver]
boolean [Bool]
Public type for generic boolean formulas.
build_status [Resource.Cache]
builder [Rule]
builder [Signatures.PLUGIN]
A builder is a function that waits for conjonction of alternative targets.

C
cache_entry [Resource.Cache]
character_class [Glob_ast]
command [Signatures.PLUGIN]
See COMMAND for the description of these types.
command_spec [Signatures.OPTIONS]
conf [Lexers]
conf_values [Lexers]

D
display [Display]

E
entry [Slurp]
env [Rule]
env [Resource]
env [Signatures.PLUGIN]
The type of the builder environments.

F
fast_pattern [Glob]
file_kind [My_unix]
flag_list [Configuration]

G
gen_rule [Rule]
globber [Signatures.GLOB]
The type representing globbers.

H
hook [Signatures.PLUGIN]
Here is the list of hooks that the dispatch function have to handle.

I
implem [My_unix]
internal usage only
info [Signatures.ARCH]

L
law [Hygiene]
This type is used to encode laws that will be checked by this module.

M
message [Hooks]

P
pathname [Signatures.COMMAND]
pattern [Glob_ast]
pattern [Hygiene]
Suffix matching is enough for the purpose of this module.
penalty [Hygiene]
A warning is simply displayed.

R
resource_pattern [Resource]
rule [Rule]
rule [Hygiene]
Sanity rules to abide.
rule_printer [Rule]
rule_scheme [Rule]

S
spec [Signatures.PLUGIN]
spec [Signatures.COMMAND]
The type for command specifications.
stats [My_unix]
suffix [Hygiene]
And a suffix is a string.
suspension [Resource.Cache]

T
t [Signatures.COMMAND]
The type t provides some basic combinators and command primitives.
t [Signatures.PATHNAME]
t [Std_signatures.STRING]
t [My_std.Digest]
t [Signatures.OrderedTypePrintable]
t [Signatures.OUTCOME]
tagline_description [Display]
tags [Signatures.COMMAND]
token [Glob_lexer]