commit 2b2df960388f6729127891c431ed79481eea0ec1 · pyrox.dev/nixpkgs

lib/tests/modules.sh

···

       210
       210
        
       checkConfigError 'A definition for option .nested\.right\.left. is not of type .signed integer.' config.nested.right.left ./types-attrTag.nix

     

       211
       211
        
       checkConfigError 'In attrTag, each tag value must be an option, but tag int was a bare type, not wrapped in mkOption.' config.opt.int ./types-attrTag-wrong-decl.nix

     

       212
       212
        
       

     

       213
       213
       +
       # types

     

       214
       214
       +
       checkConfigOutput '"ok"' config.assertions ./types.nix

     

       215
       215
       +
       

     

       213
       216
        
       # types.pathInStore

     

       214
       217
        
       checkConfigOutput '".*/store/0lz9p8xhf89kb1c1kk6jxrzskaiygnlh-bash-5.2-p15.drv"' config.pathInStore.ok1 ./types.nix

     

       215
       218
        
       checkConfigOutput '".*/store/0fb3ykw9r5hpayd05sr0cizwadzq1d8q-bash-5.2-p15"' config.pathInStore.ok2 ./types.nix

+459

lib/tests/modules/types.nix

···

       1
       1
       +
       # Run with:

     

       2
       2
       +
       #   cd nixpkgs

     

       3
       3
       +
       #   ./lib/tests/modules.sh

     

       1
       4
        
       { lib, ... }:

     

       2
       5
        
       let

     

       3
       6
        
         inherit (builtins)

     
