patch of split tests, reorg types · round #0 · pull #1 · oeiuwq.com/flake-aspects

+1 -1

.github/workflows/test.yml

···

       8
       8
        
           runs-on: ubuntu-latest

     

       9
       9
        
           steps:

     

       10
       10
        
             - uses: cachix/install-nix-action@v30

     

       11
       11
       -
             - run: nix flake check -L github:vic/checkmate --override-input target github:$GITHUB_REPOSITORY/$GITHUB_SHA

     

       11
       11
       +
             - run: nix flake check -L github:$GITHUB_REPOSITORY/$GITHUB_SHA?dir=checkmate --override-input target github:$GITHUB_REPOSITORY/$GITHUB_SHA

+184

checkmate/flake.lock

···

       1
       1
       +
       {

     

       2
       2
       +
         "nodes": {

     

       3
       3
       +
           "flake-parts": {

     

       4
       4
       +
             "inputs": {

     

       5
       5
       +
               "nixpkgs-lib": [

     

       6
       6
       +
                 "nixpkgs-lib"

     

       7
       7
       +
               ]

     

       8
       8
       +
             },

     

       9
       9
       +
             "locked": {

     

       10
       10
       +
               "lastModified": 1763759067,

     

       11
       11
       +
               "narHash": "sha256-LlLt2Jo/gMNYAwOgdRQBrsRoOz7BPRkzvNaI/fzXi2Q=",

     

       12
       12
       +
               "owner": "hercules-ci",

     

       13
       13
       +
               "repo": "flake-parts",

     

       14
       14
       +
               "rev": "2cccadc7357c0ba201788ae99c4dfa90728ef5e0",

     

       15
       15
       +
               "type": "github"

     

       16
       16
       +
             },

     

       17
       17
       +
             "original": {

     

       18
       18
       +
               "owner": "hercules-ci",

     

       19
       19
       +
               "repo": "flake-parts",

     

       20
       20
       +
               "type": "github"

     

       21
       21
       +
             }

     

       22
       22
       +
           },

     

       23
       23
       +
           "import-tree": {

     

       24
       24
       +
             "locked": {

     

       25
       25
       +
               "lastModified": 1763762820,

     

       26
       26
       +
               "narHash": "sha256-ZvYKbFib3AEwiNMLsejb/CWs/OL/srFQ8AogkebEPF0=",

     

       27
       27
       +
               "owner": "vic",

     

       28
       28
       +
               "repo": "import-tree",

     

       29
       29
       +
               "rev": "3c23749d8013ec6daa1d7255057590e9ca726646",

     

       30
       30
       +
               "type": "github"

     

       31
       31
       +
             },

     

       32
       32
       +
             "original": {

     

       33
       33
       +
               "owner": "vic",

     

       34
       34
       +
               "repo": "import-tree",

     

       35
       35
       +
               "type": "github"

     

       36
       36
       +
             }

     

       37
       37
       +
           },

     

       38
       38
       +
           "nix-github-actions": {

     

       39
       39
       +
             "inputs": {

     

       40
       40
       +
               "nixpkgs": [

     

       41
       41
       +
                 "nix-unit",

     

       42
       42
       +
                 "nixpkgs"

     

       43
       43
       +
               ]

     

       44
       44
       +
             },

     

       45
       45
       +
             "locked": {

     

       46
       46
       +
               "lastModified": 1737420293,

     

       47
       47
       +
               "narHash": "sha256-F1G5ifvqTpJq7fdkT34e/Jy9VCyzd5XfJ9TO8fHhJWE=",

     

       48
       48
       +
               "owner": "nix-community",

     

       49
       49
       +
               "repo": "nix-github-actions",

     

       50
       50
       +
               "rev": "f4158fa080ef4503c8f4c820967d946c2af31ec9",

     

       51
       51
       +
               "type": "github"

     

       52
       52
       +
             },

     

       53
       53
       +
             "original": {

     

       54
       54
       +
               "owner": "nix-community",

     

       55
       55
       +
               "repo": "nix-github-actions",

     

       56
       56
       +
               "type": "github"

     

       57
       57
       +
             }

     

       58
       58
       +
           },

     

       59
       59
       +
           "nix-unit": {

     

       60
       60
       +
             "inputs": {

     

       61
       61
       +
               "flake-parts": [

     

       62
       62
       +
                 "flake-parts"

     

       63
       63
       +
               ],

     

       64
       64
       +
               "nix-github-actions": "nix-github-actions",

     

       65
       65
       +
               "nixpkgs": [

     

       66
       66
       +
                 "nixpkgs"

     

       67
       67
       +
               ],

     

       68
       68
       +
               "treefmt-nix": "treefmt-nix"

     

       69
       69
       +
             },

     

       70
       70
       +
             "locked": {

     

       71
       71
       +
               "lastModified": 1762774186,

     

       72
       72
       +
               "narHash": "sha256-hRADkHjNt41+JUHw2EiSkMaL4owL83g5ZppjYUdF/Dc=",

     

       73
       73
       +
               "owner": "nix-community",

     

       74
       74
       +
               "repo": "nix-unit",

     

       75
       75
       +
               "rev": "1c9ab50554eed0b768f9e5b6f646d63c9673f0f7",

     

       76
       76
       +
               "type": "github"

     

       77
       77
       +
             },

     

       78
       78
       +
             "original": {

     

       79
       79
       +
               "owner": "nix-community",

     

       80
       80
       +
               "repo": "nix-unit",

     

       81
       81
       +
               "type": "github"

     

       82
       82
       +
             }

     

       83
       83
       +
           },

     

       84
       84
       +
           "nixpkgs": {

     

       85
       85
       +
             "locked": {

     

       86
       86
       +
               "lastModified": 1764587062,

     

       87
       87
       +
               "narHash": "sha256-hdFa0TAVQAQLDF31cEW3enWmBP+b592OvHs6WVe3D8k=",

     

       88
       88
       +
               "owner": "nixos",

     

       89
       89
       +
               "repo": "nixpkgs",

     

       90
       90
       +
               "rev": "c1cb7d097cb250f6e1904aacd5f2ba5ffd8a49ce",

     

       91
       91
       +
               "type": "github"

     

       92
       92
       +
             },

     

       93
       93
       +
             "original": {

     

       94
       94
       +
               "owner": "nixos",

     

       95
       95
       +
               "ref": "nixpkgs-unstable",

     

       96
       96
       +
               "repo": "nixpkgs",

     

       97
       97
       +
               "type": "github"

     

       98
       98
       +
             }

     

       99
       99
       +
           },

     

       100
       100
       +
           "root": {

     

       101
       101
       +
             "inputs": {

     

       102
       102
       +
               "flake-parts": "flake-parts",

     

       103
       103
       +
               "import-tree": "import-tree",

     

       104
       104
       +
               "nix-unit": "nix-unit",

     

       105
       105
       +
               "nixpkgs": "nixpkgs",

     

       106
       106
       +
               "nixpkgs-lib": [

     

       107
       107
       +
                 "nixpkgs"

     

       108
       108
       +
               ],

     

       109
       109
       +
               "systems": "systems",

     

       110
       110
       +
               "target": "target",

     

       111
       111
       +
               "treefmt-nix": "treefmt-nix_2"

     

       112
       112
       +
             }

     

       113
       113
       +
           },

     

       114
       114
       +
           "systems": {

     

       115
       115
       +
             "locked": {

     

       116
       116
       +
               "lastModified": 1681028828,

     

       117
       117
       +
               "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",

     

       118
       118
       +
               "owner": "nix-systems",

     

       119
       119
       +
               "repo": "default",

     

       120
       120
       +
               "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",

     

       121
       121
       +
               "type": "github"

     

       122
       122
       +
             },

     

       123
       123
       +
             "original": {

     

       124
       124
       +
               "owner": "nix-systems",

     

       125
       125
       +
               "repo": "default",

     

       126
       126
       +
               "type": "github"

     

       127
       127
       +
             }

     

       128
       128
       +
           },

     

       129
       129
       +
           "target": {

     

       130
       130
       +
             "locked": {

     

       131
       131
       +
               "path": "..",

     

       132
       132
       +
               "type": "path"

     

       133
       133
       +
             },

     

       134
       134
       +
             "original": {

     

       135
       135
       +
               "path": "..",

     

       136
       136
       +
               "type": "path"

     

       137
       137
       +
             },

     

       138
       138
       +
             "parent": []

     

       139
       139
       +
           },

     

       140
       140
       +
           "treefmt-nix": {

     

       141
       141
       +
             "inputs": {

     

       142
       142
       +
               "nixpkgs": [

     

       143
       143
       +
                 "nix-unit",

     

       144
       144
       +
                 "nixpkgs"

     

       145
       145
       +
               ]

     

       146
       146
       +
             },

     

       147
       147
       +
             "locked": {

     

       148
       148
       +
               "lastModified": 1762410071,

     

       149
       149
       +
               "narHash": "sha256-aF5fvoZeoXNPxT0bejFUBXeUjXfHLSL7g+mjR/p5TEg=",

     

       150
       150
       +
               "owner": "numtide",

     

       151
       151
       +
               "repo": "treefmt-nix",

     

       152
       152
       +
               "rev": "97a30861b13c3731a84e09405414398fbf3e109f",

     

       153
       153
       +
               "type": "github"

     

       154
       154
       +
             },

     

       155
       155
       +
             "original": {

     

       156
       156
       +
               "owner": "numtide",

     

       157
       157
       +
               "repo": "treefmt-nix",

     

       158
       158
       +
               "type": "github"

     

       159
       159
       +
             }

     

       160
       160
       +
           },

     

       161
       161
       +
           "treefmt-nix_2": {

     

       162
       162
       +
             "inputs": {

     

       163
       163
       +
               "nixpkgs": [

     

       164
       164
       +
                 "nixpkgs"

     

       165
       165
       +
               ]

     

       166
       166
       +
             },

     

       167
       167
       +
             "locked": {

     

       168
       168
       +
               "lastModified": 1762938485,

     

       169
       169
       +
               "narHash": "sha256-AlEObg0syDl+Spi4LsZIBrjw+snSVU4T8MOeuZJUJjM=",

     

       170
       170
       +
               "owner": "numtide",

     

       171
       171
       +
               "repo": "treefmt-nix",

     

       172
       172
       +
               "rev": "5b4ee75aeefd1e2d5a1cc43cf6ba65eba75e83e4",

     

       173
       173
       +
               "type": "github"

     

       174
       174
       +
             },

     

       175
       175
       +
             "original": {

     

       176
       176
       +
               "owner": "numtide",

     

       177
       177
       +
               "repo": "treefmt-nix",

     

       178
       178
       +
               "type": "github"

     

       179
       179
       +
             }

     

       180
       180
       +
           }

     

       181
       181
       +
         },

     

       182
       182
       +
         "root": "root",

     

       183
       183
       +
         "version": 7

     

       184
       184
       +
       }

