type-plus 7.3.1 → 7.5.0

package/ts/index.ts

@@ -1,10 +1,22 @@
 export type { AnyType, IsAny, IsNotAny, NotAnyType } from './any/any_type.js'
 export type { At } from './array/array.at.js'
-export type { Concat } from './array/array.concat.js'
+export type { FindLast } from './array/array.find_last.js'
+export type { Some } from './array/array.some.js'
+export type { Concat } from './array/array_plus.concat.js'
 export * as ArrayPlus from './array/array_plus.js'
 export type { ArrayType, IsArray, IsNotArray, NotArrayType } from './array/array_type.js'
-export * from './array/index.js'
-export * from './assertion/assert_type.js'
+export type { Filter, KeepMatch } from './array/filter.js'
+export type { FindFirst } from './array/find_first.js'
+export type { Head } from './array/head.js'
+export type { IntersectOfProps, MapToProp } from './array/intersect_of_props.js'
+export type { Last } from './array/last.js'
+export { literalArray } from './array/literal_array.js'
+export type { PadStart } from './array/pad_start.js'
+export { reduceWhile } from './array/reduce_while.js'
+export type { Reverse } from './array/reverse.js'
+export type { PropUnion, UnionOfProps } from './array/union_of_props.js'
+export type { UnionOfValues } from './array/union_of_values.js'
+export { assertType } from './assertion/assert_type.js'
 export type { BigintType, IsBigint, IsNotBigint, NotBigintType } from './bigint/bigint_type.js'
 export type { StringToBigint } from './bigint/cast.js'
 export type {
@@ -65,6 +77,7 @@ export type {
 	Zero
 } from './numeric/numeric_type.js'
 export type { IsNotPositive, IsPositive, NonPositive, Positive } from './numeric/positive.js'
+export type { Required, RequiredExcept, RequiredPick } from './object/Required.js'
 export * from './object/index.js'
 export type { IsNotObject, IsObject, NotObjectType, ObjectType } from './object/object_type.js'
 export * from './predicates/index.js'
@@ -82,7 +95,11 @@ export type { IsNotString, IsString, NotStringType, StringType } from './string/
 export type { IsNotSymbol, IsSymbol, NotSymbolType, SymbolType } from './symbol/symbol_type.js'
 export * from './testing/stub.js'
 export * from './testing/test_type.js'
+export type { CommonKeys, CommonPropKeys } from './tuple/common_prop_keys.js'
 export * from './tuple/create_tuple.js'
+export { drop } from './tuple/drop.js'
+export type { DropFirst, DropLast, DropMatch, DropNull, DropNullable, DropUndefined } from './tuple/drop.js'
+export type { Tail } from './tuple/tail.js'
 export * as TuplePlus from './tuple/tuple_plus.js'
 export type { IsNotTuple, IsTuple, NotTupleType, TupleType } from './tuple/tuple_type.js'
 export * from './type-guard/is_type.js'
@@ -94,9 +111,11 @@ export type {
 	NotUndefinedType,
 	UndefinedType
 } from './undefined/undefined_type.js'
+export type { IsUnion, UnionType } from './union/union.js'
 export type { UnionKeys } from './union_keys.js'
 export type { IsNotUnknown, IsUnknown, NotUnknownType, UnknownType } from './unknown/unknown_type.js'
 export * from './unpartial.js'
 export * from './utils/index.js'
+export type { MergeOptions as MergeCases } from './utils/options.js'
 export type { IsNotVoid, IsVoid, NotVoidType, VoidType } from './void/void_type.js'
 

package/ts/math/numeric_struct.ts

@@ -1,4 +1,4 @@
-import type { Tail } from '../array/tail.js'
+import type { Tail } from '../tuple/tail.js'
 import type { PadStart } from '../tuple/tuple_plus.pad_start.js'
 import type { Add as NumericAdd } from './add.js'
 import type { ToNegative } from './math_plus.to_negative.js'
@@ -631,14 +631,14 @@ export namespace Digit {
 	][A][B]
 
 	export type Plus10 = { [k in number]: number } & {
-		'-1': 9
-		'-2': 8
-		'-3': 7
-		'-4': 6
-		'-5': 5
-		'-6': 4
-		'-7': 3
-		'-8': 2
+		'-1': 9,
+		'-2': 8,
+		'-3': 7,
+		'-4': 6,
+		'-5': 5,
+		'-6': 4,
+		'-7': 3,
+		'-8': 2,
 		'-9': 1
 	}
 	export type Multiply<A extends number, B extends number> = [

package/ts/mix_types/any_or_never_type.ts

@@ -4,7 +4,7 @@ import type { NeverType } from '../never/never_type.js'
 /**
  * Parse `T` to ensure it is either exactly `any` or exactly `never`.
  *
- * 🐾 *parse*
+ * 🌪️ *filter*
  * 🩳 *shortcut*
  *
  * @example

package/ts/mix_types/readme.md

@@ -6,7 +6,10 @@ This folder contains types and utilities that work across multiple types.
 
 `AnyOrNeverType<T, Then = T, Else = never>` 🎭 🩳
 
-Parse `T` to ensure it is either exactly `any` or exactly `never`.
+Filter `T` to ensure it is either exactly `any` or exactly `never`.
+
+🌪️ *filter*
+🩳 *shortcut*
 
 ```ts
 import type { AnyOrNeverType } from 'type-plus'
@@ -24,6 +27,9 @@ type R = AnyOrNeverType<unknown, 1, 2> // 2
 
 Validate if `T` is either exactly `any` or exactly `never`.
 
+🎭 *validate*
+🩳 *shortcut*
+
 ```ts
 import type { IsAnyOrNever } from 'type-plus'
 

package/ts/never/never_type.ts

@@ -55,3 +55,16 @@ export type IsNever<T, Then = true, Else = false> = NeverType<T, Then, Else>
  * type R = IsNotNever<never> // false
  */
 export type IsNotNever<T, Then = true, Else = false> = NeverType<T, Else, Then>
+
+export namespace NeverType {
+	/**
+	 * Type options when input type is `never`.
+	 */
+	export interface Options {
+		caseNever?: unknown
+	}
+
+	export interface DefaultOptions {
+		caseNever: never
+	}
+}

package/ts/nodejs/isNodeError.ts

@@ -1,17 +1,17 @@
 export type SystemErrors = {
-	EACCES: Error & { code: 'EACCES' }
-	EADDRINUSE: Error & { code: 'EADDRINUSE' }
-	ECONNREFUSED: Error
-	ECONNRESET: Error
-	EEXIST: Error
-	EISDIR: Error
-	EMFILE: Error
-	ENOENT: Error & { code: 'ENOENT'; path: string }
-	ENOTDIR: Error
-	ENOTEMPTY: Error
-	ENOTFOUND: Error
-	EPERM: Error
-	EPIPE: Error
+	EACCES: Error & { code: 'EACCES' },
+	EADDRINUSE: Error & { code: 'EADDRINUSE' },
+	ECONNREFUSED: Error,
+	ECONNRESET: Error,
+	EEXIST: Error,
+	EISDIR: Error,
+	EMFILE: Error,
+	ENOENT: Error & { code: 'ENOENT', path: string },
+	ENOTDIR: Error,
+	ENOTEMPTY: Error,
+	ENOTFOUND: Error,
+	EPERM: Error,
+	EPIPE: Error,
 	ETIMEDOUT: Error
 }
 

package/ts/nominal/brand.ts

@@ -17,7 +17,7 @@ export type Brand<B extends string, T = never> = [T] extends [null] | [undefined
  * A branded type of `B` with value of `T`.
  */
 export interface Branded<B extends string, T> {
-	[typeSym]: B
+	[typeSym]: B,
 	[valueSym]: T
 }
 

package/ts/nominal/flavor.ts

@@ -26,7 +26,7 @@ export interface Flavored<F extends string> {
  * A special flavored type for special types.
  */
 export interface FlavoredUnit<F extends string, T> {
-	[typeSym]?: F
+	[typeSym]?: F,
 	[valueSym]: T
 }
 

package/ts/object/index.ts

@@ -12,7 +12,6 @@ export type { Partial, PartialExcept, PartialOmit, PartialPick } from './Partial
 export type * from './optional_key.js'
 export type { RecursiveIntersect } from './RecursiveIntersect.js'
 export type { RecursiveRequired } from './RecursiveRequired.js'
-export type { RequiredExcept, RequiredPick } from './Required.js'
 export type { RequiredKeys } from './RequiredKeys.js'
 export type { SpreadRecord } from './SpreadRecord.js'
 export type { ValueOf } from './ValueOf.js'

package/ts/testing/readme.md

@@ -16,4 +16,34 @@ import { testType } from 'type-plus'
 testType.any<T>(true) // T is `any`
 testType.equal<A, B>(true) // A is equal to B
 testType.never<T>(false) // T is not `never`
+
+const t = testType.equal<SomeComplexType, SomeCompositeType>(true)
+type T = typeof t // type resolution
+```
+
+## [testType.inspect](./test_type.ts)
+
+`testType.inspect<T>(fn)`
+
+A quick way to inspect a type.
+
+```ts
+import { testType } from 'type-plus'
+
+testType.inspect<SomeType>(t => {
+  type T = typeof t.type // type resolution
+})
+```
+
+It also provides additional methods and predefined inspections so that you can quickly check how the type behaves in specific cases.
+
+```ts
+import { testType } from 'type-plus'
+
+testType.inspect<SomeType>(t => {
+  t.extends<AnotherType>() // true or false
+  t.union<number>() // SomeType | number`
+  t.intersect<string>() // `SomeType & string`
+  t.extends_boolean // true or false
+})
 ```