Software /
code /
prosody
File
teal-src/util/set.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 | 12617:36d77cc56ecb |
line wrap: on
line source
local record lib record Set<T> add : function<T> (Set<T>, T) contains : function<T> (Set<T>, T) : boolean contains_set : function<T> (Set<T>, Set<T>) : boolean items : function<T> (Set<T>) : function<T> (Set<T>, T) : T add_list : function<T> (Set<T>, { T }) include : function<T> (Set<T>, Set<T>) exclude : function<T> (Set<T>, Set<T>) empty : function<T> (Set<T>) : boolean end new : function<T> ({ T }) : Set<T> is_set : function (any) : boolean union : function<T> (Set<T>, Set<T>) : Set <T> difference : function<T> (Set<T>, Set<T>) : Set <T> intersection : function<T> (Set<T>, Set<T>) : Set <T> xor : function<T> (Set<T>, Set<T>) : Set <T> end return lib