+28

checkmate/flake.nix

···

       1
       1
       +
       {

     

       2
       2
       +
       

     

       3
       3
       +
         outputs = inputs: inputs.flake-parts.lib.mkFlake { inherit inputs; } (inputs.import-tree ./modules);

     

       4
       4
       +
       

     

       5
       5
       +
         inputs = {

     

       6
       6
       +
           target.url = "path:..";

     

       7
       7
       +
           flake-parts = {

     

       8
       8
       +
             inputs.nixpkgs-lib.follows = "nixpkgs-lib";

     

       9
       9
       +
             url = "github:hercules-ci/flake-parts";

     

       10
       10
       +
           };

     

       11
       11
       +
           import-tree.url = "github:vic/import-tree";

     

       12
       12
       +
           nix-unit = {

     

       13
       13
       +
             inputs = {

     

       14
       14
       +
               flake-parts.follows = "flake-parts";

     

       15
       15
       +
               nixpkgs.follows = "nixpkgs";

     

       16
       16
       +
             };

     

       17
       17
       +
             url = "github:nix-community/nix-unit";

     

       18
       18
       +
           };

     

       19
       19
       +
           nixpkgs.url = "github:nixos/nixpkgs/nixpkgs-unstable";

     

       20
       20
       +
           nixpkgs-lib.follows = "nixpkgs";

     

       21
       21
       +
           systems.url = "github:nix-systems/default";

     

       22
       22
       +
           treefmt-nix = {

     

       23
       23
       +
             inputs.nixpkgs.follows = "nixpkgs";

     

       24
       24
       +
             url = "github:numtide/treefmt-nix";

     

       25
       25
       +
           };

     

       26
       26
       +
         };

     

       27
       27
       +
       

     

       28
       28
       +
       }

+25

checkmate/modules/checkmate.nix

