lib/types: defaultTypeMerge move wrapped into payload

NixOS · Nov 7, 2024 · 7f14388 · 7f14388
1 parent d2dfc1a
commit 7f14388
Showing 1 changed file with 9 additions and 5 deletions.
diff --git a/lib/types.nix b/lib/types.nix
@@ -93,12 +93,12 @@ rec {
     else if    (f.wrapped == null && f'.wrapped == null)
             && (f.payload == null && f'.payload == null)
        then f.type
-    # composed types
-    else if (f.wrapped != null && f'.wrapped != null) && (wrapped != null)
-       then f.type wrapped
     # value types
-    else if (f.payload != null && f'.payload != null) && (payload != null)
+    else if (f.payload != null && f'.payload != null)
        then f.type payload
+    # composed types
+    else if (f.wrapped != null && f'.wrapped != null)
+       then f.type wrapped
     else null;
 
   # Default type functor
@@ -583,7 +583,11 @@ rec {
       getSubOptions = prefix: elemType.getSubOptions (prefix ++ ["<name>"]);
       getSubModules = elemType.getSubModules;
       substSubModules = m: attrsOf (elemType.substSubModules m);
-      functor = (defaultFunctor name) // { wrapped = elemType; };
+      functor = (defaultFunctor name) // {
+        payload.wrapped = elemType;
+        type = payload: attrsOf payload.wrapped;
+        binOp = lhs: rhs: { wrapped = lhs.wrapped.typeMerge rhs.wrapped.functor; };
+      };
       nestedTypes.elemType = elemType;
     };