Modular, context-aware and aspect-oriented dendritic Nix configurations.
Discussions: https://oeiuwq.zulipchat.com/join/nqp26cd4kngon6mo3ncgnuap/
den.oeiuwq.com
configurations
den
dendritic
nix
aspect
oriented
namespace tests (#136)
authored by
Victor Borja
and committed by
GitHub
206096e5
d5b7fc68
+212
+81
templates/examples/modules/_example/ci/angle-bracket-deep.nix
+81
templates/examples/modules/_example/ci/angle-bracket-deep.nix
···
1
+
{
2
+
inputs,
3
+
lib,
4
+
ns,
5
+
# deadnix: skip
6
+
__findFile ? __findFile,
7
+
...
8
+
}:
9
+
let
10
+
treeModule.nixos.options.tree = lib.mkOption {
11
+
type = lib.types.listOf lib.types.str;
12
+
};
13
+
inputX = {
14
+
denful.ns.root = {
15
+
nixos.tree = [ "X-root" ];
16
+
provides.branch.nixos.tree = [ "X-branch" ];
17
+
provides.branch.provides.leaf.nixos.tree = [ "X-leaf" ];
18
+
};
19
+
};
20
+
inputY = {
21
+
denful.ns.root = {
22
+
nixos.tree = [ "Y-root" ];
23
+
provides.branch.nixos.tree = [ "Y-branch" ];
24
+
provides.branch.provides.leaf.nixos.tree = [ "Y-leaf" ];
25
+
};
26
+
};
27
+
in
28
+
{
29
+
30
+
imports = [
31
+
(inputs.den.namespace "ns" [
32
+
true
33
+
inputX
34
+
inputY
35
+
])
36
+
];
37
+
38
+
ns.root = {
39
+
nixos.tree = [ "local-root" ];
40
+
provides.branch.nixos.tree = [ "local-branch" ];
41
+
provides.branch.provides.leaf.nixos.tree = [ "local-leaf" ];
42
+
};
43
+
44
+
den.aspects.rockhopper.includes = [
45
+
treeModule
46
+
<ns/root>
47
+
<ns/root/branch>
48
+
<ns/root/branch/leaf>
49
+
];
50
+
51
+
perSystem =
52
+
{ checkCond, rockhopper, ... }:
53
+
let
54
+
vals = lib.sort (a: b: a < b) rockhopper.config.tree;
55
+
in
56
+
{
57
+
checks.ns-angle-bracket-root = checkCond "angle-bracket access root" (<ns/root> == ns.root);
58
+
59
+
checks.ns-angle-bracket-branch = checkCond "angle-bracket access branch" (
60
+
<ns/root/branch> == ns.root._.branch
61
+
);
62
+
63
+
checks.ns-angle-bracket-leaf = checkCond "angle-bracket access leaf" (
64
+
<ns/root/branch/leaf> == ns.root._.branch._.leaf
65
+
);
66
+
67
+
checks.ns-tree-all-levels-merged = checkCond "all tree levels merged" (
68
+
vals == [
69
+
"X-branch"
70
+
"X-leaf"
71
+
"X-root"
72
+
"Y-branch"
73
+
"Y-leaf"
74
+
"Y-root"
75
+
"local-branch"
76
+
"local-leaf"
77
+
"local-root"
78
+
]
79
+
);
80
+
};
81
+
}
+78
templates/examples/modules/_example/ci/deep-nested-namespace.nix
+78
templates/examples/modules/_example/ci/deep-nested-namespace.nix
···
1
+
{
2
+
inputs,
3
+
lib,
4
+
deep,
5
+
...
6
+
}:
7
+
let
8
+
deepModule.nixos.options.deepVals = lib.mkOption {
9
+
type = lib.types.listOf lib.types.str;
10
+
};
11
+
depthA = {
12
+
denful.deep.a._.b._.c._.d._.e = {
13
+
description = "5 levels deep from inputA";
14
+
nixos.deepVals = [ "inputA-5-levels" ];
15
+
provides.f.nixos.deepVals = [ "inputA-6-levels" ];
16
+
};
17
+
};
18
+
depthB = {
19
+
denful.deep.a._.b._.c._.d._.e = {
20
+
nixos.deepVals = [ "inputB-5-levels" ];
21
+
provides.f.nixos.deepVals = [ "inputB-6-levels" ];
22
+
};
23
+
};
24
+
in
25
+
{
26
+
imports = [
27
+
(inputs.den.namespace "deep" [
28
+
true
29
+
depthA
30
+
depthB
31
+
])
32
+
];
33
+
34
+
deep.a._.b._.c._.d._.e = {
35
+
nixos.deepVals = [ "local-5-levels" ];
36
+
provides.f.nixos.deepVals = [ "local-6-levels" ];
37
+
};
38
+
39
+
den.aspects.rockhopper.includes = [
40
+
deepModule
41
+
deep.a._.b._.c._.d._.e
42
+
deep.a._.b._.c._.d._.e._.f
43
+
];
44
+
45
+
perSystem =
46
+
{ checkCond, rockhopper, ... }:
47
+
let
48
+
vals = lib.sort (a: b: a < b) rockhopper.config.deepVals;
49
+
in
50
+
{
51
+
checks.deep-nest-5-levels = checkCond "5 levels deep merged correctly" (
52
+
builtins.elem "inputA-5-levels" vals
53
+
&& builtins.elem "inputB-5-levels" vals
54
+
&& builtins.elem "local-5-levels" vals
55
+
);
56
+
57
+
checks.deep-nest-6-levels = checkCond "6 levels deep merged correctly" (
58
+
builtins.elem "inputA-6-levels" vals
59
+
&& builtins.elem "inputB-6-levels" vals
60
+
&& builtins.elem "local-6-levels" vals
61
+
);
62
+
63
+
checks.deep-nest-all-merged = checkCond "all values merged" (
64
+
vals == [
65
+
"inputA-5-levels"
66
+
"inputA-6-levels"
67
+
"inputB-5-levels"
68
+
"inputB-6-levels"
69
+
"local-5-levels"
70
+
"local-6-levels"
71
+
]
72
+
);
73
+
74
+
checks.deep-nest-flake-output = checkCond "deep namespace as flake output" (
75
+
inputs.self.denful.deep.a._.b._.c._.d._.e._.f == deep.a._.b._.c._.d._.e._.f
76
+
);
77
+
};
78
+
}