@smartlyio/oats-runtime 4.0.2 → 4.0.3

package/dist/reflection-type.d.ts

@@ -0,0 +1,93 @@
+import { Maker } from './make';
+import * as runtime from './runtime';
+export declare type Type = BinaryType | UnknownType | VoidType | BooleanType | IntegerType | NumberType | NullType | UnionType | IntersectionType | StringType | ArrayType | ObjectType | NamedType;
+export declare type NamedTypeDefinitionDeferred<A, Shape = any> = () => NamedTypeDefinition<A, Shape>;
+export interface NamedTypeDefinition<A, Shape = any> {
+    readonly name: string;
+    readonly definition: Type;
+    readonly maker: Maker<Shape, A>;
+    readonly isA: null | ((value: any) => value is A);
+}
+export interface BinaryType {
+    readonly type: 'binary';
+}
+export interface UnknownType {
+    readonly type: 'unknown';
+}
+export interface VoidType {
+    readonly type: 'void';
+}
+export interface NullType {
+    readonly type: 'null';
+}
+export interface UnionType {
+    readonly type: 'union';
+    readonly options: Type[];
+}
+export interface IntersectionType {
+    readonly type: 'intersection';
+    readonly options: Type[];
+}
+export interface StringType {
+    readonly type: 'string';
+    readonly format?: string;
+    readonly pattern?: string;
+    readonly minLength?: number;
+    readonly maxLength?: number;
+    readonly enum?: string[];
+}
+export interface BooleanType {
+    readonly type: 'boolean';
+    readonly enum?: boolean[];
+}
+export interface NumberType {
+    readonly type: 'number';
+    readonly enum?: number[];
+    readonly minimum?: number;
+    readonly maximum?: number;
+}
+export interface IntegerType {
+    readonly type: 'integer';
+    readonly enum?: number[];
+    readonly minimum?: number;
+    readonly maximum?: number;
+}
+export interface ArrayType {
+    readonly type: 'array';
+    readonly items: Type;
+    readonly minItems?: number;
+    readonly maxItems?: number;
+}
+export interface NamedType {
+    readonly type: 'named';
+    readonly reference: NamedTypeDefinitionDeferred<unknown>;
+}
+export interface PropType {
+    required: boolean;
+    value: Type;
+}
+export interface Props {
+    [name: string]: PropType;
+}
+export declare type AdditionalProp = boolean | Type;
+export interface ObjectType {
+    readonly type: 'object';
+    readonly additionalProperties: AdditionalProp;
+    readonly properties: Props;
+}
+export declare class Traversal<Root, Leaf> {
+    private readonly root;
+    private readonly leaf;
+    static compile<Root, Leaf>(root: NamedTypeDefinition<Root>, leaf: NamedTypeDefinition<Leaf>): runtime.reflection.Traversal<Root, Leaf>;
+    private cache;
+    private cachedAncestors;
+    private constructor();
+    private dedupePaths;
+    map(value: Root, fn: (leaf: Leaf) => Leaf): Root;
+    pmap(value: Root, fn: (leaf: Leaf) => Promise<Leaf>): Promise<Root>;
+    private paths;
+    private matcher;
+    private validateRoot;
+    private addAncestor;
+    private ancestorNamedObjects;
+}

package/dist/reflection-type.js

