# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1658691547 -7200
# Node ID 041d067de38bf08ceb646b03a8a39dc42f9131bf
# Parent  09d86413c3c5e3334897dca528efc8cf4ea8064b
util.logger: Add Teal interface description

diff -r 09d86413c3c5 -r 041d067de38b teal-src/util/logger.d.tl
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/teal-src/util/logger.d.tl	Sun Jul 24 21:39:07 2022 +0200
@@ -0,0 +1,18 @@
+local record util
+	enum loglevel
+		"debug"
+		"info"
+		"warn"
+		"error"
+	end
+	type logger = function ( loglevel, string, ...:any )
+	type sink = function ( string, loglevel, string, ...:any )
+	type simple_sink = function ( string, loglevel, string )
+	init : function ( string ) : logger
+	make_logger : function ( string, loglevel ) : function ( string, ...:any )
+	reset : function ()
+	add_level_sink : function ( loglevel, sink )
+	add_simple_sink : function ( simple_sink, { loglevel } )
+end
+
+return util