A | |
| adaptor [Adaptor] |
A function on line shtreams.
|
| any_channel [Channel] |
Union of
in_channel and out_channel.
|
C | |
| clobber_spec [Channel] |
File open modes for
Channel.dup_out_source.
|
| co_t [Shtream.COMMON] | |
| co_t [Shtream] |
A coshtream accepting elements of type
'a
|
| coshtream [FittingSig.S] | |
D | |
| data [Disposal.DISPOSAL] |
The type of data being managed.
|
| descr [Channel] |
The abstract type for UNIX file descriptors.
|
| directory [Channel] |
A managed dir handle.
|
| dup_arg [Channel.Dup] |
An argument to dup.
|
| dup_in_source [Channel] |
Sources for input dup operations.
|
| dup_out_source [Channel] |
Sources for output dup operations.
|
| dup_source [Channel] |
Union of input and output dup sources.
|
| dup_spec [Channel] |
A list of dups (either direction).
|
E | |
| either [Util] |
Anonymous sum types
|
| elem [FittingSig.S] |
This is the type of elements that fittings know how to write to external
processes.
|
| elem [AnyShtream.ELEM] |
The element type for the resulting shtream module.
|
| elem [AnyShtream.S] |
Alias for
AnyShtream.ELEM.elem
|
| error_handler [Shtream.COMMON] |
The type for a shtream error handler.
|
| execspec [Proc] |
Several Shcaml functions (such as
Proc.exec_program and
Proc.system_program) take the same arguments to specify a
program to execute.
|
F | |
| fitting_adaptor [Adaptor] |
An adaptor lifted to be used as a fitting.
|
G | |
| gen_channel [Channel] |
Generalized channels.
|
| gen_in_channel [Channel] |
Generalized input channels.
|
| gen_out_channel [Channel] |
Generalized output channels.
|
I | |
| initial [FittingSig.S] |
This is the parameter to the type
FittingSig.S.elem for specifying
the type of elements that fittings know how to read from
external processes.
|
| initial [AnyShtream.ELEM] |
The parameter to
AnyShtream.ELEM.elem for values returned by conversions from
strings.
|
| initial [AnyShtream.S] |
Alias for
AnyShtream.ELEM.initial
|
K | |
| key [WeakPlus.WEAKPLUS] |
The key type of the hash table
|
L | |
| label [Line] |
Extensible type for field labels.
|
O | |
| options [Delimited] |
Options for parsing delimited text files.
|
P | |
| pipe_spec [Channel] |
A list of channels to connect to pipes.
|
| procref [FittingSig.S] |
Alias for
Channel.procref
|
| procref [Channel] |
A cell in which to stash a
Proc.t.
|
| protector [Util] |
Record type for universally quantified around advice.
|
| protector [Shtream.COMMON] |
Alias for
Util.protector
|
R | |
| raw_line [Reader] |
An raw line as returned by a reader
|
| read_end [IVar] |
The read-end of an interprocess variable.
|
S | |
| shtream [FittingSig.S] | |
| source [Line] |
Type for the source of a line.
|
| sourced [LineShtream] |
A line with source and sequence information.
|
| splitter [Adaptor] |
A function on lines, which typically parses the line and add
fields corresponding to the structured information extracted.
|
| status [Proc] |
Alias for
Unix.process_status
|
T | |
| t [WeakPlus.WEAKPLUS] |
The type of weak-key hash table with values of type
'a
|
| t [Shtream.COMMON] | |
| t [Shtream] |
A shtream with elements of type
'a
|
| t [Reader] |
The type of a reader.
|
| t [Proc] |
The abstract type of a process representation
|
| t [PriorityQueue] |
The abtract type of a priority queue with elements of type
'a.
|
| t [Line] |
The type of a structured line.
|
| t [FittingSig.S] |
A fitting that consumes values of type
'a and produces
values of type 'b.
|
| t [Disposal.DISPOSABLE] |
The type to dispose
|
| t [DepDAG] |
A DAG of tasks.
|
| task [DepDAG] |
A task is specified as a thunk that starts a process.
|
| text [FittingSig.S] |
Alias for
FittingSig.S.initial FittingSig.S.elem
|
W | |
| write_end [IVar] |
The write-end of an interprocess variable.
|