type-plus/ts/nominal/nominal_match.ts

Provides additional types for TypeScript.

import type { Brand } from './brand.js'
import type { Flavor } from './flavor.js'
import { typeSym } from './constants.js'

export function nominalMatch<A extends string, B extends A>(
	a: Brand<A, unknown>,
	b: Brand<B, unknown>
): boolean
export function nominalMatch<A extends string, B extends A>(
	a: Flavor<A, unknown>,
	b: Flavor<B, unknown>
): boolean
export function nominalMatch<A extends string, B extends A>(
	a: Brand<A, unknown> | Flavor<A, unknown>,
	b: Brand<B, unknown> | Flavor<B, unknown>
) {
	if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null)
		return a[typeSym] === b[typeSym]
	else {
		return true
	}
}