···

       1
       1
       +
       { inputs, lib, ... }:

     

       2
       2
       +
       {

     

       3
       3
       +
         imports = [

     

       4
       4
       +
           inputs.nix-unit.modules.flake.default

     

       5
       5
       +
           inputs.treefmt-nix.flakeModule

     

       6
       6
       +
         ];

     

       7
       7
       +
         systems = import inputs.systems;

     

       8
       8
       +
       

     

       9
       9
       +
         perSystem =

     

       10
       10
       +
           { self', ... }:

     

       11
       11
       +
           {

     

       12
       12
       +
             packages.fmt = self'.formatter;

     

       13
       13
       +
             treefmt.projectRoot = inputs.target;

     

       14
       14
       +
             nix-unit = {

     

       15
       15
       +
               allowNetwork = true;

     

       16
       16
       +
               inputs = inputs;

     

       17
       17
       +
             };

     

       18
       18
       +
             treefmt.programs = {

     

       19
       19
       +
               nixfmt.enable = true;

     

       20
       20
       +
             };

     

       21
       21
       +
             treefmt.settings.global.excludes = [

     

       22
       22
       +
               "LICENSE"

     

       23
       23
       +
             ];

     

       24
       24
       +
           };

     

       25
       25
       +
       }

+61 -512

checkmate/modules/tests.nix

···

       1
       1
       -
       { inputs, ... }:

     

       2
       2
       -
       {

     

       3
       3
       -
         perSystem =

     

       4
       4
       -
           { lib, ... }:

     

       5
       5
       -
           let

     

       6
       6
       -
             transpose = import ../../nix { inherit lib; };

     

       7
       7
       -
       

     

       8
       8
       -
             mkFlake =

     

       9
       9
       -
               mod:

     

       10
       10
       -
               inputs.flake-parts.lib.mkFlake

     

       11
       11
       -
                 {

     

       12
       12
       -
                   inputs.self = [ ];

     

       13
       13
       -
                 }

     

       14
       14
       -
                 {

     

       15
       15
       -
                   systems = [ ];

     

       16
       16
       -
                   imports = [

     

       17
       17
       -
                     ../../nix/flakeModule.nix

     

       18
       18
       -
                     inputs.flake-parts.flakeModules.modules

     

       19
       19
       -
                     mod

     

       20
       20
       -
                     (fooMod "aspectOne")

     

       21
       21
       -
                     (fooMod "aspectTwo")

     

       22
       22
       -
                     (fooMod "aspectThree")

     

       23
       23
       -
                   ];

     

       24
       24
       -
                 };

     

       25
       25
       -
       

     

       26
       26
       -
             fooMod = aspect: {

     

       1
       1
       +
       { inputs, lib, ... }:

     

       2
       2
       +
       let

     

       3
       3
       +
         targetNix = "${inputs.target}/nix";

     

       4
       4
       +
         targetLib = "${inputs.target}/nix/lib.nix";

     

       5
       5
       +
         targetMod = "${inputs.target}/nix/flakeModule.nix";

     

       6
       6
       +
       

     

       7
       7
       +
         transpose = import targetNix { inherit lib; };

     

       8
       8
       +
       

     

       9
       9
       +
         mkFlake =

     

       10
       10
       +
           mod:

     

       11
       11
       +
           inputs.flake-parts.lib.mkFlake

     

       12
       12
       +
             {

     

       13
       13
       +
               inputs.self = [ ];

     

       14
       14
       +
             }

     

       15
       15
       +
             {

     

       16
       16
       +
               systems = [ ];

     

       27
       17
        
               imports = [

     

       28
       28
       -
                 { flake.modules.classOne.${aspect}.imports = [ fooOpt ]; }

     

       29
       29
       -
                 { flake.modules.classTwo.${aspect}.imports = [ fooOpt ]; }

     

       30
       30
       -
                 { flake.modules.classThree.${aspect}.imports = [ fooOpt ]; }

     

       18
       18
       +
                 targetMod

     

       19
       19
       +
                 inputs.flake-parts.flakeModules.modules

     

       20
       20
       +
                 mod

     

       21
       21
       +
                 (fooMod "aspectOne")

     

       22
       22
       +
                 (fooMod "aspectTwo")

     

       23
       23
       +
                 (fooMod "aspectThree")

     

       31
       24
        
               ];

     

       32
       25
        
             };

     

       33
       26
        
       

     

       34
       34
       -
             fooOpt = {

     

       35
       35
       -
               options.foo = lib.mkOption {

     

       36
       36
       -
                 type = lib.types.str;

     

       37
       37
       -
                 default = "<unset>";

     

       38
       38
       -
               };

     

       39
       39
       -
               options.bar = lib.mkOption {

     

       40
       40
       -
                 type = lib.types.listOf lib.types.str;

     

       41
       41
       -
                 default = [ ];

     

       42
       42
       -
               };

     

       43
       43
       -
               options.baz = lib.mkOption {

     

       44
       44
       -
                 type = lib.types.lazyAttrsOf lib.types.str;

     

       45
       45
       -
                 default = { };

     

       46
       46
       -
               };

     

       47
       47
       -
             };

     

       48
       48
       -
       

     

       49
       49
       -
             evalMod =

     

       50
       50
       -
               class: mod:

     

       51
       51
       -
               (lib.evalModules {

     

       52
       52
       -
                 inherit class;

     

       53
       53
       -
                 modules = [ mod ];

     

       54
       54
       -
               }).config;

     

       55
       55
       -
           in

     

       56
       56
       -
           {

     

       57
       57
       -
             nix-unit.tests = {

     

       58
       58
       -
               transpose."test swaps parent and child attrNames" = {

     

       59
       59
       -
                 expr = transpose { a.b.c = 1; };

     

       60
       60
       -
                 expected = {

     

       61
       61
       -
                   b.a.c = 1;

     

       62
       62
       -
                 };

     

       63
       63
       -
               };

     

       64
       64
       -
       

     

       65
       65
       -
               transpose."test common childs become one parent" = {

     

       66
       66
       -
                 expr = transpose {

     

       67
       67
       -
                   a.b = 1;

     

       68
       68
       -
                   c.b = 2;

     

       69
       69
       -
                 };

     

       70
       70
       -
                 expected.b = {

     

       71
       71
       -
                   a = 1;

     

       72
       72
       -
                   c = 2;

     

       73
       73
       -
                 };

     

       74
       74
       -
               };

     

       75
       75
       -
       

     

       76
       76
       -
               new-scope."test usage without flakes" =

     

       77
       77
       -
                 let

     

       78
       78
       -
                   flake-aspects-lib = import ../../nix/lib.nix lib;

     

       79
       79
       -
                   # first eval is like evaling the flake.

     

       80
       80
       -
                   first = lib.evalModules {

     

       81
       81
       -
                     modules = [

     

       82
       82
       -
                       (flake-aspects-lib.new-scope "hello")

     

       83
       83
       -
                       {

     

       84
       84
       -
                         hello.aspects =

     

       85
       85
       -
                           { aspects, ... }:

     

       86
       86
       -
                           {

     

       87
       87
       -
                             a.b.c = [ "world" ];

     

       88
       88
       -
                             a.includes = [ aspects.x ];

     

       89
       89
       -
                             x.b =

     

       90
       90
       -
                               { lib, ... }:

     

       91
       91
       -
                               {

     

       92
       92
       -
                                 c = lib.splitString " " "mundo cruel";

     

       93
       93
       -
                               };

     

       94
       94
       -
                           };

     

       95
       95
       -
                       }

     

       96
       96
       -
                     ];

     

       97
       97
       -
                   };

     

       98
       98
       -
                   # second eval is like evaling its nixosConfiguration

     

       99
       99
       -
                   second = lib.evalModules {

     

       100
       100
       -
                     modules = [

     

       101
       101
       -
                       { options.c = lib.mkOption { type = lib.types.listOf lib.types.str; }; }

     

       102
       102
       -
                       first.config.hello.modules.b.a

     

       103
       103
       -
                     ];

     

       104
       104
       -
                   };

     

       105
       105
       -
                   expr = lib.sort (a: b: a < b) second.config.c;

     

       106
       106
       -
                   expected = [

     

       107
       107
       -
                     "cruel"

     

       108
       108
       -
                     "mundo"

     

       109
       109
       -
                     "world"

     

       110
       110
       -
                   ];

     

       111
       111
       -
                 in

     

       112
       112
       -
                 {

     

       113
       113
       -
                   inherit expr expected;

     

       114
       114
       -
                 };

     

       115
       115
       -
       

     

       116
       116
       -
               aspects."test provides default" =

     

       117
       117
       -
                 let

     

       118
       118
       -
                   flake =

     

       119
       119
       -
                     inputs.flake-parts.lib.mkFlake

     

       120
       120
       -
                       {

     

       121
       121
       -
                         inputs.self = [ ];

     

       122
       122
       -
                         moduleLocation = builtins.toString ./.;

     

       123
       123
       -
                       }

     

       124
       124
       -
                       {

     

       125
       125
       -
                         systems = [ ];

     

       126
       126
       -
                         imports = [

     

       127
       127
       -
                           ../../nix/flakeModule.nix

     

       128
       128
       -
                           inputs.flake-parts.flakeModules.modules

     

       129
       129
       -
                         ];

     

       130
       130
       -
                       };

     

       131
       131
       -
                   expr = flake.modules;

     

       132
       132
       -
                   expected = { };

     

       133
       133
       -
                 in

     

       134
       134
       -
                 {

     

       135
       135
       -
                   inherit expr expected;

     

       136
       136
       -
                 };

     

       137
       137
       -
       

     

       138
       138
       -
               aspects."test transposes to flake.modules" =

     

       139
       139
       -
                 let

     

       140
       140
       -
                   flake = mkFlake {

     

       141
       141
       -
                     flake.aspects.aspectOne = {

     

       142
       142
       -
                       classOne.foo = "niri";

     

       143
       143
       -
                       classTwo.foo = "paper.spoon";

     

       144
       144
       -
                     };

     

       145
       145
       -
                   };

     

       146
       146
       -
                   expr = {

     

       147
       147
       -
                     classOne = (evalMod "classOne" flake.modules.classOne.aspectOne).foo;

     

       148
       148
       -
                     classTwo = (evalMod "classTwo" flake.modules.classTwo.aspectOne).foo;

     

       149
       149
       -
                   };

     

       150
       150
       -
                   expected = {

     

       151
       151
       -
                     classOne = "niri";

     

       152
       152
       -
                     classTwo = "paper.spoon";

     

       153
       153
       -
                   };

     

       154
       154
       -
                 in

     

       155
       155
       -
                 {

     

       156
       156
       -
                   inherit expr expected;

     

       157
       157
       -
                 };

     

       158
       158
       -
       

     

       159
       159
       -
               aspects."test dependencies on aspects" =

     

       160
       160
       -
                 let

     

       161
       161
       -
                   flake = mkFlake {

     

       162
       162
       -
                     flake.aspects =

     

       163
       163
       -
                       { aspects, ... }:

     

       164
       164
       -
                       {

     

       165
       165
       -
                         aspectOne = {

     

       166
       166
       -
                           description = "os config";

     

       167
       167
       -
                           includes = with aspects; [ aspectTwo ];

     

       168
       168
       -
                           classOne.bar = [ "os" ];

     

       169
       169
       -
                         };

     

       170
       170
       -
       

     

       171
       171
       -
                         aspectTwo = {

     

       172
       172
       -
                           description = "user config at os level";

     

       173
       173
       -
                           classOne.bar = [ "user" ];

     

       174
       174
       -
                         };

     

       175
       175
       -
                       };

     

       176
       176
       -
                   };

     

       177
       177
       -
                   expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       178
       178
       -
                   expected = [

     

       179
       179
       -
                     "os"

     

       180
       180
       -
                     "user"

     

       181
       181
       -
                   ];

     

       182
       182
       -
                 in

     

       183
       183
       -
                 {

     

       184
       184
       -
                   inherit expr expected;

     

       185
       185
       -
                 };

     

       186
       186
       -
       

     

       187
       187
       -
               aspects."test resolve aspect-chain" =

     

       188
       188
       -
                 let

     

       189
       189
       -
                   flake = mkFlake {

     

       190
       190
       -
                     flake.aspects =

     

       191
       191
       -
                       { aspects, ... }:

     

       192
       192
       -
                       {

     

       193
       193
       -
                         aspectOne = {

     

       194
       194
       -
                           name = "one";

     

       195
       195
       -
                           includes = [ aspects.aspectOne.provides.dos ];

     

       196
       196
       -
                           classOne.bar = [ "zzz" ];

     

       197
       197
       -
                           provides.dos =

     

       198
       198
       -
                             { aspect-chain, ... }:

     

       199
       199
       -
                             {

     

       200
       200
       -
                               name = "dos";

     

       201
       201
       -
                               includes = [ aspects.aspectOne.provides.tres ];

     

       202
       202
       -
                               classOne.bar = map (x: x.name) aspect-chain;

     

       203
       203
       -
                             };

     

       204
       204
       -
       

     

       205
       205
       -
                           provides.tres =

     

       206
       206
       -
                             { aspect-chain, ... }:

     

       207
       207
       -
                             {

     

       208
       208
       -
                               name = "tres";

     

       209
       209
       -
                               classOne.bar = [ (lib.last aspect-chain).name ];

     

       210
       210
       -
                             };

     

       211
       211
       -
                         };

     

       212
       212
       -
                       };

     

       213
       213
       -
                   };

     

       214
       214
       -
                   mod = {

     

       215
       215
       -
                     imports = [

     

       216
       216
       -
                       fooOpt

     

       217
       217
       -
                       (flake.aspects.aspectOne.resolve { class = "classOne"; })

     

       218
       218
       -
                     ];

     

       219
       219
       -
                   };

     

       220
       220
       -
                   expr = lib.sort (a: b: a < b) (evalMod "classOne" mod).bar;

     

       221
       221
       -
                   expected = [

     

       222
       222
       -
                     "dos"

     

       223
       223
       -
                     "one"

     

       224
       224
       -
                     "zzz"

     

       225
       225
       -
                   ];

     

       226
       226
       -
                 in

     

       227
       227
       -
                 {

     

       228
       228
       -
                   inherit expr expected;

     

       229
       229
       -
                 };

     

       230
       230
       -
       

     

       231
       231
       -
               aspects."test modules resolved" =

     

       232
       232
       -
                 let

     

       233
       233
       -
                   flake = mkFlake {

     

       234
       234
       -
                     flake.aspects =

     

       235
       235
       -
                       { aspects, ... }:

     

       236
       236
       -
                       {

     

       237
       237
       -
                         aspectOne = {

     

       238
       238
       -
                           name = "one";

     

       239
       239
       -
                           includes = [ aspects.aspectOne.provides.dos ];

     

       240
       240
       -
                           classOne.bar = [ "zzz" ];

     

       241
       241
       -
                           provides.dos =

     

       242
       242
       -
                             { aspect-chain, ... }:

     

       243
       243
       -
                             {

     

       244
       244
       -
                               name = "dos";

     

       245
       245
       -
                               includes = [ aspects.aspectOne.provides.tres ];

     

       246
       246
       -
                               classOne.bar = map (x: x.name) aspect-chain;

     

       247
       247
       -
                             };

     

       248
       248
       -
       

     

       249
       249
       -
                           provides.tres =

     

       250
       250
       -
                             { aspect-chain, ... }:

     

       251
       251
       -
                             {

     

       252
       252
       -
                               name = "tres";

     

       253
       253
       -
                               classOne.bar = [ (lib.last aspect-chain).name ];

     

       254
       254
       -
                             };

     

       255
       255
       -
                         };

     

       256
       256
       -
                       };

     

       257
       257
       -
                   };

     

       258
       258
       -
                   mod = {

     

       259
       259
       -
                     imports = [

     

       260
       260
       -
                       fooOpt

     

       261
       261
       -
                       (flake.aspects.aspectOne.modules.classOne)

     

       262
       262
       -
                     ];

     

       263
       263
       -
                   };

     

       264
       264
       -
                   expr = lib.sort (a: b: a < b) (evalMod "classOne" mod).bar;

     

       265
       265
       -
                   expected = [

     

       266
       266
       -
                     "dos"

     

       267
       267
       -
                     "one"

     

       268
       268
       -
                     "zzz"

     

       269
       269
       -
                   ];

     

       270
       270
       -
                 in

     

       271
       271
       -
                 {

     

       272
       272
       -
                   inherit expr expected;

     

       273
       273
       -
                 };

     

       274
       274
       -
       

     

       275
       275
       -
               aspects."test provides" =

     

       276
       276
       -
                 let

     

       277
       277
       -
                   flake = mkFlake {

     

       278
       278
       -
                     flake.aspects =

     

       279
       279
       -
                       { aspects, ... }:

     

       280
       280
       -
                       {

     

       281
       281
       -
                         aspectOne.includes = with aspects.aspectTwo.provides; [

     

       282
       282
       -
                           foo

     

       283
       283
       -
                           bar

     

       284
       284
       -
                         ];

     

       285
       285
       -
                         aspectOne.classOne = { }; # must be present for mixing dependencies.

     

       286
       286
       -
                         aspectTwo = {

     

       287
       287
       -
                           classOne.bar = [ "class one not included" ];

     

       288
       288
       -
                           classTwo.bar = [ "class two not included" ];

     

       289
       289
       -
                           provides.foo =

     

       290
       290
       -
                             { class, aspect-chain }:

     

       291
       291
       -
                             {

     

       292
       292
       -
                               name = "aspectTwo.foo";

     

       293
       293
       -
                               description = "aspectTwo foo provided";

     

       294
       294
       -
                               includes = [

     

       295
       295
       -
                                 aspects.aspectThree.provides.moo

     

       296
       296
       -
                                 aspects.aspectTwo.provides.baz

     

       297
       297
       -
                               ];

     

       298
       298
       -
                               classOne.bar = [ "two:${class}:${lib.concatStringsSep "/" (lib.map (x: x.name) aspect-chain)}" ];

     

       299
       299
       -
                               classTwo.bar = [ "foo class two not included" ];

     

       300
       300
       -
                             };

     

       301
       301
       -
                           # a provider can be immediately an aspect object.

     

       302
       302
       -
                           provides.bar = {

     

       303
       303
       -
                             # classOne is missing on bar

     

       304
       304
       -
                             classTwo.bar = [ "bar class two not included" ];

     

       305
       305
       -
                           };

     

       306
       306
       -
                           # _ is an shortcut alias of provides.

     

       307
       307
       -
                           _.baz = {

     

       308
       308
       -
                             # classOne is missing on bar

     

       309
       309
       -
                             classTwo.bar = [ "baz" ];

     

       310
       310
       -
                           };

     

       311
       311
       -
                         };

     

       312
       312
       -
                         aspectThree.provides.moo =

     

       313
       313
       -
                           { aspect-chain, class }:

     

       314
       314
       -
                           {

     

       315
       315
       -
                             classOne.bar = [ "three:${class}:${lib.concatStringsSep "/" (lib.map (x: x.name) aspect-chain)}" ];

     

       316
       316
       -
                           };

     

       317
       317
       -
                       };

     

       318
       318
       -
                   };

     

       319
       319
       -
                   expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       320
       320
       -
                   expected = [

     

       321
       321
       -
                     "three:classOne:aspectOne/aspectTwo.foo"

     

       322
       322
       -
                     "two:classOne:aspectOne"

     

       323
       323
       -
                   ];

     

       324
       324
       -
                 in

     

       325
       325
       -
                 {

     

       326
       326
       -
                   inherit expr expected;

     

       327
       327
       -
                 };

     

       328
       328
       -
       

     

       329
       329
       -
               aspects."test provides using fixpoints" =

     

       330
       330
       -
                 let

     

       331
       331
       -
                   flake = mkFlake {

     

       332
       332
       -
                     flake.aspects =

     

       333
       333
       -
                       { aspects, ... }:

     

       334
       334
       -
                       {

     

       335
       335
       -
                         aspectOne = {

     

       336
       336
       -
                           classOne.bar = [ "1" ];

     

       337
       337
       -
                           includes = [

     

       338
       338
       -
                             aspects.aspectTwo

     

       339
       339
       -
                           ];

     

       340
       340
       -
                         };

     

       341
       341
       -
       

     

       342
       342
       -
                         aspectTwo = {

     

       343
       343
       -
                           classOne.bar = [ "2" ];

     

       344
       344
       -
                           includes = [ aspects.aspectTwo.provides.three-and-four-and-five ];

     

       345
       345
       -
                           provides =

     

       346
       346
       -
                             { provides, ... }:

     

       347
       347
       -
                             {

     

       348
       348
       -
                               three-and-four-and-five = {

     

       349
       349
       -
                                 classOne.bar = [ "3" ];

     

       350
       350
       -
                                 includes = [

     

       351
       351
       -
                                   provides.four

     

       352
       352
       -
                                   aspects.five

     

       353
       353
       -
                                 ];

     

       354
       354
       -
                               };

     

       355
       355
       -
                               four = {

     

       356
       356
       -
                                 classOne.bar = [ "4" ];

     

       357
       357
       -
                               };

     

       358
       358
       -
                             };

     

       359
       359
       -
                         };

     

       360
       360
       -
       

     

       361
       361
       -
                         five.classOne.bar = [ "5" ];

     

       362
       362
       -
                       };

     

       363
       363
       -
                   };

     

       364
       364
       -
       

     

       365
       365
       -
                   expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       366
       366
       -
                   expected = [

     

       367
       367
       -
                     "1"

     

       368
       368
       -
                     "2"

     

       369
       369
       -
                     "3"

     

       370
       370
       -
                     "4"

     

       371
       371
       -
                     "5"

     

       372
       372
       -
                   ];

     

       373
       373
       -
                 in

     

       374
       374
       -
                 {

     

       375
       375
       -
                   inherit expr expected;

     

       376
       376
       -
                 };

     

       377
       377
       -
       

     

       378
       378
       -
               aspects."test provides parametrized modules" =

     

       379
       379
       -
                 let

     

       380
       380
       -
                   flake = mkFlake {

     

       381
       381
       -
                     flake.aspects =

     

       382
       382
       -
                       { aspects, ... }:

     

       383
       383
       -
                       {

     

       384
       384
       -
                         aspectOne.includes = [ (aspects.aspectTwo.provides.hello "mundo") ];

     

       385
       385
       -
                         aspectOne.classOne.bar = [ "1" ];

     

       386
       386
       -
       

     

       387
       387
       -
                         aspectTwo.provides.hello = world: {

     

       388
       388
       -
                           classOne.bar = [ world ];

     

       389
       389
       -
                         };

     

       390
       390
       -
                       };

     

       391
       391
       -
                   };

     

       392
       392
       -
       

     

       393
       393
       -
                   expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       394
       394
       -
                   expected = [

     

       395
       395
       -
                     "1"

     

       396
       396
       -
                     "mundo"

     

       397
       397
       -
                   ];

     

       398
       398
       -
                 in

     

       399
       399
       -
                 {

     

       400
       400
       -
                   inherit expr expected;

     

       401
       401
       -
                 };

     

       402
       402
       -
       

     

       403
       403
       -
               aspects."test override default provider" =

     

       404
       404
       -
                 let

     

       405
       405
       -
                   flake = mkFlake {

     

       406
       406
       -
                     flake.aspects =

     

       407
       407
       -
                       { aspects, ... }:

     

       408
       408
       -
                       {

     

       409
       409
       -
                         aspectOne =

     

       410
       410
       -
                           { aspect, ... }:

     

       411
       411
       -
                           {

     

       412
       412
       -
                             includes = [ (aspects.aspectTwo { message = "hello ${aspect.name}"; }) ];

     

       413
       413
       -
                             classOne = { }; # required for propagation

     

       414
       414
       -
                           };

     

       415
       415
       -
       

     

       416
       416
       -
                         aspectTwo.__functor =

     

       417
       417
       -
                           _:

     

       418
       418
       -
                           { message }: # args must be always named

     

       419
       419
       -
                           { class, aspect-chain }:

     

       420
       420
       -
                           { aspect, ... }:

     

       421
       421
       -
                           {

     

       422
       422
       -
                             classOne.bar = [

     

       423
       423
       -
                               "foo"

     

       424
       424
       -
                               aspect.name

     

       425
       425
       -
                               message

     

       426
       426
       -
                               class

     

       427
       427
       -
                             ]

     

       428
       428
       -
                             ++ (lib.map (x: x.name) aspect-chain);

     

       429
       429
       -
                           };

     

       430
       430
       -
                         aspectTwo.classOne.bar = [ "itself not included" ];

     

       431
       431
       -
                       };

     

       432
       432
       -
                   };

     

       433
       433
       -
       

     

       434
       434
       -
                   expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       435
       435
       -
                   expected = [

     

       436
       436
       -
                     "foo"

     

       437
       437
       -
                     "<function body>"

     

       438
       438
       -
                     "hello aspectOne"

     

       439
       439
       -
                     "classOne"

     

       440
       440
       -
                     "aspectOne"

     

       441
       441
       -
                   ];

     

       442
       442
       -
                 in

     

       443
       443
       -
                 {

     

       444
       444
       -
                   inherit expr expected;

     

       445
       445
       -
                 };

     

       446
       446
       -
       

     

       447
       447
       -
               aspects."test override default provider includes" =

     

       448
       448
       -
                 let

     

       449
       449
       -
                   flake = mkFlake {

     

       450
       450
       -
                     flake.aspects =

     

       451
       451
       -
                       { aspects, ... }:

     

       452
       452
       -
                       {

     

       453
       453
       -
                         aspectOne = {

     

       454
       454
       -
                           classOne.bar = [ "should-not-be-present" ];

     

       455
       455
       -
                           includes = [ aspects.aspectTwo ];

     

       456
       456
       -
                           __functor = aspect: {

     

       457
       457
       -
                             includes = [

     

       458
       458
       -
                               { classOne.bar = [ "from-functor" ]; }

     

       459
       459
       -
                             ]

     

       460
       460
       -
                             ++ map (f: f { message = "hello"; }) aspect.includes;

     

       461
       461
       -
                           };

     

       462
       462
       -
                         };

     

       463
       463
       -
                         aspectTwo.__functor =

     

       464
       464
       -
                           _aspect:

     

       465
       465
       -
                           { message }:

     

       466
       466
       -
                           {

     

       467
       467
       -
                             classOne.bar = [ message ];

     

       468
       468
       -
                           };

     

       469
       469
       -
                       };

     

       470
       470
       -
                   };

     

       471
       471
       -
       

     

       472
       472
       -
                   expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       473
       473
       -
                   expected = [

     

       474
       474
       -
                     "hello"

     

       475
       475
       -
                     "from-functor"

     

       476
       476
       -
                   ];

     

       477
       477
       -
                 in

     

       478
       478
       -
                 {

     

       479
       479
       -
                   inherit expr expected;

     

       480
       480
       -
                 };

     

       481
       481
       -
       

     

       482
       482
       -
               aspects."test define top-level context-aware aspect" =

     

       483
       483
       -
                 let

     

       484
       484
       -
                   flake = mkFlake {

     

       485
       485
       -
                     flake.aspects =

     

       486
       486
       -
                       { aspects, ... }:

     

       487
       487
       -
                       {

     

       488
       488
       -
                         aspectOne = {

     

       489
       489
       -
                           classOne.bar = [ "should-not-be-present" ];

     

       490
       490
       -
                           includes = [ aspects.aspectTwo ];

     

       491
       491
       -
                           __functor = aspect: {

     

       492
       492
       -
                             includes = [

     

       493
       493
       -
                               { classOne.bar = [ "from-functor" ]; }

     

       494
       494
       -
                             ]

     

       495
       495
       -
                             ++ map (f: f { message = "hello"; }) aspect.includes;

     

       496
       496
       -
                           };

     

       497
       497
       -
                         };

     

       498
       498
       -
                         aspectTwo =

     

       499
       499
       -
                           { message }:

     

       500
       500
       -
                           {

     

       501
       501
       -
                             classOne.bar = [ message ];

     

       502
       502
       -
                           };

     

       503
       503
       -
                       };

     

       504
       504
       -
                   };

     

       505
       505
       -
       

     

       506
       506
       -
                   expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       507
       507
       -
                   expected = [

     

       508
       508
       -
                     "hello"

     

       509
       509
       -
                     "from-functor"

     

       510
       510
       -
                   ];

     

       511
       511
       -
                 in

     

       512
       512
       -
                 {

     

       513
       513
       -
                   inherit expr expected;

     

       514
       514
       -
                 };

     

       515
       515
       -
             };

     

       516
       516
       -
       

     

       27
       27
       +
         fooMod = aspect: {

     

       28
       28
       +
           imports = [

     

       29
       29
       +
             { flake.modules.classOne.${aspect}.imports = [ fooOpt ]; }

     

       30
       30
       +
             { flake.modules.classTwo.${aspect}.imports = [ fooOpt ]; }

     

       31
       31
       +
             { flake.modules.classThree.${aspect}.imports = [ fooOpt ]; }

     

       32
       32
       +
           ];

     

       33
       33
       +
         };

     

       34
       34
       +
       

     

       35
       35
       +
         fooOpt = {

     

       36
       36
       +
           options.foo = lib.mkOption {

     

       37
       37
       +
             type = lib.types.str;

     

       38
       38
       +
             default = "<unset>";

     

       39
       39
       +
           };

     

       40
       40
       +
           options.bar = lib.mkOption {

     

       41
       41
       +
             type = lib.types.listOf lib.types.str;

     

       42
       42
       +
             default = [ ];

     

       517
       43
        
           };

     

       44
       44
       +
           options.baz = lib.mkOption {

     

       45
       45
       +
             type = lib.types.lazyAttrsOf lib.types.str;

     

       46
       46
       +
             default = { };

     

       47
       47
       +
           };

     

       48
       48
       +
         };

     

       49
       49
       +
       

     

       50
       50
       +
         evalMod =

     

       51
       51
       +
           class: mod:

     

       52
       52
       +
           (lib.evalModules {

     

       53
       53
       +
             inherit class;

     

       54
       54
       +
             modules = [ mod ];

     

       55
       55
       +
           }).config;

     

       56
       56
       +
       in

     

       57
       57
       +
       {

     

       58
       58
       +
         _module.args = {

     

       59
       59
       +
           inherit

     

       60
       60
       +
             transpose

     

       61
       61
       +
             targetLib

     

       62
       62
       +
             targetMod

     

       63
       63
       +
             targetNix

     

       64
       64
       +
             ;

     

       65
       65
       +
           inherit mkFlake evalMod fooOpt;

     

       66
       66
       +
         };

     

       518
       67
        
       }

+53

checkmate/modules/tests/aspect_chain.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         lib,

     

       3
       3
       +
         mkFlake,

     

       4
       4
       +
         evalMod,

     

       5
       5
       +
         fooOpt,

     

       6
       6
       +
         ...

     

       7
       7
       +
       }:

     

       8
       8
       +
       {

     

       9
       9
       +
       

     

       10
       10
       +
         flake.tests."test resolve aspect-chain" =

     

       11
       11
       +
           let

     

       12
       12
       +
             flake = mkFlake {

     

       13
       13
       +
               flake.aspects =

     

       14
       14
       +
                 { aspects, ... }:

     

       15
       15
       +
                 {

     

       16
       16
       +
                   aspectOne = {

     

       17
       17
       +
                     name = "one";

     

       18
       18
       +
                     includes = [ aspects.aspectOne.provides.dos ];

     

       19
       19
       +
                     classOne.bar = [ "zzz" ];

     

       20
       20
       +
                     provides.dos =

     

       21
       21
       +
                       { aspect-chain, ... }:

     

       22
       22
       +
                       {

     

       23
       23
       +
                         name = "dos";

     

       24
       24
       +
                         includes = [ aspects.aspectOne.provides.tres ];

     

       25
       25
       +
                         classOne.bar = map (x: x.name) aspect-chain;

     

       26
       26
       +
                       };

     

       27
       27
       +
       

     

       28
       28
       +
                     provides.tres =

     

       29
       29
       +
                       { aspect-chain, ... }:

     

       30
       30
       +
                       {

     

       31
       31
       +
                         name = "tres";

     

       32
       32
       +
                         classOne.bar = [ (lib.last aspect-chain).name ];

     

       33
       33
       +
                       };

     

       34
       34
       +
                   };

     

       35
       35
       +
                 };

     

       36
       36
       +
             };

     

       37
       37
       +
             mod = {

     

       38
       38
       +
               imports = [

     

       39
       39
       +
                 fooOpt

     

       40
       40
       +
                 (flake.aspects.aspectOne.resolve { class = "classOne"; })

     

       41
       41
       +
               ];

     

       42
       42
       +
             };

     

       43
       43
       +
             expr = lib.sort (a: b: a < b) (evalMod "classOne" mod).bar;

     

       44
       44
       +
             expected = [

     

       45
       45
       +
               "dos"

     

       46
       46
       +
               "one"

     

       47
       47
       +
               "zzz"

     

       48
       48
       +
             ];

     

       49
       49
       +
           in

     

       50
       50
       +
           {

     

       51
       51
       +
             inherit expr expected;

     

       52
       52
       +
           };

     

       53
       53
       +
       }

+53

checkmate/modules/tests/aspect_default_provider_functor.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         mkFlake,

     

       3
       3
       +
         evalMod,

     

       4
       4
       +
         lib,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test override default provider" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake = mkFlake {

     

       12
       12
       +
               flake.aspects =

     

       13
       13
       +
                 { aspects, ... }:

     

       14
       14
       +
                 {

     

       15
       15
       +
                   aspectOne =

     

       16
       16
       +
                     { aspect, ... }:

     

       17
       17
       +
                     {

     

       18
       18
       +
                       includes = [ (aspects.aspectTwo { message = "hello ${aspect.name}"; }) ];

     

       19
       19
       +
                       classOne = { }; # required for propagation

     

       20
       20
       +
                     };

     

       21
       21
       +
       

     

       22
       22
       +
                   aspectTwo.__functor =

     

       23
       23
       +
                     _:

     

       24
       24
       +
                     { message }: # args must be always named

     

       25
       25
       +
                     { class, aspect-chain }:

     

       26
       26
       +
                     { aspect, ... }:

     

       27
       27
       +
                     {

     

       28
       28
       +
                       classOne.bar = [

     

       29
       29
       +
                         "foo"

     

       30
       30
       +
                         aspect.name

     

       31
       31
       +
                         message

     

       32
       32
       +
                         class

     

       33
       33
       +
                       ]

     

       34
       34
       +
                       ++ (lib.map (x: x.name) aspect-chain);

     

       35
       35
       +
                     };

     

       36
       36
       +
                   aspectTwo.classOne.bar = [ "itself not included" ];

     

       37
       37
       +
                 };

     

       38
       38
       +
             };

     

       39
       39
       +
       

     

       40
       40
       +
             expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       41
       41
       +
             expected = [

     

       42
       42
       +
               "foo"

     

       43
       43
       +
               "<function body>"

     

       44
       44
       +
               "hello aspectOne"

     

       45
       45
       +
               "classOne"

     

       46
       46
       +
               "aspectOne"

     

       47
       47
       +
             ];

     

       48
       48
       +
           in

     

       49
       49
       +
           {

     

       50
       50
       +
             inherit expr expected;

     

       51
       51
       +
           };

     

       52
       52
       +
       

     

       53
       53
       +
       }

+43

checkmate/modules/tests/aspect_default_provider_override.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         mkFlake,

     

       3
       3
       +
         evalMod,

     

       4
       4
       +
         lib,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test override default provider includes" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake = mkFlake {

     

       12
       12
       +
               flake.aspects =

     

       13
       13
       +
                 { aspects, ... }:

     

       14
       14
       +
                 {

     

       15
       15
       +
                   aspectOne = {

     

       16
       16
       +
                     classOne.bar = [ "should-not-be-present" ];

     

       17
       17
       +
                     includes = [ aspects.aspectTwo ];

     

       18
       18
       +
                     __functor = aspect: {

     

       19
       19
       +
                       includes = [

     

       20
       20
       +
                         { classOne.bar = [ "from-functor" ]; }

     

       21
       21
       +
                       ]

     

       22
       22
       +
                       ++ map (f: f { message = "hello"; }) aspect.includes;

     

       23
       23
       +
                     };

     

       24
       24
       +
                   };

     

       25
       25
       +
                   aspectTwo.__functor =

     

       26
       26
       +
                     _aspect:

     

       27
       27
       +
                     { message }:

     

       28
       28
       +
                     {

     

       29
       29
       +
                       classOne.bar = [ message ];

     

       30
       30
       +
                     };

     

       31
       31
       +
                 };

     

       32
       32
       +
             };

     

       33
       33
       +
       

     

       34
       34
       +
             expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       35
       35
       +
             expected = [

     

       36
       36
       +
               "hello"

     

       37
       37
       +
               "from-functor"

     

       38
       38
       +
             ];

     

       39
       39
       +
           in

     

       40
       40
       +
           {

     

       41
       41
       +
             inherit expr expected;

     

       42
       42
       +
           };

     

       43
       43
       +
       }

