unacy 0.1.1 → 0.2.0

package/dist/converters.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Type-safe converter function signatures
+ * @packageDocumentation
+ */
+import type { WithUnits } from './types';
+/**
+ * Unidirectional converter from one unit to another.
+ *
+ * @template TInput - Source unit-tagged type
+ * @template TOutput - Destination unit-tagged type
+ *
+ * @param input - Value tagged with source unit
+ * @returns Value tagged with destination unit
+ *
+ * @remarks
+ * - Must be a pure function (no side effects)
+ * - Should be deterministic (same input → same output)
+ * - Document precision loss if applicable
+ *
+ * @example
+ * ```typescript
+ * const c2f: Converter<Celsius, Fahrenheit> = (c) =>
+ *   ((c * 9/5) + 32) as Fahrenheit;
+ * ```
+ */
+export type Converter<TInput extends WithUnits<unknown, string>, TOutput extends WithUnits<unknown, string>> = (input: TInput) => TOutput;
+/**
+ * Bidirectional converter with forward and reverse transformations.
+ *
+ * @template TInput - First unit type
+ * @template TOutput - Second unit type
+ *
+ * @property to - Forward converter (TInput → TOutput)
+ * @property from - Reverse converter (TOutput → TInput)
+ *
+ * @remarks
+ * - Round-trip conversions should preserve value within acceptable tolerance
+ * - Both converters must be deterministic
+ * - Use when both conversion directions are commonly needed
+ *
+ * @example
+ * ```typescript
+ * const meterKilometer: BidirectionalConverter<Meters, Kilometers> = {
+ *   to: (m) => (m / 1000) as Kilometers,
+ *   from: (km) => (km * 1000) as Meters
+ * };
+ * ```
+ */
+export type BidirectionalConverter<TInput extends WithUnits<unknown, string>, TOutput extends WithUnits<unknown, string>> = {
+    to: Converter<TInput, TOutput>;
+    from: Converter<TOutput, TInput>;
+};
+//# sourceMappingURL=converters.d.ts.map

package/dist/converters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"converters.d.ts","sourceRoot":"","sources":["../src/converters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,SAAS,CACnB,MAAM,SAAS,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EACzC,OAAO,SAAS,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IACxC,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAE/B;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,sBAAsB,CAChC,MAAM,SAAS,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EACzC,OAAO,SAAS,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,IACxC;IACF,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;CAClC,CAAC"}

package/dist/converters.js

@@ -0,0 +1,6 @@
+/**
+ * Type-safe converter function signatures
+ * @packageDocumentation
+ */
+export {};
+//# sourceMappingURL=converters.js.map

package/dist/converters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"converters.js","sourceRoot":"","sources":["../src/converters.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/errors.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Base error class for all Unacy errors
+ */
+export declare class UnacyError extends Error {
+    constructor(message: string);
+}
+/**
+ * Error thrown when a cycle is detected in the conversion graph
+ */
+export declare class CycleError extends UnacyError {
+    readonly path: PropertyKey[];
+    constructor(path: PropertyKey[]);
+}
+/**
+ * Error thrown when maximum conversion depth is exceeded
+ */
+export declare class MaxDepthError extends UnacyError {
+    readonly from: PropertyKey;
+    readonly to: PropertyKey;
+    readonly maxDepth: number;
+    constructor(from: PropertyKey, to: PropertyKey, maxDepth: number);
+}
+/**
+ * Error thrown when a conversion cannot be performed
+ */
+export declare class ConversionError extends UnacyError {
+    readonly from: PropertyKey;
+    readonly to: PropertyKey;
+    constructor(from: PropertyKey, to: PropertyKey, reason?: string);
+}
+/**
+ * Error thrown when parsing a string into a tagged format fails
+ */
+export declare class ParseError extends UnacyError {
+    readonly format: string;
+    readonly input: string;
+    readonly reason: string;
+    constructor(format: string, input: string, reason: string);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,qBAAa,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAO,EAAE,MAAM,EAM1B;CACF;AAED;;GAEG;AACH,qBAAa,UAAW,SAAQ,UAAU;IACxC,SAAgB,IAAI,EAAE,WAAW,EAAE,CAAC;IAEpC,YAAY,IAAI,EAAE,WAAW,EAAE,EAK9B;CACF;AAED;;GAEG;AACH,qBAAa,aAAc,SAAQ,UAAU;IAC3C,SAAgB,IAAI,EAAE,WAAW,CAAC;IAClC,SAAgB,EAAE,EAAE,WAAW,CAAC;IAChC,SAAgB,QAAQ,EAAE,MAAM,CAAC;IAEjC,YAAY,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAQ/D;CACF;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,UAAU;IAC7C,SAAgB,IAAI,EAAE,WAAW,CAAC;IAClC,SAAgB,EAAE,EAAE,WAAW,CAAC;IAEhC,YAAY,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,EAAE,MAAM,EAM9D;CACF;AAED;;GAEG;AACH,qBAAa,UAAW,SAAQ,UAAU;IACxC,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,SAAgB,KAAK,EAAE,MAAM,CAAC;IAC9B,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YAAY,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EASxD;CACF"}

package/dist/errors.js

@@ -0,0 +1,70 @@
+/**
+ * Base error class for all Unacy errors
+ */
+export class UnacyError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'UnacyError';
+        // Maintain proper prototype chain for instanceof checks
+        Object.setPrototypeOf(this, new.target.prototype);
+    }
+}
+/**
+ * Error thrown when a cycle is detected in the conversion graph
+ */
+export class CycleError extends UnacyError {
+    path;
+    constructor(path) {
+        const pathStr = path.map(String).join(' → ');
+        super(`Cycle detected in conversion path: ${pathStr}`);
+        this.name = 'CycleError';
+        this.path = path;
+    }
+}
+/**
+ * Error thrown when maximum conversion depth is exceeded
+ */
+export class MaxDepthError extends UnacyError {
+    from;
+    to;
+    maxDepth;
+    constructor(from, to, maxDepth) {
+        super(`Maximum conversion depth of ${maxDepth} exceeded when converting from ${String(from)} to ${String(to)}`);
+        this.name = 'MaxDepthError';
+        this.from = from;
+        this.to = to;
+        this.maxDepth = maxDepth;
+    }
+}
+/**
+ * Error thrown when a conversion cannot be performed
+ */
+export class ConversionError extends UnacyError {
+    from;
+    to;
+    constructor(from, to, reason) {
+        const reasonStr = reason ? `: ${reason}` : '';
+        super(`Cannot convert from ${String(from)} to ${String(to)}${reasonStr}`);
+        this.name = 'ConversionError';
+        this.from = from;
+        this.to = to;
+    }
+}
+/**
+ * Error thrown when parsing a string into a tagged format fails
+ */
+export class ParseError extends UnacyError {
+    format;
+    input;
+    reason;
+    constructor(format, input, reason) {
+        const truncatedInput = input.length > 50 ? `${input.slice(0, 50)}...` : input;
+        const displayInput = input === '' ? '""' : truncatedInput;
+        super(`Cannot parse "${displayInput}" as ${format}: ${reason}`);
+        this.name = 'ParseError';
+        this.format = format;
+        this.input = input;
+        this.reason = reason;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,OAAO,UAAW,SAAQ,KAAK;IACnC,YAAY,OAAe,EAAE;QAC3B,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QAEzB,wDAAwD;QACxD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC;IAAA,CACnD;CACF;AAED;;GAEG;AACH,MAAM,OAAO,UAAW,SAAQ,UAAU;IACxB,IAAI,CAAgB;IAEpC,YAAY,IAAmB,EAAE;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAK,CAAC,CAAC;QAC7C,KAAK,CAAC,sCAAsC,OAAO,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAAA,CAClB;CACF;AAED;;GAEG;AACH,MAAM,OAAO,aAAc,SAAQ,UAAU;IAC3B,IAAI,CAAc;IAClB,EAAE,CAAc;IAChB,QAAQ,CAAS;IAEjC,YAAY,IAAiB,EAAE,EAAe,EAAE,QAAgB,EAAE;QAChE,KAAK,CACH,+BAA+B,QAAQ,kCAAkC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,CACzG,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAAA,CAC1B;CACF;AAED;;GAEG;AACH,MAAM,OAAO,eAAgB,SAAQ,UAAU;IAC7B,IAAI,CAAc;IAClB,EAAE,CAAc;IAEhC,YAAY,IAAiB,EAAE,EAAe,EAAE,MAAe,EAAE;QAC/D,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,uBAAuB,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC;QAC1E,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;IAAA,CACd;CACF;AAED;;GAEG;AACH,MAAM,OAAO,UAAW,SAAQ,UAAU;IACxB,MAAM,CAAS;IACf,KAAK,CAAS;IACd,MAAM,CAAS;IAE/B,YAAY,MAAc,EAAE,KAAa,EAAE,MAAc,EAAE;QACzD,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9E,MAAM,YAAY,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;QAE1D,KAAK,CAAC,iBAAiB,YAAY,QAAQ,MAAM,KAAK,MAAM,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IAAA,CACtB;CACF"}

package/dist/formatters.d.ts

@@ -0,0 +1,82 @@
+/**
+ * Formatter and parser types for format-tagged values
+ * @packageDocumentation
+ */
+import type { WithFormat } from './types';
+/**
+ * Formatter converts a format-tagged value to a string representation.
+ *
+ * @template TInput - Format-tagged type to format
+ *
+ * @param input - Value tagged with format
+ * @returns Plain string representation
+ *
+ * @remarks
+ * - Output string must be parseable by corresponding `Parser`
+ * - Should produce human-readable or machine-parseable output
+ * - Format tag is lost in the output
+ *
+ * @example
+ * ```typescript
+ * const formatISO: Formatter<ISO8601> = (date) => date.toISOString();
+ * ```
+ */
+export type Formatter<TInput extends WithFormat<unknown, string>> = (input: TInput) => string;
+/**
+ * Parser converts a string into a format-tagged value with validation.
+ *
+ * @template TOutput - Format-tagged type to produce
+ *
+ * @param input - Plain string to parse
+ * @returns Value tagged with format
+ *
+ * @throws {ParseError} When input string is invalid
+ *
+ * @remarks
+ * - Must validate input before tagging
+ * - Must throw clear errors (not return invalid tagged values)
+ * - Should use Zod or similar for schema validation
+ * - Never produces invalid tagged values
+ *
+ * @example
+ * ```typescript
+ * const parseISO: Parser<ISO8601> = (input) => {
+ *   const schema = z.string().datetime();
+ *   const validated = schema.parse(input);
+ *   return new Date(validated) as ISO8601;
+ * };
+ * ```
+ */
+export type Parser<TOutput extends WithFormat<unknown, string>> = (input: string) => TOutput;
+/**
+ * Paired formatter/parser for round-trip format transformations.
+ *
+ * @template T - Format-tagged type
+ *
+ * @property format - Converts tagged value → string
+ * @property parse - Converts string → tagged value
+ *
+ * @remarks
+ * - Round-trip must succeed for valid values: `parse(format(x)) ≡ x`
+ * - Parser must reject invalid strings with clear errors
+ * - Use when both formatting and parsing are needed
+ *
+ * @example
+ * ```typescript
+ * const iso8601: FormatterParser<ISO8601> = {
+ *   format: (date) => date.toISOString(),
+ *   parse: (str) => {
+ *     const date = new Date(str);
+ *     if (isNaN(date.getTime())) {
+ *       throw new ParseError('ISO8601', str, 'Invalid date');
+ *     }
+ *     return date as ISO8601;
+ *   }
+ * };
+ * ```
+ */
+export type FormatterParser<T extends WithFormat<unknown, string>> = {
+    format: Formatter<T>;
+    parse: Parser<T>;
+};
+//# sourceMappingURL=formatters.d.ts.map

package/dist/formatters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.d.ts","sourceRoot":"","sources":["../src/formatters.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAE1C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AAE9F;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,SAAS,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;AAE7F;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI;IACnE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAClB,CAAC"}

package/dist/formatters.js

@@ -0,0 +1,6 @@
+/**
+ * Formatter and parser types for format-tagged values
+ * @packageDocumentation
+ */
+export {};
+//# sourceMappingURL=formatters.js.map

package/dist/formatters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.js","sourceRoot":"","sources":["../src/formatters.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Unacy Core - Type-safe unit and format conversion library
+ * @packageDocumentation
+ */
+export type { WithUnits, WithFormat } from './types';
+export type { Converter, BidirectionalConverter } from './converters';
+export type { Formatter, Parser, FormatterParser } from './formatters';
+export type { ConverterRegistry } from './registry';
+export { createRegistry } from './registry';
+export { UnacyError, CycleError, MaxDepthError, ConversionError, ParseError } from './errors';
+export { createParserWithSchema } from './utils/validation';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -0,0 +1,10 @@
+/**
+ * Unacy Core - Type-safe unit and format conversion library
+ * @packageDocumentation
+ */
+export { createRegistry } from './registry';
+// Errors
+export { UnacyError, CycleError, MaxDepthError, ConversionError, ParseError } from './errors';
+// Utilities
+export { createParserWithSchema } from './utils/validation';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAaH,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,SAAS;AACT,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE9F,YAAY;AACZ,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/registry.d.ts

@@ -0,0 +1,141 @@
+/**
+ * Converter registry with auto-composition via BFS
+ * @packageDocumentation
+ */
+import type { Converter, BidirectionalConverter } from './converters';
+import type { RelaxedWithUnits, UnitsFor, WithUnits } from './types';
+/**
+ * Represents a conversion edge from one unit to another
+ */
+type Edge<From extends string = string, To extends string = string> = readonly [From, To];
+/**
+ * Extract all unique 'from' units from a list of edges
+ */
+type FromUnits<Edges extends readonly Edge[]> = Edges[number][0];
+/**
+ * Extract all 'to' units for a specific 'from' unit string
+ */
+type ToUnitsFor<Edges extends readonly Edge[], FromUnit extends string> = Extract<Edges[number], readonly [FromUnit, any]>[1];
+/**
+ * Type for unit-based conversion accessors
+ * Provides the shape: registry.Celsius.to.Fahrenheit(value)
+ * Only allows conversions that have been registered
+ */
+export type ConverterMap<Edges extends readonly Edge[]> = {
+    [From in FromUnits<Edges>]: {
+        to: {
+            [To in ToUnitsFor<Edges, From>]: (value: RelaxedWithUnits<number, From>) => WithUnits<number, To>;
+        };
+    };
+};
+/**
+ * Registry for managing and composing unit converters
+ */
+export interface ConverterRegistry<Edges extends Edge[] = []> {
+    /**
+     * Register a unidirectional converter
+     *
+     * @param from - Source unit
+     * @param to - Destination unit
+     * @param converter - Converter function
+     * @returns New registry instance with the converter registered
+     */
+    register<From extends WithUnits<number, string>, To extends WithUnits<number, string>>(from: UnitsFor<From>, to: UnitsFor<To>, converter: Converter<From, To>): ConverterRegistry<[...Edges, Edge<UnitsFor<From>, UnitsFor<To>>]> & ConverterMap<[...Edges, Edge<UnitsFor<From>, UnitsFor<To>>]>;
+    /**
+     * Register a bidirectional converter (both directions)
+     *
+     * @param from - First unit
+     * @param to - Second unit
+     * @param converter - Bidirectional converter object
+     * @returns New registry instance with both converters registered
+     */
+    register<From extends WithUnits<number, string>, To extends WithUnits<number, string>>(from: UnitsFor<From>, to: UnitsFor<To>, converter: BidirectionalConverter<From, To>): ConverterRegistry<[
+        ...Edges,
+        Edge<UnitsFor<From>, UnitsFor<To>>,
+        Edge<UnitsFor<To>, UnitsFor<From>>
+    ]> & ConverterMap<[
+        ...Edges,
+        Edge<UnitsFor<From>, UnitsFor<To>>,
+        Edge<UnitsFor<To>, UnitsFor<From>>
+    ]>;
+    /**
+     * Register a bidirectional converter (both directions)
+     * @deprecated Use register() with BidirectionalConverter instead
+     *
+     * @param from - First unit
+     * @param to - Second unit
+     * @param converter - Bidirectional converter object
+     * @returns New registry instance with both converters registered
+     */
+    registerBidirectional<From extends WithUnits<number, string>, To extends WithUnits<number, string>>(from: UnitsFor<From>, to: UnitsFor<To>, converter: BidirectionalConverter<From, To>): ConverterRegistry<[
+        ...Edges,
+        Edge<UnitsFor<From>, UnitsFor<To>>,
+        Edge<UnitsFor<To>, UnitsFor<From>>
+    ]> & ConverterMap<[
+        ...Edges,
+        Edge<UnitsFor<From>, UnitsFor<To>>,
+        Edge<UnitsFor<To>, UnitsFor<From>>
+    ]>;
+    /**
+     * Explicitly allow a conversion path in the type system (for multi-hop conversions)
+     *
+     * This method verifies that a conversion path exists at runtime (via BFS) and adds it
+     * to the type system so it can be used with type-safe accessor syntax.
+     *
+     * @param from - Source unit string
+     * @param to - Destination unit string
+     * @returns New registry instance with the conversion path enabled in types
+     * @throws ConversionError if no path exists between the units
+     *
+     * @example
+     * ```typescript
+     * const registry = createRegistry()
+     *   .register('Celsius', 'Kelvin', c => (c + 273.15) as Kelvin)
+     *   .register('Kelvin', 'Fahrenheit', k => ((k - 273.15) * 9/5 + 32) as Fahrenheit)
+     *   .allow('Celsius', 'Fahrenheit'); // Enable multi-hop path in types
+     *
+     * // Now type-safe:
+     * const f = registry.Celsius.to.Fahrenheit(temp);
+     * ```
+     */
+    allow<From extends string, To extends string>(from: From, to: To): ConverterRegistry<[...Edges, Edge<From, To>]> & ConverterMap<[...Edges, Edge<From, To>]>;
+    /**
+     * Get a converter (direct or composed via BFS)
+     *
+     * @param from - Source unit
+     * @param to - Destination unit
+     * @returns Converter function, or undefined if no path exists
+     */
+    getConverter<From extends WithUnits<number, string>, To extends WithUnits<number, string>>(from: UnitsFor<From>, to: UnitsFor<To>): Converter<From, To> | undefined;
+    /**
+     * Convert a value using fluent API
+     *
+     * @param value - Value to convert
+     * @param fromUnit - Source unit
+     * @returns Object with to() method for conversion
+     */
+    convert<From extends WithUnits<number, string>>(value: From, fromUnit: UnitsFor<From>): {
+        to<To extends WithUnits<number, string>>(unit: UnitsFor<To>): To;
+    };
+}
+/**
+ * Create a new converter registry
+ *
+ * @returns Empty converter registry with unit-based accessors
+ *
+ * @example
+ * ```typescript
+ * type Celsius = WithUnits<number, 'Celsius'>;
+ * type Fahrenheit = WithUnits<number, 'Fahrenheit'>;
+ *
+ * const registry = createRegistry()
+ *   .register('Celsius', 'Fahrenheit', (c: Celsius) => ((c * 9/5) + 32) as Fahrenheit);
+ *
+ * const temp: Celsius = 25 as Celsius;
+ * const fahrenheit = registry.Celsius.to.Fahrenheit(temp);
+ * console.log(fahrenheit); // 77
+ * ```
+ */
+export declare function createRegistry(): ConverterRegistry<[]> & ConverterMap<[]>;
+export {};
+//# sourceMappingURL=registry.d.ts.map

package/dist/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../src/registry.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAKrE;;GAEG;AACH,KAAK,IAAI,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM,EAAE,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAE1F;;GAEG;AACH,KAAK,SAAS,CAAC,KAAK,SAAS,SAAS,IAAI,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjE;;GAEG;AACH,KAAK,UAAU,CAAC,KAAK,SAAS,SAAS,IAAI,EAAE,EAAE,QAAQ,SAAS,MAAM,IAAI,OAAO,CAC/E,KAAK,CAAC,MAAM,CAAC,EACb,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CACzB,CAAC,CAAC,CAAC,CAAC;AAEL;;;;GAIG;AACH,MAAM,MAAM,YAAY,CAAC,KAAK,SAAS,SAAS,IAAI,EAAE,IAAI;KACvD,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG;QAC1B,EAAE,EAAE;aACD,EAAE,IAAI,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAC/B,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,KACN,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;SACvD,CAAC;KACH;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAAC,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE;IAC1D;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EACnF,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EACpB,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,EAChB,SAAS,EAAE,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,GAC7B,iBAAiB,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClE,YAAY,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D;;;;;;;OAOG;IACH,QAAQ,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EACnF,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EACpB,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,EAChB,SAAS,EAAE,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC1C,iBAAiB,CAClB;QAAC,GAAG,KAAK;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;KAAC,CACnF,GACC,YAAY,CACV;QAAC,GAAG,KAAK;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;KAAC,CACnF,CAAC;IAEJ;;;;;;;;OAQG;IACH,qBAAqB,CACnB,IAAI,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EACtC,EAAE,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAEpC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EACpB,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,EAChB,SAAS,EAAE,sBAAsB,CAAC,IAAI,EAAE,EAAE,CAAC,GAC1C,iBAAiB,CAClB;QAAC,GAAG,KAAK;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;KAAC,CACnF,GACC,YAAY,CACV;QAAC,GAAG,KAAK;QAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;KAAC,CACnF,CAAC;IACJ;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,EAC1C,IAAI,EAAE,IAAI,EACV,EAAE,EAAE,EAAE,GACL,iBAAiB,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5F;;;;;;OAMG;IACH,YAAY,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EACvF,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EACpB,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,GACf,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC;IACnC;;;;;;OAMG;IACH,OAAO,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5C,KAAK,EAAE,IAAI,EACX,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GACvB;QACD,EAAE,CAAC,EAAE,SAAS,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;KAClE,CAAC;CACH;AAoND;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,cAAc,IAAI,iBAAiB,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC,CAEzE"}