Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
573 changes: 61 additions & 512 deletions checkmate/modules/tests.nix

Large diffs are not rendered by default.

53 changes: 53 additions & 0 deletions checkmate/modules/tests/aspect_chain.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
{
lib,
mkFlake,
evalMod,
fooOpt,
...
}:
{

flake.tests."test resolve aspect-chain" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }:
{
aspectOne = {
name = "one";
includes = [ aspects.aspectOne.provides.dos ];
classOne.bar = [ "zzz" ];
provides.dos =
{ aspect-chain, ... }:
{
name = "dos";
includes = [ aspects.aspectOne.provides.tres ];
classOne.bar = map (x: x.name) aspect-chain;
};

provides.tres =
{ aspect-chain, ... }:
{
name = "tres";
classOne.bar = [ (lib.last aspect-chain).name ];
};
};
};
};
mod = {
imports = [
fooOpt
(flake.aspects.aspectOne.resolve { class = "classOne"; })
];
};
expr = lib.sort (a: b: a < b) (evalMod "classOne" mod).bar;
expected = [
"dos"
"one"
"zzz"
];
in
{
inherit expr expected;
};
}
53 changes: 53 additions & 0 deletions checkmate/modules/tests/aspect_default_provider_functor.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
{
mkFlake,
evalMod,
lib,
...
}:
{

flake.tests."test override default provider" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }:
{
aspectOne =
{ aspect, ... }:
{
includes = [ (aspects.aspectTwo { message = "hello ${aspect.name}"; }) ];
classOne = { }; # required for propagation
};

aspectTwo.__functor =
_:
{ message }: # args must be always named
{ class, aspect-chain }:
{ aspect, ... }:
{
classOne.bar = [
"foo"
aspect.name
message
class
]
++ (lib.map (x: x.name) aspect-chain);
};
aspectTwo.classOne.bar = [ "itself not included" ];
};
};

expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;
expected = [
"foo"
"<function body>"
"hello aspectOne"
"classOne"
"aspectOne"
];
in
{
inherit expr expected;
};

}
42 changes: 42 additions & 0 deletions checkmate/modules/tests/aspect_default_provider_override.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
{
mkFlake,
evalMod,
...
}:
{

flake.tests."test override default provider includes" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }:
{
aspectOne = {
classOne.bar = [ "should-not-be-present" ];
includes = [ aspects.aspectTwo ];
__functor = aspect: {
includes = [
{ classOne.bar = [ "from-functor" ]; }
]
++ map (f: f { message = "hello"; }) aspect.includes;
};
};
aspectTwo.__functor =
_aspect:
{ message }:
{
classOne.bar = [ message ];
};
};
};

expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;
expected = [
"hello"
"from-functor"
];
in
{
inherit expr expected;
};
}
37 changes: 37 additions & 0 deletions checkmate/modules/tests/aspect_dependencies.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
{
mkFlake,
evalMod,
lib,
...
}:
{

flake.tests."test dependencies on aspects" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }:
{
aspectOne = {
description = "os config";
includes = with aspects; [ aspectTwo ];
classOne.bar = [ "os" ];
};

aspectTwo = {
description = "user config at os level";
classOne.bar = [ "user" ];
};
};
};
expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;
expected = [
"os"
"user"
];
in
{
inherit expr expected;
};

}
58 changes: 58 additions & 0 deletions checkmate/modules/tests/aspect_fixpoint.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
{
lib,
mkFlake,
evalMod,
...
}:
{

flake.tests."test provides using fixpoints" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }@top:
{
aspectOne = {
classOne.bar = [ "1" ];
includes = [
aspects.aspectTwo
];
};

aspectTwo = {
classOne.bar = [ "2" ];
includes = [ aspects.aspectTwo.provides.three-and-four-and-five ];
provides =
{ aspects, ... }:
{
three-and-four-and-five = {
classOne.bar = [ "3" ];
includes = [
aspects.four
Copy link

Copilot AI Dec 16, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The test references aspects.four from the inner fixpoint context, but four is defined in the outer aspects.aspectTwo.provides scope. This should use top.aspects.aspectTwo.provides.four to match the actual scope, or the test may not validate the intended fixpoint behavior correctly.

Suggested change
aspects.four
top.aspects.aspectTwo.provides.four

Copilot uses AI. Check for mistakes.
top.aspects.five
];
};
four = {
classOne.bar = [ "4" ];
};
};
};

five.classOne.bar = [ "5" ];
};
};

expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;
expected = [
"1"
"2"
"3"
"4"
"5"
];
in
{
inherit expr expected;
};

}
54 changes: 54 additions & 0 deletions checkmate/modules/tests/aspect_modules_resolved.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,54 @@
{
lib,
mkFlake,
evalMod,
fooOpt,
...
}:
{

flake.tests."test modules resolved" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }:
{
aspectOne = {
name = "one";
includes = [ aspects.aspectOne.provides.dos ];
classOne.bar = [ "zzz" ];
provides.dos =
{ aspect-chain, ... }:
{
name = "dos";
includes = [ aspects.aspectOne.provides.tres ];
classOne.bar = map (x: x.name) aspect-chain;
};

provides.tres =
{ aspect-chain, ... }:
{
name = "tres";
classOne.bar = [ (lib.last aspect-chain).name ];
};
};
};
};
mod = {
imports = [
fooOpt
(flake.aspects.aspectOne.modules.classOne)
];
};
expr = lib.sort (a: b: a < b) (evalMod "classOne" mod).bar;
expected = [
"dos"
"one"
"zzz"
];
in
{
inherit expr expected;
};

}
34 changes: 34 additions & 0 deletions checkmate/modules/tests/aspect_parametric.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
{
mkFlake,
evalMod,
lib,
...
}:
{

flake.tests."test provides parametrized modules" =
let
flake = mkFlake {
flake.aspects =
{ aspects, ... }:
{
aspectOne.includes = [ (aspects.aspectTwo.provides.hello "mundo") ];
aspectOne.classOne.bar = [ "1" ];

aspectTwo.provides.hello = world: {
classOne.bar = [ world ];
};
};
};

expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;
expected = [
"1"
"mundo"
];
in
{
inherit expr expected;
};

}
Loading