3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #42891 from sorki/option_float

lib: add float option type
This commit is contained in:
Matthew Bauer 2018-07-02 19:07:35 -04:00 committed by GitHub
commit 096fbb33e9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 1 deletions

View file

@ -102,7 +102,7 @@ rec {
# Pull in some builtins not included elsewhere.
inherit (builtins)
pathExists readFile isBool
isInt add sub lessThan
isInt isFloat add sub lessThan
seq deepSeq genericClosure;
inherit (lib.strings) fileContents;

View file

@ -167,6 +167,13 @@ rec {
# s32 = sign 32 4294967296;
};
float = mkOptionType rec {
name = "float";
description = "floating point number";
check = isFloat;
merge = mergeOneOption;
};
str = mkOptionType {
name = "str";
description = "string";