diff options
author | Profpatsch <mail@profpatsch.de> | 2017-10-31 17:30:15 +0100 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2017-11-05 15:56:32 +0100 |
commit | 462c048c77fa0aa0cb4c47d7812a57f094587f68 (patch) | |
tree | 608f72f36e786fee42167fc4d58df8888cedb5ff /nixos | |
parent | 1158910676323b57ba0248a71ad0a0d8e57a960b (diff) | |
download | nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.tar nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.tar.gz nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.tar.bz2 nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.tar.lz nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.tar.xz nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.tar.zst nixpkgs-462c048c77fa0aa0cb4c47d7812a57f094587f68.zip |
lib/types: add `ints.positive`.
For values that are positive, but cannot be 0.
Diffstat (limited to 'nixos')
-rw-r--r-- | nixos/doc/manual/development/option-types.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/nixos/doc/manual/development/option-types.xml b/nixos/doc/manual/development/option-types.xml index 0b00f7077c2..83dcf0232d9 100644 --- a/nixos/doc/manual/development/option-types.xml +++ b/nixos/doc/manual/development/option-types.xml @@ -78,6 +78,13 @@ for 8 bits). </para></listitem> </varlistentry> + <varlistentry> + <term> + <varname>types.ints.positive</varname> + </term> + <listitem><para>A positive integer (that is > 0). + </para></listitem> + </varlistentry> </variablelist> <para>String-related types:</para> |