typia 5.5.0-dev.20240302 → 5.5.0-dev.20240303

package/lib/functional.d.ts

@@ -0,0 +1,353 @@
+import { IValidation } from "./IValidation";
+import { TypeGuardError } from "./TypeGuardError";
+/**
+ * Asserts a function.
+ *
+ * Asserts a function, by wrapping the function and checking its parameters and
+ * return value through {@link assert} function. If some parameter or return value
+ * does not match the expected type, it throws an {@link TypeGuardError} or a custom
+ * error generated by the *errorFactory* parameter.
+ *
+ * For reference, {@link TypeGuardError.path} would be a little bit different with
+ * individual {@link assert} function. If the {@link TypeGuardError} occurs from
+ * some parameter, the path would start from `$input.parameters[number]`. Otherwise
+ * the path would start from `$input.return`.
+ *
+ * - `$input.parameters[0].~`
+ * - `$input.return.~`
+ *
+ * By the way, if what you want is not just finding the 1st type error through
+ * assertion, but also finding every type errors, then use {@link validateFunction}
+ * instead. Otherwise, what you want is just asserting parameters or return value
+ * only, you can use {@link assertParameters} or {@link assertReturn} instead.
+ *
+ * On the other hand, if don't want to allow any superfluous properties, utilize
+ * {@link assertEqualsFunction} or {@link validateEqualsFunction} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to assert
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns The wrapper function with type assertions
+ * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function assertFunction<T extends (...args: unknown[]) => unknown>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
+declare const assertFunctionPure: typeof assertFunction;
+export { assertFunctionPure as assertFunction };
+/**
+ * Asserts parameters.
+ *
+ * Asserts a function, by wrapping the function and checking its parameters through
+ * {@link assert} function. If some parameter does not match the expected type, it
+ * throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
+ * parameter.
+ *
+ * For reference, {@link TypeGuardError.path} would be a little bit different with
+ * individual {@link assert} function. If the {@link TypeGuardError} occurs from
+ * some parameter, the path would start from `$input.parameters[number]`.
+ *
+ * By the way, if what you want is not just finding the 1st type error through
+ * assertion, but also finding every type errors, then use {@link validateParameters}
+ * instead. Otherwise, what you want is not only asserting parameters, but also
+ * asserting return value, you can use {@link assertFunction} instead.
+ *
+ * On the other hand, if don't want to allow any superfluous properties, utilize
+ * {@link assertEqualsParameters} or {@link validateEqualsParameters} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to assert
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns The wrapper function with type assertions
+ * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function assertParameters<T extends (...args: unknown[]) => unknown>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
+declare const assertParametersPure: typeof assertParameters;
+export { assertParametersPure as assertParameters };
+/**
+ * Asserts return value.
+ *
+ * Asserts a function, by wrapping the function and checking its return value through
+ * {@link assert} function. If the return value does not match the expected type, it
+ * throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
+ * parameter.
+ *
+ * For reference, {@link TypeGuardError.path} would be a little bit different with
+ * individual {@link assert} function. If the {@link TypeGuardError} occurs from
+ * the return value, the path would start from `$input.return`.
+ *
+ * By the way, if what you want is not just finding the 1st type error through
+ * assertion, but also finding every type errors, then use {@link validateReturn}
+ * instead. Otherwise, what you want is not only asserting return value, but also
+ * asserting parameters, you can use {@link assertFunction} instead.
+ *
+ * On the other hand, if don't want to allow any superfluous properties, utilize
+ * {@link assertEqualsReturn} or {@link validateEqualsReturn} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to assert
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns The wrapper function with type assertions
+ * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function assertReturn<T extends (...args: unknown[]) => unknown>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
+declare const assertReturnPure: typeof assertReturn;
+export { assertReturnPure as assertReturn };
+/**
+ * Asserts a function with strict equality.
+ *
+ * Asserts a function with strict equality, by wrapping the function and checking
+ * its parameters and return value through {@link assertEquals} function. If some
+ * parameter or return value does not match the expected type, it throws an
+ * {@link TypeGuardError} or a custom error generated by the *errorFactory* parameter.
+ *
+ * For reference, {@link TypeGuardError.path} would be a little bit different with
+ * individual {@link assertEquals} function. If the {@link TypeGuardError} occurs from
+ * some parameter, the path would start from `$input.parameters[number]`. Otherwise
+ * the path would start from `$input.return`.
+ *
+ * - `$input.parameters[0].~`
+ * - `$input.return.~`
+ *
+ * By the way, if what you want is not just finding the 1st type error through
+ * assertion, but also finding every type errors, then use
+ * {@link validateEqualsFunction} instead. Otherwise, what you want is just asserting
+ * parameters or return value only, you can use {@link assertEqualsParameters} or
+ * {@link assertEqualsReturn} instead.
+ *
+ * On the other hand, if you want to allow any superfluous properties, utilize
+ * {@link assertFunction} or {@link validateFunction} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to assert
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns The wrapper function with type assertions
+ * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function assertEqualsFunction<T extends (...args: unknown[]) => unknown>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
+declare const assertEqualsFunctionPure: typeof assertEqualsFunction;
+export { assertEqualsFunctionPure as assertEqualsFunction };
+/**
+ * Asserts parameters with strict equality.
+ *
+ * Asserts a function, by wrapping the function and checking its parameters through
+ * {@link assertEquals} function. If some parameter does not match the expected type,
+ * it throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
+ * parameter.
+ *
+ * For reference, {@link TypeGuardError.path} would be a little bit different with
+ * individual {@link assertEquals} function. If the {@link TypeGuardError} occurs from
+ * some parameter, the path would start from `$input.parameters[number]`.
+ *
+ * By the way, if what you want is not just finding the 1st type error through
+ * assertion, but also finding every type errors, then use
+ * {@link validateEqualsParameters} instead. Otherwise, what you want is not only
+ * asserting parameters, but also asserting return value, you can use
+ * {@link assertEqualsFunction} instead.
+ *
+ * On the other hand, if you want to allow any superfluous properties, utilize
+ * {@link assertParameters} or {@link validateParameters} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to assert
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns The wrapper function with type assertions
+ * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function assertEqualsParameters<T extends (...args: unknown[]) => unknown>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
+declare const assertEqualsParametersPure: typeof assertEqualsParameters;
+export { assertEqualsParametersPure as assertEqualsParameters };
+/**
+ * Asserts return value with strict equality.
+ *
+ * Asserts a function, by wrapping the function and checking its return value through
+ * {@link assertEquals} function. If the return value does not match the expected type,
+ * it throws an {@link TypeGuardError} or a custom error generated by the *errorFactory*
+ * parameter.
+ *
+ * For reference, {@link TypeGuardError.path} would be a little bit different with
+ * individual {@link assertEquals} function. If the {@link TypeGuardError} occurs from
+ * the return value, the path would start from `$input.return`.
+ *
+ * By the way, if what you want is not just finding the 1st type error through
+ * assertion, but also finding every type errors, then use {@link validateEqualsReturn}
+ * instead. Otherwise, what you want is not only asserting return value, but also
+ * asserting parameters, you can use {@link assertEqualsFunction} instead.
+ *
+ * On the other hand, if you want to allow any superfluous properties, utilize
+ * {@link assertReturn} or {@link validateReturn} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to assert
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns The wrapper function with type assertions
+ * @throws A {@link TypeGuardError} or a custom error generated by *errorFactory*
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function assertEqualsReturn<T extends (...args: unknown[]) => unknown>(func: T, errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error)): T;
+declare const assertEqualsReturnPure: typeof assertEqualsReturn;
+export { assertEqualsReturnPure as assertEqualsReturn };
+/**
+ * Validates a function.
+ *
+ * Validates a function, by wrapping the function and checking its parameters and
+ * return value through {@link validate} function. If some parameter or return value
+ * does not match the expected type, it returns {@link IValidation.IError} typed
+ * object. Otherwise there's no type error, it returns {@link IValidation.ISuccess}
+ * typed object instead.
+ *
+ * For reference, {@link IValidation.IError.path} would be a little bit different with
+ * individual {@link validate} function. If the {@link IValidation.IError} occurs from
+ * some parameter, the path would start from `$input.parameters[number]`. Otherwise
+ * the path would start from `$input.return`.
+ *
+ * - `$input.parameters[0].~`
+ * - `$input.return.~`
+ *
+ * By the way, if what you want is not finding every type errors, but just finding
+ * the 1st type error, then use {@link assertFunction} instead. Otherwise, what you
+ * want is just validating parameters or return value only, you can use
+ * {@link validateParameters} or {@link validateReturn} instead.
+ *
+ * On the other hand, if you don't want to allow any superfluous properties, utilize
+ * {@link validateEqualsFunction} or {@link assertEqualsFunction} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to validate
+ * @returns The wrapper function with type validations
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function validateFunction<T extends (...args: unknown[]) => unknown>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
+declare const validateFunctionPure: typeof validateFunction;
+export { validateFunctionPure as validateFunction };
+/**
+ * Validates parameters.
+ *
+ * Validates a function, by wrapping the function and checking its parameters through
+ * {@link validate} function. If some parameter does not match the expected type, it
+ * returns {@link IValidation.IError} typed object. Otherwise there's no type error,
+ * it returns {@link IValidation.ISuccess} typed object instead.
+ *
+ * For reference, {@link IValidation.IError.path} would be a little bit different with
+ * individual {@link validate} function. If the {@link IValidation.IError} occurs from
+ * some parameter, the path would start from `$input.parameters[number]`.
+ *
+ * By the way, if what you want is not finding every type errors, but just finding
+ * the 1st type error, then use {@link assertParameters} instead. Otherwise, what you
+ * want is not only validating parameters, but also validating return value, you can
+ * use {@link validateFunction} instead.
+ *
+ * On the other hand, if you don't want to allow any superfluous properties, utilize
+ * {@link validateEqualsParameters} or {@link assertEqualsParameters} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to validate
+ * @returns The wrapper function with type validations
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function validateReturn<T extends (...args: unknown[]) => unknown>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
+declare const validateReturnPure: typeof validateReturn;
+export { validateReturnPure as validateReturn };
+/**
+ * Validates a function with strict equality.
+ *
+ * Validates a function with strict equality, by wrapping the function and checking
+ * its parameters and return value through {@link validateEquals} function. If some
+ * parameter or return value does not match the expected type, it returns
+ * {@link IValidation.IError} typed object. Otherwise there's no type error, it
+ * returns {@link IValidation.ISuccess} typed object instead.
+ *
+ * For reference, {@link IValidation.IError.path} would be a little bit different with
+ * individual {@link validateEquals} function. If the {@link IValidation.IError} occurs
+ * from some parameter, the path would start from `$input.parameters[number]`. Otherwise
+ * the path would start from `$input.return`.
+ *
+ * - `$input.parameters[0].~`
+ * - `$input.return.~`
+ *
+ * By the way, if what you want is not finding every type errors, but just finding
+ * the 1st type error, then use {@link assertEqualsFunction} instead. Otherwise, what
+ * you want is just validating parameters or return value only, you can use
+ * {@link validateEqualsParameters} or {@link validateEqualsReturn} instead.
+ *
+ * On the other hand, if you want to allow any superfluous properties, utilize
+ * {@link validateFunction} or {@link assertFunction} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to validate
+ * @returns The wrapper function with type validations
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function validateEqualsFunction<T extends (...args: unknown[]) => unknown>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
+declare const validateEqualsFunctionPure: typeof validateEqualsFunction;
+export { validateEqualsFunctionPure as validateEqualsFunction };
+/**
+ * Validates parameters with strict equality.
+ *
+ * Validates a function, by wrapping the function and checking its parameters through
+ * {@link validateEquals} function. If some parameter does not match the expected type,
+ * it returns {@link IValidation.IError} typed object. Otherwise there's no type error,
+ * it returns {@link IValidation.ISuccess} typed object instead.
+ *
+ * For reference, {@link IValidation.IError.path} would be a little bit different with
+ * individual {@link validateEquals} function. If the {@link IValidation.IError} occurs
+ * from some parameter, the path would start from `$input.parameters[number]`.
+ *
+ * By the way, if what you want is not finding every type errors, but just finding
+ * the 1st type error, then use {@link assertEqualsParameters} instead. Otherwise,
+ * what you want is not only validating parameters, but also validating return value,
+ * you can use {@link validateEqualsFunction} instead.
+ *
+ * On the other hand, if you want to allow any superfluous properties, utilize
+ * {@link validateParameters} or {@link assertParameters} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to validate
+ * @returns The wrapper function with type validations
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function validateEqualsParameters<T extends (...args: unknown[]) => unknown>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
+declare const validateEqualsParametersPure: typeof validateEqualsParameters;
+export { validateEqualsParametersPure as validateEqualsParameters };
+/**
+ * Validates return value with strict equality.
+ *
+ * Validates a function, by wrapping the function and checking its return value through
+ * {@link validateEquals} function. If the return value does not match the expected type,
+ * it returns {@link IValidation.IError} typed object. Otherwise there's no type error,
+ * it returns {@link IValidation.ISuccess} typed object instead.
+ *
+ * For reference, {@link IValidation.IError.path} would be a little bit different with
+ * individual {@link validateEquals} function. If the {@link IValidation.IError} occurs
+ * from the return value, the path would start from `$input.return`.
+ *
+ * By the way, if what you want is not finding every type errors, but just finding
+ * the 1st type error, then use {@link assertEqualsReturn} instead. Otherwise, what you
+ * want is not only validating return value, but also validating parameters, you can use
+ * {@link validateEqualsFunction} instead.
+ *
+ * On the other hand, if you want to allow any superfluous properties, utilize
+ * {@link validateReturn} or {@link assertReturn} instead.
+ *
+ * @template T Target function type
+ * @param func Target function to validate
+ * @returns The wrapper function with type validations
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+declare function validateEqualsReturn<T extends (...args: unknown[]) => unknown>(func: T): T extends (...args: infer Arguments) => infer Output ? Output extends Promise<infer R> ? (...args: Arguments) => Promise<IValidation<R>> : (...args: Arguments) => IValidation<Output> : never;
+declare const validateEqualsReturnPure: typeof validateEqualsReturn;
+export { validateEqualsReturnPure as validateEqualsReturn };

package/lib/functional.js

@@ -0,0 +1,130 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validateEqualsReturn = exports.validateEqualsParameters = exports.validateEqualsFunction = exports.validateReturn = exports.validateFunction = exports.assertEqualsReturn = exports.assertEqualsParameters = exports.assertEqualsFunction = exports.assertReturn = exports.assertParameters = exports.assertFunction = void 0;
+var Namespace = __importStar(require("./functional/Namespace"));
+/**
+ * @internal
+ */
+function assertFunction() {
+    halt("assertFunction");
+}
+var assertFunctionPure = /** @__PURE__ */ Object.assign(assertFunction, 
+/** @__PURE__ */ Namespace.assert("functional.assertFunction"));
+exports.assertFunction = assertFunctionPure;
+/**
+ * @internal
+ */
+function assertParameters() {
+    halt("assertParameters");
+}
+var assertParametersPure = /** @__PURE__ */ Object.assign(assertParameters, 
+/** @__PURE__ */ Namespace.assert("functional.assertParameters"));
+exports.assertParameters = assertParametersPure;
+/**
+ * @internal
+ */
+function assertReturn() {
+    halt("assertReturn");
+}
+var assertReturnPure = /** @__PURE__ */ Object.assign(assertReturn, /** @__PURE__ */ Namespace.assert("functional.assertReturn"));
+exports.assertReturn = assertReturnPure;
+/**
+ * @internal
+ */
+function assertEqualsFunction() {
+    halt("assertEqualsFunction");
+}
+var assertEqualsFunctionPure = /** @__PURE__ */ Object.assign(assertEqualsFunction, 
+/** @__PURE__ */ Namespace.assert("functional.assertEqualsFunction"));
+exports.assertEqualsFunction = assertEqualsFunctionPure;
+/**
+ * @internal
+ */
+function assertEqualsParameters() {
+    halt("assertEqualsParameters");
+}
+var assertEqualsParametersPure = /** @__PURE__ */ Object.assign(assertEqualsParameters, 
+/** @__PURE__ */ Namespace.assert("functional.assertEqualsParameters"));
+exports.assertEqualsParameters = assertEqualsParametersPure;
+/**
+ * @internal
+ */
+function assertEqualsReturn() {
+    halt("assertEqualsReturn");
+}
+var assertEqualsReturnPure = /** @__PURE__ */ Object.assign(assertEqualsReturn, 
+/** @__PURE__ */ Namespace.assert("functional.assertEqualsReturn"));
+exports.assertEqualsReturn = assertEqualsReturnPure;
+/**
+ * @internal
+ */
+function validateFunction() {
+    halt("validateFunction");
+}
+var validateFunctionPure = /** @__PURE__ */ Object.assign(validateFunction, /** @__PURE__ */ Namespace.validate());
+exports.validateFunction = validateFunctionPure;
+/**
+ * @internal
+ */
+function validateReturn() {
+    halt("validateReturn");
+}
+var validateReturnPure = /** @__PURE__ */ Object.assign(validateReturn, /** @__PURE__ */ Namespace.validate());
+exports.validateReturn = validateReturnPure;
+/**
+ * @internal
+ */
+function validateEqualsFunction() {
+    halt("validateEqualsFunction");
+}
+var validateEqualsFunctionPure = /** @__PURE__ */ Object.assign(validateEqualsFunction, /** @__PURE__ */ Namespace.validate());
+exports.validateEqualsFunction = validateEqualsFunctionPure;
+/**
+ * @internal
+ */
+function validateEqualsParameters() {
+    halt("validateEqualsParameters");
+}
+var validateEqualsParametersPure = /** @__PURE__ */ Object.assign(validateEqualsParameters, /** @__PURE__ */ Namespace.validate());
+exports.validateEqualsParameters = validateEqualsParametersPure;
+/**
+ * @internal
+ */
+function validateEqualsReturn() {
+    halt("validateEqualsReturn");
+}
+var validateEqualsReturnPure = /** @__PURE__ */ Object.assign(validateEqualsReturn, /** @__PURE__ */ Namespace.validate());
+exports.validateEqualsReturn = validateEqualsReturnPure;
+/* -----------------------------------------------------------
+  HALTER
+----------------------------------------------------------- */
+/**
+ * @internal
+ */
+function halt(name) {
+    throw new Error("Error on typia.functional.".concat(name, "(): no transform has been configured. Read and follow https://typia.io/docs/setup please."));
+}
+//# sourceMappingURL=functional.js.map