+37

checkmate/modules/tests/aspect_dependencies.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         mkFlake,

     

       3
       3
       +
         evalMod,

     

       4
       4
       +
         lib,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test dependencies on aspects" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake = mkFlake {

     

       12
       12
       +
               flake.aspects =

     

       13
       13
       +
                 { aspects, ... }:

     

       14
       14
       +
                 {

     

       15
       15
       +
                   aspectOne = {

     

       16
       16
       +
                     description = "os config";

     

       17
       17
       +
                     includes = with aspects; [ aspectTwo ];

     

       18
       18
       +
                     classOne.bar = [ "os" ];

     

       19
       19
       +
                   };

     

       20
       20
       +
       

     

       21
       21
       +
                   aspectTwo = {

     

       22
       22
       +
                     description = "user config at os level";

     

       23
       23
       +
                     classOne.bar = [ "user" ];

     

       24
       24
       +
                   };

     

       25
       25
       +
                 };

     

       26
       26
       +
             };

     

       27
       27
       +
             expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       28
       28
       +
             expected = [

     

       29
       29
       +
               "os"

     

       30
       30
       +
               "user"

     

       31
       31
       +
             ];

     

       32
       32
       +
           in

     

       33
       33
       +
           {

     

       34
       34
       +
             inherit expr expected;

     

       35
       35
       +
           };

     

       36
       36
       +
       

     

       37
       37
       +
       }

