package batteries
Install
Dune Dependency
Authors
Maintainers
Sources
md5=d02c4f044e53edca010de46f9139ce00
sha512=99a5afa3604c4cf0c849c670111d617f7f255acb0da043b73ddffdf0e299948bce52516ee31921f269de6088156c4e0a187e0b931543c6819c6b25966b303281
doc/batteries.unthreaded/BatLog/index.html
Module BatLogSource
Simple logging
This ref holds the output channel for simple logging. Defaults to stderr
This ref holds the text printed before each log message. Defaults to the empty string.
type flag = [ | `Date(*Print the current date as 2011-06-28
*)| `Time(*Print the current time as 01:23:45
*)| `Filepos(*Print the file and linenum of this log command (UNIMPLEMENTED - needs syntax extension)
*)| `Custom of unit -> string(*Print the results of running the given closure
*)
]This ref holds the output flags. These flags control how the log messages are output. The default is `Date; `Time and log messages are printed as:
2011/0628 01:23:45: prefixmessage
log s logs the message s, returning unit.
As Printf.printf, only the message is printed to the logging output and prefixed with status information per the current flags and the currently set prefix.
fatal s logs the message s and then calls exit 1. This exits the program with return code 1.
fatalf allows a format string (as Printf.printf)and the arguments to that format string to build the logging message. Exits the program with return code 1.
Build a logger module with custom, fixed output, prefix and flags
Returns an object with methods fatal, fatalf, log, and logf that logs to the given output channel, with given prefix and flags. These methods work like the corresponding functions in the BatLog module.
val make_logger :
'a BatIO.output ->
string ->
[< `Custom of unit -> string | `Date | `Filepos | `Time ] list ->
< fatal : ?fp:string -> string -> 'b
; fatalf :
?fp:string ->
('c, 'a BatIO.output, unit, unit, unit, 'd) format6 ->
'c
; log : ?fp:string -> string -> unit
; logf : ?fp:string -> ('e, 'a BatIO.output, unit) format -> 'e >The different verbosity levels supported in the Easy logger
A simple-to-use logger with verbosity levels that outputs by default to stderr (changeable at runtime) with the date and time at the beginning of each log message.