refactor: move files

.changeset/moody-badgers-refuse.md

@@ -0,0 +1,5 @@
+---
+"type-plus": major
+---
+
+Remove `StrictBigintType` and `NotStrictBigintType`

type-plus/ts/bigint/is_not_strict_bigint.ts

@@ -0,0 +1,18 @@
+import type { IsAnyOrNever } from '../mix_types/is_any_or_never.js'
+import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/selection.js'
+
+/**
+ * Is the type `T` not exactly `bigint`.
+ *
+ * ```ts
+ * type R = IsNotStrictBigint<bigint> // false
+ *
+ * type R = IsNotStrictBigint<1n> // true
+ * type R = IsNotStrictBigint<number> // true
+ * type R = IsNotStrictBigint<bigint | boolean> // true
+ * type R = IsNotStrictBigint<unknown> // true
+ * ```
+ */
+
+export type IsNotStrictBigint<T, Then = true, Else = false> = IsAnyOrNever<
+	T, $SelectionBranch> extends infer R ? R extends $Then ? Then : R extends $Else ? [bigint] extends [T] ? ([T] extends [bigint] ? (`${T}` extends `${number}` ? Then : Else) : Then) : Then : never : never

type-plus/ts/bigint/is_strict_bigint.ts

@@ -0,0 +1,18 @@
+import type { IsAnyOrNever } from '../mix_types/is_any_or_never.js'
+import type { $Else, $SelectionBranch, $Then } from '../type_plus/branch/selection.js'
+
+/**
+ * Is the type `T` exactly `bigint`.
+ *
+ * ```ts
+ * type R = IsStrictBigint<bigint> // true
+ *
+ * type R = IsStrictBigint<1n> // false
+ * type R = IsStrictBigint<number> // false
+ * type R = IsStrictBigint<bigint | boolean> // false
+ * type R = IsStrictBigint<unknown> // false
+ * ```
+ */
+
+export type IsStrictBigint<T, Then = true, Else = false> = IsAnyOrNever<
+	T, $SelectionBranch> extends infer R ? R extends $Then ? Else : R extends $Else ? [bigint] extends [T] ? ([T] extends [bigint] ? (`${T}` extends `${number}` ? Else : Then) : Else) : Else : never : never

type-plus/ts/index.ts

@@ -24,12 +24,8 @@ export { assertType } from './assertion/assert_type.js'
 export type { StringToBigint } from './bigint/cast.js'
 export type * from './bigint/is_bigint.js'
 export type * from './bigint/is_not_bigint.js'
-export type {
-	IsNotStrictBigint,
-	IsStrictBigint,
-	NotStrictBigintType,
-	StrictBigintType
-} from './bigint/strict_bigint_type.js'
+export type * from './bigint/is_strict_bigint.js'
+export type * from './bigint/is_not_strict_bigint.js'
 export type { BooleanType, IsBoolean, IsNotBoolean, NotBooleanType } from './boolean/boolean_type.js'
 export type { FalseType, IsFalse, IsNotFalse, NotFalseType } from './boolean/false_type.js'
 export type {

type-plus/ts/testing/test_type.ts

@@ -1,7 +1,7 @@
 import type { IsAny } from '../any/is_any.js'
 import type { IsArray } from '../array/array_type.js'
 import type { IsBigint } from '../bigint/is_bigint.js'
-import type { IsStrictBigint } from '../bigint/strict_bigint_type.js'
+import type { IsStrictBigint } from '../bigint/is_strict_bigint.js'
 import type { IsBoolean } from '../boolean/boolean_type.js'
 import type { IsFalse } from '../boolean/false_type.js'
 import type { IsStrictBoolean } from '../boolean/strict_boolean_type.js'