@@ -0,0 +1,198 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Traversal = void 0;
+const assert = require("assert");
+const safe_navigation_1 = require("@smartlyio/safe-navigation");
+const runtime = require("./runtime");
+class Traversal {
+    constructor(root, leaf) {
+        this.root = root;
+        this.leaf = leaf;
+        this.cache = new Map();
+        calculateReverseReach(new Set(), this.cache, this.root, this.leaf, false);
+        this.cachedAncestors = this.ancestorNamedObjects(this.leaf);
+    }
+    static compile(root, leaf) {
+        return new Traversal(root, leaf);
+    }
+    dedupePaths(ancestors) {
+        const deduped = new Map();
+        for (const [ancestor, paths] of ancestors.entries()) {
+            const dedupedPaths = paths.reduce((memo, path) => memo.add(JSON.stringify(path)), new Set());
+            deduped.set(ancestor, [...dedupedPaths.values()].map(path => JSON.parse(path)));
+        }
+        return deduped;
+    }
+    map(value, fn) {
+        this.validateRoot(value);
+        const match = this.matcher();
+        return runtime.map(value, ((value) => !!match(value)), (value) => {
+            this.paths(value).forEach((path) => {
+                value = safeMapPath(value, path, fn);
+            });
+            return value;
+        });
+    }
+    async pmap(value, fn) {
+        this.validateRoot(value);
+        const match = this.matcher();
+        return await runtime.pmap(value, ((value) => match(value)), async (value) => {
+            for (const path of this.paths(value)) {
+                value = await safePmapPath(value, path, fn);
+            }
+            return value;
+        });
+    }
+    paths(value) {
+        const paths = [];
+        for (const [ancestor, pathsFromAncestor] of this.cachedAncestors.entries()) {
+            if (ancestor.isA && ancestor.isA(value)) {
+                paths.push(...pathsFromAncestor);
+            }
+        }
+        return paths;
+    }
+    matcher() {
+        return (value) => {
+            for (const ancestor of this.cachedAncestors.keys()) {
+                if (ancestor.isA && ancestor.isA(value)) {
+                    return true;
+                }
+            }
+            return false;
+        };
+    }
+    validateRoot(value) {
+        assert(this.root.isA && this.root.isA(value), 'Root value does not match expected root type');
+    }
+    addAncestor(ancestors, ancestor, path) {
+        const pathsToAncestor = ancestors.get(ancestor);
+        if (!pathsToAncestor) {
+            return ancestors.set(ancestor, [path]);
+        }
+        pathsToAncestor.push(path);
+        return ancestors;
+    }
+    ancestorNamedObjects(target) {
+        const found = this.cache.get(target);
+        if (!found) {
+            return assert.fail('no path to target');
+        }
+        const allAncestors = new Map();
+        for (const [pathStr, parents] of found.entries()) {
+            const path = JSON.parse(pathStr);
+            parents.forEach(ancestor => {
+                if (ancestor.isA) {
+                    this.addAncestor(allAncestors, ancestor, path);
+                }
+                else if (['array', 'named'].indexOf(ancestor.definition.type) >= 0) {
+                    for (const [namedObjectAncestor, paths] of this.ancestorNamedObjects(ancestor).entries()) {
+                        paths.forEach(pathFromAncestor => this.addAncestor(allAncestors, namedObjectAncestor, [...pathFromAncestor, ...path]));
+                    }
+                }
+                else {
+                    assert.fail('nearest containing named thing is not an object: ' + ancestor.name);
+                }
+            });
+        }
+        return this.dedupePaths(allAncestors);
+    }
+}
+exports.Traversal = Traversal;
+function safeMapPath(value, path, fn) {
+    let cursor = (0, safe_navigation_1.default)(value);
+    // tslint:disable-next-line:prefer-for-of
+    for (let ix = 0; ix < path.length; ix++) {
+        const p = path[ix];
+        if (p.type === 'array') {
+            return cursor.$map(arrayValue => arrayValue.map((item) => safeMapPath(item, path.slice(ix + 1), fn)));
+        }
+        if (p.type === 'additionalProperty') {
+            const fields = Object.keys(cursor.$ || {});
+            const extraFields = fields.filter(field => p.definedProperties.indexOf(field) < 0);
+            return cursor.$map((value) => {
+                for (const prop of extraFields) {
+                    value = safeMapPath(value, [{ type: 'path', path: prop }, ...path.slice(ix + 1)], fn);
+                }
+                return value;
+            });
+        }
+        cursor = cursor[p.path];
+    }
+    return cursor.$map(fn);
+}
+async function safePmapPath(value, path, fn) {
+    let cursor = (0, safe_navigation_1.default)(value);
+    // tslint:disable-next-line:prefer-for-of
+    for (let ix = 0; ix < path.length; ix++) {
+        const p = path[ix];
+        if (p.type === 'array') {
+            return cursor.$pmap(arrayValue => Promise.all(arrayValue.map((item) => safePmapPath(item, path.slice(ix + 1), fn))));
+        }
+        if (p.type === 'additionalProperty') {
+            const fields = Object.keys(cursor.$ || {});
+            const extraFields = fields.filter(field => p.definedProperties.indexOf(field) < 0);
+            return cursor.$pmap(async (value) => {
+                for (const prop of extraFields) {
+                    value = await safePmapPath(value, [{ type: 'path', path: prop }, ...path.slice(ix + 1)], fn);
+                }
+                return value;
+            });
+        }
+        cursor = cursor[p.path];
+    }
+    return cursor.$pmap(fn);
+}
+function canReach(reaches, from, to, byPath) {
+    let existing = reaches.get(to);
+    if (!existing) {
+        existing = new Map();
+        reaches.set(to, existing);
+    }
+    const pathString = JSON.stringify(byPath);
+    let froms = existing.get(pathString);
+    if (!froms) {
+        froms = [];
+        existing.set(pathString, froms);
+    }
+    froms.push(from);
+}
+function calculateReverseReach(processed, reaches, from, to, ambiguousPath) {
+    assert(from !== to || !ambiguousPath, 'Cannot calculate unambiguous type. There are union or intersection type between the nearest containing named object and the target leaf');
+    if (processed.has(from)) {
+        return;
+    }
+    if (from.definition.type === 'object') {
+        ambiguousPath = false;
+        processed.add(from);
+    }
+    calculateReachInType(processed, reaches, from, to, from.definition, [], ambiguousPath);
+}
+function ambiguousOptions(options) {
+    const ambiguous = options.filter(option => option.type !== 'null');
+    return ambiguous.length > 1;
+}
+function calculateReachInType(processed, reaches, from, to, type, path, ambiguousPath) {
+    if (type.type === 'named') {
+        canReach(reaches, from, type.reference(), path);
+        calculateReverseReach(processed, reaches, type.reference(), to, ambiguousPath);
+    }
+    else if (type.type === 'array') {
+        calculateReachInType(processed, reaches, from, to, type.items, [...path, { type: 'array' }], ambiguousPath);
+    }
+    else if (type.type === 'union') {
+        type.options.map(option => calculateReachInType(processed, reaches, from, to, option, path, ambiguousOptions(type.options) || ambiguousPath));
+    }
+    else if (type.type === 'intersection') {
+        type.options.map(option => calculateReachInType(processed, reaches, from, to, option, path, ambiguousOptions(type.options) || ambiguousPath));
+    }
+    else if (type.type === 'object') {
+        if (type.additionalProperties && type.additionalProperties !== true) {
+            calculateReachInType(processed, reaches, from, to, type.additionalProperties, [...path, { type: 'additionalProperty', definedProperties: Object.keys(type.properties) }], ambiguousPath);
+        }
+        Object.keys(type.properties).forEach(property => {
+            calculateReachInType(processed, reaches, from, to, type.properties[property].value, [...path, { type: 'path', path: property }], ambiguousPath);
+        });
+    }
+}
+//# sourceMappingURL=reflection-type.js.map

