type-plus 3.13.0 → 4.0.0

package/libm/types/optional.js

@@ -1,30 +0,0 @@
-import { object } from './Object';
-import { any } from './Any';
-import { array } from './Array';
-import { boolean } from './Boolean';
-import { nil } from './Null';
-import { number } from './Number';
-import { string } from './String';
-import { symbol } from './Symbol';
-import { tuple } from './Tuple';
-import { undef } from './Undefined';
-import { unknown } from './Unknown';
-import { record } from './Record';
-// import { bigint } from './types/BigInt'
-export const optional = {
-    any,
-    array: array.optional,
-    // bigint: bigint.optional,
-    boolean: boolean.optional,
-    null: nil.optional,
-    number: number.optional,
-    object: object.optional,
-    record: record.optional,
-    string: string.optional,
-    symbol: symbol.optional,
-    tuple: tuple.optional,
-    undefined: undef,
-    unknown
-};
-export const O = optional;
-//# sourceMappingURL=optional.js.map

package/libm/types/optional.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../src/types/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,0CAA0C;AAE1C,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,GAAG;IACH,KAAK,EAAE,KAAK,CAAC,QAAQ;IACrB,2BAA2B;IAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ;IACzB,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;IACrB,SAAS,EAAE,KAAK;IAChB,OAAO;CACR,CAAA;AACD,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAA"}

package/libm/types/required.js

@@ -1,30 +0,0 @@
-import { object } from './Object';
-import { any } from './Any';
-import { array } from './Array';
-import { boolean } from './Boolean';
-import { nil } from './Null';
-import { number } from './Number';
-import { string } from './String';
-import { symbol } from './Symbol';
-import { tuple } from './Tuple';
-import { undef } from './Undefined';
-import { unknown } from './Unknown';
-import { record } from './Record';
-// import { bigint } from './types/BigInt'
-export const required = {
-    any,
-    array: array,
-    // bigint: bigint,
-    boolean: boolean,
-    null: nil,
-    number: number,
-    object: object,
-    record: record,
-    string: string,
-    symbol: symbol,
-    tuple: tuple,
-    undefined: undef,
-    unknown
-};
-export const R = required;
-//# sourceMappingURL=required.js.map

package/libm/types/required.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"required.js","sourceRoot":"","sources":["../../src/types/required.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,0CAA0C;AAE1C,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,GAAG;IACH,KAAK,EAAE,KAAK;IACZ,kBAAkB;IAClB,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,GAAG;IACT,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,KAAK;IAChB,OAAO;CACR,CAAA;AACD,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAA"}

package/libm/types/satisfy.js

@@ -1,22 +0,0 @@
-import { analyze } from './analyze';
-import { getPlainAnalysisReport } from './getPlainAnalysisReport';
-/**
- * Checks if the specified `subject` satisfies the `type`.
- * `satisfy()` is the shortcut of `check({ strict: false }, ...)`.
- * @return type guard (boolean). If the subject does not satisfies the type,
- * the detail report is available in `satisfy.result`,
- * and you can get a string report using `satisfy.getReport()`
- */
-export function satisfy(type, subject) {
-    const result = satisfy.result = analyze({ strict: false }, type, subject);
-    return !result.analysis.fail;
-}
-/**
- * Analysis report.
- */
-satisfy.result = { analysis: {} };
-/**
- * Gets a simple report of the analysis.
- */
-satisfy.getReport = () => getPlainAnalysisReport(satisfy.result);
-//# sourceMappingURL=satisfy.js.map

package/libm/types/satisfy.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"satisfy.js","sourceRoot":"","sources":["../../src/types/satisfy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAEjE;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAoB,IAAO,EAAE,OAAgB;IAClE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACzE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAED;;GAEG;AACH,OAAO,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAoB,CAAA;AAEnD;;GAEG;AACH,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA"}

package/libm/types/types.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=types.js.map

package/libm/types/types.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/types/types.ts"],"names":[],"mappings":""}

package/libm/utils/Widen.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Widen.js","sourceRoot":"","sources":["../../src/utils/Widen.ts"],"names":[],"mappings":""}

package/libm/utils/as.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"as.js","sourceRoot":"","sources":["../../src/utils/as.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,EAAE,CAAI,OAAgB;IACpC,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAgB;IACpC,OAAO,IAAI,CAAA;AACb,CAAC"}

package/libm/utils/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/utils/index.ts"],"names":[],"mappings":"AAAA,cAAc,MAAM,CAAA;AACpB,cAAc,SAAS,CAAA"}

package/src/JSONTypes.spec.ts

