@venizia/ignis-docs 0.2.0 → 0.2.1-1

package/content/extensions/helpers/types/index.md

@@ -1,562 +1,142 @@
-# Types
-
-Shared utility types, resolver functions, and constants exported from `@venizia/ignis-helpers`.
-
-## Quick Reference
-
-| Item | Value |
-|------|-------|
-| **Package** | `@venizia/ignis-helpers` |
-| **Module** | Common types and constants |
-| **Source** | `packages/helpers/src/common/types.ts` (types + resolvers), `packages/helpers/src/common/constants/` (constants) |
-| **Runtimes** | Both |
-
-#### Import Paths
-
-```typescript
-// Types
-import type {
-  TNullable,
-  AnyType,
-  AnyObject,
-  TOptions,
-  ValueOrPromise,
-  ValueOf,
-  ValueOptional,
-  ValueOptionalExcept,
-  TPrettify,
-  TConstructor,
-  TAbstractConstructor,
-  TClass,
-  TAbstractClass,
-  TMixinTarget,
-  TAbstractMixinTarget,
-  TResolver,
-  TAsyncResolver,
-  TValueOrResolver,
-  TValueOrAsyncResolver,
-  TStringConstValue,
-  TNumberConstValue,
-  TConstValue,
-  TFieldMappingDataType,
-  IFieldMapping,
-  TFieldMappingNames,
-  TObjectFromFieldMappings,
-  TInjectionGetter,
-  IConfigurable,
-} from '@venizia/ignis-helpers';
-
-// Resolver functions
-import { resolveValue, resolveValueAsync, resolveClass } from '@venizia/ignis-helpers';
-
-// Constants
-import { Defaults, RuntimeModules, DataTypes, HTTP, GRPC, MimeTypes } from '@venizia/ignis-helpers';
-
-// Derived constant types
-import type { TRuntimeModule, TMimeTypes, THttpMethod, THttpResultCode, TGrpcMethod, TGrpcResultCode } from '@venizia/ignis-helpers';
-
-// JSX types (re-exported from hono/jsx)
-import type { Child, FC, PropsWithChildren } from '@venizia/ignis-helpers';
-```
-
-## Usage
-
-### General Purpose Types
-
-```typescript
-type AnyType = any;
-type AnyObject = Record<string | symbol | number, any>;
-```
-
-Escape hatches for general-purpose typing. `AnyObject` is a loosely-typed record for objects whose shape is not known at compile time.
-
-```typescript
-type TOptions<T extends object = {}> = T;
-```
-
-Semantic wrapper for options objects. Used across the framework to signal that a parameter follows the options-object pattern.
-
-### Nullable and Promise Types
-
-```typescript
-type TNullable<T> = T | undefined | null;
-```
-
-Makes a type nullable -- the value can be `T`, `undefined`, or `null`.
-
-```typescript
-type ValueOrPromise<T> = T | Promise<T>;
-```
-
-A value that may or may not be wrapped in a `Promise`. Used throughout the framework for methods that support both sync and async implementations.
-
-### Class and Constructor Types
+---
+title: Types
+description: Shared utility types, resolver functions, and constant classes exported from @venizia/ignis-helpers
+difficulty: beginner
+---
 
-```typescript
-type TConstructor<T> = new (...args: any[]) => T;
-type TAbstractConstructor<T> = abstract new (...args: any[]) => T;
-```
+# Types
 
-Types representing concrete and abstract class constructors.
+`@venizia/ignis-helpers` exports the utility types, lazy-value resolvers, and constant classes (`HTTP`, `GRPC`, `RuntimeModules`, ...) that the rest of the IGNIS stack builds on.
 
-```typescript
-type TClass<T> = TConstructor<T> & { [property: string]: any };
-type TAbstractClass<T> = TAbstractConstructor<T> & { [property: string]: any };
-```
+## In one example
 
-Class types that include static properties. `TClass` is the most commonly used -- it represents a concrete class with both a constructor and arbitrary static members.
+`TValueOrResolver` plus `resolveValue` is the core pattern for an option that can be given eagerly or lazily.
 
 ```typescript
-type TMixinTarget<T> = TConstructor<{ [P in keyof T]: T[P] }>;
-type TAbstractMixinTarget<T> = TAbstractConstructor<{ [P in keyof T]: T[P] }>;
-```
+import { TValueOrResolver, resolveValue } from '@venizia/ignis-helpers';
 