package/dist/reflection-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reflection-type.js","sourceRoot":"","sources":["../src/reflection-type.ts"],"names":[],"mappings":";;;AACA,iCAAiC;AACjC,gEAA8C;AAC9C,qCAAqC;AAmHrC,MAAa,SAAS;IAQpB,YACmB,IAA+B,EAC/B,IAA+B;QAD/B,SAAI,GAAJ,IAAI,CAA2B;QAC/B,SAAI,GAAJ,IAAI,CAA2B;QAL1C,UAAK,GAAY,IAAI,GAAG,EAAE,CAAC;QAOjC,qBAAqB,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1E,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC;IAbD,MAAM,CAAC,OAAO,CAAa,IAA+B,EAAE,IAA+B;QACzF,OAAO,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAaO,WAAW,CAAC,SAAoD;QACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE;YACnD,MAAM,YAAY,GAAgB,KAAK,CAAC,MAAM,CAC5C,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAC9C,IAAI,GAAG,EAAU,CAClB,CAAC;YACF,OAAO,CAAC,GAAG,CACT,QAAQ,EACR,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CACzD,CAAC;SACH;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,GAAG,CAAC,KAAW,EAAE,EAAwB;QACvC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAQ,EAAE,CAAC,KAAU,EAAE,EAAE;YAChF,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAU,EAAE,EAAE;gBACvC,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;YACvC,CAAC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAW,EAAE,EAAiC;QACvD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAQ,EAAE,KAAK,EAAE,KAAU,EAAE,EAAE;YAC3F,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE;gBACpC,KAAK,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;aAC7C;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,KAAK,CAAC,KAAU;QACtB,MAAM,KAAK,GAAW,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,EAAE;YAC1E,IAAI,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;gBACvC,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,CAAC;aAClC;SACF;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,OAAO;QACb,OAAO,CAAC,KAAU,EAAE,EAAE;YACpB,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,EAAE;gBAClD,IAAI,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;oBACvC,OAAO,IAAI,CAAC;iBACb;aACF;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;IACJ,CAAC;IAEO,YAAY,CAAC,KAAU;QAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,8CAA8C,CAAC,CAAC;IAChG,CAAC;IAEO,WAAW,CACjB,SAAoD,EACpD,QAAsC,EACtC,IAAU;QAEV,MAAM,eAAe,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,eAAe,EAAE;YACpB,OAAO,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;SACxC;QACD,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,SAAS,CAAC;IACnB,CAAC;IAEO,oBAAoB,CAC1B,MAAoC;QAEpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,KAAK,EAAE;YACV,OAAO,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;SACzC;QACD,MAAM,YAAY,GAA8C,IAAI,GAAG,EAAE,CAAC;QAC1E,KAAK,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE;YAChD,MAAM,IAAI,GAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACvC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;gBACzB,IAAI,QAAQ,CAAC,GAAG,EAAE;oBAChB,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;iBAChD;qBAAM,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;oBACpE,KAAK,MAAM,CAAC,mBAAmB,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAClE,QAAQ,CACT,CAAC,OAAO,EAAE,EAAE;wBACX,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAC/B,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,mBAAmB,EAAE,CAAC,GAAG,gBAAgB,EAAE,GAAG,IAAI,CAAC,CAAC,CACpF,CAAC;qBACH;iBACF;qBAAM;oBACL,MAAM,CAAC,IAAI,CAAC,mDAAmD,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;iBAClF;YACH,CAAC,CAAC,CAAC;SACJ;QACD,OAAO,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IACxC,CAAC;CACF;AAvHD,8BAuHC;AAED,SAAS,WAAW,CAAC,KAAU,EAAE,IAAU,EAAE,EAAuB;IAClE,IAAI,MAAM,GAAG,IAAA,yBAAI,EAAC,KAAK,CAAC,CAAC;IACzB,yCAAyC;IACzC,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE;YACtB,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAC9B,UAAU,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CACzE,CAAC;SACH;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACnF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,KAAU,EAAE,EAAE;gBAChC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE;oBAC9B,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;iBACvF;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;SACJ;QACD,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KACzB;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,KAAU,EAAE,IAAU,EAAE,EAAgC;IAClF,IAAI,MAAM,GAAG,IAAA,yBAAI,EAAC,KAAK,CAAC,CAAC;IACzB,yCAAyC;IACzC,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE;YACtB,OAAO,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAC/B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACvF,CAAC;SACH;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACnF,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAU,EAAE,EAAE;gBACvC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE;oBAC9B,KAAK,GAAG,MAAM,YAAY,CACxB,KAAK,EACL,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EACrD,EAAE,CACH,CAAC;iBACH;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CAAC;SACJ;QACD,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KACzB;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC1B,CAAC;AAKD,SAAS,QAAQ,CACf,OAAgB,EAChB,IAAkC,EAClC,EAAgC,EAChC,MAAY;IAEZ,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,CAAC,QAAQ,EAAE;QACb,QAAQ,GAAG,IAAI,GAAG,EAAE,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;KAC3B;IACD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,EAAE;QACV,KAAK,GAAG,EAAE,CAAC;QACX,QAAQ,CAAC,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;KACjC;IACD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,SAA4C,EAC5C,OAAgB,EAChB,IAAkC,EAClC,EAAgC,EAChC,aAAsB;IAEtB,MAAM,CACJ,IAAI,KAAK,EAAE,IAAI,CAAC,aAAa,EAC7B,yIAAyI,CAC1I,CAAC;IACF,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;QACvB,OAAO;KACR;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE;QACrC,aAAa,GAAG,KAAK,CAAC;QACtB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;KACrB;IACD,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAe;IACvC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACnE,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAA4C,EAC5C,OAAgB,EAChB,IAAkC,EAClC,EAAgC,EAChC,IAAU,EACV,IAAU,EACV,aAAsB;IAEtB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE;QACzB,QAAQ,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,CAAC,CAAC;QAChD,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,aAAa,CAAC,CAAC;KAChF;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE;QAChC,oBAAoB,CAClB,SAAS,EACT,OAAO,EACP,IAAI,EACJ,EAAE,EACF,IAAI,CAAC,KAAK,EACV,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAC5B,aAAa,CACd,CAAC;KACH;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CACxB,oBAAoB,CAClB,SAAS,EACT,OAAO,EACP,IAAI,EACJ,EAAE,EACF,MAAM,EACN,IAAI,EACJ,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,aAAa,CAChD,CACF,CAAC;KACH;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE;QACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CACxB,oBAAoB,CAClB,SAAS,EACT,OAAO,EACP,IAAI,EACJ,EAAE,EACF,MAAM,EACN,IAAI,EACJ,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,aAAa,CAChD,CACF,CAAC;KACH;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE;QACjC,IAAI,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,oBAAoB,KAAK,IAAI,EAAE;YACnE,oBAAoB,CAClB,SAAS,EACT,OAAO,EACP,IAAI,EACJ,EAAE,EACF,IAAI,CAAC,oBAAoB,EACzB,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,EAC1F,aAAa,CACd,CAAC;SACH;QACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;YAC9C,oBAAoB,CAClB,SAAS,EACT,OAAO,EACP,IAAI,EACJ,EAAE,EACF,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,KAAK,EAC/B,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAC3C,aAAa,CACd,CAAC;QACJ,CAAC,CAAC,CAAC;KACJ;AACH,CAAC"}

