effect 3.13.3 → 3.13.6

package/dist/cjs/Match.js.map

@@ -1 +1 @@
-{"version":3,"file":"Match.js","names":["internal","_interopRequireWildcard","require","Predicate","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","hasOwnProperty","call","i","set","MatcherTypeId","exports","TypeId","type","value","valueTags","typeTags","withReturnType","when","whenOr","whenAnd","discriminator","discriminatorStartsWith","discriminators","discriminatorsExhaustive","tag","tagStartsWith","tags","tagsExhaustive","not","nonEmptyString","is","string","isString","number","isNumber","any","defined","boolean","isBoolean","_undefined","undefined","isUndefined","_null","null","isNull","bigint","isBigInt","symbol","isSymbol","date","isDate","record","isRecord","instanceOf","instanceOfUnsafe","orElse","orElseAbsurd","either","option","exhaustive","SafeRefinementId","Symbol","for","Fail"],"sources":["../../src/Match.ts"],"sourcesContent":[null],"mappings":";;;;;;AA6BA,IAAAA,QAAA,GAAAC,uBAAA,CAAAC,OAAA;AAGA,IAAAC,SAAA,GAAAF,uBAAA,CAAAC,OAAA;AAA2C,SAAAE,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAJ,wBAAAI,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,OAAAC,cAAA,CAAAC,IAAA,CAAAhB,CAAA,EAAAc,CAAA,SAAAG,CAAA,GAAAP,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAG,CAAA,KAAAA,CAAA,CAAAV,GAAA,IAAAU,CAAA,CAAAC,GAAA,IAAAP,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAG,CAAA,IAAAT,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAe,GAAA,CAAAlB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAI3C;;;;AAIO,MAAMW,aAAa,GAAAC,OAAA,CAAAD,aAAA,GAAkBxB,QAAQ,CAAC0B,MAAM;AAgH3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCO,MAAMC,IAAI,GAAAF,OAAA,CAAAE,IAAA,GAA+D3B,QAAQ,CAAC2B,IAAI;AAE7F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCO,MAAMC,KAAK,GAAAH,OAAA,CAAAG,KAAA,GAEmC5B,QAAQ,CAAC4B,KAAK;AAEnE;;;;AAIO,MAAMC,SAAS,GAAAJ,OAAA,CAAAI,SAAA,GASwC7B,QAAQ,CAAC6B,SAAS;AAEhF;;;;AAIO,MAAMC,QAAQ,GAAAL,OAAA,CAAAK,QAAA,GAQyC9B,QAAQ,CAAC8B,QAAQ;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BO,MAAMC,cAAc,GAAAN,OAAA,CAAAM,cAAA,GAGmC/B,QAAQ,CAAC+B,cAAc;AAErF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CO,MAAMC,IAAI,GAAAP,OAAA,CAAAO,IAAA,GAiBbhC,QAAQ,CAACgC,IAAI;AAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CO,MAAMC,MAAM,GAAAR,OAAA,CAAAQ,MAAA,GAgBfjC,QAAQ,CAACiC,MAAM;AAEnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCO,MAAMC,OAAO,GAAAT,OAAA,CAAAS,OAAA,GAehBlC,QAAQ,CAACkC,OAAO;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BO,MAAMC,aAAa,GAAAV,OAAA,CAAAU,aAAA,GAatBnC,QAAQ,CAACmC,aAAa;AAE1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCO,MAAMC,uBAAuB,GAAAX,OAAA,CAAAW,uBAAA,GAchCpC,QAAQ,CAACoC,uBAA8B;AAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BO,MAAMC,cAAc,GAAAZ,OAAA,CAAAY,cAAA,GAmBvBrC,QAAQ,CAACqC,cAAc;AAE3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCO,MAAMC,wBAAwB,GAAAb,OAAA,CAAAa,wBAAA,GAanCtC,QAAQ,CAACsC,wBAAwB;AAEnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CO,MAAMC,GAAG,GAAAd,OAAA,CAAAc,GAAA,GAWZvC,QAAQ,CAACuC,GAAG;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BO,MAAMC,aAAa,GAAAf,OAAA,CAAAe,aAAA,GAYtBxC,QAAQ,CAACwC,aAAa;AAE1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BO,MAAMC,IAAI,GAAAhB,OAAA,CAAAgB,IAAA,GAiBbzC,QAAQ,CAACyC,IAAI;AAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BO,MAAMC,cAAc,GAAAjB,OAAA,CAAAiB,cAAA,GAWzB1C,QAAQ,CAAC0C,cAAc;AAEzB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCO,MAAMC,GAAG,GAAAlB,OAAA,CAAAkB,GAAA,GAiBZ3C,QAAQ,CAAC2C,GAAG;AAEhB;;;;;;AAMO,MAAMC,cAAc,GAAAnB,OAAA,CAAAmB,cAAA,GAAkC5C,QAAQ,CAAC4C,cAAc;AAEpF;;;;;;AAMO,MAAMC,EAAE,GAAApB,OAAA,CAAAoB,EAAA,GAE+D7C,QAAQ,CAAC6C,EAAE;AAEzF;;;;;;AAMO,MAAMC,MAAM,GAAArB,OAAA,CAAAqB,MAAA,GAA0C3C,SAAS,CAAC4C,QAAQ;AAE/E;;;;;;AAMO,MAAMC,MAAM,GAAAvB,OAAA,CAAAuB,MAAA,GAA0C7C,SAAS,CAAC8C,QAAQ;AAE/E;;;;;;AAMO,MAAMC,GAAG,GAAAzB,OAAA,CAAAyB,GAAA,GAAiClD,QAAQ,CAACkD,GAAG;AAE7D;;;;;;AAMO,MAAMC,OAAO,GAAA1B,OAAA,CAAA0B,OAAA,GAA6BnD,QAAQ,CAACmD,OAAO;AAEjE;;;;;;AAMO,MAAMC,OAAO,GAAA3B,OAAA,CAAA2B,OAAA,GAA2CjD,SAAS,CAACkD,SAAS;AAElF,MAAMC,UAAU,GAAA7B,OAAA,CAAA8B,SAAA,GAA6CpD,SAAS,CAACqD,WAAW;AAWlF,MAAMC,KAAK,GAAAhC,OAAA,CAAAiC,IAAA,GAAwCvD,SAAS,CAACwD,MAAM;AAWnE;;;;;;AAMO,MAAMC,MAAM,GAAAnC,OAAA,CAAAmC,MAAA,GAA0CzD,SAAS,CAAC0D,QAAQ;AAE/E;;;;;;AAMO,MAAMC,MAAM,GAAArC,OAAA,CAAAqC,MAAA,GAA0C3D,SAAS,CAAC4D,QAAQ;AAE/E;;;;;;AAMO,MAAMC,IAAI,GAAAvC,OAAA,CAAAuC,IAAA,GAAwC7D,SAAS,CAAC8D,MAAM;AAEzE;;;;;;AAMO,MAAMC,MAAM,GAAAzC,OAAA,CAAAyC,MAAA,GAAqE/D,SAAS,CAACgE,QAAQ;AAE1G;;;;;;AAMO,MAAMC,UAAU,GAAA3C,OAAA,CAAA2C,UAAA,GAEuBpE,QAAQ,CAACoE,UAAU;AAEjE;;;;AAIO,MAAMC,gBAAgB,GAAA5C,OAAA,CAAA4C,gBAAA,GAE2BrE,QAAQ,CAACoE,UAAU;AAE3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCO,MAAME,MAAM,GAAA7C,OAAA,CAAA6C,MAAA,GAI6EtE,QAAQ,CAACsE,MAAM;AAE/G;AACA;;;;;;;;;;;;;;;;AAgBO,MAAMC,YAAY,GAAA9C,OAAA,CAAA8C,YAAA,GAEuCvE,QAAQ,CAACuE,YAAY;AAErF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCO,MAAMC,MAAM,GAAA/C,OAAA,CAAA+C,MAAA,GAEiFxE,QAAQ,CAACwE,MAAM;AAEnH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCO,MAAMC,MAAM,GAAAhD,OAAA,CAAAgD,MAAA,GAE2EzE,QAAQ,CAACyE,MAAM;AAE7G;;;;;;;;;;;;;;;;;;;;;;;;;AAyBO,MAAMC,UAAU,GAAAjD,OAAA,CAAAiD,UAAA,GAEqC1E,QAAQ,CAAC0E,UAAU;AAE/E;;;;AAIO,MAAMC,gBAAgB,GAAAlD,OAAA,CAAAkD,gBAAA,gBAAGC,MAAM,CAACC,GAAG,CAAC,uBAAuB,CAAC;AAgBnE,MAAMC,IAAI,gBAAGF,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC","ignoreList":[]}
+{"version":3,"file":"Match.js","names":["internal","_interopRequireWildcard","require","Predicate","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","hasOwnProperty","call","i","set","MatcherTypeId","exports","TypeId","type","value","valueTags","typeTags","withReturnType","when","whenOr","whenAnd","discriminator","discriminatorStartsWith","discriminators","discriminatorsExhaustive","tag","tagStartsWith","tags","tagsExhaustive","not","nonEmptyString","is","string","isString","number","isNumber","any","defined","boolean","isBoolean","_undefined","undefined","isUndefined","_null","null","isNull","bigint","isBigInt","symbol","isSymbol","date","isDate","record","isRecord","instanceOf","instanceOfUnsafe","orElse","orElseAbsurd","either","option","exhaustive","SafeRefinementId","Symbol","for","Fail"],"sources":["../../src/Match.ts"],"sourcesContent":[null],"mappings":";;;;;;AA6BA,IAAAA,QAAA,GAAAC,uBAAA,CAAAC,OAAA;AAGA,IAAAC,SAAA,GAAAF,uBAAA,CAAAC,OAAA;AAA2C,SAAAE,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAJ,wBAAAI,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,OAAAC,cAAA,CAAAC,IAAA,CAAAhB,CAAA,EAAAc,CAAA,SAAAG,CAAA,GAAAP,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAG,CAAA,KAAAA,CAAA,CAAAV,GAAA,IAAAU,CAAA,CAAAC,GAAA,IAAAP,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAG,CAAA,IAAAT,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAe,GAAA,CAAAlB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAI3C;;;;AAIO,MAAMW,aAAa,GAAAC,OAAA,CAAAD,aAAA,GAAkBxB,QAAQ,CAAC0B,MAAM;AAgH3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCO,MAAMC,IAAI,GAAAF,OAAA,CAAAE,IAAA,GAA+D3B,QAAQ,CAAC2B,IAAI;AAE7F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAwCO,MAAMC,KAAK,GAAAH,OAAA,CAAAG,KAAA,GAEmC5B,QAAQ,CAAC4B,KAAK;AAEnE;;;;AAIO,MAAMC,SAAS,GAAAJ,OAAA,CAAAI,SAAA,GASwC7B,QAAQ,CAAC6B,SAAS;AAEhF;;;;AAIO,MAAMC,QAAQ,GAAAL,OAAA,CAAAK,QAAA,GAQyC9B,QAAQ,CAAC8B,QAAQ;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BO,MAAMC,cAAc,GAAAN,OAAA,CAAAM,cAAA,GAGmC/B,QAAQ,CAAC+B,cAAc;AAErF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+CO,MAAMC,IAAI,GAAAP,OAAA,CAAAO,IAAA,GAiBbhC,QAAQ,CAACgC,IAAI;AAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CO,MAAMC,MAAM,GAAAR,OAAA,CAAAQ,MAAA,GAgBfjC,QAAQ,CAACiC,MAAM;AAEnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCO,MAAMC,OAAO,GAAAT,OAAA,CAAAS,OAAA,GAehBlC,QAAQ,CAACkC,OAAO;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BO,MAAMC,aAAa,GAAAV,OAAA,CAAAU,aAAA,GAatBnC,QAAQ,CAACmC,aAAa;AAE1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCO,MAAMC,uBAAuB,GAAAX,OAAA,CAAAW,uBAAA,GAchCpC,QAAQ,CAACoC,uBAAuB;AAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA+BO,MAAMC,cAAc,GAAAZ,OAAA,CAAAY,cAAA,GAmBvBrC,QAAQ,CAACqC,cAAc;AAE3B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCO,MAAMC,wBAAwB,GAAAb,OAAA,CAAAa,wBAAA,GAanCtC,QAAQ,CAACsC,wBAAwB;AAEnC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2CO,MAAMC,GAAG,GAAAd,OAAA,CAAAc,GAAA,GAgBZvC,QAAQ,CAACuC,GAAG;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BO,MAAMC,aAAa,GAAAf,OAAA,CAAAe,aAAA,GAiBtBxC,QAAQ,CAACwC,aAAa;AAE1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BO,MAAMC,IAAI,GAAAhB,OAAA,CAAAgB,IAAA,GAiBbzC,QAAQ,CAACyC,IAAI;AAEjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA6BO,MAAMC,cAAc,GAAAjB,OAAA,CAAAiB,cAAA,GAWzB1C,QAAQ,CAAC0C,cAAc;AAEzB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkCO,MAAMC,GAAG,GAAAlB,OAAA,CAAAkB,GAAA,GAiBZ3C,QAAQ,CAAC2C,GAAG;AAEhB;;;;;;AAMO,MAAMC,cAAc,GAAAnB,OAAA,CAAAmB,cAAA,GAAkC5C,QAAQ,CAAC4C,cAAc;AAEpF;;;;;;AAMO,MAAMC,EAAE,GAAApB,OAAA,CAAAoB,EAAA,GAE+D7C,QAAQ,CAAC6C,EAAE;AAEzF;;;;;;AAMO,MAAMC,MAAM,GAAArB,OAAA,CAAAqB,MAAA,GAA0C3C,SAAS,CAAC4C,QAAQ;AAE/E;;;;;;AAMO,MAAMC,MAAM,GAAAvB,OAAA,CAAAuB,MAAA,GAA0C7C,SAAS,CAAC8C,QAAQ;AAE/E;;;;;;AAMO,MAAMC,GAAG,GAAAzB,OAAA,CAAAyB,GAAA,GAAiClD,QAAQ,CAACkD,GAAG;AAE7D;;;;;;AAMO,MAAMC,OAAO,GAAA1B,OAAA,CAAA0B,OAAA,GAA6BnD,QAAQ,CAACmD,OAAO;AAEjE;;;;;;AAMO,MAAMC,OAAO,GAAA3B,OAAA,CAAA2B,OAAA,GAA2CjD,SAAS,CAACkD,SAAS;AAElF,MAAMC,UAAU,GAAA7B,OAAA,CAAA8B,SAAA,GAA6CpD,SAAS,CAACqD,WAAW;AAWlF,MAAMC,KAAK,GAAAhC,OAAA,CAAAiC,IAAA,GAAwCvD,SAAS,CAACwD,MAAM;AAWnE;;;;;;AAMO,MAAMC,MAAM,GAAAnC,OAAA,CAAAmC,MAAA,GAA0CzD,SAAS,CAAC0D,QAAQ;AAE/E;;;;;;AAMO,MAAMC,MAAM,GAAArC,OAAA,CAAAqC,MAAA,GAA0C3D,SAAS,CAAC4D,QAAQ;AAE/E;;;;;;AAMO,MAAMC,IAAI,GAAAvC,OAAA,CAAAuC,IAAA,GAAwC7D,SAAS,CAAC8D,MAAM;AAEzE;;;;;;AAMO,MAAMC,MAAM,GAAAzC,OAAA,CAAAyC,MAAA,GAAqE/D,SAAS,CAACgE,QAAQ;AAE1G;;;;;;AAMO,MAAMC,UAAU,GAAA3C,OAAA,CAAA2C,UAAA,GAEuBpE,QAAQ,CAACoE,UAAU;AAEjE;;;;AAIO,MAAMC,gBAAgB,GAAA5C,OAAA,CAAA4C,gBAAA,GAE2BrE,QAAQ,CAACoE,UAAU;AAE3E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCO,MAAME,MAAM,GAAA7C,OAAA,CAAA6C,MAAA,GAI6EtE,QAAQ,CAACsE,MAAM;AAE/G;AACA;;;;;;;;;;;;;;;;AAgBO,MAAMC,YAAY,GAAA9C,OAAA,CAAA8C,YAAA,GAEuCvE,QAAQ,CAACuE,YAAY;AAErF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCO,MAAMC,MAAM,GAAA/C,OAAA,CAAA+C,MAAA,GAEiFxE,QAAQ,CAACwE,MAAM;AAEnH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAqCO,MAAMC,MAAM,GAAAhD,OAAA,CAAAgD,MAAA,GAE2EzE,QAAQ,CAACyE,MAAM;AAE7G;;;;;;;;;;;;;;;;;;;;;;;;;AAyBO,MAAMC,UAAU,GAAAjD,OAAA,CAAAiD,UAAA,GAEqC1E,QAAQ,CAAC0E,UAAU;AAE/E;;;;AAIO,MAAMC,gBAAgB,GAAAlD,OAAA,CAAAkD,gBAAA,gBAAGC,MAAM,CAACC,GAAG,CAAC,uBAAuB,CAAC;AAgBnE,MAAMC,IAAI,gBAAGF,MAAM,CAACC,GAAG,CAAC,aAAa,CAAC","ignoreList":[]}

