Merge branch 'main' into inference-of-arrays-of-branded-types

.eslintignore

@@ -1,4 +1,6 @@
-node_modules
-dist
-coverage
-**/*.js
+/node_modules
+/build
+/dist
+/coverage
+/*.js
+/*.ts

.eslintrc.js

@@ -11,12 +11,11 @@ const config = {
     rules: {
         'no-fallthrough': 'off', // checked by TS compiler
         'object-shorthand': ['error', 'always'],
-        'sort-imports': ['error', { ignoreDeclarationSort: true }],
+        'sort-imports': ['off'],
         '@typescript-eslint/no-explicit-any': 'off',
         '@typescript-eslint/no-unused-vars': 'off',
         '@typescript-eslint/no-invalid-void-type': 'off',
         '@typescript-eslint/no-throw-literal': 'off',
-        'import/extensions': ['error', 'ignorePackages'],
     },
     overrides: [
         {

.gitignore

@@ -1,5 +1,7 @@
-dist
-node_modules
-coverage
-*.tsbuildinfo
-temp
+/dist
+/node_modules
+/coverage
+/temp
+/build
+
+*.tsbuildinfo

.npmignore

@@ -1,11 +1,17 @@
-.*
-node_modules
-/*.js
+/node_modules
 /temp
+/build
 /markdown
 /etc
 /api-extractor.json
-/tsconfig.*
 /coverage
+
+/*.js
+/*.ts
+
+tsconfig.*
 *.tsbuildinfo
 *.tgz
+.*
+*.test.ts
+testutils.ts

api-extractor.json

@@ -45,7 +45,7 @@
      *
      * SUPPORTED TOKENS: <projectFolder>, <packageName>, <unscopedPackageName>
      */