-Types for mixin pattern targets. Used when defining mixins that extend a base class while preserving its type:
-
-```typescript
-function MyMixin<T extends TMixinTarget<BaseClass>>(Base: T) {
-  return class extends Base {
-    // additional methods
-  };
+function configure(opts: { timeout: TValueOrResolver<number> }) {
+  const timeout = resolveValue(opts.timeout);
+  // works whether opts.timeout is 5000 or () => 5000
 }
-```
-
-### Object Utility Types
-
-```typescript
-type ValueOf<T> = T[keyof T];
-```
-
-Extracts the union of all value types from an object type.
-
-```typescript
-type ValueOptional<T, K extends keyof T> = Omit<T, K> & Partial<Pick<T, K>>;
-```
-
-Makes specific keys optional while keeping all others required.
 
-```typescript
-type ValueOptionalExcept<T, K extends keyof T> = Pick<T, K> & Partial<Omit<T, K>>;
-```
-
-The inverse -- makes everything optional except the specified keys.
-
-```typescript
-type TPrettify<T> = { [K in keyof T]: T[K] } & {};
-```
-
-Flattens intersection types for better IDE display. Useful when combining multiple types with `&` produces hard-to-read hover tooltips.
-
-### Const Value Extraction Types
-
-```typescript
-type TStringConstValue<T extends TClass<any>> = Extract<ValueOf<T>, string>;
-type TNumberConstValue<T extends TClass<any>> = Extract<ValueOf<T>, number>;
-type TConstValue<T extends TClass<any>> = Extract<ValueOf<T>, string | number>;
-```
-
-Extract constant value types from a class. These are used to derive union types from constant classes:
-
-```typescript
-// TRuntimeModule = 'node' | 'bun'
-type TRuntimeModule = TConstValue<typeof RuntimeModules>;
-
-// TMimeTypes = 'unknown' | 'image' | 'video' | 'text'
-type TMimeTypes = TConstValue<typeof MimeTypes>;
+configure({ timeout: 5000 });
+configure({ timeout: () => 5000 });
 ```
 
-### Value Resolution Types and Functions
-
-Types and helper functions for lazy/deferred value resolution -- a core pattern in the framework's DI and configuration systems.
+## How it works
 
-#### Types
+- **Escape hatches, not the norm.** `AnyType` and `AnyObject` exist for the rare case a shape truly cannot be known at compile time. The framework prefers types derived from definitions, like `typeof X.schema`, everywhere else.
 
-```typescript
-type TResolver<T> = (...args: any[]) => T;
-type TAsyncResolver<T> = (...args: any[]) => T | Promise<T>;
-```
-
-Function types that resolve to a value. `TAsyncResolver` supports both sync and async functions.
-
-```typescript
-type TValueOrResolver<T> = T | TResolver<T>;
-type TValueOrAsyncResolver<T> = T | TAsyncResolver<T>;
-```
+| Type | Is |
+|---|---|
+| `AnyType` | `any` |
+| `AnyObject` | `Record<string \| symbol \| number, any>` |
 
-Union types allowing either a direct value or a resolver function. Used in configuration APIs where values can be provided eagerly or lazily.
+- **Nullable and async are explicit.** `TNullable<T>` and `ValueOrPromise<T>` appear on most framework method signatures. One declared type covers both the sync and the async implementation.
 
-#### resolveValue
+| Type | Shape |
+|---|---|
+| `TNullable<T>` | `T \| undefined \| null` |
+| `ValueOrPromise<T>` | `T \| Promise<T>` |
 
-```typescript
-const resolveValue: <T>(valueOrResolver: TValueOrResolver<T>) => T;
-```
+- **Resolvers defer construction.** `TResolver`/`TAsyncResolver` and their `TValueOrResolver`/`TValueOrAsyncResolver` unions let a config option be given eagerly or lazily. `resolveValue`/`resolveValueAsync` collapse either shape to a value.
+- **Class constructors pass through untouched.** `isClass()` detects them, so the resolver never invokes a class as if it were a function. It's re-exported from `@venizia/ignis-inversion` into `helpers`.
+- **Const classes replace string unions.** A class of `static readonly` fields, for example `HTTP` or `RuntimeModules`, is a value namespace. `TConstValue<typeof X>` derives its own union type from those fields - one declaration, no duplicated string literals.
 
