summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2022-12-20 19:07:51 +0100
committertv <tv@krebsco.de>2022-12-20 19:59:07 +0100
commit212da586160c25fd919a308e5fbe30c9b5e565ca (patch)
tree64dbbb2725486607da2a321823d067dae01c4fef
parent1081102c427ceb9677925035e3b449a1f986d293 (diff)
lib: add on
-rw-r--r--lib/default.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/default.nix b/lib/default.nix
index 149b97a72..1a57df266 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -39,6 +39,8 @@ let
ne = x: y: x != y;
mod = x: y: x - y * (x / y);
+ on = b: u: x: y: b (u x) (u y);
+
genid = lib.genid_uint32; # TODO remove
genid_uint31 = x: ((lib.genid_uint32 x) + 16777216) / 2;
genid_uint32 = import ./genid.nix { inherit lib; };