-    "mainEntryPointFilePath": "<projectFolder>/dist/esm/index.d.ts",
+    "mainEntryPointFilePath": "<projectFolder>/dist/index.d.ts",
 
     /**
      * A list of NPM package names whose exports should be treated as part of this package.

markdown/types.array.md

@@ -9,7 +9,7 @@ Create a type that checks whether the input is an array and all elements conform
 **Signature:**
 
 ```typescript
-export declare function array<ElementType extends BaseTypeImpl<any>>(
+declare function array<ElementType extends BaseTypeImpl<any>>(
     ...args:
         | [name: string, elementType: ElementType, typeConfig?: ArrayTypeConfig]
         | [elementType: ElementType, typeConfig?: ArrayTypeConfig]

markdown/types.arraytype.md

@@ -9,7 +9,7 @@ The implementation behind types created with [array()](./types.array.md)<!-- -->
 **Signature:**
 
 ```typescript
-export declare class ArrayType<ElementType extends BaseTypeImpl<Element>, Element, ResultType extends Element[]> extends BaseTypeImpl<ResultType, ArrayTypeConfig>
+declare class ArrayType<ElementType extends BaseTypeImpl<Element>, Element, ResultType extends Element[]> extends BaseTypeImpl<ResultType, ArrayTypeConfig>
 ```
 
 **Extends:** [BaseTypeImpl](./types.basetypeimpl.md)<!-- -->&lt;ResultType, [ArrayTypeConfig](./types.arraytypeconfig.md)<!-- -->&gt;

markdown/types.arraytypeconfig.md

@@ -9,7 +9,7 @@ Configuration of additional checks on array types.
 **Signature:**
 
 ```typescript
-export interface ArrayTypeConfig extends LengthChecksConfig
+interface ArrayTypeConfig extends LengthChecksConfig
 ```
 
 **Extends:** [LengthChecksConfig](./types.lengthchecksconfig.md)

markdown/types.arrayviolation.md

@@ -9,7 +9,7 @@ The supported additional checks on array types.
 **Signature:**
 
 ```typescript
-export type ArrayViolation = LengthViolation;
+type ArrayViolation = LengthViolation;
 ```
 
 **References:** [LengthViolation](./types.lengthviolation.md)

markdown/types.baseobjectliketypeimpl.md

@@ -9,7 +9,7 @@ The base implementation for all object-like Types.
 **Signature:**
 
 ```typescript
-export declare abstract class BaseObjectLikeTypeImpl<ResultType, TypeConfig = unknown> extends BaseTypeImpl<ResultType, TypeConfig>
+declare abstract class BaseObjectLikeTypeImpl<ResultType, TypeConfig = unknown> extends BaseTypeImpl<ResultType, TypeConfig>
 ```
 
 **Extends:** [BaseTypeImpl](./types.basetypeimpl.md)<!-- -->&lt;ResultType, TypeConfig&gt;

markdown/types.basetypeimpl.md

@@ -9,7 +9,7 @@ The base-class of all type-implementations.
 **Signature:**
 
 ```typescript
-export declare abstract class BaseTypeImpl<ResultType, TypeConfig = unknown> implements TypeLink<ResultType>
+declare abstract class BaseTypeImpl<ResultType, TypeConfig = unknown> implements TypeLink<ResultType>
 ```
 
 **Implements:** [TypeLink](./types.typelink.md)<!-- -->&lt;ResultType&gt;

markdown/types.basictype.md

@@ -9,7 +9,7 @@ Basic categories of types.
 **Signature:**
 
 ```typescript
-export type BasicType = 'string' | 'number' | 'bigint' | 'boolean' | 'function' | 'object' | 'array' | 'symbol' | 'undefined' | 'null';
+type BasicType = 'string' | 'number' | 'bigint' | 'boolean' | 'function' | 'object' | 'array' | 'symbol' | 'undefined' | 'null';
 ```
 
 ## Remarks

markdown/types.booleanautocaster.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export declare function booleanAutoCaster(input: unknown): boolean | typeof autoCastFailure;
+declare function booleanAutoCaster(input: unknown): boolean | typeof autoCastFailure;
 ```
 
 ## Parameters

markdown/types.branded.md

@@ -9,7 +9,7 @@ Create a Branded type with a given `BrandName`<!-- -->.
 **Signature:**
 
 ```typescript
-export type Branded<T, BrandName extends string> = T extends WithBrands<infer Base, infer ExistingBrands>
+type Branded<T, BrandName extends string> = T extends WithBrands<infer Base, infer ExistingBrands>
     ? WithBrands<Base, BrandName | ExistingBrands>
     : WithBrands<T, BrandName>;
 ```

markdown/types.createtype.md

@@ -9,7 +9,7 @@ Create a Type from the given type-implementation.
 **Signature:**
 
 ```typescript
-export declare function createType<Impl extends BaseTypeImpl<any, any>>(
+declare function createType<Impl extends BaseTypeImpl<any, any>>(
     impl: Impl,
     override?: Partial<Record<keyof BaseTypeImpl<any, any> | 'typeValidator' | 'typeParser', PropertyDescriptor>>,
 ): TypeImpl<Impl>;

markdown/types.custommessage.md

@@ -9,7 +9,7 @@ The type for optional custom messages
 **Signature:**
 
 ```typescript
-export type CustomMessage<T, E = void> = undefined | string | ((got: string, input: T, explanation: E) => string);
+type CustomMessage<T, E = void> = undefined | string | ((got: string, input: T, explanation: E) => string);
 ```
 
 ## Remarks

markdown/types.deepunbranded.md

@@ -9,7 +9,7 @@ Unbrand a given type (recursive).
 **Signature:**
 
 ```typescript
-export type DeepUnbranded<T> = T extends ReadonlyArray<unknown>
+type DeepUnbranded<T> = T extends ReadonlyArray<unknown>
     ? {
           [P in keyof T & number]: DeepUnbranded<T[P]>;
       }

markdown/types.failure.md

@@ -9,7 +9,7 @@ A failed validation result.
 **Signature:**
 
 ```typescript
-export interface Failure
+interface Failure
 ```
 
 ## Properties

markdown/types.failuredetails.md

@@ -9,7 +9,7 @@ Individual message with info about the performed validation for error-reporting.
 **Signature:**
 
 ```typescript
-export type FailureDetails = ValidationDetails & MessageDetails;
+type FailureDetails = ValidationDetails & MessageDetails;
 ```
 
 **References:** [ValidationDetails](./types.validationdetails.md)<!-- -->, [MessageDetails](./types.messagedetails.md)

markdown/types.fulltype.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export type FullType<Props extends Properties> = TypeImpl<InterfaceType<Props, TypeOfProperties<Writable<Props>>>>;
+type FullType<Props extends Properties> = TypeImpl<InterfaceType<Props, TypeOfProperties<Writable<Props>>>>;
 ```
 
 **References:** [Properties](./types.properties.md)<!-- -->, [TypeImpl](./types.typeimpl.md)<!-- -->, [InterfaceType](./types.interfacetype.md)<!-- -->, [TypeOfProperties](./types.typeofproperties.md)<!-- -->, [Writable](./types.writable.md)

markdown/types.interfacetype.md

@@ -9,7 +9,7 @@ The implementation behind types created with [object()](./types.object.md) and [
 **Signature:**
 
 ```typescript
-export declare class InterfaceType<Props extends Properties, ResultType> extends BaseObjectLikeTypeImpl<ResultType> implements TypedPropertyInformation<Props>
+declare class InterfaceType<Props extends Properties, ResultType> extends BaseObjectLikeTypeImpl<ResultType> implements TypedPropertyInformation<Props>
 ```
 
 **Extends:** [BaseObjectLikeTypeImpl](./types.baseobjectliketypeimpl.md)<!-- -->&lt;ResultType&gt;

markdown/types.interfacetypeoptions.md

@@ -9,7 +9,7 @@ Options for [object()](./types.object.md)<!-- -->.
 **Signature:**
 
 ```typescript
-export interface InterfaceTypeOptions
+interface InterfaceTypeOptions
 ```
 
 ## Properties

markdown/types.intersection.md

@@ -9,7 +9,7 @@ Intersect the given types.
 **Signature:**
 
 ```typescript
-export declare function intersection<Types extends OneOrMore<BaseObjectLikeTypeImpl<unknown>>>(
+declare function intersection<Types extends OneOrMore<BaseObjectLikeTypeImpl<unknown>>>(
     ...args: [name: string, types: Types] | [types: Types]
 ): TypeImpl<IntersectionType<Types>>;
 ```

markdown/types.intersectionoftypetuple.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export type IntersectionOfTypeTuple<Tuple> = Tuple extends [
+type IntersectionOfTypeTuple<Tuple> = Tuple extends [
     {
         readonly [designType]: infer A;
     },

markdown/types.intersectiontype.md

@@ -9,7 +9,7 @@ The implementation behind types created with [intersection()](./types.intersecti
 **Signature:**
 
 ```typescript
-export declare class IntersectionType<Types extends OneOrMore<BaseObjectLikeTypeImpl<unknown>>> extends BaseObjectLikeTypeImpl<IntersectionOfTypeTuple<Types>, undefined> implements TypedPropertyInformation<PropertiesOfTypeTuple<Types>>
+declare class IntersectionType<Types extends OneOrMore<BaseObjectLikeTypeImpl<unknown>>> extends BaseObjectLikeTypeImpl<IntersectionOfTypeTuple<Types>, undefined> implements TypedPropertyInformation<PropertiesOfTypeTuple<Types>>
 ```
 
 **Extends:** [BaseObjectLikeTypeImpl](./types.baseobjectliketypeimpl.md)<!-- -->&lt;[IntersectionOfTypeTuple](./types.intersectionoftypetuple.md)<!-- -->&lt;Types&gt;, undefined&gt;

markdown/types.istype.md

@@ -9,7 +9,7 @@ Type-guard that asserts that a given value is a Type.
 **Signature:**
 
 ```typescript
-export declare function isType(value: unknown): value is Type<unknown>;
+declare function isType(value: unknown): value is Type<unknown>;
 ```
 
 ## Parameters

markdown/types.keyof.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export declare function keyof<T extends Record<string, unknown>>(...args: [name: string, keys: T] | [keys: T]): TypeImpl<KeyofType<T>>;
+declare function keyof<T extends Record<string, unknown>>(...args: [name: string, keys: T] | [keys: T]): TypeImpl<KeyofType<T>>;
 ```
 
 ## Parameters

markdown/types.keyoftype.md

@@ -9,7 +9,7 @@ The implementation behind types created with [keyof()](./types.keyof.md) and [va
 **Signature:**
 
 ```typescript
-export declare class KeyofType<T extends Record<string, unknown>, ResultType extends keyof T = keyof T> extends BaseTypeImpl<ResultType>
+declare class KeyofType<T extends Record<string, unknown>, ResultType extends keyof T = keyof T> extends BaseTypeImpl<ResultType>
 ```
 
 **Extends:** [BaseTypeImpl](./types.basetypeimpl.md)<!-- -->&lt;ResultType&gt;

markdown/types.lengthchecksconfig.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export interface LengthChecksConfig
+interface LengthChecksConfig
 ```
 
 ## Properties

markdown/types.lengthviolation.md

@@ -7,5 +7,5 @@
 **Signature:**
 
 ```typescript
-export type LengthViolation = 'minLength' | 'maxLength';
+type LengthViolation = 'minLength' | 'maxLength';
 ```

markdown/types.literal.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export declare function literal<const T extends LiteralValue>(value: T): TypeImpl<LiteralType<T>>;
+declare function literal<const T extends LiteralValue>(value: T): TypeImpl<LiteralType<T>>;
 ```
 
 ## Parameters

markdown/types.literaltype.md

@@ -9,7 +9,7 @@ The implementation behind types created with [literal()](./types.literal.md) and
 **Signature:**
 
 ```typescript
-export declare class LiteralType<ResultType extends LiteralValue> extends BaseTypeImpl<ResultType>
+declare class LiteralType<ResultType extends LiteralValue> extends BaseTypeImpl<ResultType>
 ```
 
 **Extends:** [BaseTypeImpl](./types.basetypeimpl.md)<!-- -->&lt;ResultType&gt;

markdown/types.literalvalue.md

@@ -9,5 +9,5 @@ The supported types of literals.
 **Signature:**
 
 ```typescript
-export type LiteralValue = string | number | boolean | null | undefined | void;
+type LiteralValue = string | number | boolean | null | undefined | void;
 ```

markdown/types.mergeintersection.md

@@ -9,7 +9,7 @@ Merge an intersection of types into one type, mostly for tooltip-readability in
 **Signature:**
 
 ```typescript
-export type MergeIntersection<T> = T extends Record<PropertyKey, unknown>
+type MergeIntersection<T> = T extends Record<PropertyKey, unknown>
     ? {
           [P in keyof T]: T[P];
       } & {}

markdown/types.messagedetails.md

@@ -9,7 +9,7 @@ Individual message details with optional info about the performed validation.
 **Signature:**
 
 ```typescript
-export type MessageDetails = Partial<ValidationDetails> & {
+type MessageDetails = Partial<ValidationDetails> & {
     path?: PropertyKey[];
     context?: string;
     omitInput?: boolean;

markdown/types.numberautocaster.md

@@ -7,7 +7,7 @@
 **Signature:**
 
 ```typescript
-export declare function numberAutoCaster(input: unknown): number | typeof autoCastFailure;
+declare function numberAutoCaster(input: unknown): number | typeof autoCastFailure;
 ```
 
 ## Parameters

markdown/types.numbertypeconfig.md

@@ -9,7 +9,7 @@ Configuration of additional checks on numeric types.
 **Signature:**
 
 ```typescript
-export type NumberTypeConfig = {
+type NumberTypeConfig = {
     multipleOf?: number;
     customMessage?: CustomMessage<number, NumberViolation[]> | Partial<Record<NumberViolation, CustomMessage<number, NumberViolation>>>;
 } & (

markdown/types.numberviolation.md

@@ -9,5 +9,5 @@ The supported additional checks on numeric types.
 **Signature:**
 
 ```typescript
-export type NumberViolation = 'min' | 'max' | 'multipleOf';
+type NumberViolation = 'min' | 'max' | 'multipleOf';
 ```

markdown/types.object.md

@@ -9,7 +9,7 @@ Create a type-validator that validates (or parses) an object structure.
 **Signature:**
 
 ```typescript
-export declare function object<Props extends Properties>(
+declare function object<Props extends Properties>(
     ...args: [props: Props] | [name: string, props: Props] | [options: InterfaceTypeOptions, props: Props]
 ): FullType<Props>;
 ```

markdown/types.objecttype.md

@@ -9,7 +9,7 @@ A type-validator/-parser that validates or parses object-like type `ResultType`<
 **Signature:**
 
 ```typescript
-export type ObjectType<ResultType, TypeConfig = unknown> = TypeImpl<BaseObjectLikeTypeImpl<ResultType, TypeConfig>>;
+type ObjectType<ResultType, TypeConfig = unknown> = TypeImpl<BaseObjectLikeTypeImpl<ResultType, TypeConfig>>;
 ```
 
 **References:** [TypeImpl](./types.typeimpl.md)<!-- -->, [BaseObjectLikeTypeImpl](./types.baseobjectliketypeimpl.md)

markdown/types.oneormore.md

@@ -9,5 +9,5 @@ An Array with at least one element.
 **Signature:**
 
 ```typescript
-export type OneOrMore<T> = [T, ...T[]];
+type OneOrMore<T> = [T, ...T[]];
 ```

markdown/types.parseroptions.md

@@ -9,7 +9,7 @@ Options that can be passed to [BaseTypeImpl.withParser()](./types.basetypeimpl.w
 **Signature:**
 
 ```typescript
-export interface ParserOptions
+interface ParserOptions
 ```
 
 ## Properties