deprecates Identity - use newtype instead

.changeset/rotten-rules-appear.md

@@ -0,0 +1,5 @@
+---
+"any-ts": patch
+---
+
+deprecate: `Identity` -- use `newtype` instead

src/check/check.ts

@@ -12,10 +12,10 @@ export {
 
 import type { any } from "../any/exports.js"
 import type { _ } from "../util.js"
-import type { Identity as id } from "../identity.js"
+import type { newtype } from "../newtype.js"
 
 export type TypeErrorURI = "any-ts/TypeError"
-export interface TypeError<type extends [string, unknown]> extends id<type> {
+export interface TypeError<type extends [string, unknown]> extends newtype<type> {
   [any.unit]: TypeErrorURI
 }
 

src/exports.ts

@@ -60,7 +60,11 @@ export type {
 } from "./mutable/exports.js"
 export type { pathsof } from "./paths/exports.js"
 export type { never } from "./never/exports.js"
-export type { Identity } from "./identity.js"
+export type {
+  newtype,
+  /** @deprecated use {@link newtype `newtype`} instead */
+  newtype as Identity,
+} from "./newtype.js"
 export type { id } from "./util.js"
 export type {
   char,

src/newtype.ts

@@ -0,0 +1,4 @@
+import type { id } from "./util.js";
+
+/** @ts-expect-error hush */
+export interface newtype<nonunion extends {} = {}> extends id<nonunion> { }

src/string/string.ts

@@ -10,6 +10,7 @@ import type * as Internal from "./_internal.js"
 import type { Case } from "./_internal.js"
 import type { /* join, */ startsWith, endsWith } from "./_internal.js"
 import type { is } from "./_internal.js"
+import { newtype } from "../newtype.js"
 
 import type { char } from "./char.js"
 
@@ -24,6 +25,16 @@ declare namespace HKT {
   }
 }
 
+////////////////
+/// newtypes
+declare namespace string {
+  interface literal<T extends string = string> extends newtype<string> { toString(): T, valueOf(): T }
+  interface decodedURI<T extends string = string> extends string.literal<T> { }
+  interface encodedURI<T extends string = string> extends string.literal<T> { }
+  interface decodedURIComponent<T extends string = string> extends string.literal<T> { }
+  interface encodedURIComponent<T extends string = string> extends string.literal<T> { }
+}
+
 declare namespace string {
   /** namespace exports */
   export {