Mic92/stockholm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

krebs {{absolute-,}path,user}name: mergeOneOption

Browse Source
This commit is contained in:
tv 2016-06-11 16:36:42 +02:00
parent cda4c2d96b
commit 8353b1293e
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
krebs/4lib/types.nix
View File

@ -335,6 +335,7 @@ types // rec {
absolute-pathname = mkOptionType {
name = "POSIX absolute pathname";
check = s: s == "/" || (pathname.check s && substring 0 1 s == "/");
merge = mergeOneOption;
};
# POSIX.1‐2013, 3.267 Pathname
@ -342,11 +343,13 @@ types // rec {
pathname = mkOptionType {
name = "POSIX pathname";
check = s: isString s && all filename.check (splitString "/" s);
merge = mergeOneOption;
};
# POSIX.1-2013, 3.431 User Name
username = mkOptionType {
name = "POSIX username";
check = filename.check;
merge = mergeOneOption;
};
}