diff options
author | tv <tv@krebsco.de> | 2022-12-20 19:07:51 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2022-12-20 19:59:07 +0100 |
commit | 212da586160c25fd919a308e5fbe30c9b5e565ca (patch) | |
tree | 64dbbb2725486607da2a321823d067dae01c4fef | |
parent | 1081102c427ceb9677925035e3b449a1f986d293 (diff) |
lib: add on
-rw-r--r-- | lib/default.nix | 2 |
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; }; |