X-Git-Url: https://git.madduck.net/etc/awesome.git/blobdiff_plain/56ebe9158e0de45c56e789d626fad927cc5e75a5..af3427c7dfcf991c56a099ac1450e54db867ae51:/helpers.lua?ds=inline diff --git a/helpers.lua b/helpers.lua index 4e5ce1f..313579f 100644 --- a/helpers.lua +++ b/helpers.lua @@ -1,13 +1,11 @@ - --[[ - - Licensed under GNU General Public License v2 - * (c) 2013, Luke Bonham - ---]] + Licensed under GNU General Public License v2 + * (c) 2013, Luca CPZ -local easy_async = require("awful.spawn").easy_async +--]] + +local spawn = require("awful.spawn") local timer = require("gears.timer") local debug = require("debug") local io = { lines = io.lines, @@ -112,12 +110,29 @@ end -- @param callback function to execute on cmd output -- @return cmd PID function helpers.async(cmd, callback) - return easy_async(cmd, + return spawn.easy_async(cmd, function (stdout, stderr, reason, exit_code) - callback(stdout) + callback(stdout, exit_code) end) end +-- like above, but call spawn.easy_async with a shell +function helpers.async_with_shell(cmd, callback) + return spawn.easy_async_with_shell(cmd, + function (stdout, stderr, reason, exit_code) + callback(stdout, exit_code) + end) +end + +-- run a command and execute a function on its output line by line +function helpers.line_callback(cmd, callback) + return spawn.with_line_callback(cmd, { + stdout = function (line) + callback(line) + end, + }) +end + -- }}} -- {{{ A map utility @@ -164,6 +179,29 @@ function helpers.spairs(t) end end +-- create trivial partition of a set. The trivial partition set is the simplest +-- partition of a set. For e.g., the trivial partition set of {a, b, c}, is +-- simply {{a}, {b}, {c}}. +function helpers.trivial_partition_set(set) + local ss = {} + for _,e in pairs(set) do + ss[#ss+1] = {e} + end + return ss +end + +-- creates the powerset of a given set +function helpers.powerset(s) + if not s then return {} end + local t = {{}} + for i = 1, #s do + for j = 1, #t do + t[#t+1] = {s[i],unpack(t[j])} + end + end + return t +end + -- }}} return helpers