Add path type

This commit is contained in:
Michael Fellinger 2019-09-16 12:27:54 +02:00 committed by Vincent Ambo
parent afd2fd5058
commit 7b1e389c66
2 changed files with 3 additions and 1 deletions

View file

@ -97,6 +97,7 @@ in lib.fix (self: {
bool = typedef "bool" isBool;
float = typedef "float" isFloat;
string = typedef "string" isString;
path = typedef "path" (x: typeOf x == "path");
drv = typedef "derivation" (x: isAttrs x && x ? "type" && x.type == "derivation");
function = typedef "function" (x: isFunction x || (isAttrs x && x ? "__functor"
&& isFunction x.__functor));

View file

@ -12,6 +12,7 @@ deepSeq rec {
(float 13.37)
(string "Hello!")
(function (x: x * 2))
(path /nix)
];
# Test that polymorphic types work as intended
@ -76,7 +77,7 @@ deepSeq rec {
# Test that all types are types.
testTypes = map type [
any bool drv float int string
any bool drv float int string path
(attrs int)
(either int string)