···

       
390
       
 
       
            ).optionalValue

     

       
391
       
 
       
          ) def.value

     

       
392
       
 
       
        ) defs)));

     

       
393
       
-
       
      emptyValue = { value = {}; };

     

       
394
       
 
       
      getSubOptions = prefix: elemType.getSubOptions (prefix ++ ["*"]);

     

       
395
       
 
       
      getSubModules = elemType.getSubModules;

     

       
396
       
 
       
      substSubModules = m: listOf (elemType.substSubModules m);

     
···

       
402
       
 
       
      let list = addCheck (types.listOf elemType) (l: l != []);

     

       
403
       
 
       
      in list // {

     

       
404
       
 
       
        description = "non-empty " + list.description;

     

       
405
       
-
       
        # Note: emptyValue is left as is, because another module may define an element.

     

       
406
       
 
       
      };

     

       
407
       
 
       


     

       
408
       
 
       
    attrsOf = elemType: mkOptionType rec {

     

···

       
390
       
 
       
            ).optionalValue

     

       
391
       
 
       
          ) def.value

     

       
392
       
 
       
        ) defs)));

     

       
393
       
+
       
      emptyValue = { value = []; };

     

       
394
       
 
       
      getSubOptions = prefix: elemType.getSubOptions (prefix ++ ["*"]);

     

       
395
       
 
       
      getSubModules = elemType.getSubModules;

     

       
396
       
 
       
      substSubModules = m: listOf (elemType.substSubModules m);

     
···

       
402
       
 
       
      let list = addCheck (types.listOf elemType) (l: l != []);

     

       
403
       
 
       
      in list // {

     

       
404
       
 
       
        description = "non-empty " + list.description;

     

       
405
       
+
       
        emptyValue = { }; # no .value attr, meaning unset

     

       
406
       
 
       
      };

     

       
407
       
 
       


     

       
408
       
 
       
    attrsOf = elemType: mkOptionType rec {