package/dist/cjs/Schema.js

@@ -1706,34 +1706,35 @@ const intersectUnionMembers = (xs, ys, path) => array_.flatMap(xs, x => array_.f
             return [intersectTypeLiterals(x, y, path)];
           case "Transformation":
             {
-              if (AST.isTypeLiteralTransformation(x.transformation)) {
-                return [new AST.Transformation(intersectTypeLiterals(x.from, y, path), intersectTypeLiterals(x.to, AST.typeAST(y), path), new AST.TypeLiteralTransformation(x.transformation.propertySignatureTransformations))];
+              const transformation = x.transformation;
+              const from = intersectTypeLiterals(x.from, y, path);
+              const to = intersectTypeLiterals(x.to, AST.typeAST(y), path);
+              switch (transformation._tag) {
+                case "TypeLiteralTransformation":
+                  return [new AST.Transformation(from, to, new AST.TypeLiteralTransformation(transformation.propertySignatureTransformations))];
+                case "ComposeTransformation":
+                  return [new AST.Transformation(from, to, AST.composeTransformation)];
+                case "FinalTransformation":
+                  return [new AST.Transformation(from, to, new AST.FinalTransformation((fromA, options, ast, fromI) => ParseResult.map(transformation.decode(fromA, options, ast, fromI), partial => ({
+                    ...fromA,
+                    ...partial
+                  })), (toI, options, ast, toA) => ParseResult.map(transformation.encode(toI, options, ast, toA), partial => ({
+                    ...toI,
+                    ...partial
+                  }))))];
               }
-              break;
             }
         }
         break;
       }
     case "Transformation":
       {
-        if (AST.isTypeLiteralTransformation(y.transformation)) {
-          switch (x._tag) {
-            case "Union":
-              return intersectUnionMembers(x.types, [y], path);
-            case "Suspend":
-              return [new AST.Suspend(() => extendAST(x.f(), y, path))];
-            case "Refinement":
-              return addRefinementToMembers(x, intersectUnionMembers(getTypes(x.from), [y], path));
-            case "TypeLiteral":
-              return [new AST.Transformation(intersectTypeLiterals(x, y.from, path), intersectTypeLiterals(AST.typeAST(x), y.to, path), new AST.TypeLiteralTransformation(y.transformation.propertySignatureTransformations))];
-            case "Transformation":
-              {
-                if (AST.isTypeLiteralTransformation(x.transformation)) {
-                  return [new AST.Transformation(intersectTypeLiterals(x.from, y.from, path), intersectTypeLiterals(x.to, y.to, path), new AST.TypeLiteralTransformation(y.transformation.propertySignatureTransformations.concat(x.transformation.propertySignatureTransformations)))];
-                }
-              }
-              break;
+        if (AST.isTransformation(x)) {
+          if (AST.isTypeLiteralTransformation(y.transformation) && AST.isTypeLiteralTransformation(x.transformation)) {
+            return [new AST.Transformation(intersectTypeLiterals(x.from, y.from, path), intersectTypeLiterals(x.to, y.to, path), new AST.TypeLiteralTransformation(y.transformation.propertySignatureTransformations.concat(x.transformation.propertySignatureTransformations)))];
           }
+        } else {
+          return intersectUnionMembers([y], [x], path);
         }
         break;
       }
@@ -5078,7 +5079,7 @@ const makeClass = ({
       if (out) {
         return out;
       }
-      const declaration = declare([typeSide], {
+      const declaration = declare([schema], {
         decode: () => (input, _, ast) => input instanceof this || fallbackInstanceOf(input) ? ParseResult.succeed(input) : ParseResult.fail(new ParseResult.Type(ast, input)),
         encode: () => (input, options) => input instanceof this ? ParseResult.succeed(input) : ParseResult.map(ParseResult.encodeUnknown(typeSide)(input, options), props => new this(props, true))
       }, {