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 | 19701a1ed870ea1846fdb931b2a52f8b6f0ea24c (patch) | |
| tree | e124be6daa8f45218e2c08b8c24fa90a24fb218a | |
| parent | 948343e45996a2d6d107012de83bc54ba2e3e348 (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 149b97a..1a57df2 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; }; |