···

       
65
       
 
       
# unsigned

     

       
66
       
 
       
checkConfigOutput "42" config.value ./declare-int-unsigned-value.nix ./define-value-int-positive.nix

     

       
67
       
 
       
checkConfigError 'The option value .* in .* is not of type.*unsigned integer.*' config.value ./declare-int-unsigned-value.nix ./define-value-int-negative.nix

     

       
0
       
 
       

     

       
0
       
 
       

     

       
68
       
 
       
# between

     

       
69
       
 
       
checkConfigOutput "42" config.value ./declare-int-between-value.nix ./define-value-int-positive.nix

     

       
70
       
 
       
checkConfigError 'The option value .* in .* is not of type.*between.*-21 and 43.*inclusive.*' config.value ./declare-int-between-value.nix ./define-value-int-negative.nix

     

···

       
65
       
 
       
# unsigned

     

       
66
       
 
       
checkConfigOutput "42" config.value ./declare-int-unsigned-value.nix ./define-value-int-positive.nix

     

       
67
       
 
       
checkConfigError 'The option value .* in .* is not of type.*unsigned integer.*' config.value ./declare-int-unsigned-value.nix ./define-value-int-negative.nix

     

       
68
       
+
       
# positive

     

       
69
       
+
       
checkConfigError 'The option value .* in .* is not of type.*positive integer.*' config.value ./declare-int-positive-value.nix ./define-value-int-zero.nix

     

       
70
       
 
       
# between

     

       
71
       
 
       
checkConfigOutput "42" config.value ./declare-int-between-value.nix ./define-value-int-positive.nix

     

       
72
       
 
       
checkConfigError 'The option value .* in .* is not of type.*between.*-21 and 43.*inclusive.*' config.value ./declare-int-between-value.nix ./define-value-int-negative.nix

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
1
       
+
       
{ lib, ... }:

     

       
2
       
+
       


     

       
3
       
+
       
{

     

       
4
       
+
       
  options = {

     

       
5
       
+
       
    value = lib.mkOption {

     

       
6
       
+
       
      type = lib.types.ints.positive;

     

       
7
       
+
       
    };

     

       
8
       
+
       
  };

     

       
9
       
+
       
}

     

···

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

···

       
1
       
+
       
{

     

       
2
       
+
       
  value = 0;

     

       
3
       
+
       
}

     

···

       
151
       
 
       
          name = "unsignedInt";

     

       
152
       
 
       
          description = "unsigned integer, meaning >=0";

     

       
153
       
 
       
        };

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
154
       
 
       
        u8 = unsign 8 256;

     

       
155
       
 
       
        u16 = unsign 16 65536;

     

       
156
       
 
       
        u32 = unsign 32 4294967296;

     

···

       
151
       
 
       
          name = "unsignedInt";

     

       
152
       
 
       
          description = "unsigned integer, meaning >=0";

     

       
153
       
 
       
        };

     

       
154
       
+
       
        positive = addCheck types.int (x: x > 0) // {

     

       
155
       
+
       
          name = "positiveInt";

     

       
156
       
+
       
          description = "positive integer, meaning >0";

     

       
157
       
+
       
        };

     

       
158
       
 
       
        u8 = unsign 8 256;

     

       
159
       
 
       
        u16 = unsign 16 65536;

     

       
160
       
 
       
        u32 = unsign 32 4294967296;

     

···

       
78
       
 
       
        for 8 bits).

     

       
79
       
 
       
    </para></listitem>

     

       
80
       
 
       
  </varlistentry>

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
81
       
 
       
</variablelist>

     

       
82
       
 
       


     

       
83
       
 
       
<para>String-related types:</para>

     

···

       
78
       
 
       
        for 8 bits).

     

       
79
       
 
       
    </para></listitem>

     

       
80
       
 
       
  </varlistentry>

     

       
81
       
+
       
  <varlistentry>

     

       
82
       
+
       
    <term>

     

       
83
       
+
       
      <varname>types.ints.positive</varname>

     

       
84
       
+
       
    </term>

     

       
85
       
+
       
    <listitem><para>A positive integer (that is > 0).

     

       
86
       
+
       
    </para></listitem>

     

       
87
       
+
       
  </varlistentry>

     

       
88
       
 
       
</variablelist>

     

       
89
       
 
       


     

       
90
       
 
       
<para>String-related types:</para>