File

teal-src/util/json.d.tl @ 12654:f3dbbc7655e6

usermanager: Handle local JIDs being passed to get/set_jid_role() There is no reasonable fallback for set_jid_role() because users may have multiple roles, so that's an error.
author Matthew Wild <mwild1@gmail.com>
date Mon, 01 Aug 2022 20:26:00 +0100
parent 11460:a8b4e04bc044
line wrap: on
line source

local record lib
	encode : function (any) : string
	decode : function (string) : any, string

	enum json_type_name
		"null"
		"boolean"
		"object"
		"array"
		"number"
		"string"
		"integer"
	end

	type null_type = (nil)
	null : null_type
end
return lib