@valbuild/core 0.15.0 → 0.17.0

package/dist/declarations/src/schema/validation/ValidationError.d.ts

@@ -0,0 +1,14 @@
+import { SourcePath } from "../../val/index.js";
+import { ValidationFix } from "./ValidationFix.js";
+export type ValidationError = {
+    message: string;
+    value?: unknown;
+    fixes?: ValidationFix[];
+};
+/**
+ * Equals `false` if no validation errors were found.
+ * Errors are indexed by the full source path.
+ *
+ * Global errors have the path `"/"`.
+ */
+export type ValidationErrors = false | Record<SourcePath, ValidationError[]>;

package/dist/declarations/src/schema/validation/ValidationFix.d.ts

@@ -0,0 +1,2 @@
+export declare const ValidationFix: readonly ["image:add-metadata", "image:replace-metadata"];
+export type ValidationFix = (typeof ValidationFix)[number];

package/dist/declarations/src/selector/SelectorProxy.d.ts

@@ -0,0 +1,7 @@
+import { GenericSelector } from "./index.js";
+import { Source } from "../source/index.js";
+import { SourcePath } from "../val/index.js";
+export declare function isSelector(source: any): source is GenericSelector<Source>;
+export declare function newSelectorProxy(source: any, path?: SourcePath, moduleSchema?: any): any;
+export declare function createValPathOfItem(arrayPath: SourcePath | undefined, prop: string | number | symbol): SourcePath | undefined;
+export declare function selectorToVal(s: any): any;

package/dist/declarations/src/selector/array.d.ts

@@ -1,17 +1,6 @@
-import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
-import { Schema } from "../schema/index.js";
+import { GenericSelector } from "./index.js";
 import { Source, SourceArray } from "../source/index.js";
-import { Selector as BooleanSelector } from "./boolean.js";
-import { Selector as NumberSelector } from "./number.js";
 export type UndistributedSourceArray<T extends SourceArray> = [T] extends [
     infer U
 ] ? U extends Source[] ? Selector<U> : never : never;
-export type Selector<T extends SourceArray> = GenericSelector<T> & {
-    readonly [key: number]: UnknownSelector<T[number]>;
-} & {
-    length: NumberSelector<number>;
-    filter(predicate: (v: UnknownSelector<T[number]>) => BooleanSelector<boolean> | boolean): Selector<T>;
-    filter<U extends Source>(schema: Schema<U>): Selector<U[]>;
-    map<U extends SelectorSource>(f: (v: UnknownSelector<T[number]>, i: UnknownSelector<number>) => U): SelectorOf<U[]>;
-    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<T>>) => U): SelectorOf<U | T>;
-};
+export type Selector<T extends SourceArray> = GenericSelector<T>;

package/dist/declarations/src/selector/file.d.ts

@@ -1,9 +1,6 @@
-import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
+import { Selector as UnknownSelector, GenericSelector } from "./index.js";
 export type FileSelector = GenericSelector<{
     url: string;
 }> & {
     readonly url: UnknownSelector<string>;
-    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<{
-        url: string;
-    }>>) => U): SelectorOf<U> | UnknownSelector<boolean>;
 };

package/dist/declarations/src/selector/future/array.d.ts

@@ -0,0 +1,17 @@
+import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
+import { Schema } from "../../schema/index.js";
+import { Source, SourceArray } from "../../source/index.js";
+import { Selector as BooleanSelector } from "./boolean.js";
+import { Selector as NumberSelector } from "./number.js";
+export type UndistributedSourceArray<T extends SourceArray> = [T] extends [
+    infer U
+] ? U extends Source[] ? Selector<U> : never : never;
+export type Selector<T extends SourceArray> = GenericSelector<T> & {
+    readonly [key: number]: UnknownSelector<T[number]>;
+} & {
+    length: NumberSelector<number>;
+    filter(predicate: (v: UnknownSelector<T[number]>) => BooleanSelector<boolean> | boolean): Selector<T>;
+    filter<U extends Source>(schema: Schema<U>): Selector<U[]>;
+    map<U extends SelectorSource>(f: (v: UnknownSelector<T[number]>, i: UnknownSelector<number>) => U): SelectorOf<U[]>;
+    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<T>>) => U): SelectorOf<U | T>;
+};

package/dist/declarations/src/selector/future/boolean.d.ts