+59

checkmate/modules/tests/aspect_fixpoint.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         lib,

     

       3
       3
       +
         mkFlake,

     

       4
       4
       +
         evalMod,

     

       5
       5
       +
         fooOpt,

     

       6
       6
       +
         ...

     

       7
       7
       +
       }:

     

       8
       8
       +
       {

     

       9
       9
       +
       

     

       10
       10
       +
         flake.tests."test provides using fixpoints" =

     

       11
       11
       +
           let

     

       12
       12
       +
             flake = mkFlake {

     

       13
       13
       +
               flake.aspects =

     

       14
       14
       +
                 { aspects, ... }@top:

     

       15
       15
       +
                 {

     

       16
       16
       +
                   aspectOne = {

     

       17
       17
       +
                     classOne.bar = [ "1" ];

     

       18
       18
       +
                     includes = [

     

       19
       19
       +
                       aspects.aspectTwo

     

       20
       20
       +
                     ];

     

       21
       21
       +
                   };

     

       22
       22
       +
       

     

       23
       23
       +
                   aspectTwo = {

     

       24
       24
       +
                     classOne.bar = [ "2" ];

     

       25
       25
       +
                     includes = [ aspects.aspectTwo.provides.three-and-four-and-five ];

     

       26
       26
       +
                     provides =

     

       27
       27
       +
                       { aspects, ... }:

     

       28
       28
       +
                       {

     

       29
       29
       +
                         three-and-four-and-five = {

     

       30
       30
       +
                           classOne.bar = [ "3" ];

     

       31
       31
       +
                           includes = [

     

       32
       32
       +
                             aspects.four

     

       33
       33
       +
                             top.aspects.five

     

       34
       34
       +
                           ];

     

       35
       35
       +
                         };

     

       36
       36
       +
                         four = {

     

       37
       37
       +
                           classOne.bar = [ "4" ];

     

       38
       38
       +
                         };

     

       39
       39
       +
                       };

     

       40
       40
       +
                   };

     

       41
       41
       +
       

     

       42
       42
       +
                   five.classOne.bar = [ "5" ];

     

       43
       43
       +
                 };

     

       44
       44
       +
             };

     

       45
       45
       +
       

     

       46
       46
       +
             expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       47
       47
       +
             expected = [

     

       48
       48
       +
               "1"

     

       49
       49
       +
               "2"

     

       50
       50
       +
               "3"

     

       51
       51
       +
               "4"

     

       52
       52
       +
               "5"

     

       53
       53
       +
             ];

     

       54
       54
       +
           in

     

       55
       55
       +
           {

     

       56
       56
       +
             inherit expr expected;

     

       57
       57
       +
           };

     

       58
       58
       +
       

     

       59
       59
       +
       }

