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
]