@@ -0,0 +1,2 @@
+import { Selector as PrimitiveSelector } from "./primitive.js";
+export type Selector<T extends boolean> = PrimitiveSelector<T>;

package/dist/declarations/src/selector/future/file.d.ts

@@ -0,0 +1,9 @@
+import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
+export type FileSelector = GenericSelector<{
+    url: string;
+}> & {
+    readonly url: UnknownSelector<string>;
+    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<{
+        url: string;
+    }>>) => U): SelectorOf<U> | UnknownSelector<boolean>;
+};

package/dist/declarations/src/selector/{i18n.d.ts → future/i18n.d.ts}

@@ -1,6 +1,6 @@
-import { SourceArray, SourceObject, SourcePrimitive } from "../source/index.js";
+import { SourceArray, SourceObject, SourcePrimitive } from "../../source/index.js";
 import { Selector as UnknownSelector } from "./index.js";
-import { FileSource } from "../source/file.js";
+import { FileSource } from "../../source/file.js";
 declare const brand: unique symbol;
 export type I18nSelector<Locales extends readonly string[], T extends SourcePrimitive | SourceObject | SourceArray | FileSource> = UnknownSelector<T> & {
     readonly [brand]: "I18nSelector";

package/dist/declarations/src/selector/future/index.d.ts

@@ -0,0 +1,81 @@
+import { I18nSelector } from "./i18n.js";
+import { Selector as ObjectSelector } from "./object.js";
+import { UndistributedSourceArray as ArraySelector } from "./array.js";
+import { Selector as NumberSelector } from "./number.js";
+import { Selector as StringSelector } from "./string.js";
+import { Selector as BooleanSelector } from "./boolean.js";
+import { Selector as PrimitiveSelector } from "./primitive.js";
+import { FileSelector } from "./file.js";
+import { SourcePath } from "../../val/index.js";
+import { Source, SourceArray, SourceObject, SourcePrimitive } from "../../source/index.js";
+import { Schema } from "../../schema/index.js";
+import { Expr } from "../../expr/expr.js";
+import { RemoteSelector } from "./remote.js";
+import { A } from "ts-toolbelt";
+import { I18nSource, I18nCompatibleSource } from "../../source/future/i18n.js";
+import { RemoteCompatibleSource, RemoteSource } from "../../source/future/remote.js";
+import { FileSource } from "../../source/file.js";
+import { RichText, RichTextSource } from "../../source/richtext.js";
+/**
+ * Selectors can be used to select parts of a Val module.
+ * Unlike queries, joins, aggregates etc is and will not be supported.
+ *
+ * They are designed to be be used as if they were "normal" JSON data,
+ * though some concessions had to be made because of TypeScript limitations.
+ *
+ * Selectors works equally on source content, defined in code, and remote content.
+ *
+ * @example
+ * // Select the title of a document
+ * const titles = useVal(docsVal.map((doc) => doc.title));
+ *
+ * @example
+ * // Match on a union type
+ * const titles = useVal(docsVal.map((doc) => doc.fold("type")({
+ *   newsletter: (newsletter) => newsletter.title,
+ *   email: (email) => email.subject,
+ * }));
+ *
+ */
+export type Selector<T extends Source> = Source extends T ? GenericSelector<T> : T extends I18nSource<infer L, infer S> ? I18nSelector<L, S> : T extends RemoteSource<infer S> ? S extends RemoteCompatibleSource ? RemoteSelector<S> : GenericSelector<Source, "Could not determine remote source"> : T extends FileSource ? FileSelector : T extends RichTextSource ? RichText : T extends SourceObject ? ObjectSelector<T> : T extends SourceArray ? ArraySelector<T> : T extends string ? StringSelector<T> : T extends number ? NumberSelector<T> : T extends boolean ? BooleanSelector<T> : T extends null ? PrimitiveSelector<null> : never;
+export type SelectorSource = SourcePrimitive | undefined | readonly SelectorSource[] | {
+    [key: string]: SelectorSource;
+} | I18nSource<readonly string[], I18nCompatibleSource> | RemoteSource<RemoteCompatibleSource> | FileSource | RichTextSource | GenericSelector<Source>;
+/**
+ * @internal
+ */
+export declare const GetSchema: unique symbol;
+/**
+/**
+ * @internal
+ */
+export declare const Path: unique symbol;
+/**
+ * @internal
+ */
+export declare const SourceOrExpr: unique symbol;
+/**
+ * @internal
+ */
+export declare const ValError: unique symbol;
+export declare abstract class GenericSelector<out T extends Source, Error extends string | undefined = undefined> {
+    readonly [Path]: SourcePath | undefined;
+    readonly [SourceOrExpr]: T | Expr;
+    readonly [ValError]: Error | undefined;
+    readonly [GetSchema]: Schema<T> | undefined;
+    constructor(valOrExpr: T, path: SourcePath | undefined, schema?: Schema<T>, error?: Error);
+    assert<U extends Source, E extends Source = null>(schema: Schema<U>, other?: () => E): SelectorOf<U | E>;
+}
+export type SourceOf<T extends SelectorSource> = Source extends T ? Source : T extends Source ? T : T extends undefined ? null : T extends GenericSelector<infer S> ? S : T extends readonly (infer S)[] ? S extends SelectorSource ? {
+    [key in keyof T]: SourceOf<A.Try<T[key], SelectorSource>>;
+} : never : T extends {
+    [key: string]: SelectorSource;
+} ? {
+    [key in keyof T]: SourceOf<A.Try<T[key], SelectorSource>>;
+} : never;
+/**
+ * Use this type to convert types that accepts both Source and Selectors
+ *
+ * An example would be where literals are supported like in most higher order functions (e.g. map in array)
+ **/
+export type SelectorOf<U extends SelectorSource> = Source extends U ? GenericSelector<Source> : SourceOf<U> extends infer S ? S extends Source ? Selector<S> : GenericSelector<Source, "Could not determine selector of source"> : GenericSelector<Source, "Could not determine source">;

package/dist/declarations/src/selector/future/number.d.ts

@@ -0,0 +1,2 @@
+import { Selector as PrimitiveSelector } from "./primitive.js";
+export type Selector<T extends number> = PrimitiveSelector<T>;

package/dist/declarations/src/selector/future/object.d.ts

@@ -0,0 +1,10 @@
+import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
+import { SourceObject } from "../../source/index.js";
+export type Selector<T extends SourceObject> = GenericSelector<T> & {
+    fold<Tag extends string>(key: Tag): <U extends SelectorSource>(cases: {
+        [key in T[Tag & keyof T] & string]: (v: UnknownSelector<T>) => U;
+    }) => SelectorOf<U>;
+    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<T>>) => U): SelectorOf<U>;
+} & {
+    readonly [key in keyof T]: UnknownSelector<T[key]>;
+};