···

       7
       10
        
           types

     

       8
       11
        
           mkOption

     

       9
       12
        
           ;

     

       13
       13
       +
       

     

       10
       14
        
       in

     

       11
       15
        
       {

     

       12
       16
        
         options = {

     

       13
       17
        
           pathInStore = mkOption { type = types.lazyAttrsOf types.pathInStore; };

     

       18
       18
       +
           assertions = mkOption { };

     

       14
       19
        
         };

     

       15
       20
        
         config = {

     

       16
       21
        
           pathInStore.ok1 = "${storeDir}/0lz9p8xhf89kb1c1kk6jxrzskaiygnlh-bash-5.2-p15.drv";

     
···

       21
       26
        
           pathInStore.bad3 = "${storeDir}/";

     

       22
       27
        
           pathInStore.bad4 = "${storeDir}/.links"; # technically true, but not reasonable

     

       23
       28
        
           pathInStore.bad5 = "/foo/bar";

     

       29
       29
       +
       

     

       30
       30
       +
           assertions =

     

       31
       31
       +
             with lib.types;

     

       32
       32
       +
       

     

       33
       33
       +
             assert str.description == "string";

     

       34
       34
       +
             assert int.description == "signed integer";

     

       35
       35
       +
             assert (attrsOf str).description == "attribute set of string";

     

       36
       36
       +
             assert (attrsOf (attrsOf str)).description == "attribute set of attribute set of string";

     

       37
       37
       +
             assert

     

       38
       38
       +
               (oneOf [

     

       39
       39
       +
                 (attrsOf str)

     

       40
       40
       +
                 int

     

       41
       41
       +
                 bool

     

       42
       42
       +
               ]).description == "(attribute set of string) or signed integer or boolean";

     

       43
       43
       +
             assert

     

       44
       44
       +
               (enum [

     

       45
       45
       +
                 true

     

       46
       46
       +
                 null

     

       47
       47
       +
                 false

     

       48
       48
       +
               ]).description == "one of true, <null>, false";

     

       49
       49
       +
             assert

     

       50
       50
       +
               (submodule { freeformType = attrsOf str; }).description

     

       51
       51
       +
               == "open submodule of attribute set of string";

     

       52
       52
       +
             # Comprehensive type constructor description tests

     

       53
       53
       +
             assert (attrsOf int).description == "attribute set of signed integer";

     

       54
       54
       +
             assert (attrsOf bool).description == "attribute set of boolean";

     

       55
       55
       +
             assert (attrsOf (either int str)).description == "attribute set of (signed integer or string)";

     

       56
       56
       +
             assert (attrsOf (nullOr str)).description == "attribute set of (null or string)";

     

       57
       57
       +
             assert (attrsOf (listOf str)).description == "attribute set of list of string";

     

       58
       58
       +
             assert (attrsOf (attrsOf int)).description == "attribute set of attribute set of signed integer";

     

       59
       59
       +
             assert (attrsOf ints.positive).description == "attribute set of (positive integer, meaning >0)";

     

       60
       60
       +
       

     

       61
       61
       +
             # Test type constructors as attrsOf item types

     

       62
       62
       +
             assert

     

       63
       63
       +
               (attrsOf (enum [

     

       64
       64
       +
                 "a"

     

       65
       65
       +
                 "b"

     

       66
       66
       +
               ])).description == "attribute set of (one of \"a\", \"b\")";

     

       67
       67
       +
             assert

     

       68
       68
       +
               (attrsOf (strMatching "[0-9]+")).description

     

       69
       69
       +
               == "attribute set of string matching the pattern [0-9]+";

     

       70
       70
       +
             assert (attrsOf (nonEmptyListOf str)).description == "attribute set of non-empty (list of string)"; # TODO: reduce parentheses?

     

       71
       71
       +
             assert

     

       72
       72
       +
               (attrsOf (oneOf [

     

       73
       73
       +
                 str

     

       74
       74
       +
                 int

     

       75
       75
       +
               ])).description == "attribute set of (string or signed integer)";

     

       76
       76
       +
             assert

     

       77
       77
       +
               (attrsOf (coercedTo str abort int)).description

     

       78
       78
       +
               == "attribute set of (signed integer or string convertible to it)";

     

       79
       79
       +
             assert

     

       80
       80
       +
               (attrsOf (functionTo str)).description == "attribute set of function that evaluates to a(n) string";

     

       81
       81
       +
             assert

     

       82
       82
       +
               (attrsOf (passwdEntry str)).description

     

       83
       83
       +
               == "attribute set of (string, not containing newlines or colons)";

     

       84
       84
       +
             assert (attrsOf (uniq str)).description == "attribute set of string";

     

       85
       85
       +
             assert (attrsOf (unique { message = "test"; } str)).description == "attribute set of string";

     

       86
       86
       +
             assert

     

       87
       87
       +
               (attrsOf (pathWith {

     

       88
       88
       +
                 absolute = true;

     

       89
       89
       +
               })).description == "attribute set of absolute path";

     

       90
       90
       +
             assert

     

       91
       91
       +
               (attrsOf (separatedString ",")).description == "attribute set of strings concatenated with \",\"";

     

       92
       92
       +
             assert (attrsOf (loaOf str)).description == "attribute set of attribute set of string";

     

       93
       93
       +
             assert (attrsOf (lazyAttrsOf str)).description == "attribute set of lazy attribute set of string";

     

       94
       94
       +
             assert (attrsOf (submodule { })).description == "attribute set of (submodule)"; # FIXME: extra parentheses around submodule

     

       95
       95
       +
             assert

     

       96
       96
       +
               (attrsOf (submodule {

     

       97
       97
       +
                 freeformType = attrsOf str;

     

       98
       98
       +
               })).description == "attribute set of (open submodule of attribute set of string)";

     

       99
       99
       +
             assert (attrsOf (addCheck str (x: true))).description == "attribute set of string";

     

       100
       100
       +
             assert (attrsOf (enum [ ])).description == "attribute set of impossible (empty enum)";

     

       101
       101
       +
             assert

     

       102
       102
       +
               (attrsOf ints.u32).description

     

       103
       103
       +
               == "attribute set of 32 bit unsigned integer; between 0 and 4294967295 (both inclusive)";

     

       104
       104
       +
             assert

     

       105
       105
       +
               (attrsOf numbers.positive).description

     

       106
       106
       +
               == "attribute set of (positive integer or floating point number, meaning >0)";

     

       107
       107
       +
       

     

       108
       108
       +
             assert (attrsWith { elemType = str; }).description == "attribute set of string";

     

       109
       109
       +
             assert (attrsWith { elemType = int; }).description == "attribute set of signed integer";

     

       110
       110
       +
             assert (attrsWith { elemType = bool; }).description == "attribute set of boolean";

     

       111
       111
       +
             assert

     

       112
       112
       +
               (attrsWith { elemType = either int str; }).description

     

       113
       113
       +
               == "attribute set of (signed integer or string)";

     

       114
       114
       +
             assert (attrsWith { elemType = nullOr str; }).description == "attribute set of (null or string)";

     

       115
       115
       +
             assert (attrsWith { elemType = listOf str; }).description == "attribute set of list of string";

     

       116
       116
       +
             assert

     

       117
       117
       +
               (attrsWith { elemType = attrsOf int; }).description

     

       118
       118
       +
               == "attribute set of attribute set of signed integer";

     

       119
       119
       +
             assert

     

       120
       120
       +
               (attrsWith { elemType = ints.positive; }).description

     

       121
       121
       +
               == "attribute set of (positive integer, meaning >0)";

     

       122
       122
       +
             assert

     

       123
       123
       +
               (attrsWith {

     

       124
       124
       +
                 elemType = str;

     

       125
       125
       +
                 lazy = true;

     

       126
       126
       +
               }).description == "lazy attribute set of string";

     

       127
       127
       +
             # Additional attrsWith tests are covered above

     

       128
       128
       +
             assert

     

       129
       129
       +
               (attrsWith {

     

       130
       130
       +
                 elemType = str;

     

       131
       131
       +
                 lazy = false;

     

       132
       132
       +
               }).description == "attribute set of string";

     

       133
       133
       +
             assert (coercedTo str abort int).description == "signed integer or string convertible to it";

     

       134
       134
       +
             assert (coercedTo int abort str).description == "string or signed integer convertible to it";

     

       135
       135
       +
             assert (coercedTo bool abort str).description == "string or boolean convertible to it";

     

       136
       136
       +
             assert

     

       137
       137
       +
               (coercedTo (either int str) abort str).description

     

       138
       138
       +
               == "string or (signed integer or string) convertible to it";

     

       139
       139
       +
             assert

     

       140
       140
       +
               (coercedTo (nullOr str) abort str).description == "string or (null or string) convertible to it";

     

       141
       141
       +
             assert

     

       142
       142
       +
               (coercedTo (listOf str) abort str).description == "string or (list of string) convertible to it";

     

       143
       143
       +
             assert

     

       144
       144
       +
               (coercedTo (attrsOf int) abort str).description

     

       145
       145
       +
               == "string or (attribute set of signed integer) convertible to it";

     

       146
       146
       +
             assert

     

       147
       147
       +
               (coercedTo ints.positive abort str).description

     

       148
       148
       +
               == "string or (positive integer, meaning >0) convertible to it";

     

       149
       149
       +
             assert

     

       150
       150
       +
               (coercedTo (listOf str) abort (attrsOf str)).description

     

       151
       151
       +
               == "(attribute set of string) or (list of string) convertible to it";

     

       152
       152
       +
             # Additional coercedTo tests covered above

     

       153
       153
       +
             assert (either str int).description == "string or signed integer";

     

       154
       154
       +
             assert (either int str).description == "signed integer or string";

     

       155
       155
       +
             assert (either bool str).description == "boolean or string";

     

       156
       156
       +
             assert (either (either int str) bool).description == "signed integer or string or boolean";

     

       157
       157
       +
             assert (either (nullOr str) int).description == "null or string or signed integer";

     

       158
       158
       +
             assert (either (listOf str) int).description == "(list of string) or signed integer";

     

       159
       159
       +
             assert (either (attrsOf int) str).description == "(attribute set of signed integer) or string";

     

       160
       160
       +
             assert (either ints.positive str).description == "positive integer, meaning >0, or string";

     

       161
       161
       +
             assert (either (either bool str) int).description == "boolean or string or signed integer";

     

       162
       162
       +
       

     

       163
       163
       +
             # Test type constructors as either bool t

     

       164
       164
       +
             assert (either bool str).description == "boolean or string";

     

       165
       165
       +
             assert (either bool int).description == "boolean or signed integer";

     

       166
       166
       +
             assert

     

       167
       167
       +
               (either bool (enum [

     

       168
       168
       +
                 "a"

     

       169
       169
       +
                 "b"

     

       170
       170
       +
               ])).description == "boolean or one of \"a\", \"b\"";

     

       171
       171
       +
             assert

     

       172
       172
       +
               (either bool (strMatching "[0-9]+")).description == "boolean or string matching the pattern [0-9]+";

     

       173
       173
       +
             assert (either bool (nonEmptyListOf str)).description == "boolean or non-empty (list of string)"; # TODO: reduce parentheses?

     

       174
       174
       +
             assert

     

       175
       175
       +
               (either bool (oneOf [

     

       176
       176
       +
                 str

     

       177
       177
       +
                 int

     

       178
       178
       +
               ])).description == "boolean or string or signed integer";

     

       179
       179
       +
             assert

     

       180
       180
       +
               (either bool (coercedTo str abort int)).description

     

       181
       181
       +
               == "boolean or (signed integer or string convertible to it)";

     

       182
       182
       +
             assert

     

       183
       183
       +
               (either bool (functionTo str)).description == "boolean or function that evaluates to a(n) string";

     

       184
       184
       +
             assert

     

       185
       185
       +
               (either bool (passwdEntry str)).description

     

       186
       186
       +
               == "boolean or (string, not containing newlines or colons)";

     

       187
       187
       +
             assert (either bool (uniq str)).description == "boolean or string";

     

       188
       188
       +
             assert (either bool (unique { message = "test"; } str)).description == "boolean or string";

     

       189
       189
       +
             assert

     

       190
       190
       +
               (either bool (pathWith {

     

       191
       191
       +
                 absolute = true;

     

       192
       192
       +
               })).description == "boolean or absolute path";

     

       193
       193
       +
             assert

     

       194
       194
       +
               (either bool (separatedString ",")).description == "boolean or strings concatenated with \",\"";

     

       195
       195
       +
             assert (either bool (attrsOf str)).description == "boolean or attribute set of string";

     

       196
       196
       +
             assert (either bool (listOf str)).description == "boolean or list of string";

     

       197
       197
       +
             assert (either bool (nullOr str)).description == "boolean or null or string";

     

       198
       198
       +
             assert (either bool (lazyAttrsOf str)).description == "boolean or lazy attribute set of string";

     

       199
       199
       +
             assert (either bool (submodule { })).description == "boolean or (submodule)"; # FIXME: extra parentheses around submodule

     

       200
       200
       +
             assert (either bool ints.positive).description == "boolean or (positive integer, meaning >0)";

     

       201
       201
       +
             assert

     

       202
       202
       +
               (either bool numbers.positive).description

     

       203
       203
       +
               == "boolean or (positive integer or floating point number, meaning >0)";

     

       204
       204
       +
       

     

       205
       205
       +
             # Test type constructors as either t bool

     

       206
       206
       +
             assert (either str bool).description == "string or boolean";

     

       207
       207
       +
             assert (either int bool).description == "signed integer or boolean";

     

       208
       208
       +
             assert

     

       209
       209
       +
               (either (enum [

     

       210
       210
       +
                 "a"

     

       211
       211
       +
                 "b"

     

       212
       212
       +
               ]) bool).description == "one of \"a\", \"b\" or boolean";

     

       213
       213
       +
             assert

     

       214
       214
       +
               (either (strMatching "[0-9]+") bool).description == "string matching the pattern [0-9]+ or boolean";

     

       215
       215
       +
             assert (either (nonEmptyListOf str) bool).description == "(non-empty (list of string)) or boolean"; # TODO: reduce parentheses?

     

       216
       216
       +
             assert

     

       217
       217
       +
               (either (oneOf [

     

       218
       218
       +
                 str

     

       219
       219
       +
                 int

     

       220
       220
       +
               ]) bool).description == "string or signed integer or boolean";

     

       221
       221
       +
             assert

     

       222
       222
       +
               (either (coercedTo str abort int) bool).description

     

       223
       223
       +
               == "(signed integer or string convertible to it) or boolean";

     

       224
       224
       +
             assert

     

       225
       225
       +
               (either (functionTo str) bool).description == "(function that evaluates to a(n) string) or boolean";

     

       226
       226
       +
             assert

     

       227
       227
       +
               (either (passwdEntry str) bool).description

     

       228
       228
       +
               == "string, not containing newlines or colons, or boolean";

     

       229
       229
       +
             assert (either (uniq str) bool).description == "string or boolean";

     

       230
       230
       +
             assert (either (unique { message = "test"; } str) bool).description == "string or boolean";

     

       231
       231
       +
             assert (either (pathWith { absolute = true; }) bool).description == "absolute path or boolean";

     

       232
       232
       +
             assert

     

       233
       233
       +
               (either (separatedString ",") bool).description == "strings concatenated with \",\" or boolean";

     

       234
       234
       +
             assert (either (attrsOf str) bool).description == "(attribute set of string) or boolean";

     

       235
       235
       +
             assert (either (listOf str) bool).description == "(list of string) or boolean";

     

       236
       236
       +
             assert (either (nullOr str) bool).description == "null or string or boolean";

     

       237
       237
       +
             assert (either (lazyAttrsOf str) bool).description == "(lazy attribute set of string) or boolean";

     

       238
       238
       +
             assert (either (submodule { }) bool).description == "(submodule) or boolean"; # FIXME: extra parentheses around submodule

     

       239
       239
       +
             assert (either ints.positive bool).description == "positive integer, meaning >0, or boolean";

     

       240
       240
       +
             assert

     

       241
       241
       +
               (either numbers.positive bool).description

     

       242
       242
       +
               == "positive integer or floating point number, meaning >0, or boolean";

     

       243
       243
       +
       

     

       244
       244
       +
             # Additional either tests covered above";

     

       245
       245
       +
             assert (enum [ ]).description == "impossible (empty enum)";

     

       246
       246
       +
             assert (enum [ "single" ]).description == "value \"single\" (singular enum)";

     

       247
       247
       +
             assert

     

       248
       248
       +
               (enum [

     

       249
       249
       +
                 "a"

     

       250
       250
       +
                 "b"

     

       251
       251
       +
               ]).description == "one of \"a\", \"b\"";

     

       252
       252
       +
             assert

     

       253
       253
       +
               (enum [

     

       254
       254
       +
                 true

     

       255
       255
       +
                 false

     

       256
       256
       +
               ]).description == "one of true, false";

     

       257
       257
       +
             assert

     

       258
       258
       +
               (enum [

     

       259
       259
       +
                 1

     

       260
       260
       +
                 2

     

       261
       261
       +
                 3

     

       262
       262
       +
               ]).description == "one of 1, 2, 3";

     

       263
       263
       +
             assert (enum [ null ]).description == "value <null> (singular enum)";

     

       264
       264
       +
             assert (functionTo str).description == "function that evaluates to a(n) string";

     

       265
       265
       +
             assert (functionTo int).description == "function that evaluates to a(n) signed integer";

     

       266
       266
       +
             assert (functionTo bool).description == "function that evaluates to a(n) boolean";

     

       267
       267
       +
             assert

     

       268
       268
       +
               (functionTo (either int str)).description

     

       269
       269
       +
               == "function that evaluates to a(n) (signed integer or string)";

     

       270
       270
       +
             assert (functionTo (nullOr str)).description == "function that evaluates to a(n) (null or string)";

     

       271
       271
       +
             assert (functionTo (listOf str)).description == "function that evaluates to a(n) list of string";

     

       272
       272
       +
             assert

     

       273
       273
       +
               (functionTo (attrsOf int)).description

     

       274
       274
       +
               == "function that evaluates to a(n) attribute set of signed integer";

     

       275
       275
       +
             assert

     

       276
       276
       +
               (functionTo ints.positive).description

     

       277
       277
       +
               == "function that evaluates to a(n) (positive integer, meaning >0)";

     

       278
       278
       +
             assert (lazyAttrsOf str).description == "lazy attribute set of string";

     

       279
       279
       +
             assert (lazyAttrsOf int).description == "lazy attribute set of signed integer";

     

       280
       280
       +
             assert (lazyAttrsOf bool).description == "lazy attribute set of boolean";

     

       281
       281
       +
             assert

     

       282
       282
       +
               (lazyAttrsOf (either int str)).description == "lazy attribute set of (signed integer or string)";

     

       283
       283
       +
             assert (lazyAttrsOf (nullOr str)).description == "lazy attribute set of (null or string)";

     

       284
       284
       +
             assert (lazyAttrsOf (listOf str)).description == "lazy attribute set of list of string";

     

       285
       285
       +
             assert

     

       286
       286
       +
               (lazyAttrsOf (attrsOf int)).description == "lazy attribute set of attribute set of signed integer";

     

       287
       287
       +
             assert

     

       288
       288
       +
               (lazyAttrsOf ints.positive).description == "lazy attribute set of (positive integer, meaning >0)";

     

       289
       289
       +
             assert (listOf str).description == "list of string";

     

       290
       290
       +
             assert (listOf int).description == "list of signed integer";

     

       291
       291
       +
             assert (listOf bool).description == "list of boolean";

     

       292
       292
       +
             assert (listOf (either int str)).description == "list of (signed integer or string)";

     

       293
       293
       +
             assert (listOf (nullOr str)).description == "list of (null or string)";

     

       294
       294
       +
             assert (listOf (listOf str)).description == "list of list of string";

     

       295
       295
       +
             assert (listOf (attrsOf int)).description == "list of attribute set of signed integer";

     

       296
       296
       +
             assert (listOf ints.positive).description == "list of (positive integer, meaning >0)";

     

       297
       297
       +
             assert (loaOf str).description == "attribute set of string";

     

       298
       298
       +
             assert (loaOf int).description == "attribute set of signed integer";

     

       299
       299
       +
             assert (loaOf bool).description == "attribute set of boolean";

     

       300
       300
       +
             assert (loaOf (either int str)).description == "attribute set of (signed integer or string)";

     

       301
       301
       +
             assert (loaOf (nullOr str)).description == "attribute set of (null or string)";

     

       302
       302
       +
             assert (loaOf (listOf str)).description == "attribute set of list of string";

     

       303
       303
       +
             assert (loaOf (attrsOf int)).description == "attribute set of attribute set of signed integer";

     

       304
       304
       +
             assert (loaOf ints.positive).description == "attribute set of (positive integer, meaning >0)";

     

       305
       305
       +
             assert (nonEmptyListOf str).description == "non-empty (list of string)"; # TODO: reduce parentheses?

     

       306
       306
       +
             assert (nonEmptyListOf int).description == "non-empty (list of signed integer)"; # TODO: reduce parentheses?

     

       307
       307
       +
             assert (nonEmptyListOf bool).description == "non-empty (list of boolean)"; # TODO: reduce parentheses?

     

       308
       308
       +
             assert

     

       309
       309
       +
               (nonEmptyListOf (either int str)).description == "non-empty (list of (signed integer or string))"; # TODO: reduce parentheses?

     

       310
       310
       +
             assert (nonEmptyListOf (nullOr str)).description == "non-empty (list of (null or string))"; # TODO: reduce parentheses?

     

       311
       311
       +
             assert (nonEmptyListOf (listOf str)).description == "non-empty (list of list of string)"; # TODO: reduce parentheses?

     

       312
       312
       +
             assert

     

       313
       313
       +
               (nonEmptyListOf (attrsOf int)).description

     

       314
       314
       +
               == "non-empty (list of attribute set of signed integer)"; # TODO: reduce parentheses?

     

       315
       315
       +
             assert

     

       316
       316
       +
               (nonEmptyListOf ints.positive).description == "non-empty (list of (positive integer, meaning >0))"; # TODO: reduce parentheses?

     

       317
       317
       +
             assert (nullOr str).description == "null or string";

     

       318
       318
       +
             assert (nullOr int).description == "null or signed integer";

     

       319
       319
       +
             assert (nullOr bool).description == "null or boolean";

     

       320
       320
       +
             assert (nullOr (either int str)).description == "null or signed integer or string";

     

       321
       321
       +
             assert (nullOr (nullOr str)).description == "null or null or string";

     

       322
       322
       +
             assert (nullOr (listOf str)).description == "null or (list of string)";

     

       323
       323
       +
             assert (nullOr (attrsOf int)).description == "null or (attribute set of signed integer)";

     

       324
       324
       +
             assert (nullOr ints.positive).description == "null or (positive integer, meaning >0)";

     

       325
       325
       +
             assert (oneOf [ str ]).description == "string";

     

       326
       326
       +
             assert (oneOf [ int ]).description == "signed integer";

     

       327
       327
       +
             assert (oneOf [ bool ]).description == "boolean";

     

       328
       328
       +
             assert (oneOf [ (either int str) ]).description == "signed integer or string";

     

       329
       329
       +
             assert (oneOf [ (nullOr str) ]).description == "null or string";

     

       330
       330
       +
             assert (oneOf [ (listOf str) ]).description == "list of string";

     

       331
       331
       +
             assert (oneOf [ (attrsOf int) ]).description == "attribute set of signed integer";

     

       332
       332
       +
             assert (oneOf [ ints.positive ]).description == "positive integer, meaning >0";

     

       333
       333
       +
             assert

     

       334
       334
       +
               (oneOf [

     

       335
       335
       +
                 str

     

       336
       336
       +
                 int

     

       337
       337
       +
               ]).description == "string or signed integer";

     

       338
       338
       +
             assert

     

       339
       339
       +
               (oneOf [

     

       340
       340
       +
                 str

     

       341
       341
       +
                 int

     

       342
       342
       +
                 bool

     

       343
       343
       +
               ]).description == "string or signed integer or boolean";

     

       344
       344
       +
             assert

     

       345
       345
       +
               (oneOf [

     

       346
       346
       +
                 (listOf str)

     

       347
       347
       +
                 int

     

       348
       348
       +
                 bool

     

       349
       349
       +
               ]).description == "(list of string) or signed integer or boolean";

     

       350
       350
       +
             assert

     

       351
       351
       +
               (oneOf [

     

       352
       352
       +
                 ints.positive

     

       353
       353
       +
                 str

     

       354
       354
       +
               ]).description == "positive integer, meaning >0, or string";

     

       355
       355
       +
             assert (passwdEntry str).description == "string, not containing newlines or colons";

     

       356
       356
       +
             assert (passwdEntry int).description == "signed integer, not containing newlines or colons";

     

       357
       357
       +
             assert (passwdEntry bool).description == "boolean, not containing newlines or colons";

     

       358
       358
       +
             assert

     

       359
       359
       +
               (passwdEntry (either int str)).description

     

       360
       360
       +
               == "(signed integer or string), not containing newlines or colons";

     

       361
       361
       +
             assert

     

       362
       362
       +
               (passwdEntry (nullOr str)).description == "(null or string), not containing newlines or colons";

     

       363
       363
       +
             assert

     

       364
       364
       +
               (passwdEntry (listOf str)).description == "(list of string), not containing newlines or colons";

     

       365
       365
       +
             assert

     

       366
       366
       +
               (passwdEntry (attrsOf int)).description

     

       367
       367
       +
               == "(attribute set of signed integer), not containing newlines or colons";

     

       368
       368
       +
             assert

     

       369
       369
       +
               (passwdEntry ints.positive).description

     

       370
       370
       +
               == "(positive integer, meaning >0), not containing newlines or colons";

     

       371
       371
       +
             assert (pathWith { }).description == "path";

     

       372
       372
       +
             assert (pathWith { absolute = true; }).description == "absolute path";

     

       373
       373
       +
             assert (pathWith { inStore = true; }).description == "path in the Nix store";

     

       374
       374
       +
             assert

     

       375
       375
       +
               (pathWith {

     

       376
       376
       +
                 absolute = true;

     

       377
       377
       +
                 inStore = true;

     

       378
       378
       +
               }).description == "absolute path in the Nix store";

     

       379
       379
       +
             assert (pathWith { absolute = false; }).description == "relative path";

     

       380
       380
       +
             assert (pathWith { absolute = null; }).description == "path";

     

       381
       381
       +
             assert (pathWith { inStore = false; }).description == "path not in the Nix store";

     

       382
       382
       +
             assert (pathWith { inStore = null; }).description == "path";

     

       383
       383
       +
             assert (separatedString "").description == "Concatenated string";

     

       384
       384
       +
             assert (separatedString ",").description == "strings concatenated with \",\"";

     

       385
       385
       +
             assert (separatedString "\n").description == ''strings concatenated with "\n"'';

     

       386
       386
       +
             assert (separatedString ":").description == "strings concatenated with \":\"";

     

       387
       387
       +
             assert (strMatching "[a-z]+").description == "string matching the pattern [a-z]+";

     

       388
       388
       +
             assert

     

       389
       389
       +
               (strMatching "[0-9]{3}-[0-9]{2}-[0-9]{4}").description

     

       390
       390
       +
               == "string matching the pattern [0-9]{3}-[0-9]{2}-[0-9]{4}";

     

       391
       391
       +
             assert (strMatching ".*\\.txt").description == "string matching the pattern .*\\.txt";

     

       392
       392
       +
             assert

     

       393
       393
       +
               (submodule { freeformType = attrsOf int; }).description

     

       394
       394
       +
               == "open submodule of attribute set of signed integer";

     

       395
       395
       +
             assert

     

       396
       396
       +
               (submodule { freeformType = attrsOf bool; }).description

     

       397
       397
       +
               == "open submodule of attribute set of boolean";

     

       398
       398
       +
             assert

     

       399
       399
       +
               (submodule { freeformType = attrsOf (either int str); }).description

     

       400
       400
       +
               == "open submodule of attribute set of (signed integer or string)";

     

       401
       401
       +
             assert

     

       402
       402
       +
               (submodule { freeformType = attrsOf (nullOr str); }).description

     

       403
       403
       +
               == "open submodule of attribute set of (null or string)";

     

       404
       404
       +
             assert (submodule { freeformType = listOf str; }).description == "open submodule of list of string";

     

       405
       405
       +
             assert

     

       406
       406
       +
               (submodule { freeformType = attrsOf ints.positive; }).description

     

       407
       407
       +
               == "open submodule of attribute set of (positive integer, meaning >0)";

     

       408
       408
       +
             assert

     

       409
       409
       +
               (submodule { freeformType = lazyAttrsOf str; }).description

     

       410
       410
       +
               == "open submodule of lazy attribute set of string";

     

       411
       411
       +
             assert

     

       412
       412
       +
               (submodule { freeformType = lazyAttrsOf int; }).description

     

       413
       413
       +
               == "open submodule of lazy attribute set of signed integer";

     

       414
       414
       +
             assert

     

       415
       415
       +
               (submodule { freeformType = lazyAttrsOf (listOf str); }).description

     

       416
       416
       +
               == "open submodule of lazy attribute set of list of string";

     

       417
       417
       +
             assert (submodule { }).description == "submodule";

     

       418
       418
       +
             assert (submodule [ { options.foo = mkOption { type = str; }; } ]).description == "submodule";

     

       419
       419
       +
             assert (submodule [ ]).description == "submodule";

     

       420
       420
       +
             assert

     

       421
       421
       +
               (submodule [ { freeformType = attrsOf str; } ]).description

     

       422
       422
       +
               == "open submodule of attribute set of string";

     

       423
       423
       +
             assert

     

       424
       424
       +
               (submodule [ { freeformType = lazyAttrsOf str; } ]).description

     

       425
       425
       +
               == "open submodule of lazy attribute set of string";

     

       426
       426
       +
             assert

     

       427
       427
       +
               (submodule [ { freeformType = lazyAttrsOf int; } ]).description

     

       428
       428
       +
               == "open submodule of lazy attribute set of signed integer";

     

       429
       429
       +
             assert

     

       430
       430
       +
               (submodule [ { freeformType = lazyAttrsOf (either int str); } ]).description

     

       431
       431
       +
               == "open submodule of lazy attribute set of (signed integer or string)";

     

       432
       432
       +
             assert

     

       433
       433
       +
               (submoduleWith { modules = [ { freeformType = attrsOf str; } ]; }).description

     

       434
       434
       +
               == "open submodule of attribute set of string";

     

       435
       435
       +
             assert

     

       436
       436
       +
               (submoduleWith { modules = [ { freeformType = attrsOf int; } ]; }).description

     

       437
       437
       +
               == "open submodule of attribute set of signed integer";

     

       438
       438
       +
             assert

     

       439
       439
       +
               (submoduleWith { modules = [ { freeformType = attrsOf bool; } ]; }).description

     

       440
       440
       +
               == "open submodule of attribute set of boolean";

     

       441
       441
       +
             assert

     

       442
       442
       +
               (submoduleWith { modules = [ { freeformType = attrsOf (either int str); } ]; }).description

     

       443
       443
       +
               == "open submodule of attribute set of (signed integer or string)";

     

       444
       444
       +
             assert

     

       445
       445
       +
               (submoduleWith { modules = [ { freeformType = attrsOf (nullOr str); } ]; }).description

     

       446
       446
       +
               == "open submodule of attribute set of (null or string)";

     

       447
       447
       +
             assert

     

       448
       448
       +
               (submoduleWith { modules = [ { freeformType = listOf str; } ]; }).description

     

       449
       449
       +
               == "open submodule of list of string";

     

       450
       450
       +
             assert

     

       451
       451
       +
               (submoduleWith { modules = [ { freeformType = lazyAttrsOf str; } ]; }).description

     

       452
       452
       +
               == "open submodule of lazy attribute set of string";

     

       453
       453
       +
             assert

     

       454
       454
       +
               (submoduleWith { modules = [ { freeformType = lazyAttrsOf int; } ]; }).description

     

       455
       455
       +
               == "open submodule of lazy attribute set of signed integer";

     

       456
       456
       +
             assert

     

       457
       457
       +
               (submoduleWith { modules = [ { freeformType = lazyAttrsOf (either int str); } ]; }).description

     

       458
       458
       +
               == "open submodule of lazy attribute set of (signed integer or string)";

     

       459
       459
       +
             assert

     

       460
       460
       +
               (submoduleWith { modules = [ { freeformType = attrsOf ints.positive; } ]; }).description

     

       461
       461
       +
               == "open submodule of attribute set of (positive integer, meaning >0)";

     

       462
       462
       +
             assert (submoduleWith { modules = [ ]; }).description == "submodule";

     

       463
       463
       +
             assert

     

       464
       464
       +
               (submoduleWith {

     

       465
       465
       +
                 modules = [ ];

     

       466
       466
       +
                 description = "custom";

     

       467
       467
       +
               }).description == "custom";

     

       468
       468
       +
             assert

     

       469
       469
       +
               (submoduleWith {

     

       470
       470
       +
                 modules = [ ];

     

       471
       471
       +
                 description = "custom module";

     

       472
       472
       +
               }).description == "custom module";

     

       473
       473
       +
             assert (uniq str).description == "string";

     

       474
       474
       +
             assert (uniq (either int str)).description == "signed integer or string";

     

       475
       475
       +
             assert (uniq (listOf str)).description == "list of string";

     

       476
       476
       +
             assert (unique { message = "test"; } str).description == "string";

     

       477
       477
       +
             assert (unique { message = ""; } (either int str)).description == "signed integer or string";

     

       478
       478
       +
             assert (unique { message = "custom"; } (listOf str)).description == "list of string";

     

       479
       479
       +
             assert (unique { message = "test"; } (either int str)).description == "signed integer or string";

     

       480
       480
       +
             assert (unique { message = "test"; } (listOf str)).description == "list of string";

     

       481
       481
       +
             # done

     

       482
       482
       +
             "ok";

     

       24
       483
        
         };

     

       25
       484
        
       }

+8 -1

lib/types.nix

···

       1247
       1247
        
                     let

     

       1248
       1248
        
                       docsEval = base.extendModules { modules = [ noCheckForDocsModule ]; };

     

       1249
       1249
        
                     in

     

       1250
       1250
       -
                     docsEval._module.freeformType.description or name;

     

       1250
       1250
       +
                     if docsEval._module.freeformType ? description then

     

       1251
       1251
       +
                       "open ${name} of ${

     

       1252
       1252
       +
                         optionDescriptionPhrase (

     

       1253
       1253
       +
                           class: class == "noun" || class == "composite"

     

       1254
       1254
       +
                         ) docsEval._module.freeformType

     

       1255
       1255
       +
                       }"

     

       1256
       1256
       +
                     else

     

       1257
       1257
       +
                       name;

     

       1251
       1258
        
                 inherit check;

     

       1252
       1259
        
                 merge = {

     

       1253
       1260
        
                   __functor =