lib/types: defaultTypeMerge move wrapped into payload

NixOS · Nov 7, 2024 · 7e783c2 · 7e783c2
1 parent d2dfc1a
commit 7e783c2
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/lib/types.nix b/lib/types.nix
@@ -94,10 +94,10 @@ rec {
             && (f.payload == null && f'.payload == null)
        then f.type
     # composed types
-    else if (f.wrapped != null && f'.wrapped != null) && (wrapped != null)
+    else if (f.wrapped != null && f'.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
     else null;
 
@@ -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;
     };