@fncts/schema 0.0.20 → 0.0.22

package/_src/AST.ts

@@ -693,7 +693,7 @@ export function createPropertySignature(
 
 export class IndexSignature {
   constructor(
-    readonly parameter: StringKeyword | SymbolKeyword | TemplateLiteral | Refinement,
+    readonly parameter: StringKeyword | SymbolKeyword | TemplateLiteral | NumberKeyword | Refinement,
     readonly type: AST,
     readonly isReadonly: boolean,
   ) {}
@@ -703,7 +703,7 @@ export class IndexSignature {
  * @tsplus static fncts.schema.ASTOps createIndexSignature
  */
 export function createIndexSignature(
-  parameter: StringKeyword | SymbolKeyword | TemplateLiteral | Refinement,
+  parameter: StringKeyword | SymbolKeyword | TemplateLiteral | NumberKeyword | Refinement,
   type: AST,
   isReadonly: boolean,
 ): IndexSignature {
@@ -1136,7 +1136,9 @@ export function appendElement(element: Element) {
   };
 }
 
-export function getParameter(x: IndexSignature["parameter"]): StringKeyword | SymbolKeyword | TemplateLiteral {
+export function getParameter(
+  x: IndexSignature["parameter"],
+): StringKeyword | NumberKeyword | SymbolKeyword | TemplateLiteral {
   return isRefinement(x) ? getParameter(x.from as any) : x;
 }
 

package/_src/ASTAnnotation.ts

@@ -107,3 +107,10 @@ export const GenHookTag = Tag<Hook<any>>();
  * @tsplus static fncts.schema.ASTAnnotationOps GenHook
  */
 export const GenHook = new ASTAnnotation(GenHookTag, "GenHook", (_, b) => b);
+
+export const EqHookTag = Tag<Hook<Eq<any>>>();
+
+/**
+ * @tsplus static fncts.schema.ASTAnnotationOps EqHook
+ */
+export const EqHook = new ASTAnnotation(EqHookTag, "EqHook", (_, b) => b);

package/_src/Eq.ts

@@ -0,0 +1,156 @@
+import { globalValue } from "@fncts/base/data/Global";
+
+import { ASTTag } from "./AST.js";
+import { getKeysForIndexSignature, memoize } from "./utils.js";
+
+/**
+ * @tsplus getter fncts.schema.Schema equals
+ */
+export function equals<A>(self: Schema<A>): (a: A, b: A) => boolean {
+  const eq = self.eq;
+  return (a, b) => eq.equals(b)(a);
+}
+
+/**
+ * @tsplus getter fncts.schema.Schema eq
+ */
+export function eq<A>(self: Schema<A>): Eq<A> {
+  return goMemo(self.ast);
+}
+
+const eqMemoMap = globalValue(Symbol.for("fncts.schema.Eq.eqMemoMap"), () => new WeakMap<AST, Eq<any>>());
+
+function goMemo(ast: AST): Eq<any> {
+  const memo = eqMemoMap.get(ast);
+  if (memo) {
+    return memo;
+  }
+  const eq = go(ast);
+  eqMemoMap.set(ast, eq);
+  return eq;
+}
+
+function go(ast: AST): Eq<any> {
+  AST.concrete(ast);
+  switch (ast._tag) {
+    case ASTTag.Declaration:
+      return ast.annotations
+        .get(ASTAnnotation.EqHook)
+        .map((eq) => eq(...ast.typeParameters.map(go)))
+        .getOrElse(Eq.strict);
+    case ASTTag.Literal:
+    case ASTTag.UniqueSymbol:
+    case ASTTag.UndefinedKeyword:
+    case ASTTag.VoidKeyword:
+    case ASTTag.UnknownKeyword:
+    case ASTTag.AnyKeyword:
+    case ASTTag.NumberKeyword:
+    case ASTTag.BooleanKeyword:
+    case ASTTag.BigIntKeyword:
+    case ASTTag.SymbolKeyword:
+    case ASTTag.ObjectKeyword:
+    case ASTTag.TemplateLiteral:
+    case ASTTag.StringKeyword:
+      return Eq.strict;
+    case ASTTag.NeverKeyword:
+      return Eq.never as Eq<any>;
+    case ASTTag.Tuple: {
+      const elements = ast.elements.map((element) => goMemo(element.type));
+      const rest     = ast.rest.map((rest) => rest.map((ast) => goMemo(ast)));
+      return Eq<Array<any>>({
+        equals: (y) => (x) => {
+          if (x.length !== y.length) {
+            return false;
+          }
+
+          let i = 0;
+
+          for (; i < elements.length; i++) {
+            const eq = elements[i]!;
+            const xi = x[i];
+            const yi = y[i];
+            if (!eq.equals(yi)(xi)) {
+              return false;
+            }
+          }
+
+          if (rest.isJust()) {
+            const head = rest.value.unsafeHead!;
+            const tail = rest.value.tail;
+            for (; i < x.length - tail.length; i++) {
+              if (!head.equals(y[i])(x[i])) {
+                return false;
+              }
+            }
+            for (let j = 0; j < tail.length; j++) {
+              i       += j;
+              const eq = elements[i]!;
+              const xi = x[i];
+              const yi = y[i];
+              if (!eq.equals(yi)(xi)) {
+                return false;
+              }
+            }
+          }
+
+          return true;
+        },
+      });
+    }
+    case ASTTag.TypeLiteral: {
+      const propertySignatureTypes = ast.propertySignatures.map((ps) => go(ps.type));
+      const indexSignatures        = ast.indexSignatures.map((is) => [go(is.parameter), go(is.type)] as const);
+      const requiredEqs: Record<PropertyKey, Eq<any>> = {};
+      const optionalEqs: Record<PropertyKey, Eq<any>> = {};
+      for (let i = 0; i < propertySignatureTypes.length; i++) {
+        const ps   = ast.propertySignatures[i]!;
+        const name = ps.name;
+        if (!ps.isOptional) {
+          requiredEqs[name] = propertySignatureTypes[i]!;
+        } else {
+          optionalEqs[name] = propertySignatureTypes[i]!;
+        }
+      }
+      let output = Eq.struct(requiredEqs, optionalEqs);
+
+      for (let i = 0; i < indexSignatures.length; i++) {
+        const [, type] = indexSignatures[i]!;
+
+        output = output.intersection(
+          Eq<Record<PropertyKey, any>>({
+            equals: (y) => (x) => {
+              for (const key of getKeysForIndexSignature(x, ast.indexSignatures[i]!.parameter)) {
+                if (key in requiredEqs || key in optionalEqs) {
+                  continue;
+                }
+                if (!type.equals(y[key])(x[key])) {
+                  return false;
+                }
+              }
+
+              return true;
+            },
+          }),
+        );
+      }
+      return output;
+    }
+    case ASTTag.Union:
+      return Eq.union(ast.types.map(goMemo).toArray);
+    case ASTTag.Lazy: {
+      const f   = () => goMemo(ast.getAST());
+      const get = memoize<typeof f, Eq<any>>(f);
+      return Eq({
+        equals: (y) => (x) => get(f).equals(y)(x),
+      });
+    }
+    case ASTTag.Enum:
+      return Eq.strict;
+    case ASTTag.Transform:
+      return goMemo(ast.to);
+    case ASTTag.Refinement:
+      return goMemo(ast.from);
+    case ASTTag.Validation:
+      return goMemo(ast.from);
+  }
+}

package/_src/Schema/derivations.ts

@@ -1,4 +1,5 @@
 import type { TypeLiteral } from "@fncts/schema/AST";
+import type { Union } from "@fncts/typelevel";
 import type { OptionalKeys, RequiredKeys } from "@fncts/typelevel/Object";
 
 import { ownKeys } from "@fncts/schema/utils";
@@ -36,11 +37,17 @@ export function deriveLiteral<A extends LiteralValue>(
 
 type MaybeKeys<A> = { [K in keyof A]: A[K] extends Maybe<any> ? K : never }[keyof A];
 
+type IndexSignatures<A extends Record<PropertyKey, any>> = Union.ListOf<
+  {
+    [K in keyof A]: Check<Check.IsLiteral<K>> extends Check.True ? never : { key: Schema<K>; value: Schema<A[K]> };
+  }[keyof A]
+>;
+
 /**
  * @tsplus derive fncts.schema.Schema<_> 20
  */
 export function deriveStruct<A extends Record<string, any>>(
-  ...[requiredFields, optionalFields, maybeFields]: Check<Check.IsStruct<A>> extends Check.True
+  ...[requiredFields, optionalFields, maybeFields, indexSchema]: Check<Check.IsStruct<A>> extends Check.True
     ? [
         ...[
           requiredFields: {
@@ -55,12 +62,13 @@ export function deriveStruct<A extends Record<string, any>>(
               },
             ]),
         ...([MaybeKeys<A>] extends [never]
-          ? []
+          ? [maybeFields: {}]
           : [
               maybeFields: {
                 [k in MaybeKeys<A>]: [A[k]] extends [Maybe<infer _A>] ? Schema<_A> : never;
               },
             ]),
+        ...[indexSchema: IndexSignatures<A>],
       ]
     : never
 ): Schema<A> {
@@ -69,6 +77,9 @@ export function deriveStruct<A extends Record<string, any>>(
     // @ts-expect-error
     AST.createPropertySignature(key, requiredFields[key]!.ast, false, true),
   );
+  const indexSignatures = (indexSchema as ReadonlyArray<{ key: Schema<any>; value: Schema<any> }>).map(
+    ({ key, value }) => AST.createIndexSignature(key.ast as any, value.ast, false),
+  );
 
   if (optionalFields) {
     propertySignatures = propertySignatures.concat(
@@ -77,7 +88,7 @@ export function deriveStruct<A extends Record<string, any>>(
     );
   }
 
-  const struct = Schema.fromAST(AST.createTypeLiteral(propertySignatures, Vector.empty()));
+  const struct = Schema.fromAST(AST.createTypeLiteral(propertySignatures, Vector.from(indexSignatures)));
 
   if (maybeFieldsKeys.isEmpty()) {
     return struct as Schema<any>;
@@ -98,7 +109,7 @@ export function deriveStruct<A extends Record<string, any>>(
           ),
         ),
       ),
-      Vector.empty(),
+      Vector.from(indexSignatures),
     ),
   );
 
@@ -110,7 +121,7 @@ export function deriveStruct<A extends Record<string, any>>(
           AST.createPropertySignature(key, Schema.maybe(maybeFields![key]!).ast, false, true),
         ),
       ),
-      Vector.empty(),
+      Vector.from(indexSignatures),
     ),
   );
 
@@ -141,7 +152,7 @@ export function deriveStruct<A extends Record<string, any>>(
 /**
  * @tsplus derive fncts.schema.Schema<_> 10
  */
-export function deriveTuple<A extends ReadonlyArray<unknown>>(
+export function deriveTuple<A extends ReadonlyArray<any>>(
   ...[components]: Check<Check.IsTuple<A>> extends Check.True ? [components: { [K in keyof A]: Schema<A[K]> }] : never
 ): Schema<A> {
   return unsafeCoerce(Schema.tuple(...components));

package/_src/Schema.ts

@@ -9,7 +9,6 @@ export * from "./Schema/api/conc.js";
 export * from "./Schema/api/either.js";
 export * from "./Schema/api/hashMap.js";
 export * from "./Schema/api/hashSet.js";
-export * from "./Schema/api/immutableArray.js";
 export * from "./Schema/api/list.js";
 export * from "./Schema/api/map.js";
 export * from "./Schema/api/maybe.js";

package/_src/Show.ts

@@ -1,5 +1,6 @@
 import type {
   Element,
+  NumberKeyword,
   Refinement,
   StringKeyword,
   SymbolKeyword,
@@ -134,9 +135,10 @@ function formatElement(ast: Element, verbose: boolean): string {
 }
 
 function getParameterBase(
-  self: StringKeyword | SymbolKeyword | TemplateLiteral | Refinement,
-): StringKeyword | SymbolKeyword | TemplateLiteral {
+  self: StringKeyword | NumberKeyword | SymbolKeyword | TemplateLiteral | Refinement,
+): StringKeyword | SymbolKeyword | NumberKeyword | TemplateLiteral {
   switch (self._tag) {
+    case ASTTag.NumberKeyword:
     case ASTTag.StringKeyword:
     case ASTTag.SymbolKeyword:
     case ASTTag.TemplateLiteral:

package/_src/global.ts

@@ -35,6 +35,10 @@ import { ASTAnnotation } from "@fncts/schema/ASTAnnotation";
  * @tsplus global
  */
 import { ASTAnnotationMap } from "@fncts/schema/ASTAnnotationMap";
+/**
+ * @tsplus global
+ */
+import {} from "@fncts/schema/Eq";
 /**
  * @tsplus global
  */

package/_src/utils.ts

@@ -39,6 +39,7 @@ export function getKeysForIndexSignature(
   parameter: IndexSignature["parameter"],
 ): Vector<string> | Vector<symbol> {
   switch (parameter._tag) {
+    case ASTTag.NumberKeyword:
     case ASTTag.StringKeyword:
     case ASTTag.TemplateLiteral:
       return Vector.from(Object.keys(input));

package/global.d.ts

@@ -34,6 +34,10 @@ import { ASTAnnotation } from "@fncts/schema/ASTAnnotation";
  * @tsplus global
  */
 import { ASTAnnotationMap } from "@fncts/schema/ASTAnnotationMap";
+/**
+ * @tsplus global
+ */
+import {} from "@fncts/schema/Eq";
 /**
  * @tsplus global
  */

package/package.json

@@ -1,9 +1,9 @@
 {
   "name": "@fncts/schema",
-  "version": "0.0.20",
+  "version": "0.0.22",
   "dependencies": {
-    "@fncts/base": "0.0.39",
-    "@fncts/typelevel": "0.0.20"
+    "@fncts/base": "0.0.41",
+    "@fncts/typelevel": "0.0.22"
   },
   "exports": {
     "./*": {

package/Schema/api/immutableArray.d.ts

@@ -1,22 +0,0 @@
-import { Schema } from "@fncts/schema/Schema/definition";
-import { Check } from "@fncts/typelevel";
-import { Parser } from "@fncts/schema/Parser/definition";
-import { Gen } from "@fncts/test/control/Gen";
-import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray";
-/**
- * @tsplus getter fncts.schema.Schema immutableArray
- * @tsplus static fncts.schema.SchemaOps immutableArray
- * @tsplus location "@fncts/schema/Schema/api/immutableArray"
- */
-export declare function immutableArray<A>(value: Schema<A>): Schema<ImmutableArray<A>>;
-/**
- * @tsplus getter fncts.schema.Schema immutableArrayFromArray
- * @tsplus static fncts.schema.SchemaOps immutableArrayFromArray
- * @tsplus location "@fncts/schema/Schema/api/immutableArray"
- */
-export declare function immutableArrayFromArray<A>(value: Schema<A>): Schema<ImmutableArray<A>>;
-/**
- * @tsplus derive fncts.schema.Schema[fncts.ImmutableArray]<_> 10
- * @tsplus location "@fncts/schema/Schema/api/immutableArray"
- */
-export declare function deriveImmutableArray<A extends ImmutableArray<any>>(...[value]: [A] extends [ImmutableArray<infer _A>] ? Check<Check.IsEqual<A, ImmutableArray<_A>>> extends Check.True ? [value: Schema<_A>] : never : never): Schema<A>;

package/_cjs/Schema/api/immutableArray.cjs

@@ -1,62 +0,0 @@
-"use strict";
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.deriveImmutableArray = deriveImmutableArray;
-exports.immutableArrayFromArray = exports.immutableArray = void 0;
-var tsplus_module_1 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/ASTAnnotation"));
-var tsplus_module_2 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/Show"));
-var tsplus_module_3 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/base/collection/immutable/Vector/api"));
-var tsplus_module_4 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/Schema/api"));
-var tsplus_module_5 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/base/data/function/api"));
-var tsplus_module_6 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/Parser/api"));
-var tsplus_module_7 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/base/collection/immutable/ImmutableArray/definition"));
-var tsplus_module_8 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/ParseError/ParseError"));
-var tsplus_module_9 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/ParseResult"));
-var tsplus_module_10 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/base/data/Either/api"));
-var tsplus_module_11 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/schema/Parser/definition"));
-var tsplus_module_12 = /*#__PURE__*/_interopRequireWildcard(/*#__PURE__*/require("@fncts/test/control/Gen/api"));
-var _ImmutableArray = /*#__PURE__*/require("@fncts/base/collection/immutable/ImmutableArray");
-var _Vector = /*#__PURE__*/require("@fncts/base/collection/immutable/Vector");
-function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
-function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && {}.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
-const immutableArray = exports.immutableArray = immutableArray_1;
-const immutableArrayFromArray = exports.immutableArrayFromArray = immutableArrayFromArray_1;
-/**
- * @tsplus getter fncts.schema.Schema immutableArray
- * @tsplus static fncts.schema.SchemaOps immutableArray
- */
-function immutableArray_1(value) {
-  return tsplus_module_4.annotate(tsplus_module_1.GenHook, gen)(tsplus_module_4.annotate(tsplus_module_1.Identifier, `ImmutableArray<${tsplus_module_2.show()(value)}>`)(tsplus_module_4.declaration(tsplus_module_3.vector(value), parser(true), parser(false))));
-}
-/**
- * @tsplus getter fncts.schema.Schema immutableArrayFromArray
- * @tsplus static fncts.schema.SchemaOps immutableArrayFromArray
- */
-function immutableArrayFromArray_1(value) {
-  return tsplus_module_4.transform(immutableArray_1(value), input => new _ImmutableArray.ImmutableArray(input), input => input._array)(tsplus_module_4.array(value));
-}
-/**
- * @tsplus derive fncts.schema.Schema[fncts.ImmutableArray]<_> 10
- */
-function deriveImmutableArray(...[value]) {
-  return immutableArrayFromArray_1(value);
-}
-function parser(isDecoding) {
-  return value => {
-    const schema = immutableArray_1(value);
-    const arraySchema = tsplus_module_4.array(value);
-    const parse = isDecoding ? tsplus_module_6.decode(arraySchema) : tsplus_module_6.encode(arraySchema);
-    return tsplus_module_11.make((u, options) => {
-      if (!tsplus_module_7.isImmutableArray(u)) {
-        return tsplus_module_9.fail(tsplus_module_8.typeError(schema.ast, u));
-      }
-      return tsplus_module_10.map(out => new _ImmutableArray.ImmutableArray(out))(parse(u, options));
-    });
-  };
-}
-function gen(value) {
-  return tsplus_module_12.map(array => new _ImmutableArray.ImmutableArray(array))(tsplus_module_12.array(value));
-}
-//# sourceMappingURL=immutableArray.cjs.map

package/_cjs/Schema/api/immutableArray.cjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"immutableArray.cjs","names":["_ImmutableArray","require","_Vector","_getRequireWildcardCache","e","WeakMap","r","t","_interopRequireWildcard","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","hasOwnProperty","call","i","set","immutableArray","exports","immutableArray_1","immutableArrayFromArray","immutableArrayFromArray_1","value","tsplus_module_4","annotate","tsplus_module_1","GenHook","gen","Identifier","tsplus_module_2","show","declaration","tsplus_module_3","vector","parser","transform","input","ImmutableArray","_array","array","deriveImmutableArray","isDecoding","schema","arraySchema","parse","tsplus_module_6","decode","encode","tsplus_module_11","make","options","tsplus_module_7","isImmutableArray","tsplus_module_9","fail","tsplus_module_8","typeError","ast","tsplus_module_10","map","out","tsplus_module_12"],"sources":["../../../_src/Schema/api/immutableArray.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;;;;;;;;AAEA,IAAAA,eAAA,gBAAAC,OAAA;AACA,IAAAC,OAAA,gBAAAD,OAAA;AAAiE,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,SAAAI,wBAAAJ,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAM,OAAA,EAAAN,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAI,GAAA,CAAAP,CAAA,UAAAG,CAAA,CAAAK,GAAA,CAAAR,CAAA,OAAAS,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAf,CAAA,oBAAAe,CAAA,OAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAe,CAAA,SAAAG,CAAA,GAAAP,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAd,CAAA,EAAAe,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,IAAAf,CAAA,CAAAe,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAN,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAgB,GAAA,CAAAnB,CAAA,EAAAS,CAAA,GAAAA,CAAA;MAMjDW,cAAc,GAAAC,OAAA,CAAAD,cAAA,GAAAE,gBAAA;MAUdC,uBAAuB,GAAAF,OAAA,CAAAE,uBAAA,GAAAC,yBAAA;AAdvC;;;;AAIA,SAAAF,iBAAkCG,KAAgB;EAChD,OAAOC,eAAA,CAAAC,QAAA,CAAAC,eAAA,CAAAC,OAAA,EAE4BC,GAAG,EAF/BJ,eAAA,CAAAC,QAAA,CAAAC,eAAA,CAAAG,UAAA,EAC+B,kBAAkBC,eAAA,CAAAC,IAAA,GAAAR,KAAK,CAAO,GAAG,EADhEC,eAAA,CAAAQ,WAAA,CAAmBC,eAAA,CAAAC,MAAA,CAAOX,KAAK,CAAC,EAAEY,MAAM,CAAC,IAAI,CAAC,EAAEA,MAAM,CAAC,KAAK,CAAC,CAAC,CACG,CACjC;AACzC;AAEA;;;;AAIA,SAAAb,0BAA2CC,KAAgB;EACzD,OAAOC,eAAA,CAAAY,SAAA,CACLhB,gBAAA,CAAeG,KAAK,CAAC,EACpBc,KAAK,IAAK,IAAIC,8BAAc,CAACD,KAAK,CAAC,EACnCA,KAAK,IAAKA,KAAK,CAACE,MAAM,EAHlBf,eAAA,CAAAgB,KAAA,CAAajB,KAAK,CAAC,CAIzB;AACH;AAEA;;;AAGM,SAAUkB,oBAAoBA,CAClC,GAAG,CAAClB,KAAK,CAIA;EAET,OAAoBD,yBAAA,CAAwBC,KAAK,CAAC;AACpD;AAEA,SAASY,MAAMA,CAACO,UAAmB;EACjC,OAAWnB,KAAgB,IAAqC;IAC9D,MAAMoB,MAAM,GAAQvB,gBAAA,CAAeG,KAAK,CAAC;IACzC,MAAMqB,WAAW,GAAApB,eAAA,CAAAgB,KAAA,CAAGjB,KAAK,CAAM;IAC/B,MAAMsB,KAAK,GAASH,UAAU,GAAEI,eAAA,CAAAC,MAAA,CAACH,WAAW,IAASE,eAAA,CAAAE,MAAA,CAACJ,WAAW,CAAO;IACxE,OAAOK,gBAAA,CAAAC,IAAA,CAAY,CAACrC,CAAC,EAAEsC,OAAO,KAAI;MAChC,IAAI,CAACC,eAAA,CAAAC,gBAAA,CAAkBxC,CAAC,CAAC,EAAE;QACzB,OAAOyC,eAAA,CAAAC,IAAA,CAAiBC,eAAA,CAAAC,SAAA,CAAqBd,MAAM,CAACe,GAAG,EAAE7C,CAAC,CAAC,CAAC;MAC9D;MAEA,OAAO8C,gBAAA,CAAAC,GAAA,CAAuBC,GAAG,IAAK,IAAIvB,8BAAc,CAACuB,GAAqB,CAAC,EAAxEhB,KAAK,CAAChC,CAAC,EAAEsC,OAAO,CAAC,CAAwD;IAClF,CAAC,CAAC;EACJ,CAAC;AACH;AAEA,SAASvB,GAAGA,CAAIL,KAAoB;EAClC,OAAOuC,gBAAA,CAAAF,GAAA,CAAsBpB,KAAK,IAAK,IAAIF,8BAAc,CAACE,KAAK,CAAC,EAAzDsB,gBAAA,CAAAtB,KAAA,CAAUjB,KAAK,CAAC,CAA0C;AACnE","ignoreList":[]}

package/_mjs/Schema/api/immutableArray.mjs

@@ -1,53 +0,0 @@
-import * as tsplus_module_1 from "@fncts/schema/ASTAnnotation";
-import * as tsplus_module_2 from "@fncts/schema/Show";
-import * as tsplus_module_3 from "@fncts/base/collection/immutable/Vector/api";
-import * as tsplus_module_4 from "@fncts/schema/Schema/api";
-import * as tsplus_module_5 from "@fncts/base/data/function/api";
-import * as tsplus_module_6 from "@fncts/schema/Parser/api";
-import * as tsplus_module_7 from "@fncts/base/collection/immutable/ImmutableArray/definition";
-import * as tsplus_module_8 from "@fncts/schema/ParseError/ParseError";
-import * as tsplus_module_9 from "@fncts/schema/ParseResult";
-import * as tsplus_module_10 from "@fncts/base/data/Either/api";
-import * as tsplus_module_11 from "@fncts/schema/Parser/definition";
-import * as tsplus_module_12 from "@fncts/test/control/Gen/api";
-export const immutableArray = immutableArray_1;
-export const immutableArrayFromArray = immutableArrayFromArray_1;
-import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray";
-import { Vector } from "@fncts/base/collection/immutable/Vector";
-/**
- * @tsplus getter fncts.schema.Schema immutableArray
- * @tsplus static fncts.schema.SchemaOps immutableArray
- */
-function immutableArray_1(value) {
-  return tsplus_module_4.annotate(tsplus_module_1.GenHook, gen)(tsplus_module_4.annotate(tsplus_module_1.Identifier, `ImmutableArray<${tsplus_module_2.show()(value)}>`)(tsplus_module_4.declaration(tsplus_module_3.vector(value), parser(true), parser(false))));
-}
-/**
- * @tsplus getter fncts.schema.Schema immutableArrayFromArray
- * @tsplus static fncts.schema.SchemaOps immutableArrayFromArray
- */
-function immutableArrayFromArray_1(value) {
-  return tsplus_module_4.transform(immutableArray_1(value), input => new ImmutableArray(input), input => input._array)(tsplus_module_4.array(value));
-}
-/**
- * @tsplus derive fncts.schema.Schema[fncts.ImmutableArray]<_> 10
- */
-export function deriveImmutableArray(...[value]) {
-  return immutableArrayFromArray_1(value);
-}
-function parser(isDecoding) {
-  return value => {
-    const schema = immutableArray_1(value);
-    const arraySchema = tsplus_module_4.array(value);
-    const parse = isDecoding ? tsplus_module_6.decode(arraySchema) : tsplus_module_6.encode(arraySchema);
-    return tsplus_module_11.make((u, options) => {
-      if (!tsplus_module_7.isImmutableArray(u)) {
-        return tsplus_module_9.fail(tsplus_module_8.typeError(schema.ast, u));
-      }
-      return tsplus_module_10.map(out => new ImmutableArray(out))(parse(u, options));
-    });
-  };
-}
-function gen(value) {
-  return tsplus_module_12.map(array => new ImmutableArray(array))(tsplus_module_12.array(value));
-}
-//# sourceMappingURL=immutableArray.mjs.map

package/_mjs/Schema/api/immutableArray.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"immutableArray.mjs","names":["immutableArray","immutableArray_1","immutableArrayFromArray","immutableArrayFromArray_1","ImmutableArray","Vector","value","tsplus_module_4","annotate","tsplus_module_1","GenHook","gen","Identifier","tsplus_module_2","show","declaration","tsplus_module_3","vector","parser","transform","input","_array","array","deriveImmutableArray","isDecoding","schema","arraySchema","parse","tsplus_module_6","decode","encode","tsplus_module_11","make","u","options","tsplus_module_7","isImmutableArray","tsplus_module_9","fail","tsplus_module_8","typeError","ast","tsplus_module_10","map","out","tsplus_module_12"],"sources":["../../../_src/Schema/api/immutableArray.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;;;;aASgBA,cAAc,GAAAC,gBAAA;aAUdC,uBAAuB,GAAAC,yBAAA;AAjBvC,SAASC,cAAc,QAAQ,iDAAiD;AAChF,SAASC,MAAM,QAAQ,yCAAyC;AAEhE;;;;AAIA,SAAAJ,iBAAkCK,KAAgB;EAChD,OAAOC,eAAA,CAAAC,QAAA,CAAAC,eAAA,CAAAC,OAAA,EAE4BC,GAAG,EAF/BJ,eAAA,CAAAC,QAAA,CAAAC,eAAA,CAAAG,UAAA,EAC+B,kBAAkBC,eAAA,CAAAC,IAAA,GAAAR,KAAK,CAAO,GAAG,EADhEC,eAAA,CAAAQ,WAAA,CAAmBC,eAAA,CAAAC,MAAA,CAAOX,KAAK,CAAC,EAAEY,MAAM,CAAC,IAAI,CAAC,EAAEA,MAAM,CAAC,KAAK,CAAC,CAAC,CACG,CACjC;AACzC;AAEA;;;;AAIA,SAAAf,0BAA2CG,KAAgB;EACzD,OAAOC,eAAA,CAAAY,SAAA,CACLlB,gBAAA,CAAeK,KAAK,CAAC,EACpBc,KAAK,IAAK,IAAIhB,cAAc,CAACgB,KAAK,CAAC,EACnCA,KAAK,IAAKA,KAAK,CAACC,MAAM,EAHlBd,eAAA,CAAAe,KAAA,CAAahB,KAAK,CAAC,CAIzB;AACH;AAEA;;;AAGA,OAAM,SAAUiB,oBAAoBA,CAClC,GAAG,CAACjB,KAAK,CAIA;EAET,OAAoBH,yBAAA,CAAwBG,KAAK,CAAC;AACpD;AAEA,SAASY,MAAMA,CAACM,UAAmB;EACjC,OAAWlB,KAAgB,IAAqC;IAC9D,MAAMmB,MAAM,GAAQxB,gBAAA,CAAeK,KAAK,CAAC;IACzC,MAAMoB,WAAW,GAAAnB,eAAA,CAAAe,KAAA,CAAGhB,KAAK,CAAM;IAC/B,MAAMqB,KAAK,GAASH,UAAU,GAAEI,eAAA,CAAAC,MAAA,CAACH,WAAW,IAASE,eAAA,CAAAE,MAAA,CAACJ,WAAW,CAAO;IACxE,OAAOK,gBAAA,CAAAC,IAAA,CAAY,CAACC,CAAC,EAAEC,OAAO,KAAI;MAChC,IAAI,CAACC,eAAA,CAAAC,gBAAA,CAAkBH,CAAC,CAAC,EAAE;QACzB,OAAOI,eAAA,CAAAC,IAAA,CAAiBC,eAAA,CAAAC,SAAA,CAAqBf,MAAM,CAACgB,GAAG,EAAER,CAAC,CAAC,CAAC;MAC9D;MAEA,OAAOS,gBAAA,CAAAC,GAAA,CAAuBC,GAAG,IAAK,IAAIxC,cAAc,CAACwC,GAAqB,CAAC,EAAxEjB,KAAK,CAACM,CAAC,EAAEC,OAAO,CAAC,CAAwD;IAClF,CAAC,CAAC;EACJ,CAAC;AACH;AAEA,SAASvB,GAAGA,CAAIL,KAAoB;EAClC,OAAOuC,gBAAA,CAAAF,GAAA,CAAsBrB,KAAK,IAAK,IAAIlB,cAAc,CAACkB,KAAK,CAAC,EAAzDuB,gBAAA,CAAAvB,KAAA,CAAUhB,KAAK,CAAC,CAA0C;AACnE","ignoreList":[]}

package/_src/Schema/api/immutableArray.ts

@@ -1,58 +0,0 @@
-import type { Sized } from "@fncts/test/control/Sized";
-
-import { ImmutableArray } from "@fncts/base/collection/immutable/ImmutableArray";
-import { Vector } from "@fncts/base/collection/immutable/Vector";
-
-/**
- * @tsplus getter fncts.schema.Schema immutableArray
- * @tsplus static fncts.schema.SchemaOps immutableArray
- */
-export function immutableArray<A>(value: Schema<A>): Schema<ImmutableArray<A>> {
-  return Schema.declaration(Vector(value), parser(true), parser(false))
-    .annotate(ASTAnnotation.Identifier, `ImmutableArray<${value.show()}>`)
-    .annotate(ASTAnnotation.GenHook, gen);
-}
-
-/**
- * @tsplus getter fncts.schema.Schema immutableArrayFromArray
- * @tsplus static fncts.schema.SchemaOps immutableArrayFromArray
- */
-export function immutableArrayFromArray<A>(value: Schema<A>): Schema<ImmutableArray<A>> {
-  return Schema.array(value).transform(
-    immutableArray(value),
-    (input) => new ImmutableArray(input),
-    (input) => input._array,
-  );
-}
-
-/**
- * @tsplus derive fncts.schema.Schema[fncts.ImmutableArray]<_> 10
- */
-export function deriveImmutableArray<A extends ImmutableArray<any>>(
-  ...[value]: [A] extends [ImmutableArray<infer _A>]
-    ? Check<Check.IsEqual<A, ImmutableArray<_A>>> extends Check.True
-      ? [value: Schema<_A>]
-      : never
-    : never
-): Schema<A> {
-  return unsafeCoerce(immutableArrayFromArray(value));
-}
-
-function parser(isDecoding: boolean) {
-  return <A>(value: Schema<A>): Parser<ImmutableArray<unknown>> => {
-    const schema      = immutableArray(value);
-    const arraySchema = value.array;
-    const parse       = isDecoding ? arraySchema.decode : arraySchema.encode;
-    return Parser.make((u, options) => {
-      if (!ImmutableArray.is(u)) {
-        return ParseResult.fail(ParseError.TypeError(schema.ast, u));
-      }
-
-      return parse(u, options).map((out) => new ImmutableArray(out as Array<unknown>));
-    });
-  };
-}
-
-function gen<A>(value: Gen<Sized, A>): Gen<Sized, ImmutableArray<A>> {
-  return Gen.array(value).map((array) => new ImmutableArray(array));
-}