package/dist/runtime.d.ts

@@ -0,0 +1,35 @@
+import * as server from './server';
+import * as client from './client';
+import * as make from './make';
+import { fromReflection } from './make';
+import * as valueClass from './value-class';
+import * as reflection from './reflection-type';
+export { make, fromReflection, server, client, valueClass, reflection };
+export declare const noContentContentType: "oatsNoContent";
+declare type Scalar = number | string | boolean;
+declare const typeWitnessKey: unique symbol;
+declare const tagKey: unique symbol;
+declare type ScalarWithoutBrand<V> = V extends ShapedClass<infer S> ? ScalarWithoutBrand<S> : V;
+export declare type ShapeOf<A> = A extends Scalar ? ScalarWithoutBrand<A> : A extends ShapedClass<infer S> ? S : unknown extends A ? unknown : A extends Array<infer Item> ? Array<ShapeOf<Item>> : A extends ReadonlyArray<infer Item> ? ReadonlyArray<ShapeOf<Item>> : {
+    [K in keyof A]: ShapeOf<A[K]>;
+};
+declare class ShapedClass<Shape> {
+    protected [typeWitnessKey]: Shape;
+}
+declare class BrandedClass<Tag> {
+    protected [tagKey]: Tag;
+}
+export declare type Shaped<Type, Shape> = Type extends Nully ? Type : Type & ShapedClass<Shape>;
+declare type Nully = null | undefined;
+export declare type BrandedScalar<Type, Tag> = Type extends Nully ? Type : Shaped<Type, Type> & BrandedClass<Tag>;
+export declare function setHeaders<Status extends number, ConntentType, Value, Headers extends Record<string, any>>(response: server.Response<Status, ConntentType, Value, Record<string, any>>, headers: Headers): server.Response<Status, ConntentType, Value, Headers>;
+export declare function noContent<Status extends number>(status: Status): server.Response<Status, typeof noContentContentType, null, Record<string, any>>;
+export declare function json<Status extends number, Value>(status: Status, value: Value): server.Response<Status, 'application/json', Value, Record<string, any>>;
+export declare function text<Status extends number, Value>(status: Status, value: Value): server.Response<Status, 'text/plain', Value, Record<string, any>>;
+export declare function set<Cls>(to: Cls, set: Cls extends valueClass.ValueClass ? Partial<ShapeOf<Cls>> : never): make.Make<Cls>;
+declare type ValueType = valueClass.ValueClass | {
+    [key: string]: any;
+} | readonly any[] | string | boolean | number;
+export declare function map<A extends ValueType, T extends ValueType>(value: A, predicate: (a: any) => a is T, fn: (p: T, traversalPath: string[]) => T): A;
+export declare function getAll<A extends ValueType, T extends ValueType>(value: A, predicate: (a: any) => a is T): readonly T[];
+export declare function pmap<A extends ValueType, T extends ValueType>(value: A, predicate: (a: any) => a is T, map: (p: T, traversalPath: string[]) => Promise<T>): Promise<A>;