@@ -1,43 +0,0 @@
-import { assertType } from './assertion'
-import { JSONObject, JSONTypes } from './JSONTypes'
-import { isType } from './predicates'
-
-test('empty object', () => {
-  assertType<JSONTypes>({})
-})
-
-test('empty array', () => {
-  assertType<JSONTypes>([])
-})
-
-test('string array', () => {
-  assertType<JSONTypes>(['a'])
-})
-
-test('JSONObject', () => {
-  isType<JSONObject>({})
-})
-
-describe('JSONTypes.get', () => {
-  test('cast to T | undefined without props', () => {
-    const a = JSONTypes.get<string>('abc')
-    isType<string | undefined>(a)
-    expect(a).toBe('abc')
-  })
-  test('get object props', () => {
-    const a = JSONTypes.get<string>({ a: { b: 'abc' } }, 'a', 'b')
-    isType<string | undefined>(a)
-    expect(a).toBe('abc')
-  })
-
-  test('get array entry', () => {
-    const a = JSONTypes.get<string>(['abc'], 0)
-    isType<string | undefined>(a)
-    expect(a).toBe('abc')
-  })
-  test('nested', () => {
-    const a = JSONTypes.get<string>({ a: { b: [{ c: 'abc' }] } }, 'a', 'b', 0, 'c')
-    isType<string | undefined>(a)
-    expect(a).toBe('abc')
-  })
-})

package/src/JSONTypes.ts

@@ -1,18 +0,0 @@
-
-export type JSONTypes = JSONPrimitive | JSONObject | JSONArray
-
-export type JSONPrimitive = boolean | number | string | null
-
-export type JSONObject = { [key in string]?: JSONTypes }
-
-export type JSONArray = Array<JSONTypes>
-
-export const JSONTypes = { get }
-
-function get<T extends JSONTypes>(obj: JSONTypes, ...props: Array<string | number>): T | undefined {
-  if (props.length === 0) return obj as T
-  if (typeof obj !== 'object' || obj === null) return undefined
-  const p = props.shift()!
-  // @ts-ignore
-  return get(obj[p], ...props) as T
-}

package/src/PrimitiveTypes.ts

@@ -1,2 +0,0 @@
-// eslint-disable-next-line @typescript-eslint/ban-types
-export type PrimitiveTypes = boolean | number | string | object | symbol | bigint | Function | undefined | null

package/src/UnionToIntersection.ts

@@ -1,7 +0,0 @@
-// from jcalz, https://stackoverflow.com/questions/50374908/transform-union-type-to-intersection-type/50375286#50375286
-// istanbul ignore file
-export type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never
-
-export function toIntersection<U>(union: U): UnionToIntersection<U> {
-  return union as any as UnionToIntersection<U>
-}

package/src/array/CommonPropKeys.spec.ts

@@ -1,20 +0,0 @@
-import { assertType, CommonPropKeys, Equal } from '..'
-
-test('no common key returns never', () => {
-  type S = [{ a: number }, { b: number }]
-  type A = CommonPropKeys<S>
-  assertType.isTrue(true as Equal<A, never>)
-})
-
-test('single common key', () => {
-  type S = [{ a: number, c: number }, { a: number, b: number }]
-  type A = CommonPropKeys<S>
-  assertType.isTrue(true as Equal<A, 'a'>)
-})
-
-test('multiple common keys', () => {
-  type S = [{ a: number, b: number }, { a: number, b: number }]
-
-  type A = CommonPropKeys<S>
-  assertType.isTrue(true as Equal<A, 'a' | 'b'>)
-})

package/src/array/CommonPropKeys.ts

@@ -1,18 +0,0 @@
-import { Tail } from './Tail'
-
-/**
- * Gets the common property keys of the elements in `A`.
- */
-export type CommonPropKeys<A extends Record<string, unknown>[]> = A['length'] extends 0
-  ? never
-  : (A['length'] extends 1
-    ? keyof A[0]
-    : (A['length'] extends 2
-      ? keyof A[0] & keyof A[1]
-      : keyof A[0] & keyof A[1] & CommonPropKeys<Tail<Tail<A>>>))
-
-/**
- * Gets the common property keys of the elements in `A`.
- * This will be deprecated in 4.0. Please use CommonPropKeys instead.
- */
-export type CommonKeys<A extends Record<string, any>[]> = CommonPropKeys<A>

package/src/array/Concat.spec.ts