package/dist/declarations/src/selector/future/primitive.d.ts

@@ -0,0 +1,9 @@
+import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
+import { Source, SourcePrimitive } from "../../source/index.js";
+import { Selector as BooleanSelector } from "./boolean.js";
+export type Selector<T extends SourcePrimitive> = GenericSelector<T> & {
+    eq(other: Source): BooleanSelector<boolean>;
+    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<T>>) => U): SelectorOf<U | NullableOf<T>>;
+};
+type NullableOf<T extends Source> = T extends null ? null : never;
+export {};

package/dist/declarations/src/selector/{remote.d.ts → future/remote.d.ts}

@@ -1,5 +1,5 @@
 import { Selector as UnknownSelector } from "./index.js";
-import { RemoteCompatibleSource } from "../source/remote.js";
+import { RemoteCompatibleSource } from "../../source/future/remote.js";
 declare const brand: unique symbol;
 export type RemoteSelector<T extends RemoteCompatibleSource> = UnknownSelector<T> & {
     readonly [brand]: "RemoteSelector";

package/dist/declarations/src/selector/future/string.d.ts

@@ -0,0 +1,2 @@
+import { Selector as PrimitiveSelector } from "./primitive.js";
+export type Selector<T extends string> = PrimitiveSelector<T>;

package/dist/declarations/src/selector/index.d.ts

@@ -1,4 +1,3 @@
-import { I18nSelector } from "./i18n.js";
 import { Selector as ObjectSelector } from "./object.js";
 import { UndistributedSourceArray as ArraySelector } from "./array.js";
 import { Selector as NumberSelector } from "./number.js";
@@ -9,38 +8,13 @@ import { FileSelector } from "./file.js";
 import { SourcePath } from "../val/index.js";
 import { Source, SourceArray, SourceObject, SourcePrimitive } from "../source/index.js";
 import { Schema } from "../schema/index.js";
-import { Expr } from "../expr/expr.js";
-import { RemoteSelector } from "./remote.js";
-import { A } from "ts-toolbelt";
-import { I18nSource, I18nCompatibleSource } from "../source/i18n.js";
-import { RemoteCompatibleSource, RemoteSource } from "../source/remote.js";
+import type { A } from "ts-toolbelt";
 import { FileSource } from "../source/file.js";
 import { RichText, RichTextSource } from "../source/richtext.js";
-/**
- * Selectors can be used to select parts of a Val module.
- * Unlike queries, joins, aggregates etc is and will not be supported.
- *
- * They are designed to be be used as if they were "normal" JSON data,
- * though some concessions had to be made because of TypeScript limitations.
- *
- * Selectors works equally on source content, defined in code, and remote content.
- *
- * @example
- * // Select the title of a document
- * const titles = useVal(docsVal.map((doc) => doc.title));
- *
- * @example
- * // Match on a union type
- * const titles = useVal(docsVal.map((doc) => doc.fold("type")({
- *   newsletter: (newsletter) => newsletter.title,
- *   email: (email) => email.subject,
- * }));
- *
- */
-export type Selector<T extends Source> = Source extends T ? GenericSelector<T> : T extends I18nSource<infer L, infer S> ? I18nSelector<L, S> : T extends RemoteSource<infer S> ? S extends RemoteCompatibleSource ? RemoteSelector<S> : GenericSelector<Source, "Could not determine remote source"> : T extends FileSource ? FileSelector : T extends RichTextSource ? RichText : T extends SourceObject ? ObjectSelector<T> : T extends SourceArray ? ArraySelector<T> : T extends string ? StringSelector<T> : T extends number ? NumberSelector<T> : T extends boolean ? BooleanSelector<T> : T extends null ? PrimitiveSelector<null> : never;
+export type Selector<T extends Source> = Source extends T ? GenericSelector<T> : T extends FileSource ? FileSelector : T extends RichTextSource ? RichText : T extends SourceObject ? ObjectSelector<T> : T extends SourceArray ? ArraySelector<T> : T extends string ? StringSelector<T> : T extends number ? NumberSelector<T> : T extends boolean ? BooleanSelector<T> : T extends null ? PrimitiveSelector<null> : never;
 export type SelectorSource = SourcePrimitive | undefined | readonly SelectorSource[] | {
     [key: string]: SelectorSource;
-} | I18nSource<readonly string[], I18nCompatibleSource> | RemoteSource<RemoteCompatibleSource> | FileSource | RichTextSource | GenericSelector<Source>;
+} | FileSource | RichTextSource | GenericSelector<Source>;
 /**
  * @internal
  */
