makefu/stockholm
1
0
Fork 0
Code Issues Pull requests Actions 1 Packages Projects Releases Wiki Activity

krebs types.uint: init

Browse source
This commit is contained in:
tv 2016-06-07 22:36:40 +02:00
parent b5bdd9aed4
commit 6fcc35afb0
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
krebs/4lib/types.nix
View file

@ -154,6 +154,12 @@ types // rec {
merge = mergeOneOption; merge = mergeOneOption;
}; };
uint = mkOptionType {
name = "unsigned integer";
check = x: isInt x && x >= 0;
merge = mergeOneOption;
};
secret-file = submodule ({ config, ... }: { secret-file = submodule ({ config, ... }: {
options = { options = {
path = mkOption { type = str; }; path = mkOption { type = str; };