Compare commits
16 commits
lix-compat
...
main
| Author | SHA1 | Date | |
|---|---|---|---|
| 930e8fd44d | |||
| 8f52ef9499 | |||
|
a584a970a0 | ||
|
|
4c6b6489a4 | ||
|
|
7565d8554b | ||
|
|
89958adf3d | ||
|
|
12b9f46b00 | ||
|
|
5cc4cb34fb | ||
|
|
fda0b800e1 | ||
|
|
fb68031848 | ||
|
|
19b469d1b3 | ||
|
|
c875dd77fe | ||
|
|
d04a0125d5 | ||
|
|
0875c4f06e | ||
|
|
32f790ae7f | ||
|
|
ddc2349760 |
13 changed files with 1616 additions and 414 deletions
30
README.md
30
README.md
|
|
@ -1,10 +1,9 @@
|
||||||
[Installation](#installation)
|
[Installation](#installation)
|
||||||
|
|
||||||
# 🍵 nixos-extra-modules
|
# 🍵 mynixos-extra-modules
|
||||||
|
|
||||||
This repository contains extra modules for nixos that are very opinionated and mainly
|
This repository contains extra modules for `mynixos` that are very opinionated and mainly useful to me and is used in [`sokai/mynixos-config`](https://git.mediani.de/sokai/mynixos-config).
|
||||||
useful to me and my colleagues. All modules in here are opt-in, so nothing will
|
All modules in here are opt-in, so nothing will be changed unless you decide you want to use that specific module.
|
||||||
be changed unless you decide you want to use that specific module.
|
|
||||||
|
|
||||||
## Overview
|
## Overview
|
||||||
|
|
||||||
|
|
@ -31,12 +30,9 @@ Wallpapers | Module | [Link](./hm-modules/wallpapers.nix) | - | - | A simple wal
|
||||||
|
|
||||||
## Installation
|
## Installation
|
||||||
|
|
||||||
To use the extra modules, you will have to add this project to your `flake.nix`,
|
To use the extra modules, you will have to add this project to your `flake.nix`, and import the provided main NixOS module in your hosts. Afterwards the new options will be available.
|
||||||
and import the provided main NixOS module in your hosts. Afterwards the new options
|
|
||||||
will be available.
|
|
||||||
|
|
||||||
Certain modules may require the use of additional flakes. In particular
|
Certain modules may require the use of additional flakes. In particular depending on the modules you want to use, you might need:
|
||||||
depending on the modules you want to use, you might need:
|
|
||||||
|
|
||||||
- [agenix](https://github.com/ryantm/agenix)
|
- [agenix](https://github.com/ryantm/agenix)
|
||||||
- [agenix-rekey](https://github.com/oddlama/agenix-rekey)
|
- [agenix-rekey](https://github.com/oddlama/agenix-rekey)
|
||||||
|
|
@ -45,13 +41,9 @@ depending on the modules you want to use, you might need:
|
||||||
- [impermanence](https://github.com/nix-community/impermanence)
|
- [impermanence](https://github.com/nix-community/impermanence)
|
||||||
- [microvm.nix](https://github.com/astro/microvm.nix)
|
- [microvm.nix](https://github.com/astro/microvm.nix)
|
||||||
|
|
||||||
You also must have a `specialArgs.inputs` that refers to all of your flake's inputs,
|
You also must have a `specialArgs.inputs` that refers to all of your flake's inputs, and `inputs.self.pkgs.${system}` must refer to an initialized package set for that specific system that includes extra-modules as an overlay.
|
||||||
and `inputs.self.pkgs.${system}` must refer to an initialized package set for that
|
|
||||||
specific system that includes extra-modules as an overlay.
|
|
||||||
|
|
||||||
All cross-node configuration modules (like wireguard) require you to expose
|
All cross-node configuration modules (like wireguard) require you to expose all relevant nodes in your flake as `inputs.self.nodes`, so their configuration can be accessed by other nodes.
|
||||||
all relevant nodes in your flake as `inputs.self.nodes`, so their configuration
|
|
||||||
can be accessed by other nodes.
|
|
||||||
|
|
||||||
Here's an example configuration:
|
Here's an example configuration:
|
||||||
|
|
||||||
|
|
@ -60,13 +52,14 @@ Here's an example configuration:
|
||||||
inputs = {
|
inputs = {
|
||||||
flake-utils.url = "github:numtide/flake-utils";
|
flake-utils.url = "github:numtide/flake-utils";
|
||||||
|
|
||||||
|
# TODO: "nixos-extra-modules" → "mynixos-extra-modules"?
|
||||||
nixos-extra-modules = {
|
nixos-extra-modules = {
|
||||||
url = "github:oddlama/nixos-extra-modules";
|
url = "git+ssh://git@git.mediani.de/sokai/mynixos-extra-modules";
|
||||||
inputs.nixpkgs.follows = "nixpkgs";
|
inputs.nixpkgs.follows = "nixpkgs";
|
||||||
inputs.flake-utils.follows = "flake-utils";
|
inputs.flake-utils.follows = "flake-utils";
|
||||||
};
|
};
|
||||||
|
|
||||||
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
|
nixpkgs.url = "git+ssh://git@git.mediani.de/mirrors/NixOS_nixpkgs?ref=nixos-25.05";
|
||||||
|
|
||||||
# Additional inputs, may or may not be needed for a particular module or extension.
|
# Additional inputs, may or may not be needed for a particular module or extension.
|
||||||
# Enable what you use.
|
# Enable what you use.
|
||||||
|
|
@ -110,7 +103,7 @@ Here's an example configuration:
|
||||||
...
|
...
|
||||||
} @ inputs: {
|
} @ inputs: {
|
||||||
# Example system configuration
|
# Example system configuration
|
||||||
nixosConfigurations.yourhostname = let
|
nixosConfigurations.myhostname = let
|
||||||
system = "x86_64-linux";
|
system = "x86_64-linux";
|
||||||
pkgs = self.pkgs.${system};
|
pkgs = self.pkgs.${system};
|
||||||
in nixpkgs.lib.nixosSystem {
|
in nixpkgs.lib.nixosSystem {
|
||||||
|
|
@ -153,3 +146,4 @@ Here's an example configuration:
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
```
|
```
|
||||||
|
… or have a look at the **original**: [`oddlama/nix-config`](https://github.com/oddlama/nix-config) <3 :)
|
||||||
623
flake.lock
generated
623
flake.lock
generated
|
|
@ -1,5 +1,46 @@
|
||||||
{
|
{
|
||||||
"nodes": {
|
"nodes": {
|
||||||
|
"blank": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1625557891,
|
||||||
|
"narHash": "sha256-O8/MWsPBGhhyPoPLHZAuoZiiHo9q6FLlEeIDEXuj6T4=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "blank",
|
||||||
|
"rev": "5a5d2684073d9f563072ed07c871d577a6c614a8",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "blank",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"crane": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-compat": "flake-compat_2",
|
||||||
|
"flake-utils": "flake-utils_2",
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"paisano-mdbook-preprocessor",
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"rust-overlay": "rust-overlay"
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1676162383,
|
||||||
|
"narHash": "sha256-krUCKdz7ebHlFYm/A7IbKDnj2ZmMMm3yIEQcooqm7+E=",
|
||||||
|
"owner": "ipetkov",
|
||||||
|
"repo": "crane",
|
||||||
|
"rev": "6fb400ec631b22ccdbc7090b38207f7fb5cfb5f2",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "ipetkov",
|
||||||
|
"repo": "crane",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
"devshell": {
|
"devshell": {
|
||||||
"inputs": {
|
"inputs": {
|
||||||
"nixpkgs": [
|
"nixpkgs": [
|
||||||
|
|
@ -20,7 +61,115 @@
|
||||||
"type": "github"
|
"type": "github"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
"devshell_2": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-utils": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"flake-utils"
|
||||||
|
],
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1682700442,
|
||||||
|
"narHash": "sha256-qjaAAcCYgp1pBBG7mY9z95ODUBZMtUpf0Qp3Gt/Wha0=",
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "devshell",
|
||||||
|
"rev": "fb6673fe9fe4409e3f43ca86968261e970918a83",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "devshell",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"dmerge": {
|
||||||
|
"inputs": {
|
||||||
|
"haumea": "haumea",
|
||||||
|
"namaka": "namaka",
|
||||||
|
"nixlib": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"yants": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"yants"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1684178600,
|
||||||
|
"narHash": "sha256-EtSQcCHRQUBBEj4vbYU0vgPUYiKP261ero5k1QfQ3Bc=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "dmerge",
|
||||||
|
"rev": "ac9932f26325afac5baa59cf6478432d17762a4e",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"ref": "0.2.0",
|
||||||
|
"repo": "dmerge",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"fenix": {
|
||||||
|
"inputs": {
|
||||||
|
"nixpkgs": "nixpkgs_2",
|
||||||
|
"rust-analyzer-src": "rust-analyzer-src"
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1677306201,
|
||||||
|
"narHash": "sha256-VZ9x7qdTosFvVsrpgFHrtYfT6PU3yMIs7NRYn9ELapI=",
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "fenix",
|
||||||
|
"rev": "0923f0c162f65ae40261ec940406049726cfeab4",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "fenix",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
"flake-compat": {
|
"flake-compat": {
|
||||||
|
"flake": false,
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1673956053,
|
||||||
|
"narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=",
|
||||||
|
"owner": "edolstra",
|
||||||
|
"repo": "flake-compat",
|
||||||
|
"rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "edolstra",
|
||||||
|
"repo": "flake-compat",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"flake-compat_2": {
|
||||||
|
"flake": false,
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1673956053,
|
||||||
|
"narHash": "sha256-4gtG9iQuiKITOjNQQeQIpoIB6b16fm+504Ch3sNKLd8=",
|
||||||
|
"owner": "edolstra",
|
||||||
|
"repo": "flake-compat",
|
||||||
|
"rev": "35bb57c0c8d8b62bbfd284272c928ceb64ddbde9",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "edolstra",
|
||||||
|
"repo": "flake-compat",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"flake-compat_3": {
|
||||||
"flake": false,
|
"flake": false,
|
||||||
"locked": {
|
"locked": {
|
||||||
"lastModified": 1696426674,
|
"lastModified": 1696426674,
|
||||||
|
|
@ -54,6 +203,36 @@
|
||||||
"type": "github"
|
"type": "github"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
"flake-utils": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1659877975,
|
||||||
|
"narHash": "sha256-zllb8aq3YO3h8B/U0/J1WBgAL8EX5yWf5pMj3G0NAmc=",
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "flake-utils",
|
||||||
|
"rev": "c0e246b9b83f637f4681389ecabcb2681b4f3af0",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "flake-utils",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"flake-utils_2": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1667395993,
|
||||||
|
"narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=",
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "flake-utils",
|
||||||
|
"rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "numtide",
|
||||||
|
"repo": "flake-utils",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
"gitignore": {
|
"gitignore": {
|
||||||
"inputs": {
|
"inputs": {
|
||||||
"nixpkgs": [
|
"nixpkgs": [
|
||||||
|
|
@ -75,17 +254,138 @@
|
||||||
"type": "github"
|
"type": "github"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"lib-net": {
|
"haumea": {
|
||||||
"flake": false,
|
"inputs": {
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"dmerge",
|
||||||
|
"nixlib"
|
||||||
|
]
|
||||||
|
},
|
||||||
"locked": {
|
"locked": {
|
||||||
"lastModified": 1596309860,
|
"lastModified": 1681176209,
|
||||||
"narHash": "sha256-izAzepR/6cDvnRfaa2ceSolMLMwqzQB5x9q62aR5J2g=",
|
"narHash": "sha256-bJLDun6esIyWtwRVXcsgzGbh4UKu8wJDrPgykqPyzmg=",
|
||||||
"type": "tarball",
|
"owner": "nix-community",
|
||||||
"url": "https://gist.github.com/duairc/5c9bb3c922e5d501a1edb9e7b3b845ba/archive/3885f7cd9ed0a746a9d675da6f265d41e9fd6704.tar.gz"
|
"repo": "haumea",
|
||||||
|
"rev": "b915b66b27da3a595d77b139e945bb0a2fcac926",
|
||||||
|
"type": "github"
|
||||||
},
|
},
|
||||||
"original": {
|
"original": {
|
||||||
"type": "tarball",
|
"owner": "nix-community",
|
||||||
"url": "https://gist.github.com/duairc/5c9bb3c922e5d501a1edb9e7b3b845ba/archive/3885f7cd9ed0a746a9d675da6f265d41e9fd6704.tar.gz"
|
"repo": "haumea",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"incl": {
|
||||||
|
"inputs": {
|
||||||
|
"nixlib": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1669263024,
|
||||||
|
"narHash": "sha256-E/+23NKtxAqYG/0ydYgxlgarKnxmDbg6rCMWnOBqn9Q=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "incl",
|
||||||
|
"rev": "ce7bebaee048e4cd7ebdb4cee7885e00c4e2abca",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "incl",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"n2c": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-utils": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"flake-utils"
|
||||||
|
],
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1677330646,
|
||||||
|
"narHash": "sha256-hUYCwJneMjnxTvj30Fjow6UMJUITqHlpUGpXMPXUJsU=",
|
||||||
|
"owner": "nlewo",
|
||||||
|
"repo": "nix2container",
|
||||||
|
"rev": "ebca8f58d450cae1a19c07701a5a8ae40afc9efc",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nlewo",
|
||||||
|
"repo": "nix2container",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"namaka": {
|
||||||
|
"inputs": {
|
||||||
|
"haumea": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"dmerge",
|
||||||
|
"haumea"
|
||||||
|
],
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"dmerge",
|
||||||
|
"nixlib"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1683059428,
|
||||||
|
"narHash": "sha256-ZTMqleCWmuNWhZE375gtF1j1JRkaKEUFN1AM43e7h4Y=",
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "namaka",
|
||||||
|
"rev": "2deba2f416454aec770bc1cc7365e39c73e6b1d7",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nix-community",
|
||||||
|
"ref": "v0.1.1",
|
||||||
|
"repo": "namaka",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"nixago": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-utils": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"flake-utils"
|
||||||
|
],
|
||||||
|
"nixago-exts": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"blank"
|
||||||
|
],
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1683210100,
|
||||||
|
"narHash": "sha256-bhGDOlkWtlhVECpoOog4fWiFJmLCpVEg09a40aTjCbw=",
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "nixago",
|
||||||
|
"rev": "1da60ad9412135f9ed7a004669fdcf3d378ec630",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "nixago",
|
||||||
|
"type": "github"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"nixpkgs": {
|
"nixpkgs": {
|
||||||
|
|
@ -116,9 +416,170 @@
|
||||||
"url": "https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz"
|
"url": "https://github.com/NixOS/nixpkgs/archive/072a6db25e947df2f31aab9eccd0ab75d5b2da11.tar.gz"
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"pre-commit-hooks": {
|
"nixpkgs_2": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1677063315,
|
||||||
|
"narHash": "sha256-qiB4ajTeAOVnVSAwCNEEkoybrAlA+cpeiBxLobHndE8=",
|
||||||
|
"owner": "nixos",
|
||||||
|
"repo": "nixpkgs",
|
||||||
|
"rev": "988cc958c57ce4350ec248d2d53087777f9e1949",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nixos",
|
||||||
|
"ref": "nixos-unstable",
|
||||||
|
"repo": "nixpkgs",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"nixt": {
|
||||||
"inputs": {
|
"inputs": {
|
||||||
"flake-compat": "flake-compat",
|
"flake-compat": "flake-compat",
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"std": "std",
|
||||||
|
"std-data-collection": "std-data-collection"
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1729273076,
|
||||||
|
"narHash": "sha256-h2Y+5bikSXS8MPYpxyZpd+VX9H5uuCS/csMMxZCoS3c=",
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "nixt",
|
||||||
|
"rev": "ad8863c9f9e5a166d663f2f1f0eef74ab913a883",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "nix-community",
|
||||||
|
"repo": "nixt",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"nosys": {
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1668010795,
|
||||||
|
"narHash": "sha256-JBDVBnos8g0toU7EhIIqQ1If5m/nyBqtHhL3sicdPwI=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "nosys",
|
||||||
|
"rev": "feade0141487801c71ff55623b421ed535dbdefa",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "nosys",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"paisano": {
|
||||||
|
"inputs": {
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"nosys": "nosys",
|
||||||
|
"yants": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"yants"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1678949904,
|
||||||
|
"narHash": "sha256-oAoF66hYYz1RPh3lEwb9/4e4iyBAfTbQKZRRQ8gP0Ds=",
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "core",
|
||||||
|
"rev": "88f2aff10a5064551d1d4cb86800d17084489ce3",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "core",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"paisano-actions": {
|
||||||
|
"inputs": {
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"paisano-mdbook-preprocessor",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1677306424,
|
||||||
|
"narHash": "sha256-H9/dI2rGEbKo4KEisqbRPHFG2ajF8Tm111NPdKGIf28=",
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "actions",
|
||||||
|
"rev": "65ec4e080b3480167fc1a748c89a05901eea9a9b",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "actions",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"paisano-mdbook-preprocessor": {
|
||||||
|
"inputs": {
|
||||||
|
"crane": "crane",
|
||||||
|
"fenix": "fenix",
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"paisano-actions": "paisano-actions",
|
||||||
|
"std": [
|
||||||
|
"nixt",
|
||||||
|
"std"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1680654400,
|
||||||
|
"narHash": "sha256-Qdpio+ldhUK3zfl22Mhf8HUULdUOJXDWDdO7MIK69OU=",
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "mdbook-paisano-preprocessor",
|
||||||
|
"rev": "11a8fc47f574f194a7ae7b8b98001f6143ba4cf1",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "mdbook-paisano-preprocessor",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"paisano-tui": {
|
||||||
|
"inputs": {
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"blank"
|
||||||
|
],
|
||||||
|
"std": [
|
||||||
|
"nixt",
|
||||||
|
"std"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1681847764,
|
||||||
|
"narHash": "sha256-mdd7PJW1BZvxy0cIKsPfAO+ohVl/V7heE5ZTAHzTdv8=",
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"repo": "tui",
|
||||||
|
"rev": "3096bad91cae73ab8ab3367d31f8a143d248a244",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "paisano-nix",
|
||||||
|
"ref": "0.1.1",
|
||||||
|
"repo": "tui",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"pre-commit-hooks": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-compat": "flake-compat_3",
|
||||||
"gitignore": "gitignore",
|
"gitignore": "gitignore",
|
||||||
"nixpkgs": [
|
"nixpkgs": [
|
||||||
"nixpkgs"
|
"nixpkgs"
|
||||||
|
|
@ -142,10 +603,152 @@
|
||||||
"inputs": {
|
"inputs": {
|
||||||
"devshell": "devshell",
|
"devshell": "devshell",
|
||||||
"flake-parts": "flake-parts",
|
"flake-parts": "flake-parts",
|
||||||
"lib-net": "lib-net",
|
|
||||||
"nixpkgs": "nixpkgs",
|
"nixpkgs": "nixpkgs",
|
||||||
|
"nixt": "nixt",
|
||||||
"pre-commit-hooks": "pre-commit-hooks"
|
"pre-commit-hooks": "pre-commit-hooks"
|
||||||
}
|
}
|
||||||
|
},
|
||||||
|
"rust-analyzer-src": {
|
||||||
|
"flake": false,
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1677221702,
|
||||||
|
"narHash": "sha256-1M+58rC4eTCWNmmX0hQVZP20t3tfYNunl9D/PrGUyGE=",
|
||||||
|
"owner": "rust-lang",
|
||||||
|
"repo": "rust-analyzer",
|
||||||
|
"rev": "f5401f620699b26ed9d47a1d2e838143a18dbe3b",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "rust-lang",
|
||||||
|
"ref": "nightly",
|
||||||
|
"repo": "rust-analyzer",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"rust-overlay": {
|
||||||
|
"inputs": {
|
||||||
|
"flake-utils": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"paisano-mdbook-preprocessor",
|
||||||
|
"crane",
|
||||||
|
"flake-utils"
|
||||||
|
],
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"paisano-mdbook-preprocessor",
|
||||||
|
"crane",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1675391458,
|
||||||
|
"narHash": "sha256-ukDKZw922BnK5ohL9LhwtaDAdCsJL7L6ScNEyF1lO9w=",
|
||||||
|
"owner": "oxalica",
|
||||||
|
"repo": "rust-overlay",
|
||||||
|
"rev": "383a4acfd11d778d5c2efcf28376cbd845eeaedf",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "oxalica",
|
||||||
|
"repo": "rust-overlay",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"std": {
|
||||||
|
"inputs": {
|
||||||
|
"arion": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"blank"
|
||||||
|
],
|
||||||
|
"blank": "blank",
|
||||||
|
"devshell": "devshell_2",
|
||||||
|
"dmerge": "dmerge",
|
||||||
|
"flake-utils": "flake-utils",
|
||||||
|
"incl": "incl",
|
||||||
|
"makes": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"blank"
|
||||||
|
],
|
||||||
|
"microvm": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"blank"
|
||||||
|
],
|
||||||
|
"n2c": "n2c",
|
||||||
|
"nixago": "nixago",
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"paisano": "paisano",
|
||||||
|
"paisano-mdbook-preprocessor": "paisano-mdbook-preprocessor",
|
||||||
|
"paisano-tui": "paisano-tui",
|
||||||
|
"yants": "yants"
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1684180498,
|
||||||
|
"narHash": "sha256-kA58ms4yunOVPhe3r7V0IIKeWUV+vl4r2GTcfFfYW5o=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "std",
|
||||||
|
"rev": "45b431ae09df98e046bcc8271aa209bdfc87444d",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "std",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"std-data-collection": {
|
||||||
|
"inputs": {
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"nixpkgs"
|
||||||
|
],
|
||||||
|
"std": [
|
||||||
|
"nixt",
|
||||||
|
"std"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1676163535,
|
||||||
|
"narHash": "sha256-xofkWLBqU4zj5vzJhWor2Z9CyPGKt7UGkTchsCT48Po=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "std-data-collection",
|
||||||
|
"rev": "f713d81a6197e1b0854fb201cc7acde5ef9e93d4",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "std-data-collection",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"yants": {
|
||||||
|
"inputs": {
|
||||||
|
"nixpkgs": [
|
||||||
|
"nixt",
|
||||||
|
"std",
|
||||||
|
"nixpkgs"
|
||||||
|
]
|
||||||
|
},
|
||||||
|
"locked": {
|
||||||
|
"lastModified": 1667096281,
|
||||||
|
"narHash": "sha256-wRRec6ze0gJHmGn6m57/zhz/Kdvp9HS4Nl5fkQ+uIuA=",
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "yants",
|
||||||
|
"rev": "d18f356ec25cb94dc9c275870c3a7927a10f8c3c",
|
||||||
|
"type": "github"
|
||||||
|
},
|
||||||
|
"original": {
|
||||||
|
"owner": "divnix",
|
||||||
|
"repo": "yants",
|
||||||
|
"type": "github"
|
||||||
|
}
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
"root": "root",
|
"root": "root",
|
||||||
|
|
|
||||||
25
flake.nix
25
flake.nix
|
|
@ -9,17 +9,16 @@
|
||||||
|
|
||||||
flake-parts.url = "github:hercules-ci/flake-parts";
|
flake-parts.url = "github:hercules-ci/flake-parts";
|
||||||
|
|
||||||
lib-net = {
|
|
||||||
url = "https://gist.github.com/duairc/5c9bb3c922e5d501a1edb9e7b3b845ba/archive/3885f7cd9ed0a746a9d675da6f265d41e9fd6704.tar.gz";
|
|
||||||
flake = false;
|
|
||||||
};
|
|
||||||
|
|
||||||
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
|
nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
|
||||||
|
|
||||||
pre-commit-hooks = {
|
pre-commit-hooks = {
|
||||||
url = "github:cachix/pre-commit-hooks.nix";
|
url = "github:cachix/pre-commit-hooks.nix";
|
||||||
inputs.nixpkgs.follows = "nixpkgs";
|
inputs.nixpkgs.follows = "nixpkgs";
|
||||||
};
|
};
|
||||||
|
nixt = {
|
||||||
|
url = "github:nix-community/nixt";
|
||||||
|
inputs.nixpkgs.follows = "nixpkgs";
|
||||||
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
outputs =
|
outputs =
|
||||||
|
|
@ -33,6 +32,18 @@
|
||||||
"x86_64-linux"
|
"x86_64-linux"
|
||||||
"aarch64-linux"
|
"aarch64-linux"
|
||||||
];
|
];
|
||||||
|
flake.__nixt = inputs.nixt.lib.grow {
|
||||||
|
blocks = import ./tests {
|
||||||
|
inherit (inputs) nixt;
|
||||||
|
pkgs = import inputs.nixpkgs {
|
||||||
|
system = "x86_64-linux";
|
||||||
|
config.allowUnfree = true;
|
||||||
|
overlays = [
|
||||||
|
self.overlays.default
|
||||||
|
];
|
||||||
|
};
|
||||||
|
};
|
||||||
|
};
|
||||||
|
|
||||||
flake.modules = {
|
flake.modules = {
|
||||||
flake = {
|
flake = {
|
||||||
|
|
@ -81,6 +92,10 @@
|
||||||
package = statix;
|
package = statix;
|
||||||
help = "Lint nix code";
|
help = "Lint nix code";
|
||||||
}
|
}
|
||||||
|
{
|
||||||
|
package = inputs.nixt.packages.${system}.default;
|
||||||
|
help = "Lint nix code";
|
||||||
|
}
|
||||||
{
|
{
|
||||||
package = deadnix;
|
package = deadnix;
|
||||||
help = "Find unused expressions in nix code";
|
help = "Find unused expressions in nix code";
|
||||||
|
|
|
||||||
59
lib/misc.nix
59
lib/misc.nix
|
|
@ -1,43 +1,40 @@
|
||||||
_inputs: _final: prev: let
|
_inputs: final: prev:
|
||||||
inherit
|
let
|
||||||
(prev.lib)
|
inherit (prev.lib)
|
||||||
filter
|
filter
|
||||||
foldl'
|
foldl'
|
||||||
genAttrs
|
genAttrs
|
||||||
genList
|
|
||||||
mergeAttrs
|
mergeAttrs
|
||||||
mkMerge
|
mkMerge
|
||||||
stringToCharacters
|
stringToCharacters
|
||||||
substring
|
substring
|
||||||
unique
|
unique
|
||||||
;
|
;
|
||||||
|
inherit (final.lib)
|
||||||
|
bit
|
||||||
|
;
|
||||||
|
|
||||||
# Counts how often each element occurrs in xs.
|
# Counts how often each element occurrs in xs.
|
||||||
# Elements must be strings.
|
# Elements must be strings.
|
||||||
countOccurrences =
|
countOccurrences = foldl' (acc: x: acc // { ${x} = (acc.${x} or 0) + 1; }) { };
|
||||||
foldl'
|
|
||||||
(acc: x: acc // {${x} = (acc.${x} or 0) + 1;})
|
|
||||||
{};
|
|
||||||
|
|
||||||
# Returns all elements in xs that occur at least twice
|
# Returns all elements in xs that occur at least twice
|
||||||
duplicates = xs: let
|
duplicates =
|
||||||
occurrences = countOccurrences xs;
|
xs:
|
||||||
in
|
let
|
||||||
|
occurrences = countOccurrences xs;
|
||||||
|
in
|
||||||
unique (filter (x: occurrences.${x} > 1) xs);
|
unique (filter (x: occurrences.${x} > 1) xs);
|
||||||
|
|
||||||
# Concatenates all given attrsets as if calling a // b in order.
|
# Concatenates all given attrsets as if calling a // b in order.
|
||||||
concatAttrs = foldl' mergeAttrs {};
|
concatAttrs = foldl' mergeAttrs { };
|
||||||
|
|
||||||
# True if the path or string starts with /
|
# True if the path or string starts with /
|
||||||
isAbsolutePath = x: substring 0 1 x == "/";
|
isAbsolutePath = x: substring 0 1 x == "/";
|
||||||
|
|
||||||
# Merges all given attributes from the given attrsets using mkMerge.
|
# Merges all given attributes from the given attrsets using mkMerge.
|
||||||
# Useful to merge several top-level configs in a module.
|
# Useful to merge several top-level configs in a module.
|
||||||
mergeToplevelConfigs = keys: attrs:
|
mergeToplevelConfigs = keys: attrs: genAttrs keys (attr: mkMerge (map (x: x.${attr} or { }) attrs));
|
||||||
genAttrs keys (attr: mkMerge (map (x: x.${attr} or {}) attrs));
|
|
||||||
|
|
||||||
# Calculates base^exp, but careful, this overflows for results > 2^62
|
|
||||||
pow = base: exp: foldl' (a: x: x * a) 1 (genList (_: base) exp);
|
|
||||||
|
|
||||||
hexLiteralValues = {
|
hexLiteralValues = {
|
||||||
"0" = 0;
|
"0" = 0;
|
||||||
|
|
@ -66,19 +63,17 @@ _inputs: _final: prev: let
|
||||||
|
|
||||||
# Converts the given hex string to an integer. Only reliable for inputs in [0, 2^63),
|
# Converts the given hex string to an integer. Only reliable for inputs in [0, 2^63),
|
||||||
# after that the sign bit will overflow.
|
# after that the sign bit will overflow.
|
||||||
hexToDec = v: foldl' (acc: x: acc * 16 + hexLiteralValues.${x}) 0 (stringToCharacters v);
|
hexToDec = v: foldl' (acc: x: (bit.left acc 4) + hexLiteralValues.${x}) 0 (stringToCharacters v);
|
||||||
in {
|
in
|
||||||
lib =
|
{
|
||||||
prev.lib
|
lib = prev.lib // {
|
||||||
// {
|
inherit
|
||||||
inherit
|
hexToDec
|
||||||
concatAttrs
|
concatAttrs
|
||||||
countOccurrences
|
countOccurrences
|
||||||
duplicates
|
duplicates
|
||||||
hexToDec
|
isAbsolutePath
|
||||||
isAbsolutePath
|
mergeToplevelConfigs
|
||||||
mergeToplevelConfigs
|
;
|
||||||
pow
|
};
|
||||||
;
|
|
||||||
};
|
|
||||||
}
|
}
|
||||||
|
|
|
||||||
420
lib/net.nix
420
lib/net.nix
|
|
@ -1,6 +1,6 @@
|
||||||
inputs: _final: prev: let
|
inputs: _final: prev:
|
||||||
inherit
|
let
|
||||||
(prev.lib)
|
inherit (prev.lib)
|
||||||
all
|
all
|
||||||
any
|
any
|
||||||
assertMsg
|
assertMsg
|
||||||
|
|
@ -22,24 +22,29 @@ inputs: _final: prev: let
|
||||||
;
|
;
|
||||||
|
|
||||||
# From misc.nix
|
# From misc.nix
|
||||||
inherit
|
inherit (prev.lib)
|
||||||
(prev.lib)
|
|
||||||
hexToDec
|
hexToDec
|
||||||
pow
|
|
||||||
;
|
;
|
||||||
|
|
||||||
# IP address math library
|
# IP address math library
|
||||||
# https://gist.github.com/duairc/5c9bb3c922e5d501a1edb9e7b3b845ba
|
# https://gist.github.com/duairc/5c9bb3c922e5d501a1edb9e7b3b845ba
|
||||||
# Plus some extensions by us
|
# Plus some extensions by us
|
||||||
libNet =
|
libNet =
|
||||||
(import "${inputs.lib-net}/net.nix" {
|
(import ./netu.nix {
|
||||||
inherit (inputs.nixpkgs) lib;
|
inherit (inputs.nixpkgs) lib;
|
||||||
})
|
}).lib;
|
||||||
.lib
|
in
|
||||||
.net;
|
{
|
||||||
in {
|
|
||||||
lib = recursiveUpdate prev.lib {
|
lib = recursiveUpdate prev.lib {
|
||||||
net = recursiveUpdate (removeAttrs libNet ["types"]) {
|
inherit (libNet)
|
||||||
|
arithmetic
|
||||||
|
typechecks
|
||||||
|
bit
|
||||||
|
implementations
|
||||||
|
parsers
|
||||||
|
;
|
||||||
|
|
||||||
|
net = recursiveUpdate (removeAttrs libNet.net [ "types" ]) {
|
||||||
cidr = rec {
|
cidr = rec {
|
||||||
# host :: (ip | mac | integer) -> cidr -> ip
|
# host :: (ip | mac | integer) -> cidr -> ip
|
||||||
#
|
#
|
||||||
|
|
@ -58,11 +63,17 @@ in {
|
||||||
# "192.168.1.0"
|
# "192.168.1.0"
|
||||||
# > net.cidr.host (-257) "192.168.1.0/24"
|
# > net.cidr.host (-257) "192.168.1.0/24"
|
||||||
# <fails with an error message>
|
# <fails with an error message>
|
||||||
host = i: n: let
|
host =
|
||||||
cap = libNet.cidr.capacity n;
|
i: n:
|
||||||
in
|
let
|
||||||
assert assertMsg (i >= (-cap) && i < cap) "The host ${toString i} lies outside of ${n}";
|
cap = libNet.net.cidr.capacity n;
|
||||||
libNet.cidr.host i n;
|
intCheck = builtins.isInt i -> (i >= (-cap) && i < cap);
|
||||||
|
ipCheck = libNet.net.types.ip.check i -> ((libNet.net.types.ip-in n).check result);
|
||||||
|
|
||||||
|
result = libNet.net.cidr.host i n;
|
||||||
|
in
|
||||||
|
assert assertMsg (ipCheck && intCheck) "The host ${toString i} lies outside of ${n}";
|
||||||
|
result;
|
||||||
# hostCidr :: (ip | mac | integer) -> cidr -> cidr
|
# hostCidr :: (ip | mac | integer) -> cidr -> cidr
|
||||||
#
|
#
|
||||||
# Returns the nth host in the given cidr range (like cidr.host)
|
# Returns the nth host in the given cidr range (like cidr.host)
|
||||||
|
|
@ -72,7 +83,7 @@ in {
|
||||||
#
|
#
|
||||||
# > net.cidr.hostCidr 2 "192.168.1.0/24"
|
# > net.cidr.hostCidr 2 "192.168.1.0/24"
|
||||||
# "192.168.1.2/24"
|
# "192.168.1.2/24"
|
||||||
hostCidr = n: x: "${libNet.cidr.host n x}/${toString (libNet.cidr.length x)}";
|
hostCidr = n: x: "${libNet.net.cidr.host n x}/${toString (libNet.net.cidr.length x)}";
|
||||||
# ip :: (cidr | ip) -> ip
|
# ip :: (cidr | ip) -> ip
|
||||||
#
|
#
|
||||||
# Returns just the ip part of the cidr.
|
# Returns just the ip part of the cidr.
|
||||||
|
|
@ -93,7 +104,7 @@ in {
|
||||||
#
|
#
|
||||||
# > net.cidr.canonicalize "192.168.1.100/24"
|
# > net.cidr.canonicalize "192.168.1.100/24"
|
||||||
# "192.168.1.0/24"
|
# "192.168.1.0/24"
|
||||||
canonicalize = x: libNet.cidr.make (libNet.cidr.length x) (ip x);
|
canonicalize = x: libNet.net.cidr.make (libNet.net.cidr.length x) (ip x);
|
||||||
# mergev4 :: [cidrv4 | ipv4] -> (cidrv4 | null)
|
# mergev4 :: [cidrv4 | ipv4] -> (cidrv4 | null)
|
||||||
#
|
#
|
||||||
# Returns the smallest cidr network that includes all given networks.
|
# Returns the smallest cidr network that includes all given networks.
|
||||||
|
|
@ -103,37 +114,30 @@ in {
|
||||||
#
|
#
|
||||||
# > net.cidr.mergev4 ["192.168.1.1/24" "192.168.6.1/32"]
|
# > net.cidr.mergev4 ["192.168.1.1/24" "192.168.6.1/32"]
|
||||||
# "192.168.0.0/21"
|
# "192.168.0.0/21"
|
||||||
mergev4 = addrs_: let
|
mergev4 =
|
||||||
# Append /32 if necessary
|
addrs_:
|
||||||
addrs = map (x:
|
let
|
||||||
if hasInfix "/" x
|
# Append /32 if necessary
|
||||||
then x
|
addrs = map (x: if hasInfix "/" x then x else "${x}/32") addrs_;
|
||||||
else "${x}/32")
|
# The smallest occurring length is the first we need to start checking, since
|
||||||
addrs_;
|
# any greater cidr length represents a smaller address range which
|
||||||
# The smallest occurring length is the first we need to start checking, since
|
# wouldn't contain all of the original addresses.
|
||||||
# any greater cidr length represents a smaller address range which
|
startLength = foldl' min 32 (map libNet.net.cidr.length addrs);
|
||||||
# wouldn't contain all of the original addresses.
|
possibleLengths = reverseList (range 0 startLength);
|
||||||
startLength = foldl' min 32 (map libNet.cidr.length addrs);
|
# The first ip address will be "expanded" in cidr length until it covers all other
|
||||||
possibleLengths = reverseList (range 0 startLength);
|
# used addresses.
|
||||||
# The first ip address will be "expanded" in cidr length until it covers all other
|
firstIp = ip (head addrs);
|
||||||
# used addresses.
|
# Return the first (i.e. greatest length -> smallest prefix) cidr length
|
||||||
firstIp = ip (head addrs);
|
# in the list that covers all used addresses
|
||||||
# Return the first (i.e. greatest length -> smallest prefix) cidr length
|
bestLength = head (
|
||||||
# in the list that covers all used addresses
|
filter
|
||||||
bestLength = head (filter
|
# All given addresses must be contained by the generated address.
|
||||||
# All given addresses must be contained by the generated address.
|
(len: all (x: libNet.net.cidr.contains (ip x) (libNet.net.cidr.make len firstIp)) addrs)
|
||||||
(len:
|
possibleLengths
|
||||||
all (x:
|
);
|
||||||
libNet.cidr.contains
|
in
|
||||||
(ip x)
|
|
||||||
(libNet.cidr.make len firstIp))
|
|
||||||
addrs)
|
|
||||||
possibleLengths);
|
|
||||||
in
|
|
||||||
assert assertMsg (!any (hasInfix ":") addrs) "mergev4 cannot operate on ipv6 addresses";
|
assert assertMsg (!any (hasInfix ":") addrs) "mergev4 cannot operate on ipv6 addresses";
|
||||||
if addrs == []
|
if addrs == [ ] then null else libNet.net.cidr.make bestLength firstIp;
|
||||||
then null
|
|
||||||
else libNet.cidr.make bestLength firstIp;
|
|
||||||
# mergev6 :: [cidrv6 | ipv6] -> (cidrv6 | null)
|
# mergev6 :: [cidrv6 | ipv6] -> (cidrv6 | null)
|
||||||
#
|
#
|
||||||
# Returns the smallest cidr network that includes all given networks.
|
# Returns the smallest cidr network that includes all given networks.
|
||||||
|
|
@ -143,48 +147,44 @@ in {
|
||||||
#
|
#
|
||||||
# > net.cidr.mergev6 ["fd00:dead:cafe::/64" "fd00:fd12:3456:7890::/56"]
|
# > net.cidr.mergev6 ["fd00:dead:cafe::/64" "fd00:fd12:3456:7890::/56"]
|
||||||
# "fd00:c000::/18"
|
# "fd00:c000::/18"
|
||||||
mergev6 = addrs_: let
|
mergev6 =
|
||||||
# Append /128 if necessary
|
addrs_:
|
||||||
addrs = map (x:
|
let
|
||||||
if hasInfix "/" x
|
# Append /128 if necessary
|
||||||
then x
|
addrs = map (x: if hasInfix "/" x then x else "${x}/128") addrs_;
|
||||||
else "${x}/128")
|
# The smallest occurring length is the first we need to start checking, since
|
||||||
addrs_;
|
# any greater cidr length represents a smaller address range which
|
||||||
# The smallest occurring length is the first we need to start checking, since
|
# wouldn't contain all of the original addresses.
|
||||||
# any greater cidr length represents a smaller address range which
|
startLength = foldl' min 128 (map libNet.net.cidr.length addrs);
|
||||||
# wouldn't contain all of the original addresses.
|
possibleLengths = reverseList (range 0 startLength);
|
||||||
startLength = foldl' min 128 (map libNet.cidr.length addrs);
|
# The first ip address will be "expanded" in cidr length until it covers all other
|
||||||
possibleLengths = reverseList (range 0 startLength);
|
# used addresses.
|
||||||
# The first ip address will be "expanded" in cidr length until it covers all other
|
firstIp = ip (head addrs);
|
||||||
# used addresses.
|
# Return the first (i.e. greatest length -> smallest prefix) cidr length
|
||||||
firstIp = ip (head addrs);
|
# in the list that covers all used addresses
|
||||||
# Return the first (i.e. greatest length -> smallest prefix) cidr length
|
bestLength = head (
|
||||||
# in the list that covers all used addresses
|
filter
|
||||||
bestLength = head (filter
|
# All given addresses must be contained by the generated address.
|
||||||
# All given addresses must be contained by the generated address.
|
(len: all (x: libNet.net.cidr.contains (ip x) (libNet.net.cidr.make len firstIp)) addrs)
|
||||||
(len:
|
possibleLengths
|
||||||
all (x:
|
);
|
||||||
libNet.cidr.contains
|
in
|
||||||
(ip x)
|
|
||||||
(libNet.cidr.make len firstIp))
|
|
||||||
addrs)
|
|
||||||
possibleLengths);
|
|
||||||
in
|
|
||||||
assert assertMsg (all (hasInfix ":") addrs) "mergev6 cannot operate on ipv4 addresses";
|
assert assertMsg (all (hasInfix ":") addrs) "mergev6 cannot operate on ipv4 addresses";
|
||||||
if addrs == []
|
if addrs == [ ] then null else libNet.net.cidr.make bestLength firstIp;
|
||||||
then null
|
|
||||||
else libNet.cidr.make bestLength firstIp;
|
|
||||||
# merge :: [cidr] -> { cidrv4 = (cidrv4 | null); cidrv6 = (cidrv4 | null); }
|
# merge :: [cidr] -> { cidrv4 = (cidrv4 | null); cidrv6 = (cidrv4 | null); }
|
||||||
#
|
#
|
||||||
# Returns the smallest cidr network that includes all given networks,
|
# Returns the smallest cidr network that includes all given networks,
|
||||||
# but yields two separate result for all given ipv4 and ipv6 addresses.
|
# but yields two separate result for all given ipv4 and ipv6 addresses.
|
||||||
# Equivalent to calling mergev4 and mergev6 on a partition individually.
|
# Equivalent to calling mergev4 and mergev6 on a partition individually.
|
||||||
merge = addrs: let
|
merge =
|
||||||
v4_and_v6 = partition (hasInfix ":") addrs;
|
addrs:
|
||||||
in {
|
let
|
||||||
cidrv4 = mergev4 v4_and_v6.wrong;
|
v4_and_v6 = partition (hasInfix ":") addrs;
|
||||||
cidrv6 = mergev6 v4_and_v6.right;
|
in
|
||||||
};
|
{
|
||||||
|
cidrv4 = mergev4 v4_and_v6.wrong;
|
||||||
|
cidrv6 = mergev6 v4_and_v6.right;
|
||||||
|
};
|
||||||
# assignIps :: cidr -> [int | ip] -> [string] -> [ip]
|
# assignIps :: cidr -> [int | ip] -> [string] -> [ip]
|
||||||
#
|
#
|
||||||
# Assigns a semi-stable ip address from the given cidr network to each hostname.
|
# Assigns a semi-stable ip address from the given cidr network to each hostname.
|
||||||
|
|
@ -203,68 +203,76 @@ in {
|
||||||
#
|
#
|
||||||
# > net.cidr.assignIps "192.168.100.1/24" [202 "192.168.100.74"] ["a" "b" "c"]
|
# > net.cidr.assignIps "192.168.100.1/24" [202 "192.168.100.74"] ["a" "b" "c"]
|
||||||
# { a = "192.168.100.203"; b = "192.168.100.75"; c = "192.168.100.226"; }
|
# { a = "192.168.100.203"; b = "192.168.100.75"; c = "192.168.100.226"; }
|
||||||
assignIps = net: reserved: hosts: let
|
assignIps =
|
||||||
cidrSize = libNet.cidr.size net;
|
net: reserved: hosts:
|
||||||
capacity = libNet.cidr.capacity net;
|
let
|
||||||
# The base address of the network. Used to convert ip-based reservations to offsets
|
cidrSize = libNet.net.cidr.size net;
|
||||||
baseAddr = host 0 net;
|
capacity = libNet.net.cidr.capacity net;
|
||||||
# Reserve some values for the network, host and broadcast address.
|
# The base address of the network. Used to convert ip-based reservations to offsets
|
||||||
# The network and broadcast address should never be used, and we
|
baseAddr = host 0 net;
|
||||||
# want to reserve the host address for the host. We also convert
|
# Reserve some values for the network, host and broadcast address.
|
||||||
# any ips to offsets here.
|
# The network and broadcast address should never be used, and we
|
||||||
init = unique (
|
# want to reserve the host address for the host. We also convert
|
||||||
[0 (capacity - 1)]
|
# any ips to offsets here.
|
||||||
++ flip map reserved (x:
|
init = unique (
|
||||||
if builtins.typeOf x == "int"
|
[
|
||||||
then x
|
0
|
||||||
else -(libNet.ip.diff baseAddr x))
|
(capacity - 1)
|
||||||
);
|
]
|
||||||
nHosts = builtins.length hosts;
|
++ flip map reserved (x: if builtins.typeOf x == "int" then x else -(libNet.net.ip.diff baseAddr x))
|
||||||
nInit = builtins.length init;
|
);
|
||||||
# Pre-sort all hosts, to ensure ordering invariance
|
nHosts = builtins.length hosts;
|
||||||
sortedHosts =
|
nInit = builtins.length init;
|
||||||
warnIf
|
# Pre-sort all hosts, to ensure ordering invariance
|
||||||
((nInit + nHosts) > 0.3 * capacity)
|
sortedHosts =
|
||||||
"assignIps: hash stability may be degraded since utilization is >30%"
|
warnIf ((nInit + nHosts) > 0.3 * capacity)
|
||||||
(builtins.sort builtins.lessThan hosts);
|
"assignIps: hash stability may be degraded since utilization is >30%"
|
||||||
# Generates a hash (i.e. offset value) for a given hostname
|
(builtins.sort builtins.lessThan hosts);
|
||||||
hashElem = x:
|
# Generates a hash (i.e. offset value) for a given hostname
|
||||||
builtins.bitAnd (capacity - 1)
|
hashElem =
|
||||||
(hexToDec (builtins.substring 0 16 (builtins.hashString "sha256" x)));
|
x:
|
||||||
# Do linear probing. Returns the first unused value at or after the given value.
|
builtins.bitAnd (capacity - 1) (
|
||||||
probe = avoid: value:
|
hexToDec (builtins.substring 0 16 (builtins.hashString "sha256" x))
|
||||||
if elem value avoid
|
);
|
||||||
# TODO lib.mod
|
# Do linear probing. Returns the first unused value at or after the given value.
|
||||||
# Poor man's modulo, because nix has no modulo. Luckily we operate on a residue
|
probe =
|
||||||
# class of x modulo 2^n, so we can use bitAnd instead.
|
avoid: value:
|
||||||
then probe avoid (builtins.bitAnd (capacity - 1) (value + 1))
|
if
|
||||||
else value;
|
elem value avoid
|
||||||
# Hash a new element and avoid assigning any existing values.
|
# TODO lib.mod
|
||||||
assignOne = {
|
# Poor man's modulo, because nix has no modulo. Luckily we operate on a residue
|
||||||
assigned,
|
# class of x modulo 2^n, so we can use bitAnd instead.
|
||||||
used,
|
then
|
||||||
}: x: let
|
probe avoid (builtins.bitAnd (capacity - 1) (value + 1))
|
||||||
value = probe used (hashElem x);
|
else
|
||||||
in {
|
value;
|
||||||
assigned =
|
# Hash a new element and avoid assigning any existing values.
|
||||||
assigned
|
assignOne =
|
||||||
// {
|
{
|
||||||
${x} = host value net;
|
assigned,
|
||||||
|
used,
|
||||||
|
}:
|
||||||
|
x:
|
||||||
|
let
|
||||||
|
value = probe used (hashElem x);
|
||||||
|
in
|
||||||
|
{
|
||||||
|
assigned = assigned // {
|
||||||
|
${x} = host value net;
|
||||||
|
};
|
||||||
|
used = [ value ] ++ used;
|
||||||
};
|
};
|
||||||
used = [value] ++ used;
|
in
|
||||||
};
|
assert assertMsg (
|
||||||
in
|
cidrSize >= 2 && cidrSize <= 62
|
||||||
assert assertMsg (cidrSize >= 2 && cidrSize <= 62)
|
) "assignIps: cidrSize=${toString cidrSize} is not in [2, 62].";
|
||||||
"assignIps: cidrSize=${toString cidrSize} is not in [2, 62].";
|
|
||||||
assert assertMsg (nHosts <= capacity - nInit)
|
assert assertMsg (nHosts <= capacity - nInit)
|
||||||
"assignIps: number of hosts (${toString nHosts}) must be <= capacity (${toString capacity}) - reserved (${toString nInit})";
|
"assignIps: number of hosts (${toString nHosts}) must be <= capacity (${toString capacity}) - reserved (${toString nInit})";
|
||||||
# Assign an ip in the subnet to each element, in order
|
# Assign an ip in the subnet to each element, in order
|
||||||
(foldl' assignOne {
|
(foldl' assignOne {
|
||||||
assigned = {};
|
assigned = { };
|
||||||
used = init;
|
used = init;
|
||||||
}
|
} sortedHosts).assigned;
|
||||||
sortedHosts)
|
|
||||||
.assigned;
|
|
||||||
};
|
};
|
||||||
ip = rec {
|
ip = rec {
|
||||||
# Checks whether the given address (with or without cidr notation) is an ipv4 address.
|
# Checks whether the given address (with or without cidr notation) is an ipv4 address.
|
||||||
|
|
@ -275,11 +283,14 @@ in {
|
||||||
mac = {
|
mac = {
|
||||||
# Adds offset to the given base address and ensures the result is in
|
# Adds offset to the given base address and ensures the result is in
|
||||||
# a locally administered range by replacing the second nibble with a 2.
|
# a locally administered range by replacing the second nibble with a 2.
|
||||||
addPrivate = base: offset: let
|
addPrivate =
|
||||||
added = libNet.mac.add base offset;
|
base: offset:
|
||||||
pre = substring 0 1 added;
|
let
|
||||||
suf = substring 2 (-1) added;
|
added = libNet.net.mac.add base offset;
|
||||||
in "${pre}2${suf}";
|
pre = substring 0 1 added;
|
||||||
|
suf = substring 2 (-1) added;
|
||||||
|
in
|
||||||
|
"${pre}2${suf}";
|
||||||
# assignMacs :: mac (base) -> int (size) -> [int | mac] (reserved) -> [string] (hosts) -> [mac]
|
# assignMacs :: mac (base) -> int (size) -> [int | mac] (reserved) -> [string] (hosts) -> [mac]
|
||||||
#
|
#
|
||||||
# Assigns a semi-stable MAC address starting in [base, base + 2^size) to each hostname.
|
# Assigns a semi-stable MAC address starting in [base, base + 2^size) to each hostname.
|
||||||
|
|
@ -297,65 +308,66 @@ in {
|
||||||
#
|
#
|
||||||
# > net.mac.assignMacs "11:22:33:00:00:00" 24 ["11:22:33:1b:bd:ca"] ["a" "b" "c"]
|
# > net.mac.assignMacs "11:22:33:00:00:00" 24 ["11:22:33:1b:bd:ca"] ["a" "b" "c"]
|
||||||
# { a = "11:22:33:1b:bd:cb"; b = "11:22:33:39:59:4a"; c = "11:22:33:50:7a:e2"; }
|
# { a = "11:22:33:1b:bd:cb"; b = "11:22:33:39:59:4a"; c = "11:22:33:50:7a:e2"; }
|
||||||
assignMacs = base: size: reserved: hosts: let
|
assignMacs =
|
||||||
capacity = pow 2 size;
|
base: size: reserved: hosts:
|
||||||
baseAsInt = libNet.mac.diff base "00:00:00:00:00:00";
|
let
|
||||||
init = unique (
|
capacity = libNet.bit.left 1 size;
|
||||||
flip map reserved (x:
|
baseAsInt = libNet.net.mac.diff base "00:00:00:00:00:00";
|
||||||
if builtins.typeOf x == "int"
|
init = unique (
|
||||||
then x
|
flip map reserved (x: if builtins.typeOf x == "int" then x else libNet.net.mac.diff x base)
|
||||||
else libNet.mac.diff x base)
|
);
|
||||||
);
|
nHosts = builtins.length hosts;
|
||||||
nHosts = builtins.length hosts;
|
nInit = builtins.length init;
|
||||||
nInit = builtins.length init;
|
# Pre-sort all hosts, to ensure ordering invariance
|
||||||
# Pre-sort all hosts, to ensure ordering invariance
|
sortedHosts =
|
||||||
sortedHosts =
|
warnIf ((nInit + nHosts) > 0.3 * capacity)
|
||||||
warnIf
|
"assignMacs: hash stability may be degraded since utilization is >30%"
|
||||||
((nInit + nHosts) > 0.3 * capacity)
|
(builtins.sort builtins.lessThan hosts);
|
||||||
"assignMacs: hash stability may be degraded since utilization is >30%"
|
# Generates a hash (i.e. offset value) for a given hostname
|
||||||
(builtins.sort builtins.lessThan hosts);
|
hashElem =
|
||||||
# Generates a hash (i.e. offset value) for a given hostname
|
x: builtins.bitAnd (capacity - 1) (hexToDec (substring 0 16 (builtins.hashString "sha256" x)));
|
||||||
hashElem = x:
|
# Do linear probing. Returns the first unused value at or after the given value.
|
||||||
builtins.bitAnd (capacity - 1)
|
probe =
|
||||||
(hexToDec (substring 0 16 (builtins.hashString "sha256" x)));
|
avoid: value:
|
||||||
# Do linear probing. Returns the first unused value at or after the given value.
|
if
|
||||||
probe = avoid: value:
|
elem value avoid
|
||||||
if elem value avoid
|
# TODO lib.mod
|
||||||
# TODO lib.mod
|
# Poor man's modulo, because nix has no modulo. Luckily we operate on a residue
|
||||||
# Poor man's modulo, because nix has no modulo. Luckily we operate on a residue
|
# class of x modulo 2^n, so we can use bitAnd instead.
|
||||||
# class of x modulo 2^n, so we can use bitAnd instead.
|
then
|
||||||
then probe avoid (builtins.bitAnd (capacity - 1) (value + 1))
|
probe avoid (builtins.bitAnd (capacity - 1) (value + 1))
|
||||||
else value;
|
else
|
||||||
# Hash a new element and avoid assigning any existing values.
|
value;
|
||||||
assignOne = {
|
# Hash a new element and avoid assigning any existing values.
|
||||||
assigned,
|
assignOne =
|
||||||
used,
|
{
|
||||||
}: x: let
|
assigned,
|
||||||
value = probe used (hashElem x);
|
used,
|
||||||
in {
|
}:
|
||||||
assigned =
|
x:
|
||||||
assigned
|
let
|
||||||
// {
|
value = probe used (hashElem x);
|
||||||
${x} = libNet.mac.add value base;
|
in
|
||||||
|
{
|
||||||
|
assigned = assigned // {
|
||||||
|
${x} = libNet.net.mac.add value base;
|
||||||
|
};
|
||||||
|
used = [ value ] ++ used;
|
||||||
};
|
};
|
||||||
used = [value] ++ used;
|
in
|
||||||
};
|
assert assertMsg (size >= 2 && size <= 62) "assignMacs: size=${toString size} is not in [2, 62].";
|
||||||
in
|
assert assertMsg (
|
||||||
assert assertMsg (size >= 2 && size <= 62)
|
builtins.bitAnd (capacity - 1) baseAsInt == 0
|
||||||
"assignMacs: size=${toString size} is not in [2, 62].";
|
) "assignMacs: the size=${toString size} least significant bits of the base mac address must be 0.";
|
||||||
assert assertMsg (builtins.bitAnd (capacity - 1) baseAsInt == 0)
|
|
||||||
"assignMacs: the size=${toString size} least significant bits of the base mac address must be 0.";
|
|
||||||
assert assertMsg (nHosts <= capacity - nInit)
|
assert assertMsg (nHosts <= capacity - nInit)
|
||||||
"assignMacs: number of hosts (${toString nHosts}) must be <= capacity (${toString capacity}) - reserved (${toString nInit})";
|
"assignMacs: number of hosts (${toString nHosts}) must be <= capacity (${toString capacity}) - reserved (${toString nInit})";
|
||||||
# Assign an ip in the subnet to each element, in order
|
# Assign an ip in the subnet to each element, in order
|
||||||
(foldl' assignOne {
|
(foldl' assignOne {
|
||||||
assigned = {};
|
assigned = { };
|
||||||
used = init;
|
used = init;
|
||||||
}
|
} sortedHosts).assigned;
|
||||||
sortedHosts)
|
|
||||||
.assigned;
|
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
types.net = libNet.types;
|
types.net = libNet.net.types;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
||||||
220
lib/netu.nix
220
lib/netu.nix
|
|
@ -123,7 +123,7 @@ let
|
||||||
delta' = typechecks.numeric function "delta" delta;
|
delta' = typechecks.numeric function "delta" delta;
|
||||||
mac' = typechecks.mac function "mac" mac;
|
mac' = typechecks.mac function "mac" mac;
|
||||||
in
|
in
|
||||||
builders.mac (implementations.mac.add delta' mac');
|
builders.mac (arithmetic.add delta' mac');
|
||||||
|
|
||||||
# diff :: mac -> mac -> integer
|
# diff :: mac -> mac -> integer
|
||||||
#
|
#
|
||||||
|
|
@ -141,7 +141,7 @@ let
|
||||||
minuend' = typechecks.mac function "minuend" minuend;
|
minuend' = typechecks.mac function "minuend" minuend;
|
||||||
subtrahend' = typechecks.mac function "subtrahend" subtrahend;
|
subtrahend' = typechecks.mac function "subtrahend" subtrahend;
|
||||||
in
|
in
|
||||||
implementations.mac.diff minuend' subtrahend';
|
arithmetic.diff minuend' subtrahend';
|
||||||
|
|
||||||
# subtract :: (ip | mac | integer) -> mac -> mac
|
# subtract :: (ip | mac | integer) -> mac -> mac
|
||||||
#
|
#
|
||||||
|
|
@ -159,7 +159,7 @@ let
|
||||||
delta' = typechecks.numeric function "delta" delta;
|
delta' = typechecks.numeric function "delta" delta;
|
||||||
mac' = typechecks.mac function "mac" mac;
|
mac' = typechecks.mac function "mac" mac;
|
||||||
in
|
in
|
||||||
builders.mac (implementations.mac.subtract delta' mac');
|
builders.mac (arithmetic.subtract delta' mac');
|
||||||
};
|
};
|
||||||
|
|
||||||
cidr = {
|
cidr = {
|
||||||
|
|
@ -460,40 +460,23 @@ let
|
||||||
|
|
||||||
bit =
|
bit =
|
||||||
let
|
let
|
||||||
shift =
|
inherit (import ./shift.nix) left arithmeticRight logicalRight;
|
||||||
n: x:
|
leftOrArithRight = a: if a > 0 then left a else arithmeticRight (-a);
|
||||||
if n < 0 then
|
arithRightOrLeft = a: if a > 0 then arithmeticRight a else left (-a);
|
||||||
x * math.pow 2 (-n)
|
|
||||||
else
|
|
||||||
let
|
|
||||||
safeDiv = n: d: if d == 0 then 0 else n / d;
|
|
||||||
d = math.pow 2 n;
|
|
||||||
in
|
|
||||||
if x < 0 then not (safeDiv (not x) d) else safeDiv x d;
|
|
||||||
|
|
||||||
left = n: shift (-n);
|
not = builtins.bitXor (-1);
|
||||||
|
|
||||||
right = shift;
|
mask = n: builtins.bitAnd (left n 1 - 1);
|
||||||
|
|
||||||
and = builtins.bitAnd;
|
|
||||||
|
|
||||||
or = builtins.bitOr;
|
|
||||||
|
|
||||||
xor = builtins.bitXor;
|
|
||||||
|
|
||||||
not = xor (-1);
|
|
||||||
|
|
||||||
mask = n: and (left n 1 - 1);
|
|
||||||
in
|
in
|
||||||
{
|
{
|
||||||
inherit
|
inherit
|
||||||
left
|
left
|
||||||
right
|
arithmeticRight
|
||||||
and
|
logicalRight
|
||||||
or
|
|
||||||
xor
|
|
||||||
not
|
not
|
||||||
mask
|
mask
|
||||||
|
leftOrArithRight
|
||||||
|
arithRightOrLeft
|
||||||
;
|
;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
@ -505,15 +488,6 @@ let
|
||||||
clamp =
|
clamp =
|
||||||
a: b: c:
|
a: b: c:
|
||||||
max a (min b c);
|
max a (min b c);
|
||||||
|
|
||||||
pow =
|
|
||||||
x: n:
|
|
||||||
if n == 0 then
|
|
||||||
1
|
|
||||||
else if bit.and n 1 != 0 then
|
|
||||||
x * pow (x * x) ((n - 1) / 2)
|
|
||||||
else
|
|
||||||
pow (x * x) (n / 2);
|
|
||||||
};
|
};
|
||||||
|
|
||||||
parsers =
|
parsers =
|
||||||
|
|
@ -549,10 +523,10 @@ let
|
||||||
ap = liftA2 (a: a);
|
ap = liftA2 (a: a);
|
||||||
|
|
||||||
# then_ :: parser a -> parser b -> parser b
|
# then_ :: parser a -> parser b -> parser b
|
||||||
then_ = liftA2 (a: b: b);
|
then_ = liftA2 (_: b: b);
|
||||||
|
|
||||||
# empty :: parser a
|
# empty :: parser a
|
||||||
empty = string: null;
|
empty = _: null;
|
||||||
|
|
||||||
# alt :: parser a -> parser a -> parser a
|
# alt :: parser a -> parser a -> parser a
|
||||||
alt =
|
alt =
|
||||||
|
|
@ -667,7 +641,7 @@ let
|
||||||
};
|
};
|
||||||
|
|
||||||
fromDecimalDigits = builtins.foldl' (a: c: a * 10 + c) 0;
|
fromDecimalDigits = builtins.foldl' (a: c: a * 10 + c) 0;
|
||||||
fromHexadecimalDigits = builtins.foldl' (a: bit.or (bit.left 4 a)) 0;
|
fromHexadecimalDigits = builtins.foldl' (a: builtins.bitOr (bit.left 4 a)) 0;
|
||||||
|
|
||||||
# disallow leading zeros
|
# disallow leading zeros
|
||||||
decimal = bind (digit decimalDigits) (
|
decimal = bind (digit decimalDigits) (
|
||||||
|
|
@ -689,7 +663,7 @@ let
|
||||||
octet' = then_ dot octet;
|
octet' = then_ dot octet;
|
||||||
|
|
||||||
fromOctets = a: b: c: d: {
|
fromOctets = a: b: c: d: {
|
||||||
ipv4 = bit.or (bit.left 8 (bit.or (bit.left 8 (bit.or (bit.left 8 a) b)) c)) d;
|
ipv4 = builtins.bitOr (bit.left 8 (builtins.bitOr (bit.left 8 (builtins.bitOr (bit.left 8 a) b)) c)) d;
|
||||||
};
|
};
|
||||||
in
|
in
|
||||||
liftA4 fromOctets octet octet' octet' octet';
|
liftA4 fromOctets octet octet' octet' octet';
|
||||||
|
|
@ -702,8 +676,6 @@ let
|
||||||
|
|
||||||
hextet = limit 4 hexadecimal;
|
hextet = limit 4 hexadecimal;
|
||||||
|
|
||||||
hextet' = then_ colon hextet;
|
|
||||||
|
|
||||||
fromHextets =
|
fromHextets =
|
||||||
hextets:
|
hextets:
|
||||||
if builtins.length hextets != 8 then
|
if builtins.length hextets != 8 then
|
||||||
|
|
@ -721,17 +693,17 @@ let
|
||||||
in
|
in
|
||||||
pure {
|
pure {
|
||||||
ipv6 = {
|
ipv6 = {
|
||||||
a = bit.or (bit.left 16 a) b;
|
a = builtins.bitOr (bit.left 16 a) b;
|
||||||
b = bit.or (bit.left 16 c) d;
|
b = builtins.bitOr (bit.left 16 c) d;
|
||||||
c = bit.or (bit.left 16 e) f;
|
c = builtins.bitOr (bit.left 16 e) f;
|
||||||
d = bit.or (bit.left 16 g) h;
|
d = builtins.bitOr (bit.left 16 g) h;
|
||||||
};
|
};
|
||||||
};
|
};
|
||||||
|
|
||||||
ipv4' = fmap (
|
ipv4' = fmap (
|
||||||
address:
|
address:
|
||||||
let
|
let
|
||||||
upper = bit.right 16 address.ipv4;
|
upper = bit.arithmeticRight 16 address.ipv4;
|
||||||
lower = bit.mask 16 address.ipv4;
|
lower = bit.mask 16 address.ipv4;
|
||||||
in
|
in
|
||||||
[
|
[
|
||||||
|
|
@ -787,7 +759,7 @@ let
|
||||||
octet' = then_ colon octet;
|
octet' = then_ colon octet;
|
||||||
|
|
||||||
fromOctets = a: b: c: d: e: f: {
|
fromOctets = a: b: c: d: e: f: {
|
||||||
mac = bit.or (bit.left 8 (bit.or (bit.left 8 (bit.or (bit.left 8 (bit.or (bit.left 8 (bit.or (bit.left 8 a) b)) c)) d)) e)) f;
|
mac = builtins.bitOr (bit.left 8 (builtins.bitOr (bit.left 8 (builtins.bitOr (bit.left 8 (builtins.bitOr (bit.left 8 (builtins.bitOr (bit.left 8 a) b)) c)) d)) e)) f;
|
||||||
};
|
};
|
||||||
in
|
in
|
||||||
liftA6 fromOctets octet octet' octet' octet' octet' octet';
|
liftA6 fromOctets octet octet' octet' octet' octet' octet';
|
||||||
|
|
@ -811,9 +783,9 @@ let
|
||||||
address:
|
address:
|
||||||
let
|
let
|
||||||
abcd = address.ipv4;
|
abcd = address.ipv4;
|
||||||
abc = bit.right 8 abcd;
|
abc = bit.arithmeticRight 8 abcd;
|
||||||
ab = bit.right 8 abc;
|
ab = bit.arithmeticRight 8 abc;
|
||||||
a = bit.right 8 ab;
|
a = bit.arithmeticRight 8 ab;
|
||||||
b = bit.mask 8 ab;
|
b = bit.mask 8 ab;
|
||||||
c = bit.mask 8 abc;
|
c = bit.mask 8 abc;
|
||||||
d = bit.mask 8 abcd;
|
d = bit.mask 8 abcd;
|
||||||
|
|
@ -838,7 +810,7 @@ let
|
||||||
toHexString =
|
toHexString =
|
||||||
n:
|
n:
|
||||||
let
|
let
|
||||||
rest = bit.right 4 n;
|
rest = bit.arithmeticRight 4 n;
|
||||||
current = bit.mask 4 n;
|
current = bit.mask 4 n;
|
||||||
prefix = if rest == 0 then "" else toHexString rest;
|
prefix = if rest == 0 then "" else toHexString rest;
|
||||||
in
|
in
|
||||||
|
|
@ -852,13 +824,13 @@ let
|
||||||
else
|
else
|
||||||
let
|
let
|
||||||
|
|
||||||
a = bit.right 16 address.ipv6.a;
|
a = bit.arithmeticRight 16 address.ipv6.a;
|
||||||
b = bit.mask 16 address.ipv6.a;
|
b = bit.mask 16 address.ipv6.a;
|
||||||
c = bit.right 16 address.ipv6.b;
|
c = bit.arithmeticRight 16 address.ipv6.b;
|
||||||
d = bit.mask 16 address.ipv6.b;
|
d = bit.mask 16 address.ipv6.b;
|
||||||
e = bit.right 16 address.ipv6.c;
|
e = bit.arithmeticRight 16 address.ipv6.c;
|
||||||
f = bit.mask 16 address.ipv6.c;
|
f = bit.mask 16 address.ipv6.c;
|
||||||
g = bit.right 16 address.ipv6.d;
|
g = bit.arithmeticRight 16 address.ipv6.d;
|
||||||
h = bit.mask 16 address.ipv6.d;
|
h = bit.mask 16 address.ipv6.d;
|
||||||
|
|
||||||
hextets = [
|
hextets = [
|
||||||
|
|
@ -947,18 +919,16 @@ let
|
||||||
octet =
|
octet =
|
||||||
n:
|
n:
|
||||||
let
|
let
|
||||||
upper = bit.right 4 n;
|
upper = bit.arithmeticRight 4 n;
|
||||||
lower = bit.mask 4 n;
|
lower = bit.mask 4 n;
|
||||||
in
|
in
|
||||||
"${builtins.substring upper 1 digits}${builtins.substring lower 1 digits}";
|
"${builtins.substring upper 1 digits}${builtins.substring lower 1 digits}";
|
||||||
in
|
a = bit.mask 8 (bit.arithmeticRight 40 address.mac);
|
||||||
let
|
b = bit.mask 8 (bit.arithmeticRight 32 address.mac);
|
||||||
a = bit.mask 8 (bit.right 40 address.mac);
|
c = bit.mask 8 (bit.arithmeticRight 24 address.mac);
|
||||||
b = bit.mask 8 (bit.right 32 address.mac);
|
d = bit.mask 8 (bit.arithmeticRight 16 address.mac);
|
||||||
c = bit.mask 8 (bit.right 24 address.mac);
|
e = bit.mask 8 (bit.arithmeticRight 8 address.mac);
|
||||||
d = bit.mask 8 (bit.right 16 address.mac);
|
f = bit.mask 8 (bit.arithmeticRight 0 address.mac);
|
||||||
e = bit.mask 8 (bit.right 8 address.mac);
|
|
||||||
f = bit.mask 8 (bit.right 0 address.mac);
|
|
||||||
in
|
in
|
||||||
"${octet a}:${octet b}:${octet c}:${octet d}:${octet e}:${octet f}";
|
"${octet a}:${octet b}:${octet c}:${octet d}:${octet e}:${octet f}";
|
||||||
|
|
||||||
|
|
@ -985,22 +955,22 @@ let
|
||||||
if a ? ipv6 then
|
if a ? ipv6 then
|
||||||
{
|
{
|
||||||
ipv6 = {
|
ipv6 = {
|
||||||
a = bit.or a.ipv6.a b.ipv6.a;
|
a = builtins.bitOr a.ipv6.a b.ipv6.a;
|
||||||
b = bit.or a.ipv6.b b.ipv6.b;
|
b = builtins.bitOr a.ipv6.b b.ipv6.b;
|
||||||
c = bit.or a.ipv6.c b.ipv6.c;
|
c = builtins.bitOr a.ipv6.c b.ipv6.c;
|
||||||
d = bit.or a.ipv6.d b.ipv6.d;
|
d = builtins.bitOr a.ipv6.d b.ipv6.d;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
else if a ? ipv4 then
|
else if a ? ipv4 then
|
||||||
{
|
{
|
||||||
ipv4 = bit.or a.ipv4 b.ipv4;
|
ipv4 = builtins.bitOr a.ipv4 b.ipv4;
|
||||||
}
|
}
|
||||||
else if a ? mac then
|
else if a ? mac then
|
||||||
{
|
{
|
||||||
mac = bit.or a.mac b.mac;
|
mac = builtins.bitOr a.mac b.mac;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
bit.or a b;
|
builtins.bitOr a b;
|
||||||
|
|
||||||
# and :: (ip | mac | integer) -> (ip | mac | integer) -> (ip | mac | integer)
|
# and :: (ip | mac | integer) -> (ip | mac | integer) -> (ip | mac | integer)
|
||||||
and =
|
and =
|
||||||
|
|
@ -1011,22 +981,22 @@ let
|
||||||
if a ? ipv6 then
|
if a ? ipv6 then
|
||||||
{
|
{
|
||||||
ipv6 = {
|
ipv6 = {
|
||||||
a = bit.and a.ipv6.a b.ipv6.a;
|
a = builtins.bitAnd a.ipv6.a b.ipv6.a;
|
||||||
b = bit.and a.ipv6.b b.ipv6.b;
|
b = builtins.bitAnd a.ipv6.b b.ipv6.b;
|
||||||
c = bit.and a.ipv6.c b.ipv6.c;
|
c = builtins.bitAnd a.ipv6.c b.ipv6.c;
|
||||||
d = bit.and a.ipv6.d b.ipv6.d;
|
d = builtins.bitAnd a.ipv6.d b.ipv6.d;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
else if a ? ipv4 then
|
else if a ? ipv4 then
|
||||||
{
|
{
|
||||||
ipv4 = bit.and a.ipv4 b.ipv4;
|
ipv4 = builtins.bitAnd a.ipv4 b.ipv4;
|
||||||
}
|
}
|
||||||
else if a ? mac then
|
else if a ? mac then
|
||||||
{
|
{
|
||||||
mac = bit.and a.mac b.mac;
|
mac = builtins.bitAnd a.mac b.mac;
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
bit.and a b;
|
builtins.bitAnd a b;
|
||||||
|
|
||||||
# not :: (ip | mac | integer) -> (ip | mac | integer)
|
# not :: (ip | mac | integer) -> (ip | mac | integer)
|
||||||
not =
|
not =
|
||||||
|
|
@ -1055,7 +1025,7 @@ let
|
||||||
add =
|
add =
|
||||||
let
|
let
|
||||||
split = a: {
|
split = a: {
|
||||||
fst = bit.mask 32 (bit.right 32 a);
|
fst = bit.mask 32 (bit.arithmeticRight 32 a);
|
||||||
snd = bit.mask 32 a;
|
snd = bit.mask 32 a;
|
||||||
};
|
};
|
||||||
in
|
in
|
||||||
|
|
@ -1096,15 +1066,15 @@ let
|
||||||
diff =
|
diff =
|
||||||
a: b:
|
a: b:
|
||||||
let
|
let
|
||||||
toIPv6 = coerce ({ ipv6.a = 0; });
|
toIPv6 = coerce { ipv6.a = 0; };
|
||||||
result = (subtract b (toIPv6 a)).ipv6;
|
result = (subtract b (toIPv6 a)).ipv6;
|
||||||
max32 = bit.left 32 1 - 1;
|
max32 = bit.left 32 1 - 1;
|
||||||
in
|
in
|
||||||
if
|
if
|
||||||
result.a == 0 && result.b == 0 && bit.right 31 result.c == 0
|
result.a == 0 && result.b == 0 && bit.arithmeticRight 31 result.c == 0
|
||||||
|| result.a == max32 && result.b == max32 && bit.right 31 result.c == 1
|
|| result.a == max32 && result.b == max32 && bit.arithmeticRight 31 result.c == 1
|
||||||
then
|
then
|
||||||
bit.or (bit.left 32 result.c) result.d
|
builtins.bitOr (bit.left 32 result.c) result.d
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
ipv6 = result;
|
ipv6 = result;
|
||||||
|
|
@ -1117,15 +1087,15 @@ let
|
||||||
right =
|
right =
|
||||||
let
|
let
|
||||||
step = i: x: {
|
step = i: x: {
|
||||||
_1 = bit.mask 32 (bit.right (i + 96) x);
|
_1 = bit.mask 32 (bit.arithRightOrLeft (i + 96) x);
|
||||||
_2 = bit.mask 32 (bit.right (i + 64) x);
|
_2 = bit.mask 32 (bit.arithRightOrLeft (i + 64) x);
|
||||||
_3 = bit.mask 32 (bit.right (i + 32) x);
|
_3 = bit.mask 32 (bit.arithRightOrLeft (i + 32) x);
|
||||||
_4 = bit.mask 32 (bit.right i x);
|
_4 = bit.mask 32 (bit.arithRightOrLeft i x);
|
||||||
_5 = bit.mask 32 (bit.right (i - 32) x);
|
_5 = bit.mask 32 (bit.arithRightOrLeft (i - 32) x);
|
||||||
_6 = bit.mask 32 (bit.right (i - 64) x);
|
_6 = bit.mask 32 (bit.arithRightOrLeft (i - 64) x);
|
||||||
_7 = bit.mask 32 (bit.right (i - 96) x);
|
_7 = bit.mask 32 (bit.arithRightOrLeft (i - 96) x);
|
||||||
};
|
};
|
||||||
ors = builtins.foldl' bit.or 0;
|
ors = builtins.foldl' builtins.bitOr 0;
|
||||||
in
|
in
|
||||||
i: x:
|
i: x:
|
||||||
if x ? ipv6 then
|
if x ? ipv6 then
|
||||||
|
|
@ -1165,14 +1135,14 @@ let
|
||||||
}
|
}
|
||||||
else if x ? ipv4 then
|
else if x ? ipv4 then
|
||||||
{
|
{
|
||||||
ipv4 = bit.mask 32 (bit.right i x.ipv4);
|
ipv4 = bit.mask 32 (bit.arithRightOrLeft i x.ipv4);
|
||||||
}
|
}
|
||||||
else if x ? mac then
|
else if x ? mac then
|
||||||
{
|
{
|
||||||
mac = bit.mask 48 (bit.right i x.mac);
|
mac = bit.mask 48 (bit.arithRightOrLeft i x.mac);
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
bit.right i x;
|
bit.arithRightOrLeft i x;
|
||||||
|
|
||||||
# shadow :: integer -> (ip | mac | integer) -> (ip | mac | integer)
|
# shadow :: integer -> (ip | mac | integer) -> (ip | mac | integer)
|
||||||
shadow = n: a: and (right n (left n (coerce a (-1)))) a;
|
shadow = n: a: and (right n (left n (coerce a (-1)))) a;
|
||||||
|
|
@ -1180,7 +1150,10 @@ let
|
||||||
# coshadow :: integer -> (ip | mac | integer) -> (ip | mac | integer)
|
# coshadow :: integer -> (ip | mac | integer) -> (ip | mac | integer)
|
||||||
coshadow = n: a: and (not (right n (left n (coerce a (-1))))) a;
|
coshadow = n: a: and (not (right n (left n (coerce a (-1))))) a;
|
||||||
|
|
||||||
# coerce :: (ip | mac | integer) -> (ip | mac | integer) -> (ip | mac | integer)
|
# coerce target value
|
||||||
|
# coerce value to the type of target
|
||||||
|
# coerce :: A -> (ip | mac | integer) -> A
|
||||||
|
# where A :: (ip | mac | integer)
|
||||||
coerce =
|
coerce =
|
||||||
target: value:
|
target: value:
|
||||||
if target ? ipv6 then
|
if target ? ipv6 then
|
||||||
|
|
@ -1200,16 +1173,16 @@ let
|
||||||
ipv6 = {
|
ipv6 = {
|
||||||
a = 0;
|
a = 0;
|
||||||
b = 0;
|
b = 0;
|
||||||
c = bit.right 32 value.mac;
|
c = bit.arithmeticRight 32 value.mac;
|
||||||
d = bit.mask 32 value.mac;
|
d = bit.mask 32 value.mac;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
else
|
else
|
||||||
{
|
{
|
||||||
ipv6 = {
|
ipv6 = {
|
||||||
a = bit.mask 32 (bit.right 96 value);
|
a = bit.mask 32 (bit.arithmeticRight 96 value);
|
||||||
b = bit.mask 32 (bit.right 64 value);
|
b = bit.mask 32 (bit.arithmeticRight 64 value);
|
||||||
c = bit.mask 32 (bit.right 32 value);
|
c = bit.mask 32 (bit.arithmeticRight 32 value);
|
||||||
d = bit.mask 32 value;
|
d = bit.mask 32 value;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
@ -1231,7 +1204,7 @@ let
|
||||||
else if target ? mac then
|
else if target ? mac then
|
||||||
if value ? ipv6 then
|
if value ? ipv6 then
|
||||||
{
|
{
|
||||||
mac = bit.or (bit.left 32 (bit.mask 16 value.ipv6.c)) value.ipv6.d;
|
mac = builtins.bitOr (bit.left 32 (bit.mask 16 value.ipv6.c)) value.ipv6.d;
|
||||||
}
|
}
|
||||||
else if value ? ipv4 then
|
else if value ? ipv4 then
|
||||||
{
|
{
|
||||||
|
|
@ -1244,43 +1217,17 @@ let
|
||||||
mac = bit.mask 48 value;
|
mac = bit.mask 48 value;
|
||||||
}
|
}
|
||||||
else if value ? ipv6 then
|
else if value ? ipv6 then
|
||||||
builtins.foldl' bit.or 0 [
|
builtins.foldl' builtins.bitOr 0 [
|
||||||
(bit.left 96 value.ipv6.a)
|
(bit.left 96 value.ipv6.a)
|
||||||
(bit.left 64 value.ipv6.b)
|
(bit.left 64 value.ipv6.b)
|
||||||
(bit.left 32 value.ipv6.c)
|
(bit.left 32 value.ipv6.c)
|
||||||
value.ipv6.d
|
value.ipv6.d
|
||||||
]
|
]
|
||||||
else if value ? ipv4 then
|
|
||||||
value.ipv4
|
|
||||||
else if value ? mac then
|
|
||||||
value.mac
|
|
||||||
else
|
else
|
||||||
value;
|
value.ipv4 or value.mac or value;
|
||||||
};
|
};
|
||||||
|
|
||||||
implementations = {
|
implementations = {
|
||||||
ip = {
|
|
||||||
# add :: (ip | mac | integer) -> ip -> ip
|
|
||||||
add = arithmetic.add;
|
|
||||||
|
|
||||||
# diff :: ip -> ip -> (ipv6 | integer)
|
|
||||||
diff = arithmetic.diff;
|
|
||||||
|
|
||||||
# subtract :: (ip | mac | integer) -> ip -> ip
|
|
||||||
subtract = arithmetic.subtract;
|
|
||||||
};
|
|
||||||
|
|
||||||
mac = {
|
|
||||||
# add :: (ip | mac | integer) -> mac -> mac
|
|
||||||
add = arithmetic.add;
|
|
||||||
|
|
||||||
# diff :: mac -> mac -> (ipv6 | integer)
|
|
||||||
diff = arithmetic.diff;
|
|
||||||
|
|
||||||
# subtract :: (ip | mac | integer) -> mac -> mac
|
|
||||||
subtract = arithmetic.subtract;
|
|
||||||
};
|
|
||||||
|
|
||||||
cidr = rec {
|
cidr = rec {
|
||||||
# add :: (ip | mac | integer) -> cidr -> cidr
|
# add :: (ip | mac | integer) -> cidr -> cidr
|
||||||
add =
|
add =
|
||||||
|
|
@ -1289,7 +1236,7 @@ let
|
||||||
size' = size cidr;
|
size' = size cidr;
|
||||||
in
|
in
|
||||||
{
|
{
|
||||||
base = arithmetic.left size' (arithmetic.add delta (arithmetic.right size' cidr.base));
|
base = arithmetic.left size' (arithmetic.add delta (arithmetic.arithRightOrLeft size' cidr.base));
|
||||||
inherit (cidr) length;
|
inherit (cidr) length;
|
||||||
};
|
};
|
||||||
|
|
||||||
|
|
@ -1390,6 +1337,13 @@ in
|
||||||
|
|
||||||
{
|
{
|
||||||
lib = {
|
lib = {
|
||||||
inherit net;
|
inherit
|
||||||
|
arithmetic
|
||||||
|
net
|
||||||
|
typechecks
|
||||||
|
parsers
|
||||||
|
implementations
|
||||||
|
bit
|
||||||
|
;
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
|
||||||
128
lib/shift.nix
Normal file
128
lib/shift.nix
Normal file
|
|
@ -0,0 +1,128 @@
|
||||||
|
let
|
||||||
|
# lut = [
|
||||||
|
# 1 # 0
|
||||||
|
# 2 # 1
|
||||||
|
# 4 # 2
|
||||||
|
# 8 # 3
|
||||||
|
# 16 # 4
|
||||||
|
# 32 # 5
|
||||||
|
# 64 # 6
|
||||||
|
# 128 # 7
|
||||||
|
# 256 # 8
|
||||||
|
# 512 # 9
|
||||||
|
# 1024 # 10
|
||||||
|
# 2048 # 11
|
||||||
|
# 4096 # 12
|
||||||
|
# 8192 # 13
|
||||||
|
# 16384 # 14
|
||||||
|
# 32768 # 15
|
||||||
|
# 65536 # 16
|
||||||
|
# 131072 # 17
|
||||||
|
# 262144 # 18
|
||||||
|
# 524288 # 19
|
||||||
|
# 1048576 # 20
|
||||||
|
# 2097152 # 21
|
||||||
|
# 4194304 # 22
|
||||||
|
# 8388608 # 23
|
||||||
|
# 16777216 # 24
|
||||||
|
# 33554432 # 25
|
||||||
|
# 67108864 # 26
|
||||||
|
# 134217728 # 27
|
||||||
|
# 268435456 # 28
|
||||||
|
# 536870912 # 29
|
||||||
|
# 1073741824 # 30
|
||||||
|
# 2147483648 # 31
|
||||||
|
# 4294967296 # 32
|
||||||
|
# 8589934592 # 33
|
||||||
|
# 17179869184 # 34
|
||||||
|
# 34359738368 # 35
|
||||||
|
# 68719476736 # 36
|
||||||
|
# 137438953472 # 37
|
||||||
|
# 274877906944 # 38
|
||||||
|
# 549755813888 # 39
|
||||||
|
# 1099511627776 # 40
|
||||||
|
# 2199023255552 # 41
|
||||||
|
# 4398046511104 # 42
|
||||||
|
# 8796093022208 # 43
|
||||||
|
# 17592186044416 # 44
|
||||||
|
# 35184372088832 # 45
|
||||||
|
# 70368744177664 # 46
|
||||||
|
# 140737488355328 # 47
|
||||||
|
# 281474976710656 # 48
|
||||||
|
# 562949953421312 # 49
|
||||||
|
# 1125899906842624 # 50
|
||||||
|
# 2251799813685248 # 51
|
||||||
|
# 4503599627370496 # 52
|
||||||
|
# 9007199254740992 # 53
|
||||||
|
# 18014398509481984 # 54
|
||||||
|
# 36028797018963968 # 55
|
||||||
|
# 72057594037927936 # 56
|
||||||
|
# 144115188075855872 # 57
|
||||||
|
# 288230376151711744 # 58
|
||||||
|
# 576460752303423488 # 59
|
||||||
|
# 1152921504606846976 # 60
|
||||||
|
# 2305843009213693952 # 61
|
||||||
|
# 4611686018427387904 # 62
|
||||||
|
# ];
|
||||||
|
lut = builtins.foldl' (l: n: l ++ [ (2 * builtins.elemAt l n) ]) [ 1 ] (builtins.genList (x: x) 62);
|
||||||
|
intmin = (-9223372036854775807) - 1;
|
||||||
|
intmax = 9223372036854775807;
|
||||||
|
left =
|
||||||
|
a: b:
|
||||||
|
if a >= 64 then
|
||||||
|
# It's allowed to shift out all bits
|
||||||
|
0
|
||||||
|
else if a == 0 then
|
||||||
|
b
|
||||||
|
else if a < 0 then
|
||||||
|
throw "Inverse Left Shift not supported"
|
||||||
|
else
|
||||||
|
let
|
||||||
|
inv = 63 - a;
|
||||||
|
mask = if inv == 63 then intmax else (builtins.elemAt lut inv) - 1;
|
||||||
|
masked = builtins.bitAnd b mask;
|
||||||
|
checker = if inv == 63 then intmin else builtins.elemAt lut inv;
|
||||||
|
negate = (builtins.bitAnd b checker) != 0;
|
||||||
|
mult = if a == 63 then intmin else builtins.elemAt lut a;
|
||||||
|
result = masked * mult;
|
||||||
|
in
|
||||||
|
if !negate then result else intmin + result;
|
||||||
|
logicalRight =
|
||||||
|
a: b:
|
||||||
|
if a >= 64 then
|
||||||
|
0
|
||||||
|
else if a == 0 then
|
||||||
|
b
|
||||||
|
else if a < 0 then
|
||||||
|
throw "Inverse right Shift not supported"
|
||||||
|
else
|
||||||
|
let
|
||||||
|
masked = builtins.bitAnd b intmax;
|
||||||
|
negate = b < 0;
|
||||||
|
# Split division to prevent having to divide by a negative number for
|
||||||
|
# shifts of 63 bit
|
||||||
|
result = masked / 2 / (builtins.elemAt lut (a - 1));
|
||||||
|
inv = 63 - a;
|
||||||
|
highest_bit = builtins.elemAt lut inv;
|
||||||
|
in
|
||||||
|
if !negate then result else result + highest_bit;
|
||||||
|
arithmeticRight =
|
||||||
|
a: b:
|
||||||
|
if a >= 64 then
|
||||||
|
if b < 0 then -1 else 0
|
||||||
|
else if a == 0 then
|
||||||
|
b
|
||||||
|
else if a < 0 then
|
||||||
|
throw "Inverse right Shift not supported"
|
||||||
|
else
|
||||||
|
let
|
||||||
|
negate = b < 0;
|
||||||
|
mask = if a == 63 then intmax else (builtins.elemAt lut a) - 1;
|
||||||
|
round_down = negate && (builtins.bitAnd mask b != 0);
|
||||||
|
result = b / 2 / (builtins.elemAt lut (a - 1));
|
||||||
|
in
|
||||||
|
if round_down then result - 1 else result;
|
||||||
|
in
|
||||||
|
{
|
||||||
|
inherit left logicalRight arithmeticRight;
|
||||||
|
}
|
||||||
|
|
@ -98,7 +98,6 @@ in
|
||||||
'}';
|
'}';
|
||||||
error_log syslog:server=unix:/dev/log,nohostname;
|
error_log syslog:server=unix:/dev/log,nohostname;
|
||||||
access_log syslog:server=unix:/dev/log,nohostname json_combined;
|
access_log syslog:server=unix:/dev/log,nohostname json_combined;
|
||||||
ssl_ecdh_curve secp384r1;
|
|
||||||
'';
|
'';
|
||||||
|
|
||||||
# Default host that rejects everything.
|
# Default host that rejects everything.
|
||||||
|
|
|
||||||
|
|
@ -36,7 +36,7 @@ in
|
||||||
flip mapAttrsToList memberWG (
|
flip mapAttrsToList memberWG (
|
||||||
networkName: networkCfg:
|
networkName: networkCfg:
|
||||||
let
|
let
|
||||||
assertionPrefix = "While evaluation the wireguard network ${networkName}:";
|
assertionPrefix = "While evaluating the wireguard network ${networkName}:";
|
||||||
hostCfg = networkCfg.hosts.${config.node.name};
|
hostCfg = networkCfg.hosts.${config.node.name};
|
||||||
in
|
in
|
||||||
[
|
[
|
||||||
|
|
|
||||||
|
|
@ -23,7 +23,7 @@ in
|
||||||
options = {
|
options = {
|
||||||
host = mkOption {
|
host = mkOption {
|
||||||
type = types.str;
|
type = types.str;
|
||||||
description = "The host name or IP addresse for reaching the server node.";
|
description = "The host name or IP address under which the server node is reachable from any client.";
|
||||||
};
|
};
|
||||||
idFile = mkOption {
|
idFile = mkOption {
|
||||||
type = types.nullOr types.path;
|
type = types.nullOr types.path;
|
||||||
|
|
@ -61,16 +61,9 @@ in
|
||||||
config.id =
|
config.id =
|
||||||
let
|
let
|
||||||
inherit (wgConf) idFile;
|
inherit (wgConf) idFile;
|
||||||
|
idFromFile = if (idFile == null) then null else (importJSON idFile).${name} or null;
|
||||||
in
|
in
|
||||||
if (idFile == null) then
|
lib.mkIf (idFromFile != null) idFromFile;
|
||||||
null
|
|
||||||
else
|
|
||||||
(
|
|
||||||
let
|
|
||||||
conf = importJSON idFile;
|
|
||||||
in
|
|
||||||
conf.${name} or null
|
|
||||||
);
|
|
||||||
options = {
|
options = {
|
||||||
server = mkOption {
|
server = mkOption {
|
||||||
default = false;
|
default = false;
|
||||||
|
|
|
||||||
9
tests/default.nix
Normal file
9
tests/default.nix
Normal file
|
|
@ -0,0 +1,9 @@
|
||||||
|
{
|
||||||
|
nixt,
|
||||||
|
pkgs,
|
||||||
|
...
|
||||||
|
}:
|
||||||
|
[
|
||||||
|
(import ./shift.nix { inherit pkgs nixt; })
|
||||||
|
(import ./net.nix { inherit pkgs nixt; })
|
||||||
|
]
|
||||||
101
tests/net.nix
Normal file
101
tests/net.nix
Normal file
|
|
@ -0,0 +1,101 @@
|
||||||
|
{
|
||||||
|
nixt,
|
||||||
|
pkgs,
|
||||||
|
...
|
||||||
|
}:
|
||||||
|
let
|
||||||
|
inherit (nixt.lib) block describe it;
|
||||||
|
inherit (pkgs) lib;
|
||||||
|
expected = {
|
||||||
|
cidrv6 = {
|
||||||
|
empty = {
|
||||||
|
base = {
|
||||||
|
ipv6 = {
|
||||||
|
a = 0;
|
||||||
|
b = 0;
|
||||||
|
c = 0;
|
||||||
|
d = 0;
|
||||||
|
};
|
||||||
|
};
|
||||||
|
length = 0;
|
||||||
|
};
|
||||||
|
base4 = {
|
||||||
|
base = {
|
||||||
|
ipv6 = {
|
||||||
|
a = 65536;
|
||||||
|
b = 0;
|
||||||
|
c = 0;
|
||||||
|
d = 0;
|
||||||
|
};
|
||||||
|
};
|
||||||
|
length = 4;
|
||||||
|
};
|
||||||
|
};
|
||||||
|
};
|
||||||
|
in
|
||||||
|
block ./net.nix [
|
||||||
|
(describe "cidrv6" [
|
||||||
|
(it "child 1" (lib.net.cidr.child "1::/4" "0::/0"))
|
||||||
|
(it "child 2" (lib.net.cidr.child "1::/4" "::/0"))
|
||||||
|
(it "child 3" (!lib.net.cidr.child "::/0" "::/4"))
|
||||||
|
(it "child 4" (lib.net.cidr.child "1100::/8" "1000::/4"))
|
||||||
|
(it "child 5" (!lib.net.cidr.child "1100::/16" "1000::/8"))
|
||||||
|
(it "child 6" (lib.net.cidr.child "0:1::/24" "0:1::/8"))
|
||||||
|
|
||||||
|
(it "typechecks 1" (lib.typechecks.cidr "" "" "::/0" == expected.cidrv6.empty))
|
||||||
|
(it "typechecks 2" (lib.typechecks.cidr "" "" "0::/0" == expected.cidrv6.empty))
|
||||||
|
(it "typechecks 3" (lib.typechecks.cidr "" "" "1::/4" == expected.cidrv6.empty // { length = 4; }))
|
||||||
|
|
||||||
|
(it "impl child" (lib.implementations.cidr.child expected.cidrv6.base4 expected.cidrv6.empty))
|
||||||
|
|
||||||
|
(it "cidr length 0" (lib.implementations.cidr.length expected.cidrv6.empty == 0))
|
||||||
|
(it "cidr length 4" (lib.implementations.cidr.length expected.cidrv6.base4 == 4))
|
||||||
|
|
||||||
|
(it "contains 4" (
|
||||||
|
lib.implementations.cidr.contains expected.cidrv6.base4.base expected.cidrv6.empty
|
||||||
|
))
|
||||||
|
|
||||||
|
(it "host 4" (lib.implementations.cidr.host 0 expected.cidrv6.base4 == expected.cidrv6.base4.base))
|
||||||
|
(it "host 0" (lib.implementations.cidr.host 0 expected.cidrv6.empty == expected.cidrv6.empty.base))
|
||||||
|
|
||||||
|
(it "make len 0" (
|
||||||
|
lib.implementations.cidr.make 0 expected.cidrv6.base4.base == expected.cidrv6.empty
|
||||||
|
))
|
||||||
|
(it "make base 4 len 0 length" (
|
||||||
|
(lib.implementations.cidr.make 0 expected.cidrv6.base4.base).length == 0
|
||||||
|
))
|
||||||
|
(it "make base 4 len 0 base" (
|
||||||
|
(lib.implementations.cidr.make 0 expected.cidrv6.base4.base).base == expected.cidrv6.empty.base
|
||||||
|
))
|
||||||
|
])
|
||||||
|
(describe "cidrv4" [
|
||||||
|
(it "child 1" (lib.net.cidr.child "10.10.10.0/24" "10.0.0.0/8"))
|
||||||
|
(it "child 2" (!lib.net.cidr.child "127.0.0.0/24" "10.0.0.0/8"))
|
||||||
|
])
|
||||||
|
(describe "cidr" [
|
||||||
|
(it "host 255" (lib.net.cidr.host 255 "192.168.1.0/24" == "192.168.1.255"))
|
||||||
|
(it "host err" ((builtins.tryEval (lib.net.cidr.host 256 "192.168.1.0/24")).success == false))
|
||||||
|
(it "host -1" (lib.net.cidr.host (-1) "192.168.1.0/24" == "192.168.1.255"))
|
||||||
|
(it "host -256" (lib.net.cidr.host (-256) "192.168.1.0/24" == "192.168.1.0"))
|
||||||
|
(it "host -err" ((builtins.tryEval (lib.net.cidr.host (-257) "192.168.1.0/24")).success == false))
|
||||||
|
(it "host ip" (lib.net.cidr.host "0.0.0.1" "192.168.1.0/24" == "192.168.1.1"))
|
||||||
|
])
|
||||||
|
(describe "arithmetic" [
|
||||||
|
(it "coshadow 1" (
|
||||||
|
(lib.arithmetic.coshadow 0 expected.cidrv6.base4.base) == expected.cidrv6.empty.base
|
||||||
|
))
|
||||||
|
(it "coerce 1" (
|
||||||
|
(lib.arithmetic.coerce expected.cidrv6.base4.base (-1)) == {
|
||||||
|
ipv6 = {
|
||||||
|
a = 4294967295;
|
||||||
|
b = 4294967295;
|
||||||
|
c = 4294967295;
|
||||||
|
d = 4294967295;
|
||||||
|
};
|
||||||
|
}
|
||||||
|
))
|
||||||
|
])
|
||||||
|
(describe "bit" [
|
||||||
|
(it "mask 32 " ((lib.bit.mask 32 (-1)) == 4294967295))
|
||||||
|
])
|
||||||
|
]
|
||||||
399
tests/shift.nix
Normal file
399
tests/shift.nix
Normal file
|
|
@ -0,0 +1,399 @@
|
||||||
|
{
|
||||||
|
nixt,
|
||||||
|
pkgs,
|
||||||
|
...
|
||||||
|
}:
|
||||||
|
let
|
||||||
|
inherit (nixt.lib) block describe it;
|
||||||
|
inherit (pkgs.lib.bit) left logicalRight arithmeticRight;
|
||||||
|
in
|
||||||
|
block ./shift.nix [
|
||||||
|
(describe "" [
|
||||||
|
(it "left shift 31065 << 63" (left 63 31065 == -9223372036854775807 - 1))
|
||||||
|
(it "negative left shift 31065 << 63" (left 63 (-31065) == -9223372036854775807 - 1))
|
||||||
|
(it "logical right shift 31065 >> 63" (logicalRight 63 31065 == 0))
|
||||||
|
(it "negative logical right shift 31065 >> 63" (logicalRight 63 (-31065) == 1))
|
||||||
|
(it "arithmetic right shift 31065 >> 63" (arithmeticRight 63 31065 == 0))
|
||||||
|
(it "negative arithmetic right shift 31065 >> 63" (arithmeticRight 63 (-31065) == -1))
|
||||||
|
(it "left shift 25624 << 62" (left 62 25624 == 0))
|
||||||
|
(it "negative left shift 25624 << 62" (left 62 (-25624) == 0))
|
||||||
|
(it "logical right shift 25624 >> 62" (logicalRight 62 25624 == 0))
|
||||||
|
(it "negative logical right shift 25624 >> 62" (logicalRight 62 (-25624) == 3))
|
||||||
|
(it "arithmetic right shift 25624 >> 62" (arithmeticRight 62 25624 == 0))
|
||||||
|
(it "negative arithmetic right shift 25624 >> 62" (arithmeticRight 62 (-25624) == -1))
|
||||||
|
(it "left shift 308 << 61" (left 61 308 == -9223372036854775807 - 1))
|
||||||
|
(it "negative left shift 308 << 61" (left 61 (-308) == -9223372036854775807 - 1))
|
||||||
|
(it "logical right shift 308 >> 61" (logicalRight 61 308 == 0))
|
||||||
|
(it "negative logical right shift 308 >> 61" (logicalRight 61 (-308) == 7))
|
||||||
|
(it "arithmetic right shift 308 >> 61" (arithmeticRight 61 308 == 0))
|
||||||
|
(it "negative arithmetic right shift 308 >> 61" (arithmeticRight 61 (-308) == -1))
|
||||||
|
(it "left shift 16712 << 60" (left 60 16712 == -9223372036854775807 - 1))
|
||||||
|
(it "negative left shift 16712 << 60" (left 60 (-16712) == -9223372036854775807 - 1))
|
||||||
|
(it "logical right shift 16712 >> 60" (logicalRight 60 16712 == 0))
|
||||||
|
(it "negative logical right shift 16712 >> 60" (logicalRight 60 (-16712) == 15))
|
||||||
|
(it "arithmetic right shift 16712 >> 60" (arithmeticRight 60 16712 == 0))
|
||||||
|
(it "negative arithmetic right shift 16712 >> 60" (arithmeticRight 60 (-16712) == -1))
|
||||||
|
(it "left shift 5852 << 59" (left 59 5852 == -2305843009213693952))
|
||||||
|
(it "negative left shift 5852 << 59" (left 59 (-5852) == 2305843009213693952))
|
||||||
|
(it "logical right shift 5852 >> 59" (logicalRight 59 5852 == 0))
|
||||||
|
(it "negative logical right shift 5852 >> 59" (logicalRight 59 (-5852) == 31))
|
||||||
|
(it "arithmetic right shift 5852 >> 59" (arithmeticRight 59 5852 == 0))
|
||||||
|
(it "negative arithmetic right shift 5852 >> 59" (arithmeticRight 59 (-5852) == -1))
|
||||||
|
(it "left shift 389 << 58" (left 58 389 == 1441151880758558720))
|
||||||
|
(it "negative left shift 389 << 58" (left 58 (-389) == -1441151880758558720))
|
||||||
|
(it "logical right shift 389 >> 58" (logicalRight 58 389 == 0))
|
||||||
|
(it "negative logical right shift 389 >> 58" (logicalRight 58 (-389) == 63))
|
||||||
|
(it "arithmetic right shift 389 >> 58" (arithmeticRight 58 389 == 0))
|
||||||
|
(it "negative arithmetic right shift 389 >> 58" (arithmeticRight 58 (-389) == -1))
|
||||||
|
(it "left shift 13663 << 57" (left 57 13663 == -4755801206503243776))
|
||||||
|
(it "negative left shift 13663 << 57" (left 57 (-13663) == 4755801206503243776))
|
||||||
|
(it "logical right shift 13663 >> 57" (logicalRight 57 13663 == 0))
|
||||||
|
(it "negative logical right shift 13663 >> 57" (logicalRight 57 (-13663) == 127))
|
||||||
|
(it "arithmetic right shift 13663 >> 57" (arithmeticRight 57 13663 == 0))
|
||||||
|
(it "negative arithmetic right shift 13663 >> 57" (arithmeticRight 57 (-13663) == -1))
|
||||||
|
(it "left shift 15349 << 56" (left 56 15349 == -792633534417207296))
|
||||||
|
(it "negative left shift 15349 << 56" (left 56 (-15349) == 792633534417207296))
|
||||||
|
(it "logical right shift 15349 >> 56" (logicalRight 56 15349 == 0))
|
||||||
|
(it "negative logical right shift 15349 >> 56" (logicalRight 56 (-15349) == 255))
|
||||||
|
(it "arithmetic right shift 15349 >> 56" (arithmeticRight 56 15349 == 0))
|
||||||
|
(it "negative arithmetic right shift 15349 >> 56" (arithmeticRight 56 (-15349) == -1))
|
||||||
|
(it "left shift 25817 << 55" (left 55 25817 == 7818248953115181056))
|
||||||
|
(it "negative left shift 25817 << 55" (left 55 (-25817) == -7818248953115181056))
|
||||||
|
(it "logical right shift 25817 >> 55" (logicalRight 55 25817 == 0))
|
||||||
|
(it "negative logical right shift 25817 >> 55" (logicalRight 55 (-25817) == 511))
|
||||||
|
(it "arithmetic right shift 25817 >> 55" (arithmeticRight 55 25817 == 0))
|
||||||
|
(it "negative arithmetic right shift 25817 >> 55" (arithmeticRight 55 (-25817) == -1))
|
||||||
|
(it "left shift 896 << 54" (left 54 896 == -2305843009213693952))
|
||||||
|
(it "negative left shift 896 << 54" (left 54 (-896) == 2305843009213693952))
|
||||||
|
(it "logical right shift 896 >> 54" (logicalRight 54 896 == 0))
|
||||||
|
(it "negative logical right shift 896 >> 54" (logicalRight 54 (-896) == 1023))
|
||||||
|
(it "arithmetic right shift 896 >> 54" (arithmeticRight 54 896 == 0))
|
||||||
|
(it "negative arithmetic right shift 896 >> 54" (arithmeticRight 54 (-896) == -1))
|
||||||
|
(it "left shift 14592 << 53" (left 53 14592 == 2305843009213693952))
|
||||||
|
(it "negative left shift 14592 << 53" (left 53 (-14592) == -2305843009213693952))
|
||||||
|
(it "logical right shift 14592 >> 53" (logicalRight 53 14592 == 0))
|
||||||
|
(it "negative logical right shift 14592 >> 53" (logicalRight 53 (-14592) == 2047))
|
||||||
|
(it "arithmetic right shift 14592 >> 53" (arithmeticRight 53 14592 == 0))
|
||||||
|
(it "negative arithmetic right shift 14592 >> 53" (arithmeticRight 53 (-14592) == -1))
|
||||||
|
(it "left shift 8533 << 52" (left 52 8533 == 1535727472933339136))
|
||||||
|
(it "negative left shift 8533 << 52" (left 52 (-8533) == -1535727472933339136))
|
||||||
|
(it "logical right shift 8533 >> 52" (logicalRight 52 8533 == 0))
|
||||||
|
(it "negative logical right shift 8533 >> 52" (logicalRight 52 (-8533) == 4095))
|
||||||
|
(it "arithmetic right shift 8533 >> 52" (arithmeticRight 52 8533 == 0))
|
||||||
|
(it "negative arithmetic right shift 8533 >> 52" (arithmeticRight 52 (-8533) == -1))
|
||||||
|
(it "left shift 30180 << 51" (left 51 30180 == -5827657917817421824))
|
||||||
|
(it "negative left shift 30180 << 51" (left 51 (-30180) == 5827657917817421824))
|
||||||
|
(it "logical right shift 30180 >> 51" (logicalRight 51 30180 == 0))
|
||||||
|
(it "negative logical right shift 30180 >> 51" (logicalRight 51 (-30180) == 8191))
|
||||||
|
(it "arithmetic right shift 30180 >> 51" (arithmeticRight 51 30180 == 0))
|
||||||
|
(it "negative arithmetic right shift 30180 >> 51" (arithmeticRight 51 (-30180) == -1))
|
||||||
|
(it "left shift 24903 << 50" (left 50 24903 == -8855202767317237760))
|
||||||
|
(it "negative left shift 24903 << 50" (left 50 (-24903) == 8855202767317237760))
|
||||||
|
(it "logical right shift 24903 >> 50" (logicalRight 50 24903 == 0))
|
||||||
|
(it "negative logical right shift 24903 >> 50" (logicalRight 50 (-24903) == 16383))
|
||||||
|
(it "arithmetic right shift 24903 >> 50" (arithmeticRight 50 24903 == 0))
|
||||||
|
(it "negative arithmetic right shift 24903 >> 50" (arithmeticRight 50 (-24903) == -1))
|
||||||
|
(it "left shift 14440 << 49" (left 49 14440 == 8128997327403745280))
|
||||||
|
(it "negative left shift 14440 << 49" (left 49 (-14440) == -8128997327403745280))
|
||||||
|
(it "logical right shift 14440 >> 49" (logicalRight 49 14440 == 0))
|
||||||
|
(it "negative logical right shift 14440 >> 49" (logicalRight 49 (-14440) == 32767))
|
||||||
|
(it "arithmetic right shift 14440 >> 49" (arithmeticRight 49 14440 == 0))
|
||||||
|
(it "negative arithmetic right shift 14440 >> 49" (arithmeticRight 49 (-14440) == -1))
|
||||||
|
(it "left shift 7398 << 48" (left 48 7398 == 2082351877705433088))
|
||||||
|
(it "negative left shift 7398 << 48" (left 48 (-7398) == -2082351877705433088))
|
||||||
|
(it "logical right shift 7398 >> 48" (logicalRight 48 7398 == 0))
|
||||||
|
(it "negative logical right shift 7398 >> 48" (logicalRight 48 (-7398) == 65535))
|
||||||
|
(it "arithmetic right shift 7398 >> 48" (arithmeticRight 48 7398 == 0))
|
||||||
|
(it "negative arithmetic right shift 7398 >> 48" (arithmeticRight 48 (-7398) == -1))
|
||||||
|
(it "left shift 10215 << 47" (left 47 10215 == 1437633443549675520))
|
||||||
|
(it "negative left shift 10215 << 47" (left 47 (-10215) == -1437633443549675520))
|
||||||
|
(it "logical right shift 10215 >> 47" (logicalRight 47 10215 == 0))
|
||||||
|
(it "negative logical right shift 10215 >> 47" (logicalRight 47 (-10215) == 131071))
|
||||||
|
(it "arithmetic right shift 10215 >> 47" (arithmeticRight 47 10215 == 0))
|
||||||
|
(it "negative arithmetic right shift 10215 >> 47" (arithmeticRight 47 (-10215) == -1))
|
||||||
|
(it "left shift 10172 << 46" (left 46 10172 == 715790865775198208))
|
||||||
|
(it "negative left shift 10172 << 46" (left 46 (-10172) == -715790865775198208))
|
||||||
|
(it "logical right shift 10172 >> 46" (logicalRight 46 10172 == 0))
|
||||||
|
(it "negative logical right shift 10172 >> 46" (logicalRight 46 (-10172) == 262143))
|
||||||
|
(it "arithmetic right shift 10172 >> 46" (arithmeticRight 46 10172 == 0))
|
||||||
|
(it "negative arithmetic right shift 10172 >> 46" (arithmeticRight 46 (-10172) == -1))
|
||||||
|
(it "left shift 15671 << 45" (left 45 15671 == 551374295004086272))
|
||||||
|
(it "negative left shift 15671 << 45" (left 45 (-15671) == -551374295004086272))
|
||||||
|
(it "logical right shift 15671 >> 45" (logicalRight 45 15671 == 0))
|
||||||
|
(it "negative logical right shift 15671 >> 45" (logicalRight 45 (-15671) == 524287))
|
||||||
|
(it "arithmetic right shift 15671 >> 45" (arithmeticRight 45 15671 == 0))
|
||||||
|
(it "negative arithmetic right shift 15671 >> 45" (arithmeticRight 45 (-15671) == -1))
|
||||||
|
(it "left shift 22286 << 44" (left 44 22286 == 392059458185854976))
|
||||||
|
(it "negative left shift 22286 << 44" (left 44 (-22286) == -392059458185854976))
|
||||||
|
(it "logical right shift 22286 >> 44" (logicalRight 44 22286 == 0))
|
||||||
|
(it "negative logical right shift 22286 >> 44" (logicalRight 44 (-22286) == 1048575))
|
||||||
|
(it "arithmetic right shift 22286 >> 44" (arithmeticRight 44 22286 == 0))
|
||||||
|
(it "negative arithmetic right shift 22286 >> 44" (arithmeticRight 44 (-22286) == -1))
|
||||||
|
(it "left shift 29742 << 43" (left 43 29742 == 261613398666510336))
|
||||||
|
(it "negative left shift 29742 << 43" (left 43 (-29742) == -261613398666510336))
|
||||||
|
(it "logical right shift 29742 >> 43" (logicalRight 43 29742 == 0))
|
||||||
|
(it "negative logical right shift 29742 >> 43" (logicalRight 43 (-29742) == 2097151))
|
||||||
|
(it "arithmetic right shift 29742 >> 43" (arithmeticRight 43 29742 == 0))
|
||||||
|
(it "negative arithmetic right shift 29742 >> 43" (arithmeticRight 43 (-29742) == -1))
|
||||||
|
(it "left shift 13223 << 42" (left 42 13223 == 58155369016328192))
|
||||||
|
(it "negative left shift 13223 << 42" (left 42 (-13223) == -58155369016328192))
|
||||||
|
(it "logical right shift 13223 >> 42" (logicalRight 42 13223 == 0))
|
||||||
|
(it "negative logical right shift 13223 >> 42" (logicalRight 42 (-13223) == 4194303))
|
||||||
|
(it "arithmetic right shift 13223 >> 42" (arithmeticRight 42 13223 == 0))
|
||||||
|
(it "negative arithmetic right shift 13223 >> 42" (arithmeticRight 42 (-13223) == -1))
|
||||||
|
(it "left shift 27362 << 41" (left 41 27362 == 60169674318413824))
|
||||||
|
(it "negative left shift 27362 << 41" (left 41 (-27362) == -60169674318413824))
|
||||||
|
(it "logical right shift 27362 >> 41" (logicalRight 41 27362 == 0))
|
||||||
|
(it "negative logical right shift 27362 >> 41" (logicalRight 41 (-27362) == 8388607))
|
||||||
|
(it "arithmetic right shift 27362 >> 41" (arithmeticRight 41 27362 == 0))
|
||||||
|
(it "negative arithmetic right shift 27362 >> 41" (arithmeticRight 41 (-27362) == -1))
|
||||||
|
(it "left shift 9358 << 40" (left 40 9358 == 10289229812727808))
|
||||||
|
(it "negative left shift 9358 << 40" (left 40 (-9358) == -10289229812727808))
|
||||||
|
(it "logical right shift 9358 >> 40" (logicalRight 40 9358 == 0))
|
||||||
|
(it "negative logical right shift 9358 >> 40" (logicalRight 40 (-9358) == 16777215))
|
||||||
|
(it "arithmetic right shift 9358 >> 40" (arithmeticRight 40 9358 == 0))
|
||||||
|
(it "negative arithmetic right shift 9358 >> 40" (arithmeticRight 40 (-9358) == -1))
|
||||||
|
(it "left shift 11691 << 39" (left 39 11691 == 6427195220164608))
|
||||||
|
(it "negative left shift 11691 << 39" (left 39 (-11691) == -6427195220164608))
|
||||||
|
(it "logical right shift 11691 >> 39" (logicalRight 39 11691 == 0))
|
||||||
|
(it "negative logical right shift 11691 >> 39" (logicalRight 39 (-11691) == 33554431))
|
||||||
|
(it "arithmetic right shift 11691 >> 39" (arithmeticRight 39 11691 == 0))
|
||||||
|
(it "negative arithmetic right shift 11691 >> 39" (arithmeticRight 39 (-11691) == -1))
|
||||||
|
(it "left shift 18608 << 38" (left 38 18608 == 5114928092413952))
|
||||||
|
(it "negative left shift 18608 << 38" (left 38 (-18608) == -5114928092413952))
|
||||||
|
(it "logical right shift 18608 >> 38" (logicalRight 38 18608 == 0))
|
||||||
|
(it "negative logical right shift 18608 >> 38" (logicalRight 38 (-18608) == 67108863))
|
||||||
|
(it "arithmetic right shift 18608 >> 38" (arithmeticRight 38 18608 == 0))
|
||||||
|
(it "negative arithmetic right shift 18608 >> 38" (arithmeticRight 38 (-18608) == -1))
|
||||||
|
(it "left shift 30802 << 37" (left 37 30802 == 4233394644844544))
|
||||||
|
(it "negative left shift 30802 << 37" (left 37 (-30802) == -4233394644844544))
|
||||||
|
(it "logical right shift 30802 >> 37" (logicalRight 37 30802 == 0))
|
||||||
|
(it "negative logical right shift 30802 >> 37" (logicalRight 37 (-30802) == 134217727))
|
||||||
|
(it "arithmetic right shift 30802 >> 37" (arithmeticRight 37 30802 == 0))
|
||||||
|
(it "negative arithmetic right shift 30802 >> 37" (arithmeticRight 37 (-30802) == -1))
|
||||||
|
(it "left shift 25321 << 36" (left 36 25321 == 1740045870432256))
|
||||||
|
(it "negative left shift 25321 << 36" (left 36 (-25321) == -1740045870432256))
|
||||||
|
(it "logical right shift 25321 >> 36" (logicalRight 36 25321 == 0))
|
||||||
|
(it "negative logical right shift 25321 >> 36" (logicalRight 36 (-25321) == 268435455))
|
||||||
|
(it "arithmetic right shift 25321 >> 36" (arithmeticRight 36 25321 == 0))
|
||||||
|
(it "negative arithmetic right shift 25321 >> 36" (arithmeticRight 36 (-25321) == -1))
|
||||||
|
(it "left shift 21777 << 35" (left 35 21777 == 748252022439936))
|
||||||
|
(it "negative left shift 21777 << 35" (left 35 (-21777) == -748252022439936))
|
||||||
|
(it "logical right shift 21777 >> 35" (logicalRight 35 21777 == 0))
|
||||||
|
(it "negative logical right shift 21777 >> 35" (logicalRight 35 (-21777) == 536870911))
|
||||||
|
(it "arithmetic right shift 21777 >> 35" (arithmeticRight 35 21777 == 0))
|
||||||
|
(it "negative arithmetic right shift 21777 >> 35" (arithmeticRight 35 (-21777) == -1))
|
||||||
|
(it "left shift 19037 << 34" (left 34 19037 == 327053169655808))
|
||||||
|
(it "negative left shift 19037 << 34" (left 34 (-19037) == -327053169655808))
|
||||||
|
(it "logical right shift 19037 >> 34" (logicalRight 34 19037 == 0))
|
||||||
|
(it "negative logical right shift 19037 >> 34" (logicalRight 34 (-19037) == 1073741823))
|
||||||
|
(it "arithmetic right shift 19037 >> 34" (arithmeticRight 34 19037 == 0))
|
||||||
|
(it "negative arithmetic right shift 19037 >> 34" (arithmeticRight 34 (-19037) == -1))
|
||||||
|
(it "left shift 23041 << 33" (left 33 23041 == 197920682934272))
|
||||||
|
(it "negative left shift 23041 << 33" (left 33 (-23041) == -197920682934272))
|
||||||
|
(it "logical right shift 23041 >> 33" (logicalRight 33 23041 == 0))
|
||||||
|
(it "negative logical right shift 23041 >> 33" (logicalRight 33 (-23041) == 2147483647))
|
||||||
|
(it "arithmetic right shift 23041 >> 33" (arithmeticRight 33 23041 == 0))
|
||||||
|
(it "negative arithmetic right shift 23041 >> 33" (arithmeticRight 33 (-23041) == -1))
|
||||||
|
(it "left shift 13483 << 32" (left 32 13483 == 57909044051968))
|
||||||
|
(it "negative left shift 13483 << 32" (left 32 (-13483) == -57909044051968))
|
||||||
|
(it "logical right shift 13483 >> 32" (logicalRight 32 13483 == 0))
|
||||||
|
(it "negative logical right shift 13483 >> 32" (logicalRight 32 (-13483) == 4294967295))
|
||||||
|
(it "arithmetic right shift 13483 >> 32" (arithmeticRight 32 13483 == 0))
|
||||||
|
(it "negative arithmetic right shift 13483 >> 32" (arithmeticRight 32 (-13483) == -1))
|
||||||
|
(it "left shift 12790 << 31" (left 31 12790 == 27466315857920))
|
||||||
|
(it "negative left shift 12790 << 31" (left 31 (-12790) == -27466315857920))
|
||||||
|
(it "logical right shift 12790 >> 31" (logicalRight 31 12790 == 0))
|
||||||
|
(it "negative logical right shift 12790 >> 31" (logicalRight 31 (-12790) == 8589934591))
|
||||||
|
(it "arithmetic right shift 12790 >> 31" (arithmeticRight 31 12790 == 0))
|
||||||
|
(it "negative arithmetic right shift 12790 >> 31" (arithmeticRight 31 (-12790) == -1))
|
||||||
|
(it "left shift 29648 << 30" (left 30 29648 == 31834297597952))
|
||||||
|
(it "negative left shift 29648 << 30" (left 30 (-29648) == -31834297597952))
|
||||||
|
(it "logical right shift 29648 >> 30" (logicalRight 30 29648 == 0))
|
||||||
|
(it "negative logical right shift 29648 >> 30" (logicalRight 30 (-29648) == 17179869183))
|
||||||
|
(it "arithmetic right shift 29648 >> 30" (arithmeticRight 30 29648 == 0))
|
||||||
|
(it "negative arithmetic right shift 29648 >> 30" (arithmeticRight 30 (-29648) == -1))
|
||||||
|
(it "left shift 31723 << 29" (left 29 31723 == 17031155941376))
|
||||||
|
(it "negative left shift 31723 << 29" (left 29 (-31723) == -17031155941376))
|
||||||
|
(it "logical right shift 31723 >> 29" (logicalRight 29 31723 == 0))
|
||||||
|
(it "negative logical right shift 31723 >> 29" (logicalRight 29 (-31723) == 34359738367))
|
||||||
|
(it "arithmetic right shift 31723 >> 29" (arithmeticRight 29 31723 == 0))
|
||||||
|
(it "negative arithmetic right shift 31723 >> 29" (arithmeticRight 29 (-31723) == -1))
|
||||||
|
(it "left shift 429 << 28" (left 28 429 == 115158810624))
|
||||||
|
(it "negative left shift 429 << 28" (left 28 (-429) == -115158810624))
|
||||||
|
(it "logical right shift 429 >> 28" (logicalRight 28 429 == 0))
|
||||||
|
(it "negative logical right shift 429 >> 28" (logicalRight 28 (-429) == 68719476735))
|
||||||
|
(it "arithmetic right shift 429 >> 28" (arithmeticRight 28 429 == 0))
|
||||||
|
(it "negative arithmetic right shift 429 >> 28" (arithmeticRight 28 (-429) == -1))
|
||||||
|
(it "left shift 3138 << 27" (left 27 3138 == 421175230464))
|
||||||
|
(it "negative left shift 3138 << 27" (left 27 (-3138) == -421175230464))
|
||||||
|
(it "logical right shift 3138 >> 27" (logicalRight 27 3138 == 0))
|
||||||
|
(it "negative logical right shift 3138 >> 27" (logicalRight 27 (-3138) == 137438953471))
|
||||||
|
(it "arithmetic right shift 3138 >> 27" (arithmeticRight 27 3138 == 0))
|
||||||
|
(it "negative arithmetic right shift 3138 >> 27" (arithmeticRight 27 (-3138) == -1))
|
||||||
|
(it "left shift 20136 << 26" (left 26 20136 == 1351304085504))
|
||||||
|
(it "negative left shift 20136 << 26" (left 26 (-20136) == -1351304085504))
|
||||||
|
(it "logical right shift 20136 >> 26" (logicalRight 26 20136 == 0))
|
||||||
|
(it "negative logical right shift 20136 >> 26" (logicalRight 26 (-20136) == 274877906943))
|
||||||
|
(it "arithmetic right shift 20136 >> 26" (arithmeticRight 26 20136 == 0))
|
||||||
|
(it "negative arithmetic right shift 20136 >> 26" (arithmeticRight 26 (-20136) == -1))
|
||||||
|
(it "left shift 27841 << 25" (left 25 27841 == 934188941312))
|
||||||
|
(it "negative left shift 27841 << 25" (left 25 (-27841) == -934188941312))
|
||||||
|
(it "logical right shift 27841 >> 25" (logicalRight 25 27841 == 0))
|
||||||
|
(it "negative logical right shift 27841 >> 25" (logicalRight 25 (-27841) == 549755813887))
|
||||||
|
(it "arithmetic right shift 27841 >> 25" (arithmeticRight 25 27841 == 0))
|
||||||
|
(it "negative arithmetic right shift 27841 >> 25" (arithmeticRight 25 (-27841) == -1))
|
||||||
|
(it "left shift 23965 << 24" (left 24 23965 == 402065981440))
|
||||||
|
(it "negative left shift 23965 << 24" (left 24 (-23965) == -402065981440))
|
||||||
|
(it "logical right shift 23965 >> 24" (logicalRight 24 23965 == 0))
|
||||||
|
(it "negative logical right shift 23965 >> 24" (logicalRight 24 (-23965) == 1099511627775))
|
||||||
|
(it "arithmetic right shift 23965 >> 24" (arithmeticRight 24 23965 == 0))
|
||||||
|
(it "negative arithmetic right shift 23965 >> 24" (arithmeticRight 24 (-23965) == -1))
|
||||||
|
(it "left shift 9647 << 23" (left 23 9647 == 80924901376))
|
||||||
|
(it "negative left shift 9647 << 23" (left 23 (-9647) == -80924901376))
|
||||||
|
(it "logical right shift 9647 >> 23" (logicalRight 23 9647 == 0))
|
||||||
|
(it "negative logical right shift 9647 >> 23" (logicalRight 23 (-9647) == 2199023255551))
|
||||||
|
(it "arithmetic right shift 9647 >> 23" (arithmeticRight 23 9647 == 0))
|
||||||
|
(it "negative arithmetic right shift 9647 >> 23" (arithmeticRight 23 (-9647) == -1))
|
||||||
|
(it "left shift 13329 << 22" (left 22 13329 == 55905878016))
|
||||||
|
(it "negative left shift 13329 << 22" (left 22 (-13329) == -55905878016))
|
||||||
|
(it "logical right shift 13329 >> 22" (logicalRight 22 13329 == 0))
|
||||||
|
(it "negative logical right shift 13329 >> 22" (logicalRight 22 (-13329) == 4398046511103))
|
||||||
|
(it "arithmetic right shift 13329 >> 22" (arithmeticRight 22 13329 == 0))
|
||||||
|
(it "negative arithmetic right shift 13329 >> 22" (arithmeticRight 22 (-13329) == -1))
|
||||||
|
(it "left shift 32694 << 21" (left 21 32694 == 68564287488))
|
||||||
|
(it "negative left shift 32694 << 21" (left 21 (-32694) == -68564287488))
|
||||||
|
(it "logical right shift 32694 >> 21" (logicalRight 21 32694 == 0))
|
||||||
|
(it "negative logical right shift 32694 >> 21" (logicalRight 21 (-32694) == 8796093022207))
|
||||||
|
(it "arithmetic right shift 32694 >> 21" (arithmeticRight 21 32694 == 0))
|
||||||
|
(it "negative arithmetic right shift 32694 >> 21" (arithmeticRight 21 (-32694) == -1))
|
||||||
|
(it "left shift 17805 << 20" (left 20 17805 == 18669895680))
|
||||||
|
(it "negative left shift 17805 << 20" (left 20 (-17805) == -18669895680))
|
||||||
|
(it "logical right shift 17805 >> 20" (logicalRight 20 17805 == 0))
|
||||||
|
(it "negative logical right shift 17805 >> 20" (logicalRight 20 (-17805) == 17592186044415))
|
||||||
|
(it "arithmetic right shift 17805 >> 20" (arithmeticRight 20 17805 == 0))
|
||||||
|
(it "negative arithmetic right shift 17805 >> 20" (arithmeticRight 20 (-17805) == -1))
|
||||||
|
(it "left shift 32292 << 19" (left 19 32292 == 16930308096))
|
||||||
|
(it "negative left shift 32292 << 19" (left 19 (-32292) == -16930308096))
|
||||||
|
(it "logical right shift 32292 >> 19" (logicalRight 19 32292 == 0))
|
||||||
|
(it "negative logical right shift 32292 >> 19" (logicalRight 19 (-32292) == 35184372088831))
|
||||||
|
(it "arithmetic right shift 32292 >> 19" (arithmeticRight 19 32292 == 0))
|
||||||
|
(it "negative arithmetic right shift 32292 >> 19" (arithmeticRight 19 (-32292) == -1))
|
||||||
|
(it "left shift 16841 << 18" (left 18 16841 == 4414767104))
|
||||||
|
(it "negative left shift 16841 << 18" (left 18 (-16841) == -4414767104))
|
||||||
|
(it "logical right shift 16841 >> 18" (logicalRight 18 16841 == 0))
|
||||||
|
(it "negative logical right shift 16841 >> 18" (logicalRight 18 (-16841) == 70368744177663))
|
||||||
|
(it "arithmetic right shift 16841 >> 18" (arithmeticRight 18 16841 == 0))
|
||||||
|
(it "negative arithmetic right shift 16841 >> 18" (arithmeticRight 18 (-16841) == -1))
|
||||||
|
(it "left shift 18798 << 17" (left 17 18798 == 2463891456))
|
||||||
|
(it "negative left shift 18798 << 17" (left 17 (-18798) == -2463891456))
|
||||||
|
(it "logical right shift 18798 >> 17" (logicalRight 17 18798 == 0))
|
||||||
|
(it "negative logical right shift 18798 >> 17" (logicalRight 17 (-18798) == 140737488355327))
|
||||||
|
(it "arithmetic right shift 18798 >> 17" (arithmeticRight 17 18798 == 0))
|
||||||
|
(it "negative arithmetic right shift 18798 >> 17" (arithmeticRight 17 (-18798) == -1))
|
||||||
|
(it "left shift 2511 << 16" (left 16 2511 == 164560896))
|
||||||
|
(it "negative left shift 2511 << 16" (left 16 (-2511) == -164560896))
|
||||||
|
(it "logical right shift 2511 >> 16" (logicalRight 16 2511 == 0))
|
||||||
|
(it "negative logical right shift 2511 >> 16" (logicalRight 16 (-2511) == 281474976710655))
|
||||||
|
(it "arithmetic right shift 2511 >> 16" (arithmeticRight 16 2511 == 0))
|
||||||
|
(it "negative arithmetic right shift 2511 >> 16" (arithmeticRight 16 (-2511) == -1))
|
||||||
|
(it "left shift 933 << 15" (left 15 933 == 30572544))
|
||||||
|
(it "negative left shift 933 << 15" (left 15 (-933) == -30572544))
|
||||||
|
(it "logical right shift 933 >> 15" (logicalRight 15 933 == 0))
|
||||||
|
(it "negative logical right shift 933 >> 15" (logicalRight 15 (-933) == 562949953421311))
|
||||||
|
(it "arithmetic right shift 933 >> 15" (arithmeticRight 15 933 == 0))
|
||||||
|
(it "negative arithmetic right shift 933 >> 15" (arithmeticRight 15 (-933) == -1))
|
||||||
|
(it "left shift 26861 << 14" (left 14 26861 == 440090624))
|
||||||
|
(it "negative left shift 26861 << 14" (left 14 (-26861) == -440090624))
|
||||||
|
(it "logical right shift 26861 >> 14" (logicalRight 14 26861 == 1))
|
||||||
|
(it "negative logical right shift 26861 >> 14" (logicalRight 14 (-26861) == 1125899906842622))
|
||||||
|
(it "arithmetic right shift 26861 >> 14" (arithmeticRight 14 26861 == 1))
|
||||||
|
(it "negative arithmetic right shift 26861 >> 14" (arithmeticRight 14 (-26861) == -2))
|
||||||
|
(it "left shift 13766 << 13" (left 13 13766 == 112771072))
|
||||||
|
(it "negative left shift 13766 << 13" (left 13 (-13766) == -112771072))
|
||||||
|
(it "logical right shift 13766 >> 13" (logicalRight 13 13766 == 1))
|
||||||
|
(it "negative logical right shift 13766 >> 13" (logicalRight 13 (-13766) == 2251799813685246))
|
||||||
|
(it "arithmetic right shift 13766 >> 13" (arithmeticRight 13 13766 == 1))
|
||||||
|
(it "negative arithmetic right shift 13766 >> 13" (arithmeticRight 13 (-13766) == -2))
|
||||||
|
(it "left shift 21344 << 12" (left 12 21344 == 87425024))
|
||||||
|
(it "negative left shift 21344 << 12" (left 12 (-21344) == -87425024))
|
||||||
|
(it "logical right shift 21344 >> 12" (logicalRight 12 21344 == 5))
|
||||||
|
(it "negative logical right shift 21344 >> 12" (logicalRight 12 (-21344) == 4503599627370490))
|
||||||
|
(it "arithmetic right shift 21344 >> 12" (arithmeticRight 12 21344 == 5))
|
||||||
|
(it "negative arithmetic right shift 21344 >> 12" (arithmeticRight 12 (-21344) == -6))
|
||||||
|
(it "left shift 8246 << 11" (left 11 8246 == 16887808))
|
||||||
|
(it "negative left shift 8246 << 11" (left 11 (-8246) == -16887808))
|
||||||
|
(it "logical right shift 8246 >> 11" (logicalRight 11 8246 == 4))
|
||||||
|
(it "negative logical right shift 8246 >> 11" (logicalRight 11 (-8246) == 9007199254740987))
|
||||||
|
(it "arithmetic right shift 8246 >> 11" (arithmeticRight 11 8246 == 4))
|
||||||
|
(it "negative arithmetic right shift 8246 >> 11" (arithmeticRight 11 (-8246) == -5))
|
||||||
|
(it "left shift 18044 << 10" (left 10 18044 == 18477056))
|
||||||
|
(it "negative left shift 18044 << 10" (left 10 (-18044) == -18477056))
|
||||||
|
(it "logical right shift 18044 >> 10" (logicalRight 10 18044 == 17))
|
||||||
|
(it "negative logical right shift 18044 >> 10" (logicalRight 10 (-18044) == 18014398509481966))
|
||||||
|
(it "arithmetic right shift 18044 >> 10" (arithmeticRight 10 18044 == 17))
|
||||||
|
(it "negative arithmetic right shift 18044 >> 10" (arithmeticRight 10 (-18044) == -18))
|
||||||
|
(it "left shift 11554 << 9" (left 9 11554 == 5915648))
|
||||||
|
(it "negative left shift 11554 << 9" (left 9 (-11554) == -5915648))
|
||||||
|
(it "logical right shift 11554 >> 9" (logicalRight 9 11554 == 22))
|
||||||
|
(it "negative logical right shift 11554 >> 9" (logicalRight 9 (-11554) == 36028797018963945))
|
||||||
|
(it "arithmetic right shift 11554 >> 9" (arithmeticRight 9 11554 == 22))
|
||||||
|
(it "negative arithmetic right shift 11554 >> 9" (arithmeticRight 9 (-11554) == -23))
|
||||||
|
(it "left shift 19651 << 8" (left 8 19651 == 5030656))
|
||||||
|
(it "negative left shift 19651 << 8" (left 8 (-19651) == -5030656))
|
||||||
|
(it "logical right shift 19651 >> 8" (logicalRight 8 19651 == 76))
|
||||||
|
(it "negative logical right shift 19651 >> 8" (logicalRight 8 (-19651) == 72057594037927859))
|
||||||
|
(it "arithmetic right shift 19651 >> 8" (arithmeticRight 8 19651 == 76))
|
||||||
|
(it "negative arithmetic right shift 19651 >> 8" (arithmeticRight 8 (-19651) == -77))
|
||||||
|
(it "left shift 32588 << 7" (left 7 32588 == 4171264))
|
||||||
|
(it "negative left shift 32588 << 7" (left 7 (-32588) == -4171264))
|
||||||
|
(it "logical right shift 32588 >> 7" (logicalRight 7 32588 == 254))
|
||||||
|
(it "negative logical right shift 32588 >> 7" (logicalRight 7 (-32588) == 144115188075855617))
|
||||||
|
(it "arithmetic right shift 32588 >> 7" (arithmeticRight 7 32588 == 254))
|
||||||
|
(it "negative arithmetic right shift 32588 >> 7" (arithmeticRight 7 (-32588) == -255))
|
||||||
|
(it "left shift 23333 << 6" (left 6 23333 == 1493312))
|
||||||
|
(it "negative left shift 23333 << 6" (left 6 (-23333) == -1493312))
|
||||||
|
(it "logical right shift 23333 >> 6" (logicalRight 6 23333 == 364))
|
||||||
|
(it "negative logical right shift 23333 >> 6" (logicalRight 6 (-23333) == 288230376151711379))
|
||||||
|
(it "arithmetic right shift 23333 >> 6" (arithmeticRight 6 23333 == 364))
|
||||||
|
(it "negative arithmetic right shift 23333 >> 6" (arithmeticRight 6 (-23333) == -365))
|
||||||
|
(it "left shift 13058 << 5" (left 5 13058 == 417856))
|
||||||
|
(it "negative left shift 13058 << 5" (left 5 (-13058) == -417856))
|
||||||
|
(it "logical right shift 13058 >> 5" (logicalRight 5 13058 == 408))
|
||||||
|
(it "negative logical right shift 13058 >> 5" (logicalRight 5 (-13058) == 576460752303423079))
|
||||||
|
(it "arithmetic right shift 13058 >> 5" (arithmeticRight 5 13058 == 408))
|
||||||
|
(it "negative arithmetic right shift 13058 >> 5" (arithmeticRight 5 (-13058) == -409))
|
||||||
|
(it "left shift 10754 << 4" (left 4 10754 == 172064))
|
||||||
|
(it "negative left shift 10754 << 4" (left 4 (-10754) == -172064))
|
||||||
|
(it "logical right shift 10754 >> 4" (logicalRight 4 10754 == 672))
|
||||||
|
(it "negative logical right shift 10754 >> 4" (logicalRight 4 (-10754) == 1152921504606846303))
|
||||||
|
(it "arithmetic right shift 10754 >> 4" (arithmeticRight 4 10754 == 672))
|
||||||
|
(it "negative arithmetic right shift 10754 >> 4" (arithmeticRight 4 (-10754) == -673))
|
||||||
|
(it "left shift 22538 << 3" (left 3 22538 == 180304))
|
||||||
|
(it "negative left shift 22538 << 3" (left 3 (-22538) == -180304))
|
||||||
|
(it "logical right shift 22538 >> 3" (logicalRight 3 22538 == 2817))
|
||||||
|
(it "negative logical right shift 22538 >> 3" (logicalRight 3 (-22538) == 2305843009213691134))
|
||||||
|
(it "arithmetic right shift 22538 >> 3" (arithmeticRight 3 22538 == 2817))
|
||||||
|
(it "negative arithmetic right shift 22538 >> 3" (arithmeticRight 3 (-22538) == -2818))
|
||||||
|
(it "left shift 1792 << 2" (left 2 1792 == 7168))
|
||||||
|
(it "negative left shift 1792 << 2" (left 2 (-1792) == -7168))
|
||||||
|
(it "logical right shift 1792 >> 2" (logicalRight 2 1792 == 448))
|
||||||
|
(it "negative logical right shift 1792 >> 2" (logicalRight 2 (-1792) == 4611686018427387456))
|
||||||
|
(it "arithmetic right shift 1792 >> 2" (arithmeticRight 2 1792 == 448))
|
||||||
|
(it "negative arithmetic right shift 1792 >> 2" (arithmeticRight 2 (-1792) == -448))
|
||||||
|
(it "left shift 29700 << 1" (left 1 29700 == 59400))
|
||||||
|
(it "negative left shift 29700 << 1" (left 1 (-29700) == -59400))
|
||||||
|
(it "logical right shift 29700 >> 1" (logicalRight 1 29700 == 14850))
|
||||||
|
(it "negative logical right shift 29700 >> 1" (logicalRight 1 (-29700) == 9223372036854760958))
|
||||||
|
(it "arithmetic right shift 29700 >> 1" (arithmeticRight 1 29700 == 14850))
|
||||||
|
(it "negative arithmetic right shift 29700 >> 1" (arithmeticRight 1 (-29700) == -14850))
|
||||||
|
(it "left shift 21068 << 0" (left 0 21068 == 21068))
|
||||||
|
(it "negative left shift 21068 << 0" (left 0 (-21068) == -21068))
|
||||||
|
(it "logical right shift 21068 >> 0" (logicalRight 0 21068 == 21068))
|
||||||
|
(it "negative logical right shift 21068 >> 0" (logicalRight 0 (-21068) == -21068))
|
||||||
|
(it "arithmetic right shift 21068 >> 0" (arithmeticRight 0 21068 == 21068))
|
||||||
|
(it "negative arithmetic right shift 21068 >> 0" (arithmeticRight 0 (-21068) == -21068))
|
||||||
|
(it "arithmetic right shift -1 >> 32" (arithmeticRight 32 (-1) == (-1)))
|
||||||
|
(it "arithmetic right shift -1 >> 102" (arithmeticRight 102 (-1) == (-1)))
|
||||||
|
])
|
||||||
|
]
|
||||||
Loading…
Add table
Add a link
Reference in a new issue