diff --git a/timedesc/Timedesc/Span/For_human/index.html b/timedesc/Timedesc/Span/For_human/index.html index 96cdfbe6..63fd28cb 100644 --- a/timedesc/Timedesc/Span/For_human/index.html +++ b/timedesc/Timedesc/Span/For_human/index.html @@ -31,34 +31,34 @@ ?seconds:float -> ?ns:int -> unit -> - t
val pp : ?format:string -> unit -> Stdlib.Format.formatter -> t -> unit
Pretty-printing for span. * * Default format string:
{days-nz: days }{hours-nz:X hours }{mins-nz:X mins }{secs:X}{sec-frac:.X} secs
Format string specification:
{{ literal { - {days:unit} number of days - unit is the string used after the number to denote its unit - {days-nz:unit} same as above, but does not display if number is zero + t
val pp : ?format:string -> unit -> Stdlib.Format.formatter -> t -> unit
Pretty-printing for span. * * Default format string:
{days-nz: days }{hours-nz:X hours }{mins-nz:X mins }{secs:X}{sec-frac:.X} secs
Format string specification:
{{ Literal { + {days:unit} Number of days + Unit is the string used after the number to denote its unit + {days-nz:unit} Same as above, but does not display if number is zero - {hours:cXunit} number of hour, sub-day - character 'c' before 'X' is used for padding - (leave out character for no padding) - unit is the string used after the number to denote its unit - {hours-nz:cXunit} same as above, but does not display if number is zero + {hours:cXunit} Number of hour, sub-day + Character 'c' before 'X' is used for padding + (leave out character for no padding, e.g. {hours:Xunit}) + Unit is the string used after the number to denote its unit + {hours-nz:cXunit} Same as above, but does not display if number is zero - {mins:cXunit} number of minutes, sub-hour - character 'c' before 'X' is used for padding - (leave out character for no padding) - unit is the string used after the number to denote its unit - {mins-nz:cXunit} same as above, but does not display if number is zero + {mins:cXunit} Number of minutes, sub-hour + Character 'c' before 'X' is used for padding + (leave out character for no padding, e.g. {mins:Xunit}) + Unit is the string used after the number to denote its unit + {mins-nz:cXunit} Same as above, but does not display if number is zero - {secs:cXunit} number of seconds, sub-minute - character 'c' before 'X' is used for padding - (leave out character for no padding) - unit is the string used after the number to denote its unit - {secs-nz:cXunit} same as above, but does not display if number is zero + {secs:cXunit} Number of seconds, sub-minute + Character 'c' before 'X' is used for padding + (leave out character for no padding, e.g. {secs:Xunit}) + Unit is the string used after the number to denote its unit + {secs-nz:cXunit} Same as above, but does not display if number is zero - {sec-frac:cNXunit} fraction of second, sub-second + {sec-frac:cNXunit} Fraction of second, sub-second N determines the number of digits to take after decimal separator - if N is not specified, then the smallest number of digits required + If N is not specified, then the smallest number of digits required after decimal separator for a lossless representation is used - character c is used as the decimal separator - unit is the string used after the number to denote its unit - {secs-frac-nz:cNXunit} same as above, but does not display if nanosecond count is + Character c is used as the decimal separator + Unit is the string used after the number to denote its unit + {secs-frac-nz:cNXunit} Same as above, but does not display if nanosecond count is zero
*
val to_string : ?format:string -> t -> string