-Synchronously resolves a lazy value:
-- **Direct values** -- returned as-is
-- **Class constructors** -- returned as-is (not invoked)
-- **Resolver functions** -- invoked and result returned
+## Common tasks
 
-Class constructors are detected via `isClass()` (a source-level class-syntax check), which lives in `@venizia/ignis-inversion` and is re-exported by `helpers`; they are never called as resolver functions. `isClassConstructor` does not exist.
+### Type an options object with a sync-or-async callback
 
-#### resolveValueAsync
+`ValueOrPromise<T>` is the standard shape for a callback that may or may not be async.
 
 ```typescript
-const resolveValueAsync: <T>(valueOrResolver: TValueOrAsyncResolver<T>) => Promise<T>;
-```
-
-Async version of `resolveValue`. Same behavior, but awaits the result if the resolver returns a `Promise`.
+import { ValueOrPromise } from '@venizia/ignis-helpers';
 
-#### resolveClass
-
-```typescript
-const resolveClass: <T>(
-  ref: TClass<T> | TResolver<TClass<T>> | string,
-) => TClass<T> | string;
+function connect(opts: { host: string; onReady?: () => ValueOrPromise<void> }) {}
 ```
 
-Resolves lazy class references. Handles three cases:
-- **String binding keys** -- returned as-is (for DI key lookups)
-- **Class constructors** -- returned as-is
-- **Resolver functions** -- invoked and result returned
+### Detect the current runtime
 
-#### Resolution Example
+`RuntimeModules.detect()` returns `'bun'` when `typeof Bun !== 'undefined'`, `'node'` otherwise.
 
 ```typescript
-import { TValueOrAsyncResolver, resolveValueAsync } from '@venizia/ignis-helpers';
+import { RuntimeModules } from '@venizia/ignis-helpers';
 
-interface DatabaseConfig {
-  host: string;
-  port: number;
+if (RuntimeModules.isBun()) {
+  // Bun-specific path
 }
-
-type ConfigOption = TValueOrAsyncResolver<DatabaseConfig>;
-
-// Direct value
-const config1: ConfigOption = { host: 'localhost', port: 5432 };
-
-// Sync resolver
-const config2: ConfigOption = () => ({ host: 'localhost', port: 5432 });
-
-// Async resolver
-const config3: ConfigOption = async () => {
-  const config = await fetchConfigFromVault();
-  return config;
-};
-
-// Resolve any of the above uniformly
-const resolved = await resolveValueAsync(config3);
-```
-
-### Field Mapping Types
-
-Types for declarative field-to-type mappings, used for configuration-driven data transformation.
-
-```typescript
-type TFieldMappingDataType = 'string' | 'number' | 'strings' | 'numbers' | 'boolean';
 ```
 
-Supported data types for field mappings.
-
-```typescript
-interface IFieldMapping {
-  name: string;
-  type: TFieldMappingDataType;
-  default?: string | number | Array<string> | Array<number> | boolean;
-}
-```
+### Derive a union type from a constant class
 
-Defines a single field with its name, type, and optional default value.
+`TConstValue<typeof X>` extracts the union of a const class's static values, so the type never drifts from the values.
 
 ```typescript
-type TFieldMappingNames<T extends Array<IFieldMapping>> = Extract<
-  T[number],
-  { type: Exclude<T[number]['type'], undefined> }
->['name'];
-```
+import { TConstValue, RuntimeModules } from '@venizia/ignis-helpers';
 
-Extracts the union of field names from a field mapping array type.
-
-```typescript
-type TObjectFromFieldMappings<
-  T extends readonly {
-    name: string;
-    type: string;
-    [extra: string | symbol]: any;
-  }[],
-> = {
-  [K in T[number]['name']]: /* mapped to the declared type */
-};
+type TRuntimeModule = TConstValue<typeof RuntimeModules>; // 'node' | 'bun'
 ```
 
-Constructs a typed object from a field mapping array, where each key maps to its declared runtime type: `'string'` becomes `string`, `'number'` becomes `number`, `'strings'` becomes `string[]`, `'numbers'` becomes `number[]`, and `'boolean'` becomes `boolean`.
+### Resolve a value that may be eager or lazy, sync or async
 