@@ -1,21 +0,0 @@
-import { Concat, Equal, isType } from '..'
-
-test('concat array', () => {
-  type A = Concat<string[], boolean[]>
-  isType.t<Equal<Array<string | boolean>, A>>()
-})
-
-test('concat tuples', () => {
-  type A = Concat<[1, 2, 3], [4, 5]>
-  isType.t<Equal<[1, 2, 3, 4, 5], A>>()
-})
-
-test('concat array to tuple', () => {
-  type A = Concat<string[], [1, 2, 3]>
-  isType.t<Equal<Array<string | 1 | 2 | 3>, A>>()
-})
-
-test('concat tuple to array', () => {
-  type A = Concat<[1, 2, 3], string[]>
-  isType.t<Equal<[1, 2, 3, ...string[]], A>>()
-})

package/src/array/Concat.ts

@@ -1 +0,0 @@
-export type Concat<A extends any[], B extends any[]> = [...A, ...B]

package/src/array/CreateTuple.spec.ts

@@ -1,21 +0,0 @@
-import { CreateTuple, isType } from '..'
-
-test('create empty tuple', () => {
-  isType.equal<true, [], CreateTuple<0>>()
-})
-
-test('single element', () => {
-  isType.equal<true, [any], CreateTuple<1>>()
-})
-
-test('multiple elements', () => {
-  isType.equal<true, [any, any, any], CreateTuple<3>>()
-})
-
-test('override element type', () => {
-  isType.equal<true, [1, 1, 1, 1, 1], CreateTuple<5, 1>>()
-})
-
-test('negative length gets never', () => {
-  isType.equal<true, never, CreateTuple<-1>>()
-})

package/src/array/CreateTuple.ts

@@ -1,7 +0,0 @@
-import { IsPositive } from '../math'
-
-export type CreateTuple<L extends number, T = any> =
-  IsPositive<L> extends true ? Device<[], L, T> : never
-
-type Device<R extends any[], L extends number, T> =
-  R['length'] extends L ? R : Device<[T, ...R], L, T>

package/src/array/DropFirst.spec.ts

@@ -1,21 +0,0 @@
-import { DropFirst, isType } from '..'
-
-test('drop from empty gets itself', () => {
-  isType.equal<true, string[], DropFirst<string[]>>()
-})
-
-test('drop first value type from tuple', () => {
-  type Actual = DropFirst<[true, 1, 'x', 3]>
-  isType.equal<true, [1, 'x', 3], Actual>()
-})
-
-test('drop only value gets never[]', () => {
-  type Actual = DropFirst<['x']>
-  isType.equal<true, never[], Actual>()
-})
-
-test('array type gets itself', () => {
-  const s: string[] = ['a', 'b', 'c']
-  type Actual = DropFirst<typeof s>
-  isType.equal<true, string[], Actual>()
-})

package/src/array/DropFirst.ts

@@ -1,9 +0,0 @@
-export type DropFirst<A extends any[]> = number extends A['length']
-  ? A
-  : (A['length'] extends 0
-    ? never[]
-    : (A['length'] extends 1
-      ? never[]
-      : (A extends [any, ...infer Tail]
-        ? Tail
-        : never)))

package/src/array/DropLast.spec.ts

@@ -1,21 +0,0 @@
-import { DropLast, isType } from '..'
-
-test('drop from empty gets itself', () => {
-  isType.equal<true, string[], DropLast<string[]>>()
-})
-
-test('drop first value type from tuple', () => {
-  type Actual = DropLast<[true, 1, 'x', 3]>
-  isType.equal<true, [true, 1, 'x'], Actual>()
-})
-
-test('drop only value gets never[]', () => {
-  type Actual = DropLast<['x']>
-  isType.equal<true, never[], Actual>()
-})
-
-test('array type gets itself', () => {
-  const s: string[] = ['a', 'b', 'c']
-  type Actual = DropLast<typeof s>
-  isType.equal<true, string[], Actual>()
-})

package/src/array/DropLast.ts

@@ -1,9 +0,0 @@
-export type DropLast<A extends any[]> = number extends A['length']
-  ? A
-  : (A['length'] extends 0
-    ? never[]
-    : (A['length'] extends 1
-      ? never[]
-      : (A extends [...infer Heads, any]
-        ? Heads
-        : never)))

package/src/array/Filter.spec.ts

@@ -1,21 +0,0 @@
-import { assertType, Equal, Filter } from '..'
-
-test('array matching criteria gets itself', () => {
-  type Actual = Filter<string[], string>
-  assertType.isTrue(true as Equal<string[], Actual>)
-})
-
-test('array not matching criteria gets never[]', () => {
-  type Actual = Filter<string[], number>
-  assertType.isTrue(true as Equal<never[], Actual>)
-})
-
-test('tuple filters to those matching criteria', () => {
-  type Actual = Filter<[1, 2, 3, 4], 2 | 4>
-  assertType.isTrue(true as Equal<[2, 4], Actual>)
-})
-
-test('tuple not value match criteria gets never[]', () => {
-  type Actual = Filter<[1, 2, 3, 4], 5>
-  assertType.isTrue(true as Equal<never[], Actual>)
-})

