Compare commits

..

2 commits

Author SHA1 Message Date
diniamo
ec1b574eb0
Merge 15c7f8969f into ef413736e9 2024-10-07 12:43:16 +00:00
diniamo
15c7f8969f lib: fix docs for mergelessListOf 2024-10-07 14:43:11 +02:00

View file

@ -52,7 +52,15 @@ in {
(mergeFunctions.${commonType} or mergeEqualOption) loc defs;
};
mergelessListOf = elemType: listOf elemType // {merge = mergeEqualOption;};
mergelessListOf = elemType: let
super = listOf elemType;
in
super
// {
name = "mergelessListOf";
description = "mergeless ${super.description}";
merge = mergeEqualOption;
};
char = mkOptionType {
name = "char";