include Sig.CORE
with type error := error
and type error_category := error_categoryval string_of_category : error_category -> stringval error_encoding : error Data_encoding.tval pp : Stdlib.Format.formatter -> error -> unitval register_error_kind :
error_category ->
id:string ->
title:string ->
description:string ->
?pp:(Stdlib.Format.formatter -> 'err -> unit) ->
'err Data_encoding.t ->
(error -> 'err option) ->
('err -> error) ->
unitThe error data type is extensible. Each module can register specialized error serializers id unique name of this error. Ex.: overflow_time_counter title more readable name. Ex.: Overflow of time counter description human readable description. Ex.: The time counter overflowed while computing delta increase pp formatter used to pretty print additional arguments. Ex.: The time counter overflowed while computing delta increase. Previous value %d. Delta: %d encoder decoder data encoding for this error. If the error has no value, specify Data_encoding.empty
val register_recursive_error_kind :
error_category ->
id:string ->
title:string ->
description:string ->
pp:(Stdlib.Format.formatter -> 'err -> unit) ->
(error Data_encoding.t -> 'err Data_encoding.t) ->
(error -> 'err option) ->
('err -> error) ->
unitSame as register_error_kind but allow errors to wrap other errors.
The encoding argument is a function which will be given the encoding of errors as argument so that you can encode errors in errors using a fixpoint.
Another difference with register_error_kind is that pp is mandatory.
val classify_error : error -> Error_classification.tClassify an error using the registered kinds
Catch all error when 'serializing' an error.
val json_of_error : error -> Data_encoding.jsonAn error serializer
val error_of_json : Data_encoding.json -> errortype error_info = {category : error_category;id : string;title : string;description : string;schema : Data_encoding.json_schema;}Error information
val pp_info : Stdlib.Format.formatter -> error_info -> unitval find_info_of_error : error -> error_infofind_info_of_error e retrieves the `error_info` associated with the given error `e`.
val get_registered_errors : unit -> error_info listRetrieves information of registered errors
include Sig.WITH_WRAPPED with type error := errormodule type Wrapped_error_monad = sig ... endThe purpose of this module is to wrap a specific error monad E into a more general error monad Eg.
val register_wrapped_error_kind :
(module Wrapped_error_monad) ->
id:string ->
title:string ->
description:string ->
unitSame as register_error_kind but for a wrapped error monad. The codec is defined in the module parameter. It makes the category of the error Wrapped instead of Main.