Dkml_install_api.Forward_progressSourceForward_progress provides common functions to handle graceful and informative exits from the nested chain of subprocesses typical in DKML Install API and many other applications.
include module type of Forward_progressForward_progress provides common functions to handle graceful and informative exits from the nested chain of subprocesses typical in DKML Install API and many other applications.
The module provides the return and bind monad which is similar to the error monad. This monad can be used to handle errors.
When forward progress cannot be made, a process should:
Halted_progressThe type of error logger.
All errors include an error identifier which is conventionally the first 8 characters of a lowercase UUID (ex. "de618005").
type 'a t = | Continue_progress of 'a * fatal_logger| Halted_progress of Exit_code.t| CompletedThe type of forward progress
return (a,fl) wraps a fatal logger fl into the forward progress monad.
It is simply Continue_progress (a, fl).
stderr () wraps the standard error into the forward progress monad.
It is simply [ Continue_progress ((), fun ~id s -> prerr_endline (id ^ ": " ^ s)) ] or something similar.
The standard error output may include a timestamp, be word-wrapped, be colorized, etc. for friendliness to the end-user.
stderr_fatallog is a fatal logger that prints to the standard error.
stderr_fatallog is the same fatal logger used in stderr.
The standard error output may include a timestamp, be word-wrapped, be colorized, etc. for friendliness to the end-user.
Pretty-printer of an fatal_logger id. Has color and styles.
Example: [ # Prints something like the following in color: # FATAL [724a6562]. # without any newline. Fmt.epr "%a" styled_fatal_id "724a6562" ]
Pretty-printer of an fatal_logger error message. Has color and styles.
Example: [ # Prints something like the following in color: # I like blue # including a newline. Fmt.epr "%a" styled_fatal_message "I like blue" ]
catch_exceptions ~id fl f takes the fatal logger fl and executes f fl, and any uncaught exceptions thrown during f fl will print a stack trace to fatal_logger ~id and return Halted_progress Exit_unrecoverable_failure.
In all other cases this function will return the value from f fl.
bind fwd f is the bind monad function that, if fwd = Continue_progress (u, fatal_logger), will return f (u, fatal_logger).
The bind monad behaves similarly to the error monad.
It is the responsibility of the developer to log an informative error to the fatal_logger before returning Halted_progress exitcode.
map f fwd is the map monad function that, if fwd = Continue_progress (u, fatal_logger), will return Continue_progress (f u, fatal_logger)
val lift_result :
(string * int * int * int) ->
(Format.formatter -> 'e -> unit) ->
fatal_logger ->
('a, 'e) result ->
'a tlift_result pos efmt fl res lifts the res result with string errors into the forward progress monad.
Any error is immediately printed to the error logger using the supplied error format efmt and converted to an Exit_transient_failure.
For a res result with string errors, example error formats are: [ let efmt fmt = Fmt.pf fmt "FATAL: %s" ] and [ let efmt fmt = Format.fprintf fmt "@[Bad failure!@]@,@[%a@]@." Fmt.lines ]
The error is identified by pos which is typically set to __POS__. See pos_to_id and __POS__.
pos_to_id (file,lnum,cnum,enum) converts a compiled location (file,lnum,cnum,enum) into an 8 digit lowercase hex identifier.
Only the basename of the source code file and the line number lnum participate in the identification.
iter ~fl f lst iterates over the items of the list lst with the function f. If any lst item gives back anything but Continue_progress then the iteration will stop.