package/src/array/Filter.ts

@@ -1,12 +0,0 @@
-export type Filter<A extends Array<any>, Criteria> =
-  number extends A['length']
-  ? (A[0] extends Criteria ? A : never[])
-  : (A['length'] extends 0
-    ? never
-    : (A extends [infer Head, ...infer Tail]
-      ? (Tail['length'] extends 0
-        ? (Head extends Criteria ? [Head] : never[])
-        : (Head extends Criteria
-          ? [Head, ...Filter<Tail, Criteria>]
-          : Filter<Tail, Criteria>))
-      : never))

package/src/array/FindFirst.spec.ts

@@ -1,27 +0,0 @@
-import { assertType, Equal, FindFirst } from '..'
-
-test('pick first type matching criteria', () => {
-  type Actual = FindFirst<[true, 1, 'x', 3], number>
-  assertType.isTrue(true as Equal<1, Actual>)
-})
-
-test('no match gets never', () => {
-  type Actual = FindFirst<[true, 1, 'x'], 2>
-  assertType.isTrue(true as Equal<never, Actual>)
-})
-
-test('pick object', () => {
-  type Actual = FindFirst<[
-    { name: 'a', type: 1 },
-    { name: 'b', type: 2 },
-    { name: 'c', type: 3 },
-    { name: 'b', type: 4 },
-  ], { name: 'b' }>['type']
-  assertType.isTrue(true as Equal<2, Actual>)
-})
-
-test('generic', () => {
-  const s: string[] = ['a', 'b', 'c']
-  type Actual = FindFirst<typeof s, string>
-  assertType.isTrue(true as Equal<string, Actual>)
-})

package/src/array/FindFirst.ts

@@ -1,13 +0,0 @@
-export type FindFirst<A extends Array<any>, Criteria> = (
-  number extends A['length']
-  ? A[0] extends Criteria ? A[0] : never
-  : (A['length'] extends 0
-    ? never
-    : (A extends [any, ...infer Tail]
-      ? A[0] extends Criteria ? A[0] : FindFirst<Tail, Criteria>
-      : never)))
-
-/**
- * @deprecated use FindFirst
- */
-export type First<A extends any[], Criteria> = FindFirst<A, Criteria>

package/src/array/FindLast.spec.ts

@@ -1,27 +0,0 @@
-import { assertType, Equal, FindLast } from '..'
-
-test('pick last type matching criteria', () => {
-  type Actual = FindLast<[true, 1, 'x', 3], number>
-  assertType.isTrue(true as Equal<3, Actual>)
-})
-
-test('no match gets never', () => {
-  type Actual = FindLast<[true, 1, 'x'], 2>
-  assertType.isTrue(true as Equal<never, Actual>)
-})
-
-test('pick object', () => {
-  type Actual = FindLast<[
-    { name: 'a', type: 1 },
-    { name: 'b', type: 2 },
-    { name: 'c', type: 3 },
-    { name: 'b', type: 4 },
-  ], { name: 'b' }>['type']
-  assertType.isTrue(true as Equal<4, Actual>)
-})
-
-test('works on array type', () => {
-  const s: string[] = ['a', 'b', 'c']
-  type Actual = FindLast<typeof s, string>
-  assertType.isTrue(true as Equal<string, Actual>)
-})

package/src/array/FindLast.ts

@@ -1,8 +0,0 @@
-export type FindLast<A extends Array<any>, Criteria> =
-  number extends A['length']
-  ? A[0] extends Criteria ? A[0] : never
-  : (A['length'] extends 0
-    ? never
-    : (A extends [...infer Heads, infer Last]
-      ? Last extends Criteria ? Last : FindLast<Heads, Criteria>
-      : never))

package/src/array/Head.spec.ts

@@ -1,21 +0,0 @@
-import { assertType, Equal, Head } from '..'
-
-test('get first type', () => {
-  type S = [1, 'a', 'b']
-  type A = Head<S>
-
-  assertType.isTrue(true as Equal<A, 1>)
-})
-
-test('empty tuple gets never', () => {
-  type S = []
-  type A = Head<S>
-
-  assertType.isTrue(true as Equal<A, never>)
-})
-
-test('array gets same type', () => {
-  type A = Head<string[]>
-
-  assertType.isTrue(true as Equal<A, string>)
-})

package/src/array/Head.ts

