lazytype

@humeris/boule

import { AllFalse, AllTrue, And, AnyTrue, Not } from "./boolean";

export declare type IsSubtype<T, U> = T extends U ? true : false;

export declare type IsAny<T> = IsSubtype<[T], T & []>;

export declare type IsNever<T> = IsSubtype<[T], [never]>;

export declare type IsUnknown<T> = And<Not<IsAny<T>>, IsSubtype<unknown, T>>;

export declare type IsReified<T> = AllFalse<[IsAny<T>, IsUnknown<T>, IsNever<T>]>;

export declare type IsCompatible<T, U> = IsSubtype<[T, U], [U, T]>;

declare type NonNilable<T> = T extends null | undefined | void ? never : T;

export declare type Is<T, U, DepthMeter extends never[] = []> = DepthMeter["length"] extends MAX_DEPTH ? true : And<IsReified<T>, IsReified<U>> extends true ? CompareNormalized<Normalize<T>, Normalize<U>, [never, never, ...DepthMeter]> : AnyTrue<[

declare type CompareNormalized<T extends NormalizedData, U extends NormalizedData, DepthMeter extends never[]> = IsCompatible<keyof T, keyof U> extends true ? And<IsSubtype<{

    [K in Exclude<keyof T & keyof U, typeof data>]: Is<T[K], U[K], [never, ...DepthMeter]>;

    [K in Exclude<keyof T & keyof U, typeof data>]: true;

}>, CompareData<T[typeof data], U[typeof data], [never, ...DepthMeter]>> : false;

export declare type CompareData<T, U, DepthMeter extends never[]> = AllTrue<[

declare type CompareData<T, U, DepthMeter extends never[]> = AllTrue<[

]> extends true ? StructurallyEqual<NonNilable<T>, NonNilable<U>, [never, ...DepthMeter]> : IsCompatible<T, U>;

declare type StructurallyEqual<T, U, DepthMeter extends never[]> = IsCompatible<keyof T, keyof U> extends true ? IsSubtype<{

    [K in keyof T & keyof U]: Is<T[K], U[K], [never, ...DepthMeter]>;

declare const return_type: unique symbol;

declare const constructor_parameters: unique symbol;

declare type NormalizeConstructor<T> = T extends new (...args: infer P) => infer R ? T extends infer G & (new (...args: P) => R) ? {

declare type Normalize<T> = T extends (...args: infer P) => infer R ? T extends infer G & ((...args: P) => R) ? NormalizeConstructor<G> & {

    "url": "https://github.com/humeris/humeris.git",

    "build": "npm run build:types && npm run build:js",

    "build:types": "tsc -p tsconfig.build.json",

    "@babel/plugin-syntax-class-properties": "^7.10.4",

    "@babel/preset-typescript": "^7.10.4",

    "@rollup/plugin-node-resolve": "^8.4.0",

		{
		"name": "@humeris/boule",
		"version": "2.0.0",
		"version": "2.0.1",
		"publisher": "humeris",
		@@ -5,0 +5,0 @@ "license": "MIT",

		@@ -20,3 +20,3 @@ import { AllFalse, AllTrue, And, AnyTrue, Not } from "./boolean";
		}>, CompareData<T[typeof data], U[typeof data], [never, ...DepthMeter]>> : false;
		export declare type CompareData<T, U, DepthMeter extends never[]> = AllTrue<[
		declare type CompareData<T, U, DepthMeter extends never[]> = AllTrue<[
		IsSubtype<T, object>,
		@@ -23,0 +23,0 @@ IsSubtype<U, object>,

Worsened metrics