lib: add float option type

2018-07-03 00:11:11 +02:00
parent 366cd2ad8c
commit 4a310a0404
2 changed files with 8 additions and 1 deletions
@@ -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";