package/dist/runtime.js

@@ -0,0 +1,172 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.pmap = exports.getAll = exports.map = exports.set = exports.text = exports.json = exports.noContent = exports.setHeaders = exports.noContentContentType = exports.reflection = exports.valueClass = exports.client = exports.server = exports.fromReflection = exports.make = void 0;
+const server = require("./server");
+exports.server = server;
+const client = require("./client");
+exports.client = client;
+const make = require("./make");
+exports.make = make;
+const make_1 = require("./make");
+Object.defineProperty(exports, "fromReflection", { enumerable: true, get: function () { return make_1.fromReflection; } });
+const valueClass = require("./value-class");
+exports.valueClass = valueClass;
+const reflection = require("./reflection-type");
+exports.reflection = reflection;
+exports.noContentContentType = 'oatsNoContent';
+const typeWitnessKey = Symbol();
+const tagKey = Symbol();
+class ShapedClass {
+}
+class BrandedClass {
+}
+function setHeaders(response, headers) {
+    return Object.assign(Object.assign({}, response), { headers });
+}
+exports.setHeaders = setHeaders;
+function noContent(status) {
+    return {
+        status,
+        value: { contentType: exports.noContentContentType, value: null },
+        headers: {}
+    };
+}
+exports.noContent = noContent;
+function json(status, value) {
+    return {
+        status,
+        value: { contentType: 'application/json', value },
+        headers: {}
+    };
+}
+exports.json = json;
+function text(status, value) {
+    return {
+        status,
+        value: { contentType: 'text/plain', value },
+        headers: {}
+    };
+}
+exports.text = text;
+function set(to, set) {
+    return to.constructor.make(Object.assign(Object.assign({}, to), set));
+}
+exports.set = set;
+function map(value, predicate, fn) {
+    return mapInternal(value, predicate, fn, []);
+}
+exports.map = map;
+function mapInternal(value, predicate, fn, traversalPath) {
+    if (predicate(value)) {
+        value = fn(value, traversalPath);
+    }
+    if (Array.isArray(value)) {
+        const arr = value.map((item, index) => mapInternal(item, predicate, fn, traversalPath.concat(String(index))));
+        return selectArray(value, arr);
+    }
+    if (value && typeof value === 'object') {
+        const record = {};
+        Object.keys(value).map(key => {
+            record[key] = mapInternal(value[key], predicate, fn, traversalPath.concat(key));
+        });
+        return selectRecord(value, record);
+    }
+    return value;
+}
+function getAll(value, predicate) {
+    return getAllInternal(value, predicate);
+}
+exports.getAll = getAll;
+function getAllInternal(value, predicate) {
+    const match = [];
+    if (predicate(value)) {
+        match.push(value);
+    }
+    if (Array.isArray(value)) {
+        return [
+            ...match,
+            ...value.reduce((acc, item) => acc.concat(getAllInternal(item, predicate)), [])
+        ];
+    }
+    if (value && typeof value === 'object') {
+        return [
+            ...match,
+            ...Object.values(value).reduce((acc, item) => acc.concat(getAllInternal(item, predicate)), [])
+        ];
+    }
+    return match;
+}
+async function pmap(value, predicate, map) {
+    return pmapInternal(value, predicate, map, []);
+}
+exports.pmap = pmap;
+function isPromise(p) {
+    return p && typeof p.then === 'function';
+}
+function pmapInternal(value, predicate, map, traversalPath) {
+    if (predicate(value)) {
+        value = map(value, traversalPath);
+    }
+    if (isPromise(value)) {
+        return value.then(n => pmapComposite(n, predicate, map, traversalPath));
+    }
+    return pmapComposite(value, predicate, map, traversalPath);
+}
+function selectArray(original, newArray) {
+    for (let i = 0; i < original.length; i++) {
+        if (original[i] !== newArray[i]) {
+            return newArray;
+        }
+    }
+    return original.length !== newArray.length ? newArray : original;
+}
+function selectRecord(original, newRecord) {
+    const changed = Object.keys(original).some(key => {
+        return original[key] !== newRecord[key];
+    });
+    if (!changed) {
+        return original;
+    }
+    if (original instanceof valueClass.ValueClass) {
+        return set(original, newRecord).success();
+    }
+    return newRecord;
+}
+function pmapArray(value, predicate, map, traversalPath) {
+    const mapped = value.map((n, i) => pmapInternal(n, predicate, map, traversalPath.concat(String(i))));
+    if (mapped.some(isPromise)) {
+        return Promise.all(mapped).then(newValues => {
+            return selectArray(value, newValues);
+        });
+    }
+    return selectArray(value, mapped);
+}
+function pmapObject(value, predicate, map, traversalPath) {
+    const record = {};
+    const promises = [];
+    Object.keys(value).forEach(key => {
+        const v = pmapInternal(value[key], predicate, map, traversalPath.concat(key));
+        if (isPromise(v)) {
+            promises.push(v.then(result => {
+                record[key] = result;
+            }));
+        }
+        else {
+            record[key] = v;
+        }
+    });
+    if (promises.length) {
+        return Promise.all(promises).then(() => selectRecord(value, record));
+    }
+    return selectRecord(value, record);
+}
+function pmapComposite(value, predicate, map, traversalPath) {
+    if (Array.isArray(value)) {
+        return pmapArray(value, predicate, map, traversalPath);
+    }
+    if (value && typeof value === 'object') {
+        return pmapObject(value, predicate, map, traversalPath);
+    }
+    return value;
+}
+//# sourceMappingURL=runtime.js.map