@@ -1 +0,0 @@
-export type Head<T extends any[]> = T['length'] extends 0 ? never : T[0]

package/src/array/IntersectOfProps.spec.ts

@@ -1,14 +0,0 @@
-import { assertType, Equal, IntersectOfProps } from '..'
-
-test('get property from single value tuple', () => {
-  type S = [{ a: number }]
-  type A = IntersectOfProps<S, 'a'>
-
-  assertType.isTrue(true as Equal<A, number>)
-})
-
-test('get property from multiple values', () => {
-  type S = [{ a: { x: number } }, { a: { y: string } }]
-  type A = IntersectOfProps<S, 'a'>
-  assertType.isTrue(true as Equal<A, { x: number } & { y: string }>)
-})

package/src/array/IntersectOfProps.ts

@@ -1,20 +0,0 @@
-import { KeyTypes } from '../object'
-import { Tail } from './Tail'
-
-/**
- * Gets the intersect of properties of the elements in `A`
- */
-export type IntersectOfProps<
-  A extends Record<any, unknown>[],
-  P extends KeyTypes
-  > = A['length'] extends 0
-  ? never
-  : (A['length'] extends 1
-    ? A[0][P]
-    : A[0][P] & IntersectOfProps<Tail<A>, P>)
-
-/**
- * Gets the intersect of properties of the elements in `A`
- * This will be deprecated in 4.0. Please use IntersectOfProps instead.
- */
-export type MapToProp<A extends Record<any, any>[], P extends KeyTypes> = IntersectOfProps<A, P>

package/src/array/IsArray.ts

@@ -1 +0,0 @@
-export type IsArray<T, Then = true, Else = false> = T extends any[] ? Then : Else

package/src/array/PadLeft.spec.ts

@@ -1,26 +0,0 @@
-import { isType, PadLeft } from '..'
-
-test('zero length returns the same', () => {
-  isType.equal<true, [], PadLeft<[], 0>>()
-})
-
-test('pad with any by default', () => {
-  isType.equal<true, [any, any], PadLeft<[], 2>>()
-  isType.equal<true, [any, any, 1, 2, 3], PadLeft<[1, 2, 3], 5>>()
-})
-
-test('pad length less than tuple length is ignored', () => {
-  isType.equal<true, [1, 2, 3], PadLeft<[1, 2, 3], 2>>()
-})
-
-test('pad elements before array', () => {
-  isType.equal<true, [any, any, any, ...string[]], PadLeft<string[], 3>>()
-})
-
-test('override PadWith', () => {
-  isType.equal<true, [{ a: 1 }, { a: 1 }, 1, 2, 3], PadLeft<[1, 2, 3], 5, { a: 1 }>>()
-})
-
-test('pad and array value type is the same returns array', () => {
-  isType.equal<true, string[], PadLeft<string[], 3, string>>()
-})

package/src/array/PadLeft.ts

@@ -1,16 +0,0 @@
-import { Equal, IsAny } from '../predicates'
-import { CreateTuple } from './CreateTuple'
-import { UnionOfValues } from './UnionOfValues'
-
-export type PadLeft<A extends any[], Total extends number, PadWith = any> =
-  number extends A['length']
-  ? (IsAny<UnionOfValues<A>> extends true
-    ? A
-    : (Equal<UnionOfValues<A>, PadWith> extends true
-      ? A
-      : PadLeft<[...CreateTuple<Total, PadWith>, ...A], Total, PadWith>))
-  : (CreateTuple<Total, any> extends [...infer U, ...A]
-    ? (number extends U['length']
-      ? A
-      : [...CreateTuple<U['length'], PadWith>, ...A])
-    : A)

package/src/array/Reverse.spec.ts

@@ -1,17 +0,0 @@
-import { isType, Reverse } from '..'
-
-test('empty array gets itself', () => {
-  isType.equal<true, [], Reverse<[]>>()
-})
-
-test('array type gets itself', () => {
-  isType.equal<true, string[], Reverse<string[]>>()
-})
-
-test('single element array gets itself', () => {
-  isType.equal<true, [1], Reverse<[1]>>()
-})
-
-test('multi elements', () => {
-  isType.equal<true, [4, 3, 2, 1], Reverse<[1, 2, 3, 4]>>()
-})

package/src/array/Reverse.ts

@@ -1,10 +0,0 @@
-export type Reverse<A extends unknown[]> =
-  number extends A['length']
-  ? A
-  : (A['length'] extends 0
-    ? A
-    : (A['length'] extends 1
-      ? A
-      : (A extends [any, ...infer T] ? T extends any[]
-        ? [...Reverse<T>, A[0]]
-        : never : never)))