diff options
author | Karel Kočí <cynerd@email.cz> | 2023-01-18 11:45:18 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2023-01-18 11:45:18 +0100 |
commit | 33bcefc45b4a8881310f77a2bbda466a8b0f466a (patch) | |
tree | 2940a4e7369e2234a10c969b8a87f126a3abeff5 /lib | |
parent | 2a72895d7a7be71d6eefee193ce22e80718ee253 (diff) | |
download | nixos-personal-33bcefc45b4a8881310f77a2bbda466a8b0f466a.tar.gz nixos-personal-33bcefc45b4a8881310f77a2bbda466a8b0f466a.tar.bz2 nixos-personal-33bcefc45b4a8881310f77a2bbda466a8b0f466a.zip |
lib: add my own library functions
Diffstat (limited to 'lib')
-rw-r--r-- | lib/default.nix | 30 | ||||
-rw-r--r-- | lib/ipv4.nix | 38 |
2 files changed, 68 insertions, 0 deletions
diff --git a/lib/default.nix b/lib/default.nix new file mode 100644 index 0000000..036af97 --- /dev/null +++ b/lib/default.nix @@ -0,0 +1,30 @@ +nixpkgslib: let + lib = nixpkgslib // nlib; + + nlib = with builtins; + with lib; { + # Generic power of number + pow = base: e: + if e == 0 + then 1 + else foldl (a: b: a * base) 1 (genList id (e - 1)); + # Power of 2 + pow2 = pow 2; + + # Convert integer to list of bits + int2bits = len: e: reverseList (genList (x: bitAnd e (pow2 (x + 1)) > 0) len); + # Reverse operation for int2bits + bits2int = l: let + len = length l; + zf = a: b: + if a + then pow2 b + else 0; + in + foldl add 0 (zipListsWith zf l (genList (i: len - i) len)); + + # IPv4 utilities + ipv4 = import ./ipv4.nix lib; + }; +in + nlib diff --git a/lib/ipv4.nix b/lib/ipv4.nix new file mode 100644 index 0000000..c843cb6 --- /dev/null +++ b/lib/ipv4.nix @@ -0,0 +1,38 @@ +lib: +with builtins; +with lib; rec { + # Converts string representation of IPv4 address to 32 bits + ip2bits = ip: let + perBits = map (x: int2bits 8 (toInt x)) (splitString "." ip); + in + flatten perBits; + # Converts 32 bits to IPv4 + bits2ip = bits: let + bts = i: toString (bits2int (sublist (i * 8) 8 bits)); + in "${bts 0}.${bts 1}.${bts 2}.${bts 3}"; + + # Convert IPv4 to number + ip2int = ip: bits2int (ip2bits ip); + # Convert number to IPv4 + int2ip = ip: bits2ip (int2bits 32 ip); + + # Generate bits for netmas of gitven prefix length + netmaskBits = prefixLength: genList (x: x < prefixLength) 32; + # Convert IP network prefix length to network mask + prefix2netmask = prefixLength: bits2ip (netmaskBits prefixLength); + # Mask IP by network mask specified by given network prefix length + prefix2ip = ip: prefixLength: let + a = netmaskBits prefixLength; + b = ip2bits ip; + in + bits2ip (zipListsWith (a: b: a && b) a b); + # Last address in the range + prefix2broadcast = ip: prefixLength: let + a = netmaskBits prefixLength; + b = ip2bits ip; + in + bits2ip (zipListsWith (a: b: !a || b) a b); + + # Offset address in network + ipAdd = ip: prefixLength: off: int2ip ((ip2int (prefix2ip ip prefixLength)) + off); +} |