package/dist/runtime.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.js","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":";;;AAAA,mCAAmC;AAOJ,wBAAM;AANrC,mCAAmC;AAMI,wBAAM;AAL7C,+BAA+B;AAKtB,oBAAI;AAJb,iCAAwC;AAIzB,+FAJN,qBAAc,OAIM;AAH7B,4CAA4C;AAGG,gCAAU;AAFzD,gDAAgD;AAEW,gCAAU;AAExD,QAAA,oBAAoB,GAAG,eAAwB,CAAC;AAI7D,MAAM,cAAc,GAAG,MAAM,EAAE,CAAC;AAChC,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC;AAgBxB,MAAM,WAAW;CAEhB;AAED,MAAM,YAAY;CAEjB;AAUD,SAAgB,UAAU,CAMxB,QAA2E,EAC3E,OAAgB;IAEhB,uCAAY,QAAQ,KAAE,OAAO,IAAG;AAClC,CAAC;AAVD,gCAUC;AAED,SAAgB,SAAS,CACvB,MAAc;IAEd,OAAO;QACL,MAAM;QACN,KAAK,EAAE,EAAE,WAAW,EAAE,4BAAoB,EAAE,KAAK,EAAE,IAAI,EAAE;QACzD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC;AARD,8BAQC;AAED,SAAgB,IAAI,CAClB,MAAc,EACd,KAAY;IAEZ,OAAO;QACL,MAAM;QACN,KAAK,EAAE,EAAE,WAAW,EAAE,kBAAkB,EAAE,KAAK,EAAE;QACjD,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC;AATD,oBASC;AAED,SAAgB,IAAI,CAClB,MAAc,EACd,KAAY;IAEZ,OAAO;QACL,MAAM;QACN,KAAK,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE;QAC3C,OAAO,EAAE,EAAE;KACZ,CAAC;AACJ,CAAC;AATD,oBASC;AAED,SAAgB,GAAG,CACjB,EAAO,EACP,GAAsE;IAEtE,OAAQ,EAAU,CAAC,WAAW,CAAC,IAAI,iCAAM,EAAE,GAAK,GAAG,EAAG,CAAC;AACzD,CAAC;AALD,kBAKC;AAUD,SAAgB,GAAG,CACjB,KAAQ,EACR,SAA6B,EAC7B,EAAwC;IAExC,OAAO,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAC/C,CAAC;AAND,kBAMC;AAED,SAAS,WAAW,CAClB,KAAQ,EACR,SAA6B,EAC7B,EAAwC,EACxC,aAAuB;IAEvB,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE;QACpB,KAAK,GAAG,EAAE,CAAC,KAAK,EAAE,aAAa,CAAQ,CAAC;KACzC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACxB,MAAM,GAAG,GAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACzC,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CACtE,CAAC;QACF,OAAO,WAAW,CAAC,KAAK,EAAE,GAAG,CAAQ,CAAC;KACvC;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE;QACtC,MAAM,MAAM,GAAQ,EAAE,CAAC;QACvB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,CAAE,KAAa,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;QACH,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;KACpC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,MAAM,CACpB,KAAQ,EACR,SAA6B;IAE7B,OAAO,cAAc,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC1C,CAAC;AALD,wBAKC;AAED,SAAS,cAAc,CACrB,KAAQ,EACR,SAA6B;IAE7B,MAAM,KAAK,GAAQ,EAAE,CAAC;IACtB,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE;QACpB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;KACnB;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACxB,OAAO;YACL,GAAG,KAAK;YACR,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC;SAChF,CAAC;KACH;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE;QACtC,OAAO;YACL,GAAG,KAAK;YACR,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC;SAC/F,CAAC;KACH;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAEM,KAAK,UAAU,IAAI,CACxB,KAAQ,EACR,SAA6B,EAC7B,GAAkD;IAElD,OAAO,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;AACjD,CAAC;AAND,oBAMC;AAED,SAAS,SAAS,CAAC,CAAM;IACvB,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;AAC3C,CAAC;AAED,SAAS,YAAY,CACnB,KAAQ,EACR,SAA6B,EAC7B,GAAkD,EAClD,aAAuB;IAEvB,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE;QACpB,KAAK,GAAG,GAAG,CAAC,KAAK,EAAE,aAAa,CAAQ,CAAC;KAC1C;IACD,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE;QACpB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC;KACzE;IACD,OAAO,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;AAC7D,CAAC;AAED,SAAS,WAAW,CAAI,QAAa,EAAE,QAAa;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACxC,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE;YAC/B,OAAO,QAAQ,CAAC;SACjB;KACF;IACD,OAAO,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;AACnE,CAAC;AAED,SAAS,YAAY,CAAuC,QAAW,EAAE,SAAY;IACnF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;QAC/C,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,EAAE;QACZ,OAAO,QAAQ,CAAC;KACjB;IACD,IAAI,QAAQ,YAAY,UAAU,CAAC,UAAU,EAAE;QAC7C,OAAO,GAAG,CAAwB,QAAQ,EAAE,SAAS,CAAC,CAAC,OAAO,EAAO,CAAC;KACvE;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,SAAS,CAChB,KAAU,EACV,SAA6B,EAC7B,GAAkD,EAClD,aAAuB;IAEvB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAChC,YAAY,CAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACvE,CAAC;IACF,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;QAC1B,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;YAC1C,OAAO,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;KACJ;IACD,OAAO,WAAW,CAAI,KAAK,EAAE,MAAa,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,UAAU,CACjB,KAAQ,EACR,SAA6B,EAC7B,GAAkD,EAClD,aAAuB;IAEvB,MAAM,MAAM,GAAQ,EAAE,CAAC;IACvB,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;QAC/B,MAAM,CAAC,GAAG,YAAY,CAAE,KAAa,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QACvF,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE;YAChB,QAAQ,CAAC,IAAI,CACX,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBACd,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;YACvB,CAAC,CAAC,CACH,CAAC;SACH;aAAM;YACL,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SACjB;IACH,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,EAAE;QACnB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;KACtE;IACD,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,aAAa,CACpB,KAAQ,EACR,SAA6B,EAC7B,GAAkD,EAClD,aAAuB;IAEvB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACxB,OAAO,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAQ,CAAC;KAC/D;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE;QACtC,OAAO,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;KACzD;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/server.d.ts