+54

checkmate/modules/tests/aspect_modules_resolved.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         lib,

     

       3
       3
       +
         mkFlake,

     

       4
       4
       +
         evalMod,

     

       5
       5
       +
         fooOpt,

     

       6
       6
       +
         ...

     

       7
       7
       +
       }:

     

       8
       8
       +
       {

     

       9
       9
       +
       

     

       10
       10
       +
         flake.tests."test modules resolved" =

     

       11
       11
       +
           let

     

       12
       12
       +
             flake = mkFlake {

     

       13
       13
       +
               flake.aspects =

     

       14
       14
       +
                 { aspects, ... }:

     

       15
       15
       +
                 {

     

       16
       16
       +
                   aspectOne = {

     

       17
       17
       +
                     name = "one";

     

       18
       18
       +
                     includes = [ aspects.aspectOne.provides.dos ];

     

       19
       19
       +
                     classOne.bar = [ "zzz" ];

     

       20
       20
       +
                     provides.dos =

     

       21
       21
       +
                       { aspect-chain, ... }:

     

       22
       22
       +
                       {

     

       23
       23
       +
                         name = "dos";

     

       24
       24
       +
                         includes = [ aspects.aspectOne.provides.tres ];

     

       25
       25
       +
                         classOne.bar = map (x: x.name) aspect-chain;

     

       26
       26
       +
                       };

     

       27
       27
       +
       

     

       28
       28
       +
                     provides.tres =

     

       29
       29
       +
                       { aspect-chain, ... }:

     

       30
       30
       +
                       {

     

       31
       31
       +
                         name = "tres";

     

       32
       32
       +
                         classOne.bar = [ (lib.last aspect-chain).name ];

     

       33
       33
       +
                       };

     

       34
       34
       +
                   };

     

       35
       35
       +
                 };

     

       36
       36
       +
             };

     

       37
       37
       +
             mod = {

     

       38
       38
       +
               imports = [

     

       39
       39
       +
                 fooOpt

     

       40
       40
       +
                 (flake.aspects.aspectOne.modules.classOne)

     

       41
       41
       +
               ];

     

       42
       42
       +
             };

     

       43
       43
       +
             expr = lib.sort (a: b: a < b) (evalMod "classOne" mod).bar;

     

       44
       44
       +
             expected = [

     

       45
       45
       +
               "dos"

     

       46
       46
       +
               "one"

     

       47
       47
       +
               "zzz"

     

       48
       48
       +
             ];

     

       49
       49
       +
           in

     

       50
       50
       +
           {

     

       51
       51
       +
             inherit expr expected;

     

       52
       52
       +
           };

     

       53
       53
       +
       

     

       54
       54
       +
       }