package/lib/functional.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"functional.js","sourceRoot":"","sources":["../src/functional.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,gEAAoD;AAiDpD;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACzB,CAAC;AACD,IAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAIvD,cAAc;AACd,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAC/D,CAAC;AAC6B,4CAAc;AAmC7C;;GAEG;AACH,SAAS,gBAAgB;IACvB,IAAI,CAAC,kBAAkB,CAAC,CAAC;AAC3B,CAAC;AACD,IAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAIzD,gBAAgB;AAChB,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,6BAA6B,CAAC,CACjE,CAAC;AAC+B,gDAAgB;AAmCjD;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC;AACjD,wCAAY;AAwCzC;;GAEG;AACH,SAAS,oBAAoB;IAC3B,IAAI,CAAC,sBAAsB,CAAC,CAAC;AAC/B,CAAC;AACD,IAAM,wBAAwB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAI7D,oBAAoB;AACpB,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,iCAAiC,CAAC,CACrE,CAAC;AACmC,wDAAoB;AAoCzD;;GAEG;AACH,SAAS,sBAAsB;IAC7B,IAAI,CAAC,wBAAwB,CAAC,CAAC;AACjC,CAAC;AACD,IAAM,0BAA0B,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAI/D,sBAAsB;AACtB,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,mCAAmC,CAAC,CACvE,CAAC;AACqC,4DAAsB;AAmC7D;;GAEG;AACH,SAAS,kBAAkB;IACzB,IAAI,CAAC,oBAAoB,CAAC,CAAC;AAC7B,CAAC;AACD,IAAM,sBAAsB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAI3D,kBAAkB;AAClB,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,+BAA+B,CAAC,CACnE,CAAC;AACiC,oDAAkB;AA4CrD;;GAEG;AACH,SAAS,gBAAgB;IACvB,IAAI,CAAC,kBAAkB,CAAC,CAAC;AAC3B,CAAC;AACD,IAAM,oBAAoB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGzD,gBAAgB,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,gDAAgB;AAoCjD;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACzB,CAAC;AACD,IAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGvD,cAAc,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,4CAAc;AAyC7C;;GAEG;AACH,SAAS,sBAAsB;IAC7B,IAAI,CAAC,wBAAwB,CAAC,CAAC;AACjC,CAAC;AACD,IAAM,0BAA0B,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG/D,sBAAsB,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,4DAAsB;AAoC7D;;GAEG;AACH,SAAS,wBAAwB;IAC/B,IAAI,CAAC,0BAA0B,CAAC,CAAC;AACnC,CAAC;AACD,IAAM,4BAA4B,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGjE,wBAAwB,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,gEAAwB;AAoCjE;;GAEG;AACH,SAAS,oBAAoB;IAC3B,IAAI,CAAC,sBAAsB,CAAC,CAAC;AAC/B,CAAC;AACD,IAAM,wBAAwB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG7D,oBAAoB,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,wDAAoB;AAEzD;;8DAE8D;AAC9D;;GAEG;AACH,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,IAAI,KAAK,CACb,oCAA6B,IAAI,8FAA2F,CAC7H,CAAC;AACJ,CAAC"}