-### DI and Lifecycle Types
+`resolveValueAsync` accepts a direct value, a sync resolver, or an async resolver, and always returns a `Promise`.
 
 ```typescript
-type TInjectionGetter = <T>(opts: { key: string | symbol }) => T;
-```
+import { TValueOrAsyncResolver, resolveValueAsync } from '@venizia/ignis-helpers';
 
-Function type for retrieving values from the IoC container by binding key.
+type ConfigOption = TValueOrAsyncResolver<{ host: string }>;
 
-```typescript
-interface IConfigurable<Options extends object = any, Result = any> {
-  configure(opts?: Options): ValueOrPromise<Result>;
-}
+const fromEnv: ConfigOption = async () => ({ host: process.env.DB_HOST! });
+const resolved = await resolveValueAsync(fromEnv);
 ```
 
-Interface for components that require explicit initialization. Used by helpers and components that expose a `configure()` lifecycle method.
-
-### JSX Types
+### Look up an HTTP header, content type, or status constant
 
-Re-exported from `hono/jsx` for convenience when building JSX-based views:
+`HTTP` groups headers, header values, methods, and status codes under one class.
 
 ```typescript
-export type { Child, FC, PropsWithChildren } from 'hono/jsx';
-```
-
-- `FC` -- Function component type
-- `Child` -- Valid child element type
-- `PropsWithChildren` -- Props type that includes a `children` property
-
-### Constants
-
-#### Defaults
+import { HTTP } from '@venizia/ignis-helpers';
 
-```typescript
-class Defaults {
-  static readonly APPLICATION_NAME: string; // process.env.APP_ENV_APPLICATION_NAME ?? 'APP'
-  static readonly QUERY_LIMIT = 50;
-  static readonly QUERY_OFFSET = 0;
-}
+response.header(HTTP.Headers.CONTENT_TYPE, HTTP.HeaderValues.APPLICATION_JSON);
+response.status(HTTP.ResultCodes.RS_4.NotFound);
 ```
 
-Application-wide defaults for query pagination and application naming.
+### Constrain a mixin's base class
 
-#### RuntimeModules
+`TMixinTarget<T>` types a mixin factory's `Base` parameter so the returned class keeps `T`'s shape.
 
 ```typescript
-class RuntimeModules {
-  static readonly NODE = 'node';
-  static readonly BUN = 'bun';
-
-  static detect(): TRuntimeModule;
-  static isBun(): boolean;
-  static isNode(): boolean;
-}
-
-type TRuntimeModule = TConstValue<typeof RuntimeModules>; // 'node' | 'bun'
-```
-
-Runtime detection utility. `detect()` returns `'bun'` if `typeof Bun !== 'undefined'`, `'node'` otherwise. `isBun()` and `isNode()` are convenience methods that call `detect()` internally.
+import { TMixinTarget } from '@venizia/ignis-helpers';
 
-#### DataTypes
-
-```typescript
-class DataTypes {
-  static readonly NUMBER = 'NUMBER';
-  static readonly TEXT = 'TEXT';
-  static readonly BYTE = 'BYTE';
-  static readonly JSON = 'JSON';
-  static readonly BOOLEAN = 'BOOLEAN';
-
-  static readonly SCHEME_SET: Set<string>;
-  static isValid(orgType: string): boolean;
+function WithTimestamps<T extends TMixinTarget<BaseEntity>>(Base: T) {
+  return class extends Base {
+    createdAt = new Date();
+  };
 }
 ```
 
-Schema data type constants with validation. `SCHEME_SET` contains all valid type strings, and `isValid()` checks membership.
-
-#### HTTP
-
-The `HTTP` class groups all HTTP-related constants into nested objects.
-
-**Headers** (commonly used subset -- the full list in `packages/helpers/src/common/constants/http.ts` also covers content negotiation, CORS, security, proxy/forwarding, and rate-limit headers):
-
-| Constant | Value |
-|----------|-------|
-| `HTTP.Headers.AUTHORIZATION` | `'authorization'` |
-| `HTTP.Headers.CACHE_CONTROL` | `'cache-control'` |
-| `HTTP.Headers.CONTENT_DISPOSITION` | `'content-disposition'` |
-| `HTTP.Headers.CONTENT_ENCODING` | `'content-encoding'` |
-| `HTTP.Headers.CONTENT_LENGTH` | `'content-length'` |
-| `HTTP.Headers.CONTENT_TYPE` | `'content-type'` |
-| `HTTP.Headers.CONTENT_RANGE` | `'content-range'` |
-| `HTTP.Headers.ETAG` | `'etag'` |
-| `HTTP.Headers.LAST_MODIFIED` | `'last-modified'` |
-| `HTTP.Headers.REQUEST_TRACING_ID` | `'x-request-id'` |
-| `HTTP.Headers.REQUEST_DEVICE_INFO` | `'x-device-info'` |
-| `HTTP.Headers.REQUEST_CHANNEL` | `'x-request-channel'` |
-| `HTTP.Headers.REQUEST_COUNT_DATA` | `'x-request-count'` |
-| `HTTP.Headers.RESPONSE_COUNT_DATA` | `'x-response-count'` |
-| `HTTP.Headers.RESPONSE_FORMAT` | `'x-response-format'` |
-
-**Header Values** (commonly used subset -- the full list also covers XML, PDF, zip, image, CSS/CSV/HTML, and event-stream types):
-
-| Constant | Value |
-|----------|-------|
-| `HTTP.HeaderValues.APPLICATION_JSON` | `'application/json'` |
-| `HTTP.HeaderValues.APPLICATION_FORM_URLENCODED` | `'application/x-www-form-urlencoded'` |
-| `HTTP.HeaderValues.APPLICATION_OCTET_STREAM` | `'application/octet-stream'` |
-| `HTTP.HeaderValues.MULTIPART_FORM_DATA` | `'multipart/form-data'` |
-| `HTTP.HeaderValues.TEXT_PLAIN` | `'text/plain'` |
-
-**Methods:**
-
-| Constant | Value |
-|----------|-------|
-| `HTTP.Methods.GET` | `'get'` |
-| `HTTP.Methods.POST` | `'post'` |
-| `HTTP.Methods.PUT` | `'put'` |
-| `HTTP.Methods.PATCH` | `'patch'` |
-| `HTTP.Methods.DELETE` | `'delete'` |
-| `HTTP.Methods.HEAD` | `'head'` |
-| `HTTP.Methods.OPTIONS` | `'options'` |
-
-**Result Codes:**
-
-Status codes are grouped by class under `HTTP.ResultCodes.RS_1` through `HTTP.ResultCodes.RS_5` (e.g. `HTTP.ResultCodes.RS_4.NotFound`).
-
-| Group | Constant | Value |
-|-------|----------|-------|
-| **RS_1** (1xx) | `Continue` | `100` |
-| | `SwitchingProtocols` | `101` |
-| | `EarlyHints` | `103` |
-| **RS_2** (2xx) | `Ok` | `200` |
-| | `Created` | `201` |
-| | `Accepted` | `202` |
-| | `NonAuthoritativeInformation` | `203` |
-| | `NoContent` | `204` |
-| | `ResetContent` | `205` |
-| | `PartialContent` | `206` |
-| | `MultiStatus` | `207` |
-| **RS_3** (3xx) | `MovedPermanently` | `301` |
-| | `Found` | `302` |
-| | `NotModified` | `304` |
-| | `TemporaryRedirect` | `307` |
-| | `PermanentRedirect` | `308` |
-| **RS_4** (4xx) | `BadRequest` | `400` |
-| | `Unauthorized` | `401` |
-| | `PaymentRequired` | `402` |
-| | `Forbidden` | `403` |
-| | `NotFound` | `404` |
-| | `MethodNotAllowed` | `405` |
-| | `NotAcceptable` | `406` |
-| | `RequestTimeout` | `408` |
-| | `Conflict` | `409` |
-| | `Gone` | `410` |
-| | `LengthRequired` | `411` |
-| | `PreconditionFailed` | `412` |
-| | `ContentTooLarge` | `413` |
-| | `URITooLong` | `414` |
-| | `UnsupportedMediaType` | `415` |
-| | `RangeNotSatisfiable` | `416` |
-| | `ExpectationFailed` | `417` |
-| | `UnprocessableEntity` | `422` |
-| | `Locked` | `423` |
-| | `FailedDependency` | `424` |
-| | `TooEarly` | `425` |
-| | `UpgradeRequired` | `426` |
-| | `PreconditionRequired` | `428` |
-| | `TooManyRequests` | `429` |
-| | `RequestHeaderFieldsTooLarge` | `431` |
-| | `UnavailableForLegalReasons` | `451` |
-| **RS_5** (5xx) | `InternalServerError` | `500` |
-| | `NotImplemented` | `501` |
-| | `BadGateway` | `502` |
-| | `ServiceUnavailable` | `503` |
-| | `GatewayTimeout` | `504` |
-| | `HTTPVersionNotSupported` | `505` |
-| | `InsufficientStorage` | `507` |
-| | `LoopDetected` | `508` |
-| | `NetworkAuthenticationRequired` | `511` |
-
-**Derived Types:**
-
-```typescript
-type THttpMethod = ValueOf<typeof HTTP.Methods>;         // 'get' | 'post' | 'put' | ...
-type THttpResultCode = ValueOf<typeof HTTP.ResultCodes>; // union of the RS_1..RS_5 group objects
-```
-
-#### GRPC
+### Flatten an intersection type for readable hover tooltips
 
-gRPC protocol constants for headers, methods, content types, and status codes.
+`TPrettify<T>` collapses `A & B` into a single flat object type. IDE tooltips render that far more readably than a chain of intersections.
 
 ```typescript
-import { GRPC } from '@venizia/ignis-helpers';
-```
-
-| Property | Type | Description |
-|----------|------|-------------|
-| `GRPC.Methods.UNARY` | `'unary'` | Single request, single response |
-| `GRPC.Methods.SERVER_STREAMING` | `'server_streaming'` | Single request, stream of responses |
-| `GRPC.Methods.CLIENT_STREAMING` | `'client_streaming'` | Stream of requests, single response |
-| `GRPC.Methods.BIDI_STREAMING` | `'bidi_streaming'` | Bidirectional streaming |
-| `GRPC.Headers.CONTENT_TYPE` | `'content-type'` | HTTP content type header |
-| `GRPC.Headers.TE` | `'te'` | Transfer encoding header |
-| `GRPC.Headers.USER_AGENT` | `'user-agent'` | User agent header |
-| `GRPC.Headers.GRPC_TIMEOUT` | `'grpc-timeout'` | gRPC timeout header |
-| `GRPC.Headers.GRPC_ENCODING` | `'grpc-encoding'` | gRPC encoding header |
-| `GRPC.Headers.GRPC_ACCEPT_ENCODING` | `'grpc-accept-encoding'` | gRPC accepted encodings header |
-| `GRPC.Headers.GRPC_MESSAGE_TYPE` | `'grpc-message-type'` | gRPC message type header |
-| `GRPC.Headers.GRPC_STATUS` | `'grpc-status'` | gRPC status code header |
-| `GRPC.Headers.GRPC_MESSAGE` | `'grpc-message'` | gRPC error message header |
-| `GRPC.Headers.GRPC_STATUS_DETAILS_BIN` | `'grpc-status-details-bin'` | gRPC binary status details header |
-| `GRPC.Headers.GRPC_PREVIOUS_RPC_ATTEMPTS` | `'grpc-previous-rpc-attempts'` | gRPC previous RPC attempts header |
-| `GRPC.Headers.GRPC_RETRY_PUSHBACK_MS` | `'grpc-retry-pushback-ms'` | gRPC retry pushback milliseconds header |
-| `GRPC.Headers.GRPC_TRACE_BIN` | `'grpc-trace-bin'` | gRPC binary trace context header |
-| `GRPC.Headers.GRPC_TAGS_BIN` | `'grpc-tags-bin'` | gRPC binary tags header |
-| `GRPC.HeaderValues.GRPC` | `'application/grpc'` | Standard gRPC content type |
-| `GRPC.HeaderValues.GRPC_PROTO` | `'application/grpc+proto'` | gRPC Protobuf content type |
-| `GRPC.HeaderValues.GRPC_JSON` | `'application/grpc+json'` | gRPC JSON content type |
-| `GRPC.HeaderValues.GRPC_WEB` | `'application/grpc-web'` | gRPC-Web content type |
-| `GRPC.HeaderValues.GRPC_WEB_PROTO` | `'application/grpc-web+proto'` | gRPC-Web Protobuf content type |
-| `GRPC.HeaderValues.GRPC_WEB_JSON` | `'application/grpc-web+json'` | gRPC-Web JSON content type |
-| `GRPC.HeaderValues.GRPC_WEB_TEXT` | `'application/grpc-web-text'` | gRPC-Web text content type |
-| `GRPC.ResultCodes.OK` | `0` | Success |
-| `GRPC.ResultCodes.CANCELLED` | `1` | Operation cancelled |
-| `GRPC.ResultCodes.UNKNOWN` | `2` | Unknown error |
-| `GRPC.ResultCodes.INVALID_ARGUMENT` | `3` | Invalid argument |
-| `GRPC.ResultCodes.DEADLINE_EXCEEDED` | `4` | Deadline exceeded |
-| `GRPC.ResultCodes.NOT_FOUND` | `5` | Not found |
-| `GRPC.ResultCodes.ALREADY_EXISTS` | `6` | Already exists |
-| `GRPC.ResultCodes.PERMISSION_DENIED` | `7` | Permission denied |
-| `GRPC.ResultCodes.RESOURCE_EXHAUSTED` | `8` | Resource exhausted |
-| `GRPC.ResultCodes.FAILED_PRECONDITION` | `9` | Failed precondition |
-| `GRPC.ResultCodes.ABORTED` | `10` | Operation aborted |
-| `GRPC.ResultCodes.OUT_OF_RANGE` | `11` | Out of range |
-| `GRPC.ResultCodes.UNIMPLEMENTED` | `12` | Unimplemented |
-| `GRPC.ResultCodes.INTERNAL` | `13` | Internal server error |
-| `GRPC.ResultCodes.UNAVAILABLE` | `14` | Service unavailable |
-| `GRPC.ResultCodes.DATA_LOSS` | `15` | Unrecoverable data loss |
-| `GRPC.ResultCodes.UNAUTHENTICATED` | `16` | Unauthenticated |
+import { TPrettify } from '@venizia/ignis-helpers';
 