@@ -53,18 +27,17 @@ export declare const Path: unique symbol;
 /**
  * @internal
  */
-export declare const SourceOrExpr: unique symbol;
+export declare const GetSource: unique symbol;
 /**
  * @internal
  */
 export declare const ValError: unique symbol;
 export declare abstract class GenericSelector<out T extends Source, Error extends string | undefined = undefined> {
     readonly [Path]: SourcePath | undefined;
-    readonly [SourceOrExpr]: T | Expr;
+    readonly [GetSource]: T;
     readonly [ValError]: Error | undefined;
     readonly [GetSchema]: Schema<T> | undefined;
     constructor(valOrExpr: T, path: SourcePath | undefined, schema?: Schema<T>, error?: Error);
-    assert<U extends Source, E extends Source = null>(schema: Schema<U>, other?: () => E): SelectorOf<U | E>;
 }
 export type SourceOf<T extends SelectorSource> = Source extends T ? Source : T extends Source ? T : T extends undefined ? null : T extends GenericSelector<infer S> ? S : T extends readonly (infer S)[] ? S extends SelectorSource ? {
     [key in keyof T]: SourceOf<A.Try<T[key], SelectorSource>>;

package/dist/declarations/src/selector/object.d.ts

@@ -1,10 +1,3 @@
-import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
+import { GenericSelector } from "./index.js";
 import { SourceObject } from "../source/index.js";
-export type Selector<T extends SourceObject> = GenericSelector<T> & {
-    fold<Tag extends string>(key: Tag): <U extends SelectorSource>(cases: {
-        [key in T[Tag & keyof T] & string]: (v: UnknownSelector<T>) => U;
-    }) => SelectorOf<U>;
-    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<T>>) => U): SelectorOf<U>;
-} & {
-    readonly [key in keyof T]: UnknownSelector<T[key]>;
-};
+export type Selector<T extends SourceObject> = GenericSelector<T>;