package/lib/module.d.ts

@@ -3,6 +3,7 @@ import { IRandomGenerator } from "./IRandomGenerator";
 import { IValidation } from "./IValidation";
 import { Resolved } from "./Resolved";
 import { TypeGuardError } from "./TypeGuardError";
+export * as functional from "./functional";
 export * as http from "./http";
 export * as json from "./json";
 export * as misc from "./misc";

package/lib/module.js

@@ -26,8 +26,9 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.createRandom = exports.createValidateEquals = exports.createEquals = exports.createAssertGuardEquals = exports.createAssertEquals = exports.createValidate = exports.createIs = exports.createAssertGuard = exports.createAssert = exports.random = exports.validateEquals = exports.equals = exports.assertGuardEquals = exports.assertEquals = exports.validate = exports.is = exports.assertGuard = exports.assert = exports.tags = exports.reflect = exports.protobuf = exports.notations = exports.misc = exports.json = exports.http = void 0;
+exports.createRandom = exports.createValidateEquals = exports.createEquals = exports.createAssertGuardEquals = exports.createAssertEquals = exports.createValidate = exports.createIs = exports.createAssertGuard = exports.createAssert = exports.random = exports.validateEquals = exports.equals = exports.assertGuardEquals = exports.assertEquals = exports.validate = exports.is = exports.assertGuard = exports.assert = exports.tags = exports.reflect = exports.protobuf = exports.notations = exports.misc = exports.json = exports.http = exports.functional = void 0;
 var Namespace = __importStar(require("./functional/Namespace"));