@@ -0,0 +1,84 @@
+import { MakeOptions, Maker, ValidationError } from './make';
+export interface Response<Status extends number, ContentType, Value, Headers extends Record<string, any>> {
+    status: Status;
+    value: {
+        contentType: ContentType;
+        value: Value;
+    };
+    headers: Headers;
+}
+export interface RequestBody<A> {
+    contentType: string;
+    value: A;
+}
+export declare type Params = object;
+export declare type Headers = object;
+export declare type Query = object;
+export declare type RequestContext = any;
+export interface EndpointArg<H extends Headers | void, P extends Params | void, Q extends Query | void, Body extends RequestBody<any> | void> {
+    path: string;
+    method: Methods;
+    servers: string[];
+    op?: string;
+    headers: H;
+    params: P;
+    query: Q;
+    body: Body;
+}
+export declare type ServerEndpointArg<H extends Headers | void, P extends Params | void, Q extends Query | void, Body extends RequestBody<any> | void, RC extends RequestContext> = EndpointArg<H, P, Q, Body> & {
+    readonly requestContext: RC;
+};
+export declare type Endpoint<H extends Headers | void, P extends Params | void, Q extends Query | void, Body extends RequestBody<any> | void, R extends Response<number, any, any, Record<string, any>>, RC extends RequestContext> = (ctx: ServerEndpointArg<H, P, Q, Body, RC>) => Promise<R>;
+export declare type SafeEndpoint = Endpoint<Headers | undefined, Params | undefined, Query | undefined, RequestBody<any> | undefined, Response<number, any, any, Record<string, any>>, RequestContext>;
+export interface MethodHandlers {
+    get?: SafeEndpoint;
+    post?: SafeEndpoint;
+    put?: SafeEndpoint;
+    delete?: SafeEndpoint;
+    patch?: SafeEndpoint;
+    options?: SafeEndpoint;
+    head?: SafeEndpoint;
+}
+export interface Endpoints {
+    [opOrUrl: string]: MethodHandlers;
+}
+export declare class RequestValidationError extends Error {
+    tag: string;
+    errors: ValidationError[];
+    constructor(tag: string, errors: ValidationError[]);
+}
+export declare class ResponseValidationError extends Error {
+    tag: string;
+    originalResponse: any;
+    errors: ValidationError[];
+    constructor(tag: string, originalResponse: any, errors: ValidationError[]);
+}
+export declare function safe<H extends Headers, P extends Params, Q extends Query, Body extends RequestBody<any>, R extends Response<any, any, any, Record<string, any>>, RC extends RequestContext>(headers: Maker<any, H>, params: Maker<any, P>, query: Maker<any, Q>, body: Maker<any, Body>, response: Maker<any, R>, endpoint: Endpoint<H, P, Q, Body, R, RC>, { validationOptions }?: HandlerOptions): Endpoint<Headers, Params, Query, RequestBody<any>, Response<number, any, any, Record<string, any>>, RequestContext>;
+export declare type Methods = keyof MethodHandlers;
+export declare const supportedMethods: Methods[];
+declare type AnyMaker = Maker<any, any>;
+export interface Handler {
+    op?: string;
+    path: string;
+    servers: string[];
+    method: Methods;
+    headers: AnyMaker;
+    query: AnyMaker;
+    body: AnyMaker;
+    params: AnyMaker;
+    response: AnyMaker;
+}
+export declare type HandlerFactory<Spec> = (adapter: ServerAdapter) => (spec: Spec) => void;
+export declare function assertMethod(method: string): Methods;
+export declare type ServerAdapter = (path: string, op: string, method: Methods, handler: SafeEndpoint, servers: string[]) => void;
+export interface HandlerOptions {
+    /**
+     * Options for request schema validation.
+     */
+    validationOptions?: {
+        query?: MakeOptions;
+        params?: MakeOptions;
+    };
+}
+export declare function createHandlerFactory<Spec>(handlers: Handler[], opts?: HandlerOptions): HandlerFactory<Spec>;
+export {};