package/dist/declarations/src/selector/primitive.d.ts

@@ -1,9 +1,3 @@
-import { Selector as UnknownSelector, GenericSelector, SelectorOf, SelectorSource } from "./index.js";
-import { Source, SourcePrimitive } from "../source/index.js";
-import { Selector as BooleanSelector } from "./boolean.js";
-export type Selector<T extends SourcePrimitive> = GenericSelector<T> & {
-    eq(other: Source): BooleanSelector<boolean>;
-    andThen<U extends SelectorSource>(f: (v: UnknownSelector<NonNullable<T>>) => U): SelectorOf<U | NullableOf<T>>;
-};
-type NullableOf<T extends Source> = T extends null ? null : never;
-export {};
+import { GenericSelector } from "./index.js";
+import { SourcePrimitive } from "../source/index.js";
+export type Selector<T extends SourcePrimitive> = GenericSelector<T>;

package/dist/declarations/src/source/{i18n.d.ts → future/i18n.d.ts}

@@ -1,6 +1,6 @@
 import { F } from "ts-toolbelt";
-import { SourcePrimitive, VAL_EXTENSION } from "./index.js";
-import { FileSource } from "./file.js";
+import { SourcePrimitive, VAL_EXTENSION } from "../index.js";
+import { FileSource } from "../file.js";
 /**
  * I18n sources cannot have nested remote sources.
  */

package/dist/declarations/src/source/{remote.d.ts → future/remote.d.ts}

@@ -1,7 +1,7 @@
-import { SourcePrimitive, VAL_EXTENSION, PhantomType } from "./index.js";
-import { FileSource } from "./file.js";
+import { SourcePrimitive, VAL_EXTENSION, PhantomType } from "../index.js";
+import { FileSource } from "../file.js";
 import { I18nCompatibleSource, I18nSource } from "./i18n.js";
-import { RichTextSource } from "./richtext.js";
+import { RichTextSource } from "../richtext.js";
 /**
  * Remote sources cannot include other remote sources.
  */

package/dist/declarations/src/source/index.d.ts

@@ -1,12 +1,13 @@
 import { FileSource } from "./file.js";
-import { I18nSource, I18nCompatibleSource } from "./i18n.js";
-import { RemoteSource, RemoteCompatibleSource } from "./remote.js";
+import { I18nSource, I18nCompatibleSource } from "./future/i18n.js";
+import { RemoteSource, RemoteCompatibleSource } from "./future/remote.js";
 import { RichTextSource } from "./richtext.js";
 export type Source = SourcePrimitive | SourceObject | SourceArray | I18nSource<string[], I18nCompatibleSource> | RemoteSource<RemoteCompatibleSource> | FileSource | RichTextSource;
 export type SourceObject = {
     [key in string]: Source;
 } & {
     fold?: never;
+    assert?: never;
     andThen?: never;
     _ref?: never;
     _type?: never;
@@ -16,7 +17,7 @@ export type SourceObject = {
 export type SourceArray = readonly Source[];
 export type SourcePrimitive = string | number | boolean | null;
 export declare const VAL_EXTENSION: "_type";
-export declare function getValExtension(source: Source): false | "" | 0 | "richtext" | "file" | "i18n" | "remote" | null | undefined;
+export declare function getValExtension(source: Source): false | "" | 0 | "richtext" | "remote" | "file" | "i18n" | null | undefined;
 /**
  * A phantom type parameter is one that doesn't show up at runtime, but is checked statically (and only) at compile time.
  *

package/dist/declarations/src/val/index.d.ts

@@ -4,8 +4,8 @@ import { Val as ArrayVal } from "./array.js";
 import { Val as PrimitiveVal } from "./primitive.js";
 import { Json, JsonArray, JsonObject, JsonPrimitive } from "../Json.js";
 import { Path, Selector } from "../selector/index.js";
-import { I18nSource } from "../source/i18n.js";
-import { RemoteSource } from "../source/remote.js";
+import { I18nSource } from "../source/future/i18n.js";
+import { RemoteSource } from "../source/future/remote.js";
 import { FileSource } from "../source/file.js";
 export type SerializedVal = {
     val: SerializedVal | Json;