lib.types: add pathname

1 files changed, 15 insertions, 0 deletions

diff --git a/lib/types.nix b/lib/types.nix
index 197633e..572964a 100644
--- a/lib/types.nix
+++ b/lib/types.nix
@@ -20,4 +20,19 @@ rec {
     check = test "([0-9A-Za-z._])[0-9A-Za-z._-]*";
     merge = mergeOneOption;
   };
+
+  # POSIX.1‐2013, 3.267 Pathname
+  pathname = mkOptionType {
+    name = "POSIX pathname";
+    check = x:
+      let
+        # The filter is used to normalize paths, i.e. to remove duplicated and
+        # trailing slashes.  It also removes leading slashes, thus we have to
+        # check for "/" explicitly below.
+        xs = filter (s: stringLength s > 0) (splitString "/" x);
+      in
+        isString x && (x == "/" || (length xs > 0 && all filename.check xs));
+    merge = mergeOneOption;
+  };
+
 }