···

       
18
       
18
       
 
       
    flip

     

       
19
       
19
       
 
       
    head

     

       
20
       
20
       
 
       
    isInt

     

       
21
       
21
       
+
       
    isFloat

     

       
21
       
22
       
 
       
    isList

     

       
22
       
23
       
 
       
    isPath

     

       
23
       
24
       
 
       
    length

     
···

       
152
       
153
       
 
       
      "Systemd ${group} field `${name}' is outside the range [${toString min},${toString max}]";

     

       
153
       
154
       
 
       


     

       
154
       
155
       
 
       
  assertRangeOrOneOf = name: min: max: values: group: attr:

     

       
155
       
155
       
-
       
    optional (attr ? ${name} && !((min <= attr.${name} && max >= attr.${name}) || elem attr.${name} values))

     

       
156
       
156
       
+
       
    optional (attr ? ${name} && !(((isInt attr.${name} || isFloat attr.${name}) && min <= attr.${name} && max >= attr.${name}) || elem attr.${name} values))

     

       
156
       
157
       
 
       
      "Systemd ${group} field `${name}' is not a value in range [${toString min},${toString max}], or one of ${toString values}";

     

       
157
       
158
       
 
       


     

       
158
       
159
       
 
       
  assertMinimum = name: min: group: attr: