Describes the list of errors that can occur in the process of creating a blog.
The type of errors could be "open", but I find it quite comfortable to locate the errors in one place to easily provide conversion and manipulation functions. In addition, it allows me to generalize the type of Result and Validation without relying on exceptions.
type t = | List of t Preface.Nonempty_list.tGroups several errors into one (mainly to ensure conversions between Try and Validate).
| Labelled_list of string * t Preface.Nonempty_list.t| Unix of string * string * stringUnix related error.
*)| Unreadable_file of stringWhen a file is unreadable.
*)| Missing_field of string| Invalid_field of string| Invalid_metadata of string| Required_metadata of string list| Yaml of string| Mustache of string| Invalid_date of string| Invalid_year of int| Invalid_day of int| Invalid_month of int| Invalid_range of int * int * int| Unknown of stringAn unq\ualified error (probably due to laziness).
*)| Message of stringexception Error of tRepresents an Error.t in exception.
val to_exn : t -> exnConverts an Error.t into an exception.
val to_try : t -> ('a, t) Preface.Result.tConverts an Error.t into a Preface.Result.t.
val to_validate : t -> ('a, t Preface.Nonempty_list.t) Preface.Validation.tConverts an Error.t into a Preface.Validation.t.
val raise' : t -> 'aRaises an Error.t as an exception.
val pp : Format.formatter -> t -> unitPretty-printers for Error.t.