···

       
256
       
 
       
      functor = (defaultFunctor name) // { wrapped = elemType; };

     

       
257
       
 
       
    };

     

       
258
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
259
       
 
       
    attrsOf = elemType: mkOptionType rec {

     

       
260
       
 
       
      name = "attrsOf";

     

       
261
       
 
       
      description = "attribute set of ${elemType.description}s";

     

···

       
256
       
 
       
      functor = (defaultFunctor name) // { wrapped = elemType; };

     

       
257
       
 
       
    };

     

       
258
       
 
       


     

       
259
       
+
       
    nonEmptyListOf = elemType: 

     

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

     

       
261
       
+
       
      in list // { description = "non-empty " + list.description; };

     

       
262
       
+
       


     

       
263
       
 
       
    attrsOf = elemType: mkOptionType rec {

     

       
264
       
 
       
      name = "attrsOf";

     

       
265
       
 
       
      description = "attribute set of ${elemType.description}s";