summaryrefslogtreecommitdiff
path: root/Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua
diff options
context:
space:
mode:
authorchai <chaifix@163.com>2021-11-15 13:53:59 +0800
committerchai <chaifix@163.com>2021-11-15 13:53:59 +0800
commit942a030afd348ab2e02eac8054b43e3c3a72ea48 (patch)
treea13459f39a3d2f1b533fbd1b5ab523d7a621f673 /Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua
parente307051a56a54c27f10438fd2025edf61d0dfeed (diff)
*rename
Diffstat (limited to 'Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua')
-rw-r--r--Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua343
1 files changed, 343 insertions, 0 deletions
diff --git a/Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua b/Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua
new file mode 100644
index 0000000..0165689
--- /dev/null
+++ b/Data/BuiltIn/Libraries/lua-addons/addons/libs/sets.lua
@@ -0,0 +1,343 @@
+--[[
+A library providing sets as a data structure.
+]]
+
+_libs = _libs or {}
+
+require('tables')
+require('functions')
+
+local table, functions = _libs.tables, _libs.functions
+
+set = {}
+
+local set = set
+
+_libs.sets = set
+
+_meta = _meta or {}
+_meta.S = {}
+_meta.S.__index = function(s, k) return rawget(set, k) or rawget(table, k) end
+_meta.S.__class = 'Set'
+
+function S(t)
+ t = t or {}
+ if class(t) == 'Set' then
+ return t
+ end
+
+ local s = {}
+
+ if class(t) == 'List' then
+ for _, val in ipairs(t) do
+ s[val] = true
+ end
+ else
+ for _, val in pairs(t) do
+ s[val] = true
+ end
+ end
+
+ return setmetatable(s, _meta.S)
+end
+
+function set.empty(s)
+ return next(s) == nil
+end
+
+function set.flat(s)
+ for el in pairs(s) do
+ if type(el) == 'table' then
+ return false
+ end
+ end
+
+ return true
+end
+
+function set.equals(s1, s2)
+ for el in pairs(s1) do
+ if not rawget(s2, el) then
+ return false
+ end
+ end
+
+ for el in pairs(s2) do
+ if not rawget(s1, el) then
+ return false
+ end
+ end
+
+ return true
+end
+
+_meta.S.__eq = set.equals
+
+function set.union(s1, s2)
+ if type(s2) ~= 'table' then
+ s2 = S{s2}
+ end
+
+ local s = {}
+
+ for el in pairs(s1) do
+ s[el] = true
+ end
+ for el in pairs(s2) do
+ s[el] = true
+ end
+
+ return setmetatable(s, _meta.S)
+end
+
+_meta.S.__add = set.union
+
+function set.intersection(s1, s2)
+ local s = {}
+ for el in pairs(s1) do
+ s[el] = rawget(s2, el)
+ end
+
+ return setmetatable(s, _meta.S)
+end
+
+_meta.S.__mul = set.intersection
+
+function set.diff(s1, s2)
+ if type(s2) ~= 'table' then
+ s2 = S(s2)
+ end
+
+ local s = {}
+
+ for el in pairs(s1) do
+ s[el] = (not rawget(s2, el) and true) or nil
+ end
+
+ return setmetatable(s, _meta.S)
+end
+
+_meta.S.__sub = set.diff
+
+function set.sdiff(s1, s2)
+ local s = {}
+ for el in pairs(s1) do
+ s[el] = (not rawget(s2, el) and true) or nil
+ end
+ for el in pairs(s2) do
+ s[el] = (not rawget(s1, el) and true) or nil
+ end
+
+ return setmetatable(s, _meta.S)
+end
+
+_meta.S.__pow = set.sdiff
+
+function set.subset(s1, s2)
+ for el in pairs(s1) do
+ if not rawget(s2, el) then
+ return false
+ end
+ end
+
+ return true
+end
+
+_meta.S.__le = set.subset
+
+function set.ssubset(s1, s2)
+ return s1 <= s2 and s1 ~= s2
+end
+
+_meta.S.__lt = set.ssubset
+
+function set.map(s, fn)
+ local res = {}
+ for el in pairs(s) do
+ rawset(res, fn(el), true)
+ end
+
+ return setmetatable(res, _meta.S)
+end
+
+function set.filter(s, fn)
+ local res = {}
+ for el in pairs(s) do
+ if fn(el) then
+ rawset(res, el, true)
+ end
+ end
+
+ return setmetatable(res, _meta.S)
+end
+
+function set.contains(s, el)
+ return rawget(s, el) == true
+end
+
+function set.find(s, fn)
+ if type(fn) ~= 'function' then
+ fn = functions.equals(fn)
+ end
+
+ for el in pairs(s) do
+ if fn(el) then
+ return el
+ end
+ end
+end
+
+function set.add(s, el)
+ return rawset(s, el, true)
+end
+
+function set.remove(s, el)
+ return rawset(s, el, nil)
+end
+
+function set.it(s)
+ local key = nil
+ return function()
+ key = next(s, key)
+ return key
+ end
+end
+
+function set.clear(s)
+ for el in pairs(s) do
+ rawset(s, el, nil)
+ end
+
+ return s
+end
+
+function set.copy(s, deep)
+ deep = deep ~= false and true
+ local res = {}
+
+ for el in pairs(s) do
+ if deep and type(el) == 'table' then
+ res[(not rawget(el, 'copy') and el.copy or table.copy)(el)] = true
+ else
+ res[el] = true
+ end
+ end
+
+ return setmetatable(res, _meta.S)
+end
+
+function set.reassign(s, sn)
+ return s:clear():union(sn)
+end
+
+function set.tostring(s)
+ local res = '{'
+ for el in pairs(s) do
+ res = res..tostring(el)
+ if next(s, el) ~= nil then
+ res = res..', '
+ end
+ end
+
+ return res..'}'
+end
+
+_meta.S.__tostring = set.tostring
+
+function set.tovstring(s)
+ local res = '{\n'
+ for el in pairs(s) do
+ res = res..'\t'..tostring(el)
+ if next(s, el) then
+ res = res..','
+ end
+ res = res..'\n'
+ end
+
+ return res..'}'
+end
+
+function set.sort(s, ...)
+ if _libs.lists then
+ return L(s):sort(...)
+ end
+
+ return T(s):sort(...)
+end
+
+function set.concat(s, str)
+ str = str or ''
+ local res = ''
+
+ for el in pairs(s) do
+ res = res..tostring(el)
+ if next(s, el) then
+ res = res..str
+ end
+ end
+
+ return res
+end
+
+function set.format(s, trail, subs)
+ local first = next(s)
+ if not first then
+ return subs or ''
+ end
+
+ trail = trail or 'and'
+
+ local last
+ if trail == 'and' then
+ last = ' and '
+ elseif trail == 'or' then
+ last = ' or '
+ elseif trail == 'list' then
+ last = ', '
+ elseif trail == 'csv' then
+ last = ','
+ elseif trail == 'oxford' then
+ last = ', and '
+ elseif trail == 'oxford or' then
+ last = ', or '
+ else
+ warning('Invalid format for table.format: \''..trail..'\'.')
+ end
+
+ local res = ''
+ for v in pairs(s) do
+ local add = tostring(v)
+ if trail == 'csv' and add:match('[,"]') then
+ res = res .. add:gsub('"', '""'):enclose('"')
+ else
+ res = res .. add
+ end
+
+ if next(s, v) then
+ if next(s, next(s, v)) then
+ if trail == 'csv' then
+ res = res .. ','
+ else
+ res = res .. ', '
+ end
+ else
+ res = res .. last
+ end
+ end
+ end
+
+ return res
+end
+
+--[[
+Copyright © 2013-2015, Windower
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+ * Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
+ * Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+ * Neither the name of Windower nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL Windower BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+]]