+exports.functional = __importStar(require("./functional"));
 exports.http = __importStar(require("./http"));
 exports.json = __importStar(require("./json"));
 exports.misc = __importStar(require("./misc"));

package/lib/module.js.map

@@ -1 +1 @@
-{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,gEAAoD;AAQpD,+CAA+B;AAC/B,+CAA+B;AAC/B,+CAA+B;AAC/B,yDAAyC;AACzC,uDAAuC;AACvC,qDAAqC;AACrC,+CAA+B;AAE/B,mEAAiD;AACjD,kEAAgD;AAChD,iEAA+C;AAC/C,6DAA2C;AAC3C,mDAAiC;AACjC,qDAAmC;AACnC,gDAA8B;AAC9B,mDAAiC;AAEjC,8CAA4B;AAC5B,6CAA2B;AAC3B,8CAA4B;AAC5B,+CAA6B;AAC7B,8CAA4B;AA2D5B;;GAEG;AACH,SAAS,MAAM;IACb,IAAI,CAAC,QAAQ,CAAC,CAAC;AACjB,CAAC;AACD,IAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC/C,MAAM;AACN,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAC5C,CAAC;AACqB,4BAAM;AA4D7B;;GAEG;AACH,SAAS,WAAW;IAClB,IAAI,CAAC,aAAa,CAAC,CAAC;AACtB,CAAC;AACD,IAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CACpD,WAAW;AACX,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,CACjD,CAAC;AAC0B,sCAAW;AAkDvC;;GAEG;AACH,SAAS,EAAE;IACT,IAAI,CAAC,IAAI,CAAC,CAAC;AACb,CAAC;AACD,IAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC3C,EAAE;AACF,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CACxC,CAAC;AACiB,oBAAE;AAoDrB;;GAEG;AACH,SAAS,QAAQ;IACf,IAAI,CAAC,UAAU,CAAC,CAAC;AACnB,CAAC;AACD,IAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CACjD,QAAQ;AACR,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CACtC,CAAC;AACuB,gCAAQ;AA6DjC;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;AACtC,wCAAY;AAkEzC;;GAEG;AACH,SAAS,iBAAiB;IACxB,IAAI,CAAC,mBAAmB,CAAC,CAAC;AAC5B,CAAC;AACD,IAAM,qBAAqB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG1D,iBAAiB,EAAE,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAC3C,kDAAiB;AAoDnD;;GAEG;AACH,SAAS,MAAM;IACb,IAAI,CAAC,QAAQ,CAAC,CAAC;AACjB,CAAC;AACD,IAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC/C,MAAM;AACN,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,CAChC,CAAC;AACqB,4BAAM;AAsD7B;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACzB,CAAC;AACD,IAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGvD,cAAc,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,4CAAc;AA2C7C;;GAEG;AACH,SAAS,MAAM;IACb,IAAI,CAAC,QAAQ,CAAC,CAAC;AACjB,CAAC;AACD,IAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC/C,MAAM;AACN,gBAAgB,CAAC,SAAS,CAAC,MAAM,EAAE,CACpC,CAAC;AACqB,4BAAM;AA8B7B;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,UAAU,CAAC,CAAC;AACC,wCAAY;AAyDzC;;GAEG;AACH,SAAS,iBAAiB;IACxB,IAAI,CAAC,mBAAmB,CAAC,CAAC;AAC5B,CAAC;AACD,IAAM,qBAAqB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG1D,iBAAiB,EAAE,eAAe,CAAC,CAAC;AACJ,kDAAiB;AAuBnD;;GAEG;AACH,SAAS,QAAQ;IACf,IAAI,CAAC,UAAU,CAAC,CAAC;AACnB,CAAC;AACD,IAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CACjD,QAAQ,EACR,MAAM,CACP,CAAC;AACuB,gCAAQ;AAuBjC;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACzB,CAAC;AACD,IAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGvD,cAAc,EAAE,YAAY,CAAC,CAAC;AACD,4CAAc;AA2B7C;;GAEG;AACH,SAAS,kBAAkB;IACzB,IAAI,CAAC,oBAAoB,CAAC,CAAC;AAC7B,CAAC;AACD,IAAM,sBAAsB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG3D,kBAAkB,EAAE,gBAAgB,CAAC,CAAC;AACL,oDAAkB;AAyDrD;;GAEG;AACH,SAAS,uBAAuB;IAC9B,IAAI,CAAC,yBAAyB,CAAC,CAAC;AAClC,CAAC;AACD,IAAM,2BAA2B,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGhE,uBAAuB,EAAE,qBAAqB,CAAC,CAAC;AACV,8DAAuB;AAuB/D;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,UAAU,CAAC,CAAC;AACC,wCAAY;AAuBzC;;GAEG;AACH,SAAS,oBAAoB;IAC3B,IAAI,CAAC,sBAAsB,CAAC,CAAC;AAC/B,CAAC;AACD,IAAM,wBAAwB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG7D,oBAAoB,EAAE,kBAAkB,CAAC,CAAC;AACP,wDAAoB;AA2BzD;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,UAAU,CAAC,CAAC;AACC,wCAAY;AAEzC;;GAEG;AACH,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,IAAI,KAAK,CACb,yBAAkB,IAAI,8FAA2F,CAClH,CAAC;AACJ,CAAC"}
+{"version":3,"file":"module.js","sourceRoot":"","sources":["../src/module.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,gEAAoD;AAQpD,2DAA2C;AAC3C,+CAA+B;AAC/B,+CAA+B;AAC/B,+CAA+B;AAC/B,yDAAyC;AACzC,uDAAuC;AACvC,qDAAqC;AACrC,+CAA+B;AAE/B,mEAAiD;AACjD,kEAAgD;AAChD,iEAA+C;AAC/C,6DAA2C;AAC3C,mDAAiC;AACjC,qDAAmC;AACnC,gDAA8B;AAC9B,mDAAiC;AAEjC,8CAA4B;AAC5B,6CAA2B;AAC3B,8CAA4B;AAC5B,+CAA6B;AAC7B,8CAA4B;AA2D5B;;GAEG;AACH,SAAS,MAAM;IACb,IAAI,CAAC,QAAQ,CAAC,CAAC;AACjB,CAAC;AACD,IAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC/C,MAAM;AACN,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAC5C,CAAC;AACqB,4BAAM;AA4D7B;;GAEG;AACH,SAAS,WAAW;IAClB,IAAI,CAAC,aAAa,CAAC,CAAC;AACtB,CAAC;AACD,IAAM,eAAe,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CACpD,WAAW;AACX,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,CACjD,CAAC;AAC0B,sCAAW;AAkDvC;;GAEG;AACH,SAAS,EAAE;IACT,IAAI,CAAC,IAAI,CAAC,CAAC;AACb,CAAC;AACD,IAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC3C,EAAE;AACF,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CACxC,CAAC;AACiB,oBAAE;AAoDrB;;GAEG;AACH,SAAS,QAAQ;IACf,IAAI,CAAC,UAAU,CAAC,CAAC;AACnB,CAAC;AACD,IAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CACjD,QAAQ;AACR,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CACtC,CAAC;AACuB,gCAAQ;AA6DjC;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;AACtC,wCAAY;AAkEzC;;GAEG;AACH,SAAS,iBAAiB;IACxB,IAAI,CAAC,mBAAmB,CAAC,CAAC;AAC5B,CAAC;AACD,IAAM,qBAAqB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG1D,iBAAiB,EAAE,gBAAgB,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAC3C,kDAAiB;AAoDnD;;GAEG;AACH,SAAS,MAAM;IACb,IAAI,CAAC,QAAQ,CAAC,CAAC;AACjB,CAAC;AACD,IAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC/C,MAAM;AACN,gBAAgB,CAAC,SAAS,CAAC,EAAE,EAAE,CAChC,CAAC;AACqB,4BAAM;AAsD7B;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACzB,CAAC;AACD,IAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGvD,cAAc,EAAE,gBAAgB,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC1B,4CAAc;AA2C7C;;GAEG;AACH,SAAS,MAAM;IACb,IAAI,CAAC,QAAQ,CAAC,CAAC;AACjB,CAAC;AACD,IAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAC/C,MAAM;AACN,gBAAgB,CAAC,SAAS,CAAC,MAAM,EAAE,CACpC,CAAC;AACqB,4BAAM;AA8B7B;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,UAAU,CAAC,CAAC;AACC,wCAAY;AAyDzC;;GAEG;AACH,SAAS,iBAAiB;IACxB,IAAI,CAAC,mBAAmB,CAAC,CAAC;AAC5B,CAAC;AACD,IAAM,qBAAqB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG1D,iBAAiB,EAAE,eAAe,CAAC,CAAC;AACJ,kDAAiB;AAuBnD;;GAEG;AACH,SAAS,QAAQ;IACf,IAAI,CAAC,UAAU,CAAC,CAAC;AACnB,CAAC;AACD,IAAM,YAAY,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CACjD,QAAQ,EACR,MAAM,CACP,CAAC;AACuB,gCAAQ;AAuBjC;;GAEG;AACH,SAAS,cAAc;IACrB,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACzB,CAAC;AACD,IAAM,kBAAkB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGvD,cAAc,EAAE,YAAY,CAAC,CAAC;AACD,4CAAc;AA2B7C;;GAEG;AACH,SAAS,kBAAkB;IACzB,IAAI,CAAC,oBAAoB,CAAC,CAAC;AAC7B,CAAC;AACD,IAAM,sBAAsB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG3D,kBAAkB,EAAE,gBAAgB,CAAC,CAAC;AACL,oDAAkB;AAyDrD;;GAEG;AACH,SAAS,uBAAuB;IAC9B,IAAI,CAAC,yBAAyB,CAAC,CAAC;AAClC,CAAC;AACD,IAAM,2BAA2B,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGhE,uBAAuB,EAAE,qBAAqB,CAAC,CAAC;AACV,8DAAuB;AAuB/D;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,UAAU,CAAC,CAAC;AACC,wCAAY;AAuBzC;;GAEG;AACH,SAAS,oBAAoB;IAC3B,IAAI,CAAC,sBAAsB,CAAC,CAAC;AAC/B,CAAC;AACD,IAAM,wBAAwB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAG7D,oBAAoB,EAAE,kBAAkB,CAAC,CAAC;AACP,wDAAoB;AA2BzD;;GAEG;AACH,SAAS,YAAY;IACnB,IAAI,CAAC,cAAc,CAAC,CAAC;AACvB,CAAC;AACD,IAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAGrD,YAAY,EAAE,UAAU,CAAC,CAAC;AACC,wCAAY;AAEzC;;GAEG;AACH,SAAS,IAAI,CAAC,IAAY;IACxB,MAAM,IAAI,KAAK,CACb,yBAAkB,IAAI,8FAA2F,CAClH,CAAC;AACJ,CAAC"}

package/lib/programmers/functional/FunctionalAssertFunctionProgrammer.d.ts

@@ -0,0 +1,6 @@
+/// <reference types="ts-expose-internals/typescript" />
+import ts from "typescript";
+import { IProject } from "../../transformers/IProject";
+export declare namespace FunctionalAssertFunctionProgrammer {
+    const write: (project: IProject) => (modulo: ts.LeftHandSideExpression) => (equals: boolean) => (expression: ts.Expression, declaration: ts.FunctionDeclaration, init?: ts.Expression) => ts.FunctionDeclaration;
+}

package/lib/programmers/functional/FunctionalAssertFunctionProgrammer.js

@@ -0,0 +1,33 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FunctionalAssertFunctionProgrammer = void 0;
+var typescript_1 = __importDefault(require("typescript"));
+var FunctionalAssertParametersProgrammer_1 = require("./FunctionalAssertParametersProgrammer");
+var FunctionalAssertReturnProgrammer_1 = require("./FunctionalAssertReturnProgrammer");
+var FunctionalAssertFunctionProgrammer;
+(function (FunctionalAssertFunctionProgrammer) {
+    FunctionalAssertFunctionProgrammer.write = function (project) {
+        return function (modulo) {
+            return function (equals) {
+                return function (expression, declaration, init) {
+                    var params = FunctionalAssertParametersProgrammer_1.FunctionalAssertParametersProgrammer.prepare(project)(modulo)(equals)(declaration, init);
+                    var output = FunctionalAssertReturnProgrammer_1.FunctionAssertReturnProgrammer.prepare(project)(modulo)(equals)(expression, declaration, init);
+                    return typescript_1.default.factory.createFunctionDeclaration(output.async
+                        ? [typescript_1.default.factory.createModifier(typescript_1.default.SyntaxKind.AsyncKeyword)]
+                        : undefined, undefined, undefined, undefined, declaration.parameters, declaration.type, typescript_1.default.factory.createBlock([
+                        params.assert,
+                        output.assert,
+                        params.call,
+                        output.variable,
+                        output.call,
+                        output.returns,
+                    ], true));
+                };
+            };
+        };
+    };
+})(FunctionalAssertFunctionProgrammer || (exports.FunctionalAssertFunctionProgrammer = FunctionalAssertFunctionProgrammer = {}));
+//# sourceMappingURL=FunctionalAssertFunctionProgrammer.js.map

package/lib/programmers/functional/FunctionalAssertFunctionProgrammer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"FunctionalAssertFunctionProgrammer.js","sourceRoot":"","sources":["../../../src/programmers/functional/FunctionalAssertFunctionProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,+FAA8F;AAC9F,uFAAoF;AAEpF,IAAiB,kCAAkC,CAsClD;AAtCD,WAAiB,kCAAkC;IACpC,wCAAK,GAChB,UAAC,OAAiB;QAClB,OAAA,UAAC,MAAiC;YAClC,OAAA,UAAC,MAAe;gBAChB,OAAA,UACE,UAAyB,EACzB,WAAmC,EACnC,IAAoB;oBAEpB,IAAM,MAAM,GAAG,2EAAoC,CAAC,OAAO,CAAC,OAAO,CAAC,CAClE,MAAM,CACP,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;oBAC7B,IAAM,MAAM,GAAG,iEAA8B,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CACpE,MAAM,CACP,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;oBACjC,OAAO,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CACzC,MAAM,CAAC,KAAK;wBACV,CAAC,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,cAAc,CAAC,oBAAE,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;wBACzD,CAAC,CAAC,SAAS,EACb,SAAS,EACT,SAAS,EACT,SAAS,EACT,WAAW,CAAC,UAAU,EACtB,WAAW,CAAC,IAAI,EAChB,oBAAE,CAAC,OAAO,CAAC,WAAW,CACpB;wBACE,MAAM,CAAC,MAAM;wBACb,MAAM,CAAC,MAAM;wBACb,MAAM,CAAC,IAAI;wBACX,MAAM,CAAC,QAAQ;wBACf,MAAM,CAAC,IAAI;wBACX,MAAM,CAAC,OAAO;qBACf,EACD,IAAI,CACL,CACF,CAAC;gBACJ,CAAC;YAhCD,CAgCC;QAjCD,CAiCC;IAlCD,CAkCC,CAAC;AACN,CAAC,EAtCgB,kCAAkC,kDAAlC,kCAAkC,QAsClD"}

package/lib/programmers/functional/FunctionalAssertParametersProgrammer.d.ts

@@ -0,0 +1,11 @@
+/// <reference types="ts-expose-internals/typescript" />
+import ts from "typescript";
+import { IProject } from "../../transformers/IProject";
+export declare namespace FunctionalAssertParametersProgrammer {
+    const write: (project: IProject) => (modulo: ts.LeftHandSideExpression) => (equals: boolean) => (expression: ts.Expression, declaration: ts.FunctionDeclaration, init?: ts.Expression) => ts.FunctionDeclaration;
+    const prepare: (project: IProject) => (modulo: ts.LeftHandSideExpression) => (equals: boolean) => (declaration: ts.FunctionDeclaration, init?: ts.Expression) => {
+        assert: ts.VariableStatement;
+        call: ts.ExpressionStatement;
+        type: ts.Type;
+    };
+}

package/lib/programmers/functional/FunctionalAssertParametersProgrammer.js

@@ -0,0 +1,58 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FunctionalAssertParametersProgrammer = void 0;
+var typescript_1 = __importDefault(require("typescript"));
+var StatementFactory_1 = require("../../factories/StatementFactory");
+var AssertProgrammer_1 = require("../AssertProgrammer");
+var FunctionalAssertParametersProgrammer;
+(function (FunctionalAssertParametersProgrammer) {
+    FunctionalAssertParametersProgrammer.write = function (project) {
+        return function (modulo) {
+            return function (equals) {
+                return function (expression, declaration, init) {
+                    var _a = FunctionalAssertParametersProgrammer.prepare(project)(modulo)(equals)(declaration, init), assert = _a.assert, call = _a.call;
+                    var async = (function () {
+                        if (declaration.type === undefined)
+                            return false;
+                        var type = project.checker.getTypeFromTypeNode(declaration.type);
+                        return type.isTypeParameter() && type.symbol.name === "Promise";
+                    })();
+                    return typescript_1.default.factory.createFunctionDeclaration(async
+                        ? [typescript_1.default.factory.createModifier(typescript_1.default.SyntaxKind.AsyncKeyword)]
+                        : undefined, undefined, undefined, undefined, declaration.parameters, declaration.type, typescript_1.default.factory.createBlock([
+                        assert,
+                        call,
+                        typescript_1.default.factory.createReturnStatement(typescript_1.default.factory.createCallExpression(expression, undefined, declaration.parameters.map(function (p) {
+                            return typescript_1.default.factory.createIdentifier(p.name.getText());
+                        }))),
+                    ], true));
+                };
+            };
+        };
+    };
+    FunctionalAssertParametersProgrammer.prepare = function (project) {
+        return function (modulo) {
+            return function (equals) {
+                return function (declaration, init) {
+                    var typeNode = typescript_1.default.factory.createTypeLiteralNode([
+                        typescript_1.default.factory.createPropertySignature(undefined, "parameters", undefined, typescript_1.default.factory.createTupleTypeNode(declaration.parameters.map(function (p) { return p.type; }))),
+                    ]);
+                    var type = project.checker.getTypeFromTypeNode(typeNode);
+                    var assert = StatementFactory_1.StatementFactory.constant("assert", AssertProgrammer_1.AssertProgrammer.write(project)(modulo)(equals)(type, undefined, init));
+                    var call = typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("assert"), undefined, [
+                        typescript_1.default.factory.createObjectLiteralExpression([
+                            typescript_1.default.factory.createPropertyAssignment("parameters", typescript_1.default.factory.createArrayLiteralExpression(declaration.parameters.map(function (p) {
+                                return typescript_1.default.factory.createIdentifier(p.name.getText());
+                            }))),
+                        ], true),
+                    ]));
+                    return { assert: assert, call: call, type: type };
+                };
+            };
+        };
+    };
+})(FunctionalAssertParametersProgrammer || (exports.FunctionalAssertParametersProgrammer = FunctionalAssertParametersProgrammer = {}));
+//# sourceMappingURL=FunctionalAssertParametersProgrammer.js.map