type-plus 8.0.0-beta.3 → 8.0.0-beta.5

package/src/string/is_not_string.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -69,7 +69,7 @@ export type IsNotString<T, $O extends IsNotString.$Options = {}> = $SpecialType<
 >
 
 export namespace IsNotString {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -83,7 +83,7 @@ export namespace IsNotString {
 	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], false]> extends true
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: NotAssignable.$<T, string, $O>
-	export type $UtilOptions = NotAssignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = NotAssignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $SelectionOptions> = T extends string & infer U
 		? U extends string

package/src/string/is_not_string_literal.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -80,7 +80,7 @@ export type IsNotStringLiteral<T, $O extends IsNotStringLiteral.$Options = {}> =
 >
 
 export namespace IsNotStringLiteral {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -91,11 +91,11 @@ export namespace IsNotStringLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _ED<T, $O>; $else: _EN<T, $O> }>
 		: $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Then]>
 

package/src/string/is_string.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -68,7 +68,7 @@ export type IsString<T, $O extends IsString.$Options = {}> = $SpecialType<
 >
 
 export namespace IsString {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -83,7 +83,7 @@ export namespace IsString {
 		? $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 		: Assignable.$<T, string, $O>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _D<T, $O extends $UtilOptions> = T extends string & infer U
 		? U extends string

package/src/string/is_string_literal.ts

@@ -3,7 +3,7 @@ import type { $Equality } from '../type_plus/$equality.js'
 import type { $MergeOptions } from '../type_plus/$merge_options.js'
 import type { $ResolveOptions } from '../type_plus/$resolve_options.js'
 import type { $SpecialType } from '../type_plus/$special_type.js'
-import type { $Exact } from '../type_plus/branch/$exact.js'
+import type { $ExactDefault, $ExactOptions } from '../type_plus/branch/$exact.js'
 import type { $IsDistributive } from '../type_plus/branch/$is_distributive.js'
 import type { $ResolveBranch } from '../type_plus/branch/$resolve_branch.js'
 import type { $Else, $Then } from '../type_plus/branch/$selection.js'
@@ -80,7 +80,7 @@ export type IsStringLiteral<T, $O extends IsStringLiteral.$Options = {}> = $Spec
 >
 
 export namespace IsStringLiteral {
-	export type $Options = $Equality.$Options & $Exact.$Options
+	export type $Options = $Equality.$Options & $ExactOptions
 	export type $Branch<$O extends $Options = {}> = $Equality.$Branch<$O>
 
 	/**
@@ -91,11 +91,11 @@ export namespace IsStringLiteral {
 	 * This is a type util for building custom types.
 	 * It does not check against special types.
 	 */
-	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $Exact.$Default]> extends true
+	export type $<T, $O extends $UtilOptions> = $ResolveOptions<[$O['exact'], $ExactDefault]> extends true
 		? $IsDistributive<$O, { $then: _ED<T, $O>; $else: _EN<T, $O> }>
 		: $IsDistributive<$O, { $then: _D<T, $O>; $else: _N<T, $O> }>
 
-	export type $UtilOptions = Assignable.$UtilOptions & $Exact.$Options
+	export type $UtilOptions = Assignable.$UtilOptions & $ExactOptions
 
 	export type _ED<T, $O extends $SelectionOptions> = T extends string ? _E<T, $O> : $ResolveBranch<T, $O, [$Else]>
 

package/src/string/string.ts

@@ -12,7 +12,7 @@ export type StringIncludes<
 	Subject extends string,
 	Search extends string,
 	Then = true,
-	Else = false
+	Else = false,
 > = Subject extends `${infer _X}${Search}${infer _Y}` ? Then : Else
 
 /**
@@ -28,7 +28,7 @@ export type StringIncludes<
  */
 export type StringSplit<
 	Subject extends string,
-	Seperator extends string
+	Seperator extends string,
 > = Subject extends `${infer A}${Seperator}${infer B}`
 	? [A, ...StringSplit<B, Seperator>]
 	: Seperator extends ''

package/src/testing/stub.ts

@@ -21,7 +21,7 @@ export function stub<T>(stub: unknown): T {
  * builds a stub function
  */
 function build<T>(
-	init: RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>)
+	init: RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>),
 ): (stub?: RecursivePartial<T>) => T
 function build<T>(init: RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>)) {
 	return builder(init).create()
@@ -46,7 +46,7 @@ function builder<T>(init: RecursivePartial<T> | ((stub?: RecursivePartial<T>) =>
 }
 
 function builderInternal<T>(
-	initializers: Array<RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>)>
+	initializers: Array<RecursivePartial<T> | ((stub?: RecursivePartial<T>) => RecursivePartial<T>)>,
 ) {
 	const builder = {
 		/**
@@ -73,7 +73,7 @@ function builderInternal<T>(
 					return requiredDeep<RecursivePartial<T>>(init, acc)
 				}, stub) as T
 			}
-		}
+		},
 	}
 	return builder
 }

package/src/testing/test_type.ts

@@ -309,5 +309,5 @@ export namespace testType {
 export const testType = new Proxy({} as testType.TestType, {
 	get(_target, _prop, _receiver) {
 		return (expected: unknown) => expected
-	}
+	},
 })

package/src/tuple/common_prop_keys.ts

@@ -21,7 +21,7 @@ import type { CommonPropKeys as TupleCommonPropKeys } from './tuple_plus.common_
  */
 export type CommonPropKeys<
 	T extends Record<KeyTypes, unknown>[],
-	Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions
+	Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions,
 > = number extends T['length'] ? ArrayCommonPropKeys<T> : TupleCommonPropKeys<T, Options>
 
 export namespace CommonPropKeys {

package/src/tuple/drop.ts

@@ -25,7 +25,7 @@ import type { DropMatch as TupleDropMatch } from './tuple_plus.drop_match.js'
  */
 export type DropFirst<
 	T extends unknown[],
-	Options extends DropFirst.Options = DropFirst.DefaultOptions<T>
+	Options extends DropFirst.Options = DropFirst.DefaultOptions<T>,
 > = number extends T['length']
 	? Options['$array']
 	: T['length'] extends 0
@@ -71,7 +71,7 @@ export namespace DropFirst {
  */
 export type DropLast<
 	T extends unknown[],
-	Cases extends DropLast.Options = DropLast.DefaultOptions<T>
+	Cases extends DropLast.Options = DropLast.DefaultOptions<T>,
 > = number extends T['length']
 	? Cases['$array']
 	: T['length'] extends 0

package/src/tuple/tuple_plus.common_prop_keys.ts

@@ -22,7 +22,7 @@ import type { Tail } from './tail.js'
  */
 export type CommonPropKeys<
 	T extends Record<KeyTypes, unknown>[],
-	Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions
+	Options extends CommonPropKeys.Options = CommonPropKeys.DefaultOptions,
 > = IsNever<
 	T,
 	{

package/src/tuple/tuple_plus.find.ts

@@ -51,7 +51,7 @@ import type { IsTuple } from './is_tuple.js'
 export type Find<
 	A extends readonly unknown[],
 	Criteria,
-	Options extends Find.Options = Find.DefaultOptions<Criteria>
+	Options extends Find.Options = Find.DefaultOptions<Criteria>,
 > = TypePlusOptions.Merge<Options, Find.DefaultOptions<Criteria>> extends infer O extends Find.Options
 	? IsTuple<
 			A,

package/src/tuple/tuple_plus.pad_start.ts

@@ -29,7 +29,7 @@ export namespace PadStart {
 		Source extends readonly unknown[],
 		MaxLength extends number,
 		PadWith,
-		Result extends unknown[]
+		Result extends unknown[],
 	> = Result['length'] extends MaxLength
 		? Source extends []
 			? Result

package/src/type_plus/branch/$exact.ts

@@ -1,38 +1,28 @@
 import type { $ResolveOptions } from '../$resolve_options.js'
-import type { $Branch } from './$branch.js'
 import type { $InputOptions } from './$input_options.js'
 import type { $Else, $Then } from './$selection.js'
 
 /**
  * 🧰 *type util*
  *
- * Branch to handle exact comparison.
+ * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
+ *
+ * The `$exact` branch is used to handle when it is an exact comparison.
  */
-export type $Exact = $Branch<'$exact'>
-
-export namespace $Exact {
-	/**
-	 * 🧰 *type util*
-	 *
-	 * `$Exact.$Options` enables customizing the behavior of the `$exact` branch.
-	 *
-	 * The `$exact` branch is used to handle when it is an exact comparison.
-	 */
-	export type $Options = {
-		exact?: boolean | undefined
-	}
-
-	export type $Default = {
-		exact: false
-	}
+export type $ExactOptions = {
+	exact?: boolean | undefined
+}
 
-	export type $IsExact<$Opt extends $Options, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<
-		[$Opt['exact'], $Exact.$Default]
-	> extends true
-		? '$then' extends keyof $O
-			? $O['$then']
-			: true
-		: '$else' extends keyof $O
-			? $O['$else']
-			: false
+export type $ExactDefault = {
+	exact: false
 }
+
+export type $IsExact<$Opt extends $ExactOptions, $O extends $InputOptions<$Then | $Else> = {}> = $ResolveOptions<
+	[$Opt['exact'], $ExactDefault]
+> extends true
+	? '$then' extends keyof $O
+		? $O['$then']
+		: true
+	: '$else' extends keyof $O
+		? $O['$else']
+		: false

package/src/type_plus/branch/$is_distributive.ts

@@ -5,7 +5,7 @@ import type { $Else, $Then } from './$selection.js'
 
 export type $IsDistributive<
 	$Options extends $DistributiveOptions,
-	$O extends $InputOptions<$Then | $Else> = {}
+	$O extends $InputOptions<$Then | $Else> = {},
 > = $ResolveOptions<[$Options['distributive'], $DistributiveDefault['distributive']]> extends true
 	? '$then' extends keyof $O
 		? $O['$then']

package/src/type_plus/branch/$resolve_branch.ts

@@ -22,7 +22,7 @@ export type $ResolveBranch<
 	T,
 	$O extends Record<string, any>,
 	$B extends Array<$Branch<any> | unknown>,
-	$D = unknown
+	$D = unknown,
 > = [unknown, $D] extends [$D, unknown]
 	? $B extends [infer B]
 		? $ResolveBranch._Last<T, $O, B>
@@ -33,7 +33,7 @@ export type $ResolveBranch<
 
 export namespace $ResolveBranch {
 	export type _Override<$D, $O extends Record<string, any>, $B extends Array<$Branch<any> | unknown>> = $B extends [
-		infer B
+		infer B,
 	]
 		? _OLast<$D, $O, B>
 		: $B extends [infer B, ...infer Bs extends Array<$Branch<any> | unknown>]

package/src/type_plus/branch/$select.ts

@@ -1,9 +1,9 @@
+import type { $SpecialType } from '../$special_type.js'
 import type { $Any } from '../../any/any.js'
 import type { $Never } from '../../never/never.js'
 import type { $Unknown } from '../../unknown/unknown.js'
-import type { $SpecialType } from '../$special_type.js'
 import type { $DistributiveDefault, $DistributiveOptions } from './$distributive.js'
-import type { $Exact } from './$exact.js'
+import type { $ExactOptions } from './$exact.js'
 import type { $InputOptions } from './$input_options.js'
 import type { $IsDistributive } from './$is_distributive.js'
 import type { $ResolveBranch } from './$resolve_branch.js'
@@ -75,7 +75,7 @@ export namespace $Select {
 	export type $Options = $SelectionOptions &
 		$DistributiveOptions &
 		$InputOptions<$Any | $Unknown | $Never> &
-		$Exact.$Options
+		$ExactOptions
 	export type $Default = $SelectionPredicate & $DistributiveDefault
 	export type $Branch<$O extends $DistributiveOptions = $DistributiveDefault> = $SelectionBranch & $O
 	export type _<T, U, $O extends $Select.$Options> = $IsDistributive<$O> extends true ? _D<T, U, $O> : _N<T, U, $O>

package/src/union/sub_union.ts

@@ -0,0 +1,5 @@
+/**
+ * 🧰 *type util*
+ * Define a union type that is a subset of union type.
+ */
+export type SubUnion<U, T extends U> = T

package/src/utils/as.ts

@@ -16,6 +16,6 @@ export function amend<S>(subject: S) {
 		},
 		intersect<T>(): T | S {
 			return subject as T | S
-		}
+		},
 	}
 }