+34

checkmate/modules/tests/aspect_parametric.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         mkFlake,

     

       3
       3
       +
         evalMod,

     

       4
       4
       +
         lib,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test provides parametrized modules" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake = mkFlake {

     

       12
       12
       +
               flake.aspects =

     

       13
       13
       +
                 { aspects, ... }:

     

       14
       14
       +
                 {

     

       15
       15
       +
                   aspectOne.includes = [ (aspects.aspectTwo.provides.hello "mundo") ];

     

       16
       16
       +
                   aspectOne.classOne.bar = [ "1" ];

     

       17
       17
       +
       

     

       18
       18
       +
                   aspectTwo.provides.hello = world: {

     

       19
       19
       +
                     classOne.bar = [ world ];

     

       20
       20
       +
                   };

     

       21
       21
       +
                 };

     

       22
       22
       +
             };

     

       23
       23
       +
       

     

       24
       24
       +
             expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       25
       25
       +
             expected = [

     

       26
       26
       +
               "1"

     

       27
       27
       +
               "mundo"

     

       28
       28
       +
             ];

     

       29
       29
       +
           in

     

       30
       30
       +
           {

     

       31
       31
       +
             inherit expr expected;

     

       32
       32
       +
           };

     

       33
       33
       +
       

     

       34
       34
       +
       }

+64

checkmate/modules/tests/aspect_provides.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         lib,

     

       3
       3
       +
         mkFlake,

     

       4
       4
       +
         evalMod,

     

       5
       5
       +
         fooOpt,

     

       6
       6
       +
         ...

     

       7
       7
       +
       }:

     

       8
       8
       +
       {

     

       9
       9
       +
       

     

       10
       10
       +
         flake.tests."test provides" =

     

       11
       11
       +
           let

     

       12
       12
       +
             flake = mkFlake {

     

       13
       13
       +
               flake.aspects =

     

       14
       14
       +
                 { aspects, ... }:

     

       15
       15
       +
                 {

     

       16
       16
       +
                   aspectOne.includes = with aspects.aspectTwo.provides; [

     

       17
       17
       +
                     foo

     

       18
       18
       +
                     bar

     

       19
       19
       +
                   ];

     

       20
       20
       +
                   aspectOne.classOne = { }; # must be present for mixing dependencies.

     

       21
       21
       +
                   aspectTwo = {

     

       22
       22
       +
                     classOne.bar = [ "class one not included" ];

     

       23
       23
       +
                     classTwo.bar = [ "class two not included" ];

     

       24
       24
       +
                     provides.foo =

     

       25
       25
       +
                       { class, aspect-chain }:

     

       26
       26
       +
                       {

     

       27
       27
       +
                         name = "aspectTwo.foo";

     

       28
       28
       +
                         description = "aspectTwo foo provided";

     

       29
       29
       +
                         includes = [

     

       30
       30
       +
                           aspects.aspectThree.provides.moo

     

       31
       31
       +
                           aspects.aspectTwo.provides.baz

     

       32
       32
       +
                         ];

     

       33
       33
       +
                         classOne.bar = [ "two:${class}:${lib.concatStringsSep "/" (lib.map (x: x.name) aspect-chain)}" ];

     

       34
       34
       +
                         classTwo.bar = [ "foo class two not included" ];

     

       35
       35
       +
                       };

     

       36
       36
       +
                     # a provider can be immediately an aspect object.

     

       37
       37
       +
                     provides.bar = {

     

       38
       38
       +
                       # classOne is missing on bar

     

       39
       39
       +
                       classTwo.bar = [ "bar class two not included" ];

     

       40
       40
       +
                     };

     

       41
       41
       +
                     # _ is an shortcut alias of provides.

     

       42
       42
       +
                     _.baz = {

     

       43
       43
       +
                       # classOne is missing on bar

     

       44
       44
       +
                       classTwo.bar = [ "baz" ];

     

       45
       45
       +
                     };

     

       46
       46
       +
                   };

     

       47
       47
       +
                   aspectThree.provides.moo =

     

       48
       48
       +
                     { aspect-chain, class }:

     

       49
       49
       +
                     {

     

       50
       50
       +
                       classOne.bar = [ "three:${class}:${lib.concatStringsSep "/" (lib.map (x: x.name) aspect-chain)}" ];

     

       51
       51
       +
                     };

     

       52
       52
       +
                 };

     

       53
       53
       +
             };

     

       54
       54
       +
             expr = lib.sort (a: b: a < b) (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       55
       55
       +
             expected = [

     

       56
       56
       +
               "three:classOne:aspectOne/aspectTwo.foo"

     

       57
       57
       +
               "two:classOne:aspectOne"

     

       58
       58
       +
             ];

     

       59
       59
       +
           in

     

       60
       60
       +
           {

     

       61
       61
       +
             inherit expr expected;

     

       62
       62
       +
           };

     

       63
       63
       +
       

     

       64
       64
       +
       }

+42

checkmate/modules/tests/aspect_toplevel_parametric.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         mkFlake,

     

       3
       3
       +
         evalMod,

     

       4
       4
       +
         lib,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test define top-level context-aware aspect" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake = mkFlake {

     

       12
       12
       +
               flake.aspects =

     

       13
       13
       +
                 { aspects, ... }:

     

       14
       14
       +
                 {

     

       15
       15
       +
                   aspectOne = {

     

       16
       16
       +
                     classOne.bar = [ "should-not-be-present" ];

     

       17
       17
       +
                     includes = [ aspects.aspectTwo ];

     

       18
       18
       +
                     __functor = aspect: {

     

       19
       19
       +
                       includes = [

     

       20
       20
       +
                         { classOne.bar = [ "from-functor" ]; }

     

       21
       21
       +
                       ]

     

       22
       22
       +
                       ++ map (f: f { message = "hello"; }) aspect.includes;

     

       23
       23
       +
                     };

     

       24
       24
       +
                   };

     

       25
       25
       +
                   aspectTwo =

     

       26
       26
       +
                     { message }:

     

       27
       27
       +
                     {

     

       28
       28
       +
                       classOne.bar = [ message ];

     

       29
       29
       +
                     };

     

       30
       30
       +
                 };

     

       31
       31
       +
             };

     

       32
       32
       +
       

     

       33
       33
       +
             expr = (evalMod "classOne" flake.modules.classOne.aspectOne).bar;

     

       34
       34
       +
             expected = [

     

       35
       35
       +
               "hello"

     

       36
       36
       +
               "from-functor"

     

       37
       37
       +
             ];

     

       38
       38
       +
           in

     

       39
       39
       +
           {

     

       40
       40
       +
             inherit expr expected;

     

       41
       41
       +
           };

     

       42
       42
       +
       }

