Changeset

13328:36284c879e2f

moduleapi: Update Teal spec Updates for 65fb0d7a2312::59c3d775c7fa
author Kim Alvefur <zash@zash.se>
date Mon, 13 Nov 2023 10:40:24 +0100
parents 13327:f0fc6e7cc4de
children 13329:649876680bf0
files teal-src/module.d.tl
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/teal-src/module.d.tl	Mon Nov 13 09:58:56 2023 +0100
+++ b/teal-src/module.d.tl	Mon Nov 13 10:40:24 2023 +0100
@@ -34,8 +34,11 @@
 	get_option : config_getter<any>
 	get_option_scalar : config_getter<nil | boolean | number | string>
 	get_option_string : config_getter<string>
-	get_option_number : config_getter<number>
+	get_option_number : function (moduleapi, string, number, number, number) : number
+	get_option_integer : function (moduleapi, string, integer, integer, integer) : integer
 	get_option_boolean : config_getter<boolean>
+	get_option_enum : function<A> (moduleapi, string, ... : A) : A
+	get_option_period : function (moduleapi, string|number, string|number, string|number, string|number) : number
 	record util_array
 		-- TODO import def
 		{ any }