File

teal-src/util/roles.d.tl @ 12817:176fd3ea505c

util.openmetrics: Update tools.ietf.org URL to datatracker See bd9e006a7a74 for more context
author Kim Alvefur <zash@zash.se>
date Mon, 19 Dec 2022 23:11:42 +0100
parent 12661:1c391c17a907
line wrap: on
line source

local record util_roles

	type context = any

	record Role
		id : string
		name : string
		description : string
		default : boolean
		priority : number -- or integer?
		permissions : { string : boolean }

		may : function (Role, string, context)
		clone : function (Role, role_config)
		set_permission : function (Role, string, boolean, boolean)
	end

	is_role : function (any) : boolean

	record role_config
		name : string
		description : string
		default : boolean
		priority : number -- or integer?
		inherits : { Role }
		permissions : { string : boolean }
	end

	new : function (role_config, Role) : Role
end

return util_roles