-```typescript
-// Derived types
-type TGrpcMethod = ValueOf<typeof GRPC.Methods>;
-type TGrpcResultCode = ValueOf<typeof GRPC.ResultCodes>;
+type Merged = TPrettify<{ id: string } & { name: string }>;
+// Hovers as { id: string; name: string } instead of { id: string } & { name: string }
 ```
 
-#### MimeTypes
-
-```typescript
-class MimeTypes {
-  static readonly UNKNOWN = 'unknown';
-  static readonly IMAGE = 'image';
-  static readonly VIDEO = 'video';
-  static readonly TEXT = 'text';
-}
-
-type TMimeTypes = TConstValue<typeof MimeTypes>; // 'unknown' | 'image' | 'video' | 'text'
-```
+See the [Full reference](/extensions/helpers/types/reference) for every type, resolver function, and constant - including the full `HTTP.Headers`, `HTTP.ResultCodes`, and `GRPC` tables.
 
-Content type classification constants.
+## See also
 
-## See Also
+- [Full reference](/extensions/helpers/types/reference) - every type, resolver, and constant class
+- [Dependency Injection](/guides/core-concepts/dependency-injection) - `TInjectionGetter` and DI-adjacent types in use
+- [Repository Mixins](/references/base/repositories/mixins) - `TMixinTarget` in use
+- [Helpers Overview](/extensions/helpers/) - all available helpers
 
-- **Guides:**
-  - [Dependency Injection](/guides/core-concepts/dependency-injection) - DI types and patterns
-  - [Repositories](/guides/core-concepts/persistent/repositories) - Repository mixins use these types
+**Files:**
 
-- **References:**
-  - [Repository Mixins](/references/base/repositories/mixins) - Uses mixin types
-  - [Utilities Index](/references/utilities/index) - Type utilities
+- [`packages/helpers/src/common/types.ts`](https://github.com/VENIZIA-AI/ignis/blob/main/packages/helpers/src/common/types.ts) - utility types, resolvers, field-mapping types
+- [`packages/helpers/src/common/constants/index.ts`](https://github.com/VENIZIA-AI/ignis/blob/main/packages/helpers/src/common/constants/index.ts) - constants barrel