+30

checkmate/modules/tests/default_empty.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         lib,

     

       3
       3
       +
         inputs,

     

       4
       4
       +
         targetMod,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test provides default" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake =

     

       12
       12
       +
               inputs.flake-parts.lib.mkFlake

     

       13
       13
       +
                 {

     

       14
       14
       +
                   inputs.self = [ ];

     

       15
       15
       +
                   moduleLocation = builtins.toString ./.;

     

       16
       16
       +
                 }

     

       17
       17
       +
                 {

     

       18
       18
       +
                   systems = [ ];

     

       19
       19
       +
                   imports = [

     

       20
       20
       +
                     targetMod

     

       21
       21
       +
                     inputs.flake-parts.flakeModules.modules

     

       22
       22
       +
                   ];

     

       23
       23
       +
                 };

     

       24
       24
       +
             expr = flake.modules;

     

       25
       25
       +
             expected = { };

     

       26
       26
       +
           in

     

       27
       27
       +
           {

     

       28
       28
       +
             inherit expr expected;

     

       29
       29
       +
           };

     

       30
       30
       +
       }

+29

checkmate/modules/tests/tranpose_flake_modules.nix

···

       1
       1
       +
       {

     

       2
       2
       +
         mkFlake,

     

       3
       3
       +
         lib,

     

       4
       4
       +
         evalMod,

     

       5
       5
       +
         ...

     

       6
       6
       +
       }:

     

       7
       7
       +
       {

     

       8
       8
       +
       

     

       9
       9
       +
         flake.tests."test transposes to flake.modules" =

     

       10
       10
       +
           let

     

       11
       11
       +
             flake = mkFlake {

     

       12
       12
       +
               flake.aspects.aspectOne = {

     

       13
       13
       +
                 classOne.foo = "niri";

     

       14
       14
       +
                 classTwo.foo = "paper.spoon";

     

       15
       15
       +
               };

     

       16
       16
       +
             };

     

       17
       17
       +
             expr = {

     

       18
       18
       +
               classOne = (evalMod "classOne" flake.modules.classOne.aspectOne).foo;

     

       19
       19
       +
               classTwo = (evalMod "classTwo" flake.modules.classTwo.aspectOne).foo;

     

       20
       20
       +
             };

     

       21
       21
       +
             expected = {

     

       22
       22
       +
               classOne = "niri";

     

       23
       23
       +
               classTwo = "paper.spoon";

     

       24
       24
       +
             };

     

       25
       25
       +
           in

     

       26
       26
       +
           {

     

       27
       27
       +
             inherit expr expected;

     

       28
       28
       +
           };

     

       29
       29
       +
       }

+15

checkmate/modules/tests/transpose_common.nix

···

       1
       1
       +
       { transpose, ... }:

     

       2
       2
       +
       {

     

       3
       3
       +
       

     

       4
       4
       +
         flake.tests."test transpose common childs become one parent" = {

     

       5
       5
       +
           expr = transpose {

     

       6
       6
       +
             a.b = 1;

     

       7
       7
       +
             c.b = 2;

     

       8
       8
       +
           };

     

       9
       9
       +
           expected.b = {

     

       10
       10
       +
             a = 1;

     

       11
       11
       +
             c = 2;

     

       12
       12
       +
           };

     

       13
       13
       +
         };

     

       14
       14
       +
       

     

       15
       15
       +
       }

+10

checkmate/modules/tests/transpose_swap.nix

···

       1
       1
       +
       { transpose, ... }:

     

       2
       2
       +
       {

     

       3
       3
       +
       

     

       4
       4
       +
         flake.tests."test transpose swaps parent and child attrNames" = {

     

       5
       5
       +
           expr = transpose { a.b.c = 1; };

     

       6
       6
       +
           expected = {

     

       7
       7
       +
             b.a.c = 1;

     

       8
       8
       +
           };

     

       9
       9
       +
         };

     

       10
       10
       +
       }

+44

checkmate/modules/tests/without_flakes.nix

···

       1
       1
       +
       { lib, targetLib, ... }:

     

       2
       2
       +
       {

     

       3
       3
       +
       

     

       4
       4
       +
         flake.tests."test usage without flakes" =

     

       5
       5
       +
           let

     

       6
       6
       +
             flake-aspects-lib = import targetLib lib;

     

       7
       7
       +
             # first eval is like evaling the flake.

     

       8
       8
       +
             first = lib.evalModules {

     

       9
       9
       +
               modules = [

     

       10
       10
       +
                 (flake-aspects-lib.new-scope "hello")

     

       11
       11
       +
                 {

     

       12
       12
       +
                   hello.aspects =

     

       13
       13
       +
                     { aspects, ... }:

     

       14
       14
       +
                     {

     

       15
       15
       +
                       a.b.c = [ "world" ];

     

       16
       16
       +
                       a.includes = [ aspects.x ];

     

       17
       17
       +
                       x.b =

     

       18
       18
       +
                         { lib, ... }:

     

       19
       19
       +
                         {

     

       20
       20
       +
                           c = lib.splitString " " "mundo cruel";

     

       21
       21
       +
                         };

     

       22
       22
       +
                     };

     

       23
       23
       +
                 }

     

       24
       24
       +
               ];

     

       25
       25
       +
             };

     

       26
       26
       +
             # second eval is like evaling its nixosConfiguration

     

       27
       27
       +
             second = lib.evalModules {

     

       28
       28
       +
               modules = [

     

       29
       29
       +
                 { options.c = lib.mkOption { type = lib.types.listOf lib.types.str; }; }

     

       30
       30
       +
                 first.config.hello.modules.b.a

     

       31
       31
       +
               ];

     

       32
       32
       +
             };

     

       33
       33
       +
             expr = lib.sort (a: b: a < b) second.config.c;

     

       34
       34
       +
             expected = [

     

       35
       35
       +
               "cruel"

     

       36
       36
       +
               "mundo"

     

       37
       37
       +
               "world"

     

       38
       38
       +
             ];

     

       39
       39
       +
           in

     

       40
       40
       +
           {

     

       41
       41
       +
             inherit expr expected;

     

       42
       42
       +
           };

     

       43
       43
       +
       

     

       44
       44
       +
       }