uni-types

Universal TypeScript Type Utilities

A comprehensive collection of type helpers for TypeScript development

Features

🎯 2000+ Type Utilities - Comprehensive type helpers for every use case
🔒 Type Safe - Full TypeScript support with strict type checking
📦 Zero Dependencies - Lightweight and tree-shakeable
🚀 TypeScript 5.x - Built with the latest TypeScript features
🌍 Bilingual Docs - Documentation in English and Chinese

Installation

# pnpm
pnpm add uni-types

# yarn
yarn add uni-types

# npm
npm install uni-types

Quick Start

import type {
  PickRequired,
  DeepPartial,
  IsArray,
  Brand,
  If,
  Paths
} from 'uni-types'

// Core: Make specific properties required
interface User {
  name?: string
  age?: number
  email: string
}

type RequiredUser = PickRequired<User, 'name' | 'age'>
// { name: string; age: number; email: string }

// Deep: Make all nested properties optional
interface Config {
  database: {
    host: string
    port: number
  }
}

type PartialConfig = DeepPartial<Config>
// { database?: { host?: string; port?: number } }

// Brand: Create nominal types
type UserId = Brand<string, 'UserId'>
type OrderId = Brand<string, 'OrderId'>
// UserId and OrderId are not interchangeable!

// Conditional: Type-level logic
type Result = If<true, 'success', 'error'> // 'success'

API Reference

Core Operations

Type	Description
`PickRequired<T, K>`	Make specified properties required
`OmitRequired<T, K>`	Make properties except specified ones required
`PickPartial<T, K>`	Make specified properties optional
`OmitPartial<T, K>`	Make properties except specified ones optional

Tuple Operations

Type	Description
`Head<T>`	Get first element of tuple
`Last<T>`	Get last element of tuple
`Tail<T>`	Get all elements except first
`Init<T>`	Get all elements except last
`Reverse<T>`	Reverse a tuple
`Flatten<T>`	Flatten nested tuples
`TupleLength<T>`	Get tuple length
`IsEmptyTuple<T>`	Check if tuple is empty

Deep Operations

Type	Description
`DeepPartial<T>`	Make all nested properties optional
`DeepRequired<T>`	Make all nested properties required
`DeepReadonly<T>`	Make all nested properties readonly
`DeepMutable<T>`	Make all nested properties mutable
`DeepOmit<T, P>`	Omit properties by path
`DeepPick<T, P>`	Pick properties by path

Type Guards

Type	Description
`IsArray<T>`	Check if type is an array
`IsTuple<T>`	Check if type is a tuple
`IsEqual<X, Y>`	Check if two types are equal
`IsAny<T>`	Check if type is `any`
`IsNever<T>`	Check if type is `never`
`IsUnknown<T>`	Check if type is `unknown`
`IsFunction<T>`	Check if type is a function
`IsAsyncFunction<T>`	Check if type is an async function

Conditional Types (v1.1.0)

Type	Description
`If<C, T, F>`	Type-level if-then-else
`Not<B>`	Logical NOT for boolean types
`And<A, B>`	Logical AND for boolean types
`Or<A, B>`	Logical OR for boolean types
`Assert<T, U>`	Type constraint assertion

Brand Types (v1.1.0)

Type	Description
`Brand<T, B>`	Create a branded type for nominal typing
`Unbrand<T>`	Extract underlying type from branded type

Function Utilities (v1.1.0)

Type	Description
`Parameters<T>`	Get function parameters as tuple
`ReturnType<T>`	Get function return type
`NthParameter<T, N>`	Get Nth parameter type
`AsyncReturnType<T>`	Extract async function return type
`ThisParameterType<T>`	Get `this` parameter type
`OmitThisParameter<T>`	Omit `this` parameter from function

Template Literal Utilities (v1.1.0)

Type	Description
`ReplaceAll<S, From, To>`	Replace all occurrences
`Replace<S, From, To>`	Replace first occurrence
`Trim<S>`	Trim whitespace
`StringToArray<S>`	Convert string to array
`CapitalizeAll<S>`	Capitalize all words
`StartsWith<S, P>`	Check if string starts with prefix
`EndsWith<S, P>`	Check if string ends with suffix
`StringLength<S>`	Get string length

Numeric Utilities (v1.1.0)

Type	Description
`Inc<N>`	Increment number
`Dec<N>`	Decrement number
`Add<A, B>`	Add two numbers
`Subtract<A, B>`	Subtract two numbers
`GreaterThan<A, B>`	Check if A > B
`LessThan<A, B>`	Check if A < B
`Max<A, B>`	Maximum of two numbers
`Min<A, B>`	Minimum of two numbers

Path Types

Type	Description
`Paths<T>`	Get all nested property paths
`PathValue<T, P>`	Get value type at path
`ValidPath<T, P>`	Check if path is valid
`ArrayPaths<T>`	Get paths including array indices
`LeafPaths<T>`	Get paths to primitive values

Key Utilities (v1.1.0)

Type	Description
`Keys<T>`	Get all keys
`RenameKeys<T, M>`	Rename keys based on mapping
`PrefixKeys<T, P>`	Add prefix to all keys
`SuffixKeys<T, S>`	Add suffix to all keys
`KeysByValueType<T, V>`	Get keys by value type

Record Utilities (v1.1.0)

Type	Description
`DeepNullable<T>`	Make all properties nullable
`DeepOptional<T>`	Make all properties optional
`Immutable<T>`	Make all properties readonly
`Mutable<T>`	Make all properties mutable
`DeepNonNullable<T>`	Remove null/undefined from all properties
`Exact<T, Shape>`	Ensure exact shape match

Schema Validation (v1.2.0)

Type	Description
`RuntimeGuard<T>`	Define type guard function for runtime checking
`GuardedType<G>`	Extract type from type guard function
`HasRuntimeCheck<T>`	Check if type has runtime check available
`ZodOutput<T>`	Extract output type from Zod schema
`ZodInput<T>`	Extract input type from Zod schema
`ZodShape<T>`	Extract shape from ZodObject schema
`ZodRequiredKeys<T>`	Get required keys from Zod schema
`ZodOptionalKeys<T>`	Get optional keys from Zod schema
`YupOutput<T>`	Extract output type from Yup schema
`YupInput<T>`	Extract input type from Yup schema

Ecosystem Integration (v1.2.0)

Type	Description
`ComponentProps<T>`	Extract props from React component
`PropsWithChildren<P>`	Add children to props type
`RequiredProps<P>`	Get required prop keys
`OptionalProps<P>`	Get optional prop keys
`VuePropType<T>`	Vue prop type definition
`VueEmitType<T>`	Vue emit function type
`PrismaCreateInput<T>`	Create input type for Prisma models
`PrismaUpdateInput<T>`	Update input type for Prisma models
`PrismaWhereInput<T>`	Where input type for Prisma queries
`TRPCProcedureInput<T>`	Extract input from tRPC procedure
`TRPCProcedureOutput<T>`	Extract output from tRPC procedure

Performance Optimization (v1.2.0)

Type	Description
`Simplify<T>`	Flatten intersection types
`DeepSimplify<T>`	Recursively simplify nested types
`Compact<T>`	Remove never and undefined properties
`StripNever<T>`	Remove never properties
`StripUndefined<T>`	Remove undefined properties
`MergeAll<T>`	Merge multiple object types
`Lazy<T>`	Defer type evaluation
`Cached<T>`	Cache type computation
`Memoized<T>`	Memoize type computation

Advanced Type Patterns (v1.3.0)

Type	Description
`Match<T, Patterns>`	Type-level pattern matching
`Recurse<T, Limit>`	Type-level recursion with depth limit
`Depth<T>`	Get maximum depth of nested type
`TypeFilter<T, P>`	Filter tuple by predicate
`TypeFind<T, P>`	Find first matching element
`TypeIncludes<T, E>`	Check if tuple includes element
`TypeEvery<T, P>`	Check if all elements match
`TypeSome<T, P>`	Check if any element matches

Type-Level Collections (v1.3.0)

Type	Description
`TypeSet<T>`	Type-level Set representation
`SetAdd<S, T>`	Add element to type set
`SetRemove<S, T>`	Remove element from type set
`SetUnion<A, B>`	Union of two type sets
`SetIntersection<A, B>`	Intersection of two type sets
`SetDifference<A, B>`	Difference of two type sets
`TypeMap<K, V>`	Type-level Map representation
`MapGet<M, K>`	Get value from type map
`MapSet<M, K, V>`	Set value in type map
`ListFilter<T, P>`	Filter list elements
`ListReverse<T>`	Reverse a list
`ListConcat<A, B>`	Concatenate two lists
`ListTake<T, N>`	Take first N elements
`ListChunk<T, N>`	Chunk list into sublists

Type Assertions & Constraints (v1.3.0)

Type	Description
`AssertEqual<T, Expected>`	Assert types are equal
`AssertExtends<T, U>`	Assert T extends U
`RequireKeys<T, K>`	Require specific keys
`RequireAtLeastOne<T, K>`	Require at least one key
`RequireExactlyOne<T, K>`	Require exactly one key
`RequireAllOrNone<T, K>`	Require all or none keys
`HasProperty<T, K>`	Ensure object has property
`RequireArray<T>`	Ensure type is array
`RequireFunction<T>`	Ensure type is function

String Operations (v1.3.0)

Type	Description
`Split<S, D>`	Split string by delimiter
`Join<T, S>`	Join string array with separator
`KebabCase<S>`	Convert to kebab-case
`PascalCase<S>`	Convert to PascalCase
`ConstantCase<S>`	Convert to CONSTANT_CASE
`IsEmail<S>`	Check if string is email
`IsUUID<S>`	Check if string is UUID
`IsURL<S>`	Check if string is URL
`ReverseString<S>`	Reverse a string

Promise & Async Utilities (v1.3.0)

Type	Description
`PromiseValue<T>`	Extract value from Promise (deep)
`IsPromise<T>`	Check if type is Promise
`UnwrapPromise<T>`	Unwrap or return original
`AsyncReturnType<T>`	Return type of async function
`MakeAsync<T>`	Make function async
`PromiseAll<T>`	Await all promises
`AsyncResult<T, E>`	Rust-style Result type
`Deferred<T>`	Deferred promise type

Object Operations (v1.3.0)

Type	Description
`ObjectMap<T, F>`	Map over object values
`ObjectFilter<T, P>`	Filter object properties
`ObjectPickByType<T, U>`	Pick by value type
`ObjectInvert<T>`	Invert object (swap keys/values)
`DeepMerge<A, B>`	Deep merge objects
`ObjectPath<T, P>`	Get value at path
`PathExists<T, P>`	Check if path exists
`KeysOfType<T, U>`	Get keys of specific type

JSON Schema (v1.3.0)

Type	Description
`JsonSchemaType<T>`	Map TS types to JSON Schema types
`JsonSchema<T>`	Full JSON Schema type
`OpenAPISchema<T>`	OpenAPI 3.0 Schema
`OpenAPIResponse<T>`	OpenAPI Response
`OpenAPIRequestBody<T>`	OpenAPI Request Body
`OpenAPIParameter<Name, T, In>`	OpenAPI Parameter
`OpenAPIDocument<Title, Version, Paths>`	OpenAPI Document

Extended Ecosystem (v1.3.0)

Type	Description
`NextPageProps<T>`	Next.js page props
`ServerComponentProps<T>`	Next.js server component props
`NuxtPageMeta<T>`	Nuxt page meta
`NuxtComposable<T>`	Nuxt composable type
`SolidSignal<T>`	SolidJS signal type
`SolidResource<T>`	SolidJS resource type
`SvelteStore<T>`	Svelte store type
`SvelteAction<Element, Params>`	Svelte action type

Type-Level Algorithms (v1.4.0)

Type	Description
`Sort<T, Order>`	Sort tuple of numbers
`QuickSort<T>`	QuickSort implementation
`MergeSort<T>`	MergeSort implementation
`Find<T, P>`	Find first matching element
`FindIndex<T, P>`	Find index of matching element
`Includes<T, U>`	Check if tuple includes element
`IndexOf<T, U>`	Get index of element
`GCD<A, B>`	Greatest Common Divisor
`LCM<A, B>`	Least Common Multiple
`Factorial<N>`	Factorial of number
`Fibonacci<N>`	Fibonacci number
`IsPrime<N>`	Check if number is prime
`LongestCommonPrefix<T>`	Longest common prefix of strings
`LevenshteinDistance<A, B>`	Edit distance between strings
`Reverse<T>`	Reverse a tuple
`Unique<T>`	Remove duplicates from tuple
`Flatten<T>`	Flatten nested tuples

Type-Level Parsers (v1.4.0)

Type	Description
`ParseJSON<S>`	Parse JSON string to type
`StringifyJSON<T>`	Stringify type to JSON
`IsValidJSON<S>`	Check if string is valid JSON
`ParseURL<S>`	Parse URL string
`QueryParams<S>`	Parse query string
`PathParams<Pattern, Path>`	Extract path params
`ParseCSV<S>`	Parse CSV string
`StringifyCSV<T>`	Stringify records to CSV
`ParseExpression<S>`	Parse arithmetic expression
`EvaluateExpression<T>`	Evaluate parsed expression

Type-Level State Machines (v1.4.0)

Type	Description
`StateMachine<T>`	State machine definition
`State<S, Data>`	State definition
`Transition<E, From, To>`	Transition definition
`CurrentState<T>`	Get current state
`NextState<T, E>`	Get next state after event
`ValidTransitions<T>`	Get valid transitions
`StateHistory<T>`	State history type
`CanTransition<T, E>`	Check if transition is valid
`IsTerminal<T>`	Check if state is terminal

Type-Level Data Structures (v1.4.0)

Type	Description
`Tree<T>`	Tree type
`TreeNode<T>`	Tree node type
`TreePath<T, V>`	Path to value in tree
`TreeDepth<T>`	Maximum depth of tree
`TreeLeaves<T>`	All leaf values
`TreeFlatten<T>`	Flatten tree to array
`Graph<Adjacency>`	Graph type (adjacency list)
`GraphNode<T, Edges>`	Graph node type
`GraphEdge<From, To>`	Graph edge type
`GraphPath<A, From, To>`	Path between nodes
`GraphHasCycle<A>`	Check for cycles
`LinkedList<T>`	Linked list type
`ListNode<T>`	List node type
`ListHead<T>`	Head of list
`ListTail<T>`	Tail of list
`Stack<T>`	Stack type (LIFO)
`Queue<T>`	Queue type (FIFO)
`Push<S, V>`	Push onto stack
`Pop<S>`	Pop from stack

Type-Level HTTP & API (v1.4.0)

Type	Description
`HTTPMethod`	HTTP methods
`HTTPStatus`	HTTP status codes
`HTTPHeaders<T>`	HTTP headers type
`Route<P, M, H>`	Route definition
`RouteParams<P>`	Extract route params
`RouteQuery<Q>`	Route query type
`Router<T>`	Router type
`APIEndpoint<T>`	API endpoint type
`APIRequest<T>`	API request type
`APIResponse<T>`	API response type
`APIError<T>`	API error type
`Middleware<C>`	Middleware type
`Context<C>`	Request context
`ComposeMiddleware<M>`	Compose middleware chain

Type-Level Database (v1.4.0)

Type	Description
`SQLType<T>`	TypeScript to SQL type mapping
`CreateTable<T>`	CREATE TABLE type
`SelectQuery<T, F>`	SELECT query type
`WhereClause<T>`	WHERE clause type
`JoinQuery<T, U>`	JOIN query type
`Migration<T>`	Migration type
`MigrationUp<T>`	Up migration
`MigrationDown<T>`	Down migration
`QueryBuilder<T>`	Query builder type
`WhereBuilder<T>`	WHERE builder type
`Index<T>`	Index type
`UniqueIndex<T>`	Unique index type
`CompositeIndex<T, K>`	Composite index type

Type-Level Concurrency (v1.4.0)

Type	Description
`Task<T>`	Task type
`TaskResult<T>`	Task result type
`TaskError<T>`	Task error type
`TaskStatus`	Task status type
`Pipeline<I, O, S>`	Pipeline type
`PipelineStage<N, I, O>`	Pipeline stage type
`Scheduler<T>`	Scheduler type
`Worker<I, O>`	Worker type
`WorkerPool<I, O>`	Worker pool type
`RateLimiter<T>`	Rate limiter type
`Throttle<T>`	Throttle type
`Debounce<T>`	Debounce type

Type-Level Interop (v1.4.0)

Type	Description
`ToTypeFest<T>`	Convert to type-fest format
`FromTypeFest<T>`	Convert from type-fest format
`ToTsToolbelt<T>`	Convert to ts-toolbelt format
`FromTsToolbelt<T>`	Convert from ts-toolbelt format
`ToUtilityTypes<T>`	Convert to utility-types format
`FromUtilityTypes<T>`	Convert from utility-types format
`ConvertTo<T, Format>`	Convert to format
`ConvertFrom<T, Format>`	Convert from format
`IsCompatible<T, U>`	Check type compatibility
`CompatibleWith<T, Libs>`	Check library compatibility

Type-Level Testing (v1.4.0)

Type	Description
`ExpectTrue<T>`	Expect type to be true
`ExpectFalse<T>`	Expect type to be false
`ExpectEqual<T, U>`	Expect types to be equal
`ExpectExtends<T, U>`	Expect T extends U
`TypeTest<Name, Test>`	Type test definition
`TypeTestSuite<T>`	Test suite type
`TypeTestResult`	Test result type
`TypeCoverage<T>`	Type coverage analysis
`TypeComplexity<T>`	Type complexity analysis
`TypeInfo<T>`	Type information
`InspectType<T>`	Inspect type details

Authorization & Permissions (v1.5.0)

Type	Description
`Permission<T>`	Permission definition
`PermissionSet<T>`	Set of permissions
`Role<T>`	Role definition
`RoleSet<T>`	Set of roles
`Policy`	Policy for ABAC
`PolicyRule<T>`	Policy rule
`PolicyEffect`	Allow or deny
`RBAC<R, P>`	Role-Based Access Control
`ABAC<T>`	Attribute-Based Access Control
`ACL`	Access Control List
`AccessControl<T>`	Access control interface
`Resource<T>`	Resource for authorization
`Action`	Action type (create, read, update, delete, etc.)
`AuthorizationProvider<T>`	Authorization provider

Caching Strategies (v1.5.0)

Type	Description
`Cache<T>`	Cache interface
`CacheEntry<T>`	Cache entry
`CacheOptions`	Cache options (TTL, tags)
`CacheStats`	Cache statistics
`LRUCache<T>`	LRU Cache
`LFUCache<T>`	LFU Cache
`TTLCache<T>`	TTL Cache
`FIFOCache<T>`	FIFO Cache
`ARCCache<T>`	Adaptive Replacement Cache
`DistributedCache<T>`	Distributed cache
`CacheAside<T>`	Cache-aside pattern
`ReadThroughCache<T>`	Read-through pattern
`WriteThroughCache<T>`	Write-through pattern
`WriteBehindCache<T>`	Write-behind pattern

Configuration Management (v1.5.0)

Type	Description
`Config<T>`	Configuration type
`ConfigField<T>`	Config field definition
`ConfigLoader<T>`	Config loader interface
`ConfigSchema<T>`	Config schema
`EnvConfig`	Environment config
`EnvMapping`	Env var mapping
`FeatureFlag`	Feature flag
`FeatureFlagConfig`	Feature flag config
`FeatureFlags<T>`	Feature flags collection
`RemoteConfigProvider<T>`	Remote config provider
`Secret`	Secret value
`SecretProvider`	Secret provider

Event-Driven Architecture (v1.5.0)

Type	Description
`EventBus<T>`	Event bus interface
`EventStream<T>`	Event stream
`Command<T>`	Command for CQRS
`CommandBus<T>`	Command bus
`CommandHandler<T, R>`	Command handler
`Query<T>`	Query for CQRS
`QueryBus<T>`	Query bus
`QueryHandler<T, R>`	Query handler
`Saga<T>`	Saga orchestrator
`SagaStep<T>`	Saga step
`MessageQueue<T>`	Message queue
`EventStore<T>`	Event store
`DeadLetterQueue<T>`	Dead letter queue

GraphQL Integration (v1.5.0)

Type	Description
`GraphQLSchema`	GraphQL schema
`GraphQLType`	GraphQL type wrapper
`GraphQLScalar<T>`	Scalar type
`GraphQLEnum<T>`	Enum type
`GraphQLInput<T>`	Input type
`GraphQLObject<T>`	Object type
`GraphQLField<T, A, R>`	Field type
`GraphQLResolver<T, A, R>`	Resolver type
`GraphQLContext<T>`	Context type
`GraphQLResult<T>`	Result wrapper
`GraphQLError`	Error type

Logging & Observability (v1.5.0)

Type	Description
`Logger<T>`	Logger interface
`LogLevel`	Log levels
`LogEntry<T>`	Log entry
`Metric<T>`	Metric type
`Counter<T>`	Counter metric
`Gauge<T>`	Gauge metric
`Histogram`	Histogram metric
`Tracer`	Tracer interface
`Span`	Tracing span
`Trace<T>`	Trace type
`Monitor`	Monitor type
`Alert<T>`	Alert type
`HealthIndicator<T>`	Health indicator
`HealthCheckResult<T>`	Health check result

Microservices Architecture (v1.5.0)

Type	Description
`Microservice<T>`	Microservice type
`ServiceConfig<T>`	Service config
`ServiceRegistry<T>`	Service registry
`ServiceInstance`	Service instance
`ServiceDiscovery<T>`	Service discovery
`CircuitBreaker<T>`	Circuit breaker
`RateLimit`	Rate limiting
`LoadBalancer<T>`	Load balancer
`APIGateway<T>`	API Gateway
`GatewayRoute`	Gateway route
`HealthReport`	Health report

Validation Rules (v1.5.0)

Type	Description
`ValidationRule<T>`	Validation rule
`Validator<T>`	Validator function
`ValidatorResult<T>`	Validator result
`ValidationError`	Validation error
`StringFieldValidator<T>`	String validator
`NumberFieldValidator<T>`	Number validator
`ArrayFieldValidator<T>`	Array validator
`ObjectFieldValidator<T>`	Object validator
`MinLength`	Min length constraint
`MaxLength`	Max length constraint
`MinValue`	Min value constraint
`MaxValue`	Max value constraint
`Pattern`	Regex pattern
`Sanitizer<T>`	Sanitizer function

WebSocket & Real-Time (v1.5.0)

Type	Description
`WebSocketConfig`	WebSocket config
`WebSocketMessage<T>`	WebSocket message
`EventEmitter<T>`	Event emitter
`PubSub<T>`	Pub/Sub interface
`Publisher<T>`	Publisher
`Subscriber<T>`	Subscriber
`RealTimeChannel<T>`	Real-time channel
`RealTimeClient<T>`	Real-time client
`Stream<T>`	Stream interface
`StreamReader<T>`	Stream reader
`StreamWriter<T>`	Stream writer

Workflow Engine (v1.5.0)

Type	Description
`Workflow<T>`	Workflow definition
`WorkflowInstance<T>`	Workflow instance
`WorkflowStep<T>`	Workflow step
`WorkflowTransition<T>`	Workflow transition
`WorkflowExecution<T>`	Workflow execution
`WorkflowHistory<T>`	Workflow history
`WorkflowEngine<T>`	Workflow engine
`RetryPolicy`	Retry policy
`BPMNProcess<T>`	BPMN process
`BPMNTask<T>`	BPMN task
`BPMNGateway<T>`	BPMN gateway
`BPMNEvent<T>`	BPMN event

AI/ML Types (v1.6.0)

Type	Description
`Tensor<Shape, DType>`	Tensor with shape and data type
`TensorShape`	Tensor shape type
`TensorDType`	Tensor data types (float32, int32, etc.)
`Model<Input, Output>`	Model type
`ModelConfig<T>`	Model configuration
`Layer<T>`	Neural network layer
`LayerType`	Layer types (dense, conv2d, lstm, etc.)
`Optimizer`	Optimizer types (adam, sgd, rmsprop)
`LossFunction`	Loss functions (mse, crossentropy)
`MLMetric`	ML metrics (accuracy, precision, recall)
`Dataset<T>`	Dataset type
`DataLoader<T>`	Data loader type
`Batch<T>`	Batch type
`InferenceResult<T>`	Inference result
`Prediction<T>`	Prediction result

Functional Programming (v1.6.0)

Type	Description
`Functor<T>`	Functor type
`Monad<T>`	Monad type
`Applicative<T>`	Applicative type
`Maybe<T>`	Maybe monad (Some/None)
`Either<L, R>`	Either monad (Left/Right)
`IO<T>`	IO monad
`Reader<R, T>`	Reader monad
`Writer<W, T>`	Writer monad
`State<S, T>`	State monad
`Result<T, E>`	Result type (Ok/Err)
`Lens<S, A>`	Lens for deep access
`Semigroup<T>`	Semigroup type
`Monoid<T>`	Monoid type
`Compose`	Function composition
`Pipe`	Pipeline composition
`Curry`	Curried function

Type-Level Compiler (v1.6.0)

Type	Description
`ASTNode<T>`	AST node type
`ASTNodeType`	AST node types
`Token<T>`	Token type
`TokenType`	Token types (keyword, identifier, etc.)
`Parser<T>`	Parser type
`ParserResult<T>`	Parser result
`CodeGenerator<T>`	Code generator
`GeneratedCode`	Generated code type
`Transformer<T>`	AST transformer
`Formatter`	Code formatter

Distributed Systems (v1.6.0)

Type	Description
`Consensus<T>`	Consensus protocol
`ConsensusState`	Consensus states (leader, follower, candidate)
`Replica<T>`	Replica type
`ReplicationStrategy`	Replication strategies (sync, async)
`Partition<T>`	Partition type
`PartitionStrategy`	Partition strategies (hash, range)
`ConsistencyLevel`	Consistency levels (strong, eventual)
`DistributedLock<T>`	Distributed lock
`TwoPhaseCommit<T>`	Two-phase commit protocol
`TransactionState`	Transaction states
`FailureDetector<T>`	Failure detector
`Heartbeat<T>`	Heartbeat type

Security Types (v1.6.0)

Type	Description
`Authentication<T>`	Authentication configuration
`AuthType`	Auth types (bearer, jwt, oauth2)
`AuthStatus`	Auth status (authenticated, failed)
`Session<T>`	Session type
`Encryption<T>`	Encryption configuration
`EncryptionAlgorithm`	Encryption algorithms
`Hash<T>`	Hash type
`HashAlgorithm`	Hash algorithms (sha256, blake3)
`Signature<T>`	Signature type
`SignatureAlgorithm`	Signature algorithms
`JWT<T>`	JWT token type
`OAuthToken`	OAuth token
`CSRFToken`	CSRF token

Internationalization (v1.6.0)

Type	Description
`Locale`	Locale configuration
`LocaleCode`	Locale codes (en-US, zh-CN, etc.)
`LanguageCode`	Language codes
`CountryCode`	Country codes
`Translation<T>`	Translation mapping
`PluralForm`	Plural forms (one, many, etc.)
`Currency`	Currency types (USD, EUR, CNY)
`TimeZone`	Time zone types
`DateFormat`	Date format configuration
`NumberFormat`	Number format configuration
`Direction`	Text direction (ltr, rtl)

Testing Framework (v1.6.0)

Type	Description
`TestSuite<T>`	Test suite type
`TestCase<T>`	Test case type
`TestResultType`	Test result (passed, failed, skipped)
`Assertion<T>`	Assertion type
`Mock<T>`	Mock type
`Spy<T>`	Spy type
`Fixture<T>`	Fixture type
`Coverage`	Coverage configuration
`CoverageReport<T>`	Coverage report
`Snapshot<T>`	Snapshot type
`Benchmark<T>`	Benchmark type
`BenchmarkResult<T>`	Benchmark result

Plugin System (v1.6.0)

Type	Description
`Plugin<T>`	Plugin type
`PluginLifecycle`	Plugin lifecycle events
`Hook<T>`	Hook type
`HookResult<T>`	Hook result
`Extension<T>`	Extension type
`ExtensionPoint<T>`	Extension point
`Middleware<T>`	Middleware type
`MiddlewarePipeline<T>`	Middleware pipeline
`Module<T>`	Module type
`Registry<T>`	Registry type

Type Inference (v1.6.0)

Type	Description
`Infer<T>`	Extract type from wrapper
`InferReturn<T>`	Extract return type
`InferArgs<T>`	Extract function arguments
`ExtractFunction<T>`	Extract function type
`ExtractClass<T>`	Extract class type
`Reconstruct<T>`	Reconstruct type
`Narrow<T>`	Narrow type with predicate
`Widen<T>`	Widen literal to primitive
`IsAny<T>`	Check if type is any
`IsNever<T>`	Check if type is never
`IsUnknown<T>`	Check if type is unknown
`IsFunction<T>`	Check if type is function
`IsArray<T>`	Check if type is array
`IsUnion<T>`	Check if type is union
`Equals<X, Y>`	Check type equality
`TypeName<T>`	Get type name
`TypeCategory`	Type category

Performance Monitoring (v1.6.0)

Type	Description
`Performance`	Performance monitoring
`PerformanceMetric<T>`	Performance metric
`Timing`	Timing operations
`TimingResult`	Timing result
`MemoryUsage`	Memory usage type
`MemoryMetric<T>`	Memory metric
`CPUUsage`	CPU usage type
`Profiler`	Profiler type
`ProfileResult<T>`	Profile result
`TraceSpan<T>`	Tracing span
`PerformanceTrace<T>`	Performance trace
`PerformanceAlert`	Performance alert

Metaprogramming (v1.7.0)

Type	Description
`MetaType<T>`	Meta type wrapper
`TypeRepr<T>`	Type representation
`GetType<T>`	Extract type from meta
`HasType<T, U>`	Check if type has nested type
`TypePath<T>`	Path to nested type
`TypeDepth<T>`	Maximum nesting depth
`TypeSize<T>`	Type size estimation
`TypeComplexity<T>`	Type complexity score
`AnalyzeType<T>`	Full type analysis
`TypeStats<T>`	Type statistics

Decorator Types (v1.7.0)

Type	Description
`ClassDecorator<T>`	Class decorator type
`MethodDecorator<T>`	Method decorator type
`PropertyDecorator<T>`	Property decorator type
`ParameterDecorator<T>`	Parameter decorator type
`DecoratorResult<T>`	Decorator result type
`DecoratorMetadata<T>`	Decorator metadata
`DecoratorChain<T>`	Decorator chain
`ComposableDecorator<T>`	Composable decorator

Type Generation (v1.7.0)

Type	Description
`GenerateType<T>`	Generate type from schema
`GeneratedType<T>`	Generated type result
`TypeBuilder<T>`	Type builder interface
`SchemaToType<S>`	Convert schema to type
`TypeFromSchema<T, S>`	Type from schema definition
`GeneratedClass<T>`	Generated class type
`GeneratedInterface<T>`	Generated interface
`GeneratedEnum<T>`	Generated enum type

Framework Types (v1.7.0)

Type	Description
`NestModule<T>`	NestJS module type
`NestController<T>`	NestJS controller type
`NestService<T>`	NestJS service type
`ExpressApp<T>`	Express app type
`ExpressRouter<T>`	Express router type
`ExpressMiddleware<T>`	Express middleware
`FastifyApp<T>`	Fastify app type
`FastifyPlugin<T>`	Fastify plugin type
`KoaApp<T>`	Koa app type
`KoaMiddleware<T>`	Koa middleware type

TypeSafe Config (v1.7.0)

Type	Description
`SafeConfig<T>`	Type-safe configuration
`ConfigDefinition<T>`	Config definition
`ConfigValue<T, K>`	Typed config value
`ConfigSchema<T>`	Config schema type
`EnvDefinition<T>`	Environment definition
`EnvValue<K>`	Environment variable value
`ConfigPath<T>`	Config path type
`ValidateConfig<T>`	Config validation type
`MergeConfig<A, B>`	Merge configurations
`DeepConfig<T>`	Deep config type

Type Visualization (v1.7.0)

Type	Description
`VisualizeType<T>`	Visualize type structure
`TypeDiagram<T>`	Type diagram representation
`TypeTree<T>`	Type tree visualization
`PrintType<T>`	Printable type string
`TypeFormat<T>`	Type formatting options
`TypeName<T>`	Extract type name
`TypeStructure<T>`	Type structure info
`ExpandType<T>`	Expanded type display

Crypto Types (v1.7.0)

Type	Description
`HashAlgorithm`	Hash algorithm types
`HashOutput<L>`	Hash output type
`CryptoKey<T>`	Cryptographic key type
`KeyPair<T>`	Key pair type
`Signature<T>`	Signature type
`EncryptedData<T>`	Encrypted data type
`CryptoConfig<T>`	Crypto configuration
`CryptoProvider<T>`	Crypto provider interface
`HashFunction<T>`	Hash function type
`EncryptFunction<T>`	Encryption function
`DecryptFunction<T>`	Decryption function

Date/Time Types (v1.7.0)

Type	Description
`DateTime<T>`	DateTime type
`DateFormat<T>`	Date format type
`TimeFormat<T>`	Time format type
`Timestamp<T>`	Timestamp type
`Duration<T>`	Duration type
`DateRange<T>`	Date range type
`TimeZoneType`	Time zone type
`UTCDate<T>`	UTC date type
`LocalDate<T>`	Local date type
`ISODateString`	ISO date string
`ParsedDate<T>`	Parsed date type
`FormatDate<T, F>`	Formatted date type

Advanced Math (v1.7.0)

Type	Description
`Add<A, B>`	Type-level addition
`Subtract<A, B>`	Type-level subtraction
`Multiply<A, B>`	Type-level multiplication
`Divide<A, B>`	Type-level division
`Power<A, B>`	Power operation
`Sqrt<N>`	Square root
`Sin<N>`, `Cos<N>`	Trigonometric functions
`PI`, `E`	Math constants
`Factorial<N>`	Factorial
`Fibonacci<N>`	Fibonacci number
`IsPrime<N>`	Prime check
`Mean<T>`, `Median<T>`	Statistical functions
`IsEven<N>`, `IsOdd<N>`	Even/Odd check

Type Inference Engine (v1.8.0)

Type	Description
`InferEngine<T>`	Type inference engine
`InferContext<T>`	Inference context with type variables
`InferResult<T>`	Inference result (success/error)
`Deduce<T>`	Type deduction utility
`Constraint<T>`	Type constraint definition
`Substitution<T>`	Type substitution
`TypeVar`	Type variable representation
`Polymorphic<T>`	Polymorphic type
`Kind`, `KindArrow`, `KindCheck<T>`	Kind system
`Effect<T>`, `EffectRow`, `Effectful<T>`	Effect system
`Pure<T>`, `Impure<T>`	Pure/impure computations

Type-Level Network (v1.8.0)

Type	Description
`Protocol`, `ProtocolVersion`	Protocol definition
`HTTPMethod`, `HTTPHeaders`	HTTP types
`HTTPRequest<T>`, `HTTPResponse<T>`	HTTP request/response
`WSMessage<T>`, `WSFrame`, `WSOpcode`	WebSocket types
`gRPCService`, `gRPCMethod<T>`, `gRPCRequest<T>`	gRPC types
`TCPPacket<T>`, `UDPPacket<T>`, `SocketAddress`	TCP/UDP types
`ProtoMessage`, `ProtoField<T>`	Protocol Buffers
`MQTTPacket<T>`, `MQTTQoS`	MQTT types

Type-Level File System (v1.8.0)

Type	Description
`Path`, `AbsolutePath`, `RelativePath`	Path types
`ParsePath<P>`, `JoinPath<P1, P2>`	Path operations
`File`, `FileContent<T>`, `FileType`	File types
`Directory`, `DirectoryEntry<T>`	Directory types
`FileWatch<T>`, `WatchEvent<T>`	File watching
`VirtualFS<T>`, `VFSNode<T>`	Virtual file system
`Archive`, `ArchiveFormat`	Archive types
`MimeType`, `FileMetadata`	File metadata

Type-Level Compiler (v1.8.0)

Type	Description
`CompilerPlugin<T>`	Compiler plugin
`Macro<T>`, `MacroExpansion<T>`	Macro system
`Diagnostic`, `DiagnosticLevel`	Compiler diagnostics
`SymbolTable`, `CompilerSymbol`	Symbol management
`Visitor<T>`, `TransformPass<T>`	AST visitor pattern

Type-Level Debugging (v1.8.0)

Type	Description
`DebugSession`, `DebugStatus`	Debug session
`Breakpoint`, `BreakpointLocation`	Breakpoint types
`StackTrace`, `DebugStackFrame`	Stack trace
`Variable`, `VariableValue`	Variable inspection
`MemoryRegion`, `MemoryAddress`	Memory debugging
`DebugProtocol`	Debug protocol (DAP)
`REPL`, `REPLCommand<T>`	REPL interface

Type-Level Optimizer (v1.8.0)

Type	Description
`Optimization<T>`, `OptimizationLevel`	Optimization types
`TreeShake<T>`, `ShallowResult<T>`	Tree shaking
`DeadCode`, `DeadCodeAnalysis<T>`	Dead code elimination
`Inline<T>`, `InlineCandidate<T>`	Function inlining
`ConstantFold<T>`	Constant folding
`MinifyType<T>`	Type minification
`PerformanceHint<T>`	Optimization hints

Type-Level Docgen (v1.8.0)

Type	Description
`Documentation<T>`, `DocGenEntry<T>`	Documentation structure
`JSDoc<T>`, `JSDocTag<T>`	JSDoc parsing
`APIDoc<T>`, `APIEndpoint<T>`	API documentation
`DocSearch<T>`, `SearchIndex`	Documentation search
`DocNavigation<T>`, `DocSidebar<T>`	Documentation navigation
`DocFormat`	Output format (markdown, html, json)

Type-Level Test Framework (v1.8.0)

Type	Description
`TestGroup`, `TestSetup`, `TestTeardown`	Test organization
`Assert`, `AssertExtends<T, U>`	Type assertions
`MockFunction`, `TimerMock`	Mock utilities
`CoverageProvider`, `CoverageReporter`	Coverage types
`SnapshotSerializer`	Snapshot serialization
`Worker`, `WorkerPool`	Parallel test execution

Type-Level Package Manager (v1.8.0)

Type	Description
`PkgPackage<T>`, `PackageName`	Package types
`Dependencies`, `Dependency<T>`	Dependency types
`SemVer`, `SemVerRange`, `SemVerDiff`	SemVer types
`LockFile<T>`, `LockFormat`	Lock file types
`Workspace<T>`, `WorkspaceGraph<T>`	Workspace/monorepo
`RegistryAuth`, `RegistryPackage<T>`	Registry types
`Vulnerability`	Security vulnerability

Type-Level Search (v1.7.0)

Type	Description
`Sort<T, Order>`	Sort tuple
`QuickSort<T>`	Quick sort algorithm
`MergeSort<T>`	Merge sort algorithm
`BinarySearch<T, V>`	Binary search
`Includes<T, V>`	Check inclusion
`Filter<T, P>`	Filter by predicate
`Take<T, N>`	Take first N elements
`Drop<T, N>`	Drop first N elements
`Chunk<T, N>`	Chunk into sublists
`Union<A, B>`	Set union
`Intersection<A, B>`	Set intersection
`Unique<T>`	Unique elements
`Reverse<T>`	Reverse tuple
`Zip<A, B>`	Zip tuples
`Flatten<T>`	Flatten nested tuples
`MinElement<T>`, `MaxElement<T>`	Min/Max element

Quantum Computing (v1.9.0)

Type	Description
`Qubit<T>`, `QubitState`, `QubitArray<N, T>`	Qubit types
`QuantumGate`, `Hadamard`, `PauliX/Y/Z`	Quantum gates
`CNOT`, `Toffoli`, `PhaseGate`	Multi-qubit gates
`QuantumCircuit<N>`, `CircuitGate<T>`	Circuit types
`QuantumRegister<N>`, `ClassicalRegister<N>`	Register types
`QuantumState<N>`, `StateVector<N>`	State representation
`BellState`, `GHZState<N>`, `EntangledPair`	Entanglement types
`Grover<T>`, `Shor`, `QFT<N>`, `VQE`, `QAOA`	Quantum algorithms
`QuantumHardware`, `QuantumBackend`	Hardware types

Game Development (v1.9.0)

Type	Description
`Entity<T>`, `EntityId`, `EntityComponent<T>`	Entity types
`Component`, `Position2D/3D`, `Velocity`	Component types
`GameState<T>`, `GameAction<T>`, `GameStore<T>`	State management
`InputState`, `KeyboardState`, `MouseState`, `GamepadState`	Input handling
`PhysicsBody<T>`, `ColliderShape`, `Collision<T>`	Physics types
`Scene<T>`, `SceneNode<T>`, `Camera<T>`	Scene graph
`Material`, `Shader`, `Texture`, `Mesh`	Rendering types
`AudioClip`, `AudioSource`, `AudioListener`	Audio types
`Level`, `SpawnPoint`, `Checkpoint`, `Objective`	Level design

Blockchain (v1.9.0)

Type	Description
`Block<T>`, `BlockHeader`, `BlockBody`	Block types
`Transaction`, `LegacyTransaction`, `EIP1559Transaction`	Transaction types
`SmartContract<A>`, `ContractABI`	Smart contract types
`Address`, `PublicKey`, `PrivateKey`, `Signature`	Address/crypto types
`TokenInfo`, `FungibleTokenBalance`, `NonFungibleToken`	Token types
`WalletAccount`, `WalletConnection`, `WalletProvider`	Wallet types
`Chain`, `ChainId`, `NetworkConfig`	Network types
`GasEstimate`, `GasPrice`, `GasFees`	Gas types
`JsonRpcProvider`, `JsonRpcRequest`	JSON-RPC types

Language Processing (v1.9.0)

Type	Description
`Token<T>`, `TokenType`, `TokenStream<T>`	Tokenization
`Sentence<T>`, `Paragraph<S>`, `Document<P>`	Document structure
`ParseTree`, `ParseNode<T>`, `Grammar`	Parsing types
`LanguageModel<T>`, `Vocabulary<T>`, `Embedding<T>`	Language models
`SemanticRole`, `SemanticFrame`, `EntityMention`	Semantic analysis
`Morpheme`, `PartOfSpeech`, `MorphologicalFeatures`	Morphology
`SentimentResult`, `EmotionResult`	Sentiment analysis
`TranslationResult`, `Locale`, `LanguagePair`	Translation types
`ClassificationResult`, `TopicInfo`, `QAResult`	Classification/QA

Graphics (v1.9.0)

Type	Description
`Color`, `RGB`, `RGBA`, `HSL`, `HexColor`	Color types
`Vector2/3/4`, `Point2D/3D`, `Size2D/3D`	Vector types
`Matrix2x2`, `Matrix3x3`, `Matrix4x4`, `Quaternion`	Matrix types
`Transform`, `Translation`, `Rotation`, `Scale`	Transform types
`Point`, `Line`, `Triangle`, `Quad`, `Polygon`	Primitive types
`Circle`, `Rectangle`, `Sphere`, `Box`	Shape types
`VertexBuffer`, `IndexBuffer`, `UniformBuffer`	Buffer types
`VertexShader`, `FragmentShader`, `ComputeShader`	Shader types
`Texture`, `SamplerDescriptor`, `TextureFormat`	Texture types
`RenderPipeline`, `ComputePipeline`	Pipeline types
`Light`, `DirectionalLight`, `PointLight`, `SpotLight`	Light types

Audio Processing (v1.9.0)

Type	Description
`AudioSample`, `AudioBufferData`, `AudioChannel`	Audio data
`SampleRate`, `BitDepth`, `SampleFormat`	Format types
`WaveformType`, `ADSREnvelope`, `Envelope`	Waveform/envelope
`Frequency`, `NoteName`, `Octave`, `NotePitch`	Musical pitch
`ReverbEffect`, `DelayEffect`, `FilterEffect`	Audio effects
`CompressorEffect`, `EqualizerEffect`, `DistortionEffect`	More effects
`MIDINote`, `MIDIEvent`, `MIDISequence`, `MIDITrack`	MIDI types
`OscillatorOptions`, `LFOOptions`, `SynthesizerPatch`	Synthesizer types
`FFTResult`, `Spectrum`, `Spectrogram`	Analysis types
`AudioFormat`, `AudioEncodingOptions`, `AudioMetadata`	Encoding types

Animation (v1.9.0)

Type	Description
`Animation<T>`, `AnimationFrame<T>`, `AnimationTimeline<T>`	Animation core
`Keyframe<T>`, `KeyframeSequence<T>`, `KeyframeInterpolation`	Keyframe types
`EasingType`, `EasingPreset`, `CubicBezier`, `StepsEasing`	Easing types
`Transition<T>`, `TransitionShorthand`	CSS transitions
`SpringConfig`, `SpringState`, `SpringPreset`	Spring physics
`SpriteSheet`, `SpriteFrame`, `SpriteAnimation`	Sprite animation
`MorphTarget`, `MorphWeights`, `MorphAnimation`	Morph targets
`Skeleton`, `Bone`, `Joint`, `Pose`	Skeletal animation
`AnimationState`, `AnimationTransition`, `AnimationLayer`	State machine
`IKChain`, `IKTarget`, `IKSolverType`	Inverse kinematics
`AnimationTrack`, `AnimationClip`, `AnimationEvent`	Timeline types

Error Handling (v1.9.0)

Type	Description
`Result<T, E>`, `Success<T>`, `Failure<E>`	Result type
`Ok<T>`, `Err<E>`, `AsyncResult<T, E>`	Result helpers
`Try<T, E>`, `TryResult<T>`, `CatchHandler<T, E>`	Try-catch types
`Either<L, R>`, `Left<L>`, `Right<R>`	Either type
`Option<T>`, `Some<T>`, `None`	Option type
`ErrorChain<T>`, `ChainLink<T>`	Error chain
`RecoveryStrategy`, `RecoveryOptions<T>`, `RetryConfig`	Recovery types
`ValidationError<T>`, `FieldError<T>`, `ValidationResult<T>`	Validation errors
`NetworkError`, `AuthenticationError`, `NotFoundError`	Domain errors
`Panic`, `FatalError`, `BusinessError`, `SystemError`	Error categories

Event System (v1.9.0)

Type	Description
`Event<T>`, `TypedEvent<K, V>`, `EventMap`	Event types
`EventEmitter<T>`, `EventHandler<T>`	Emitter types
`EventBus<T>`, `BusEvent<T>`, `EventBusMiddleware`	Event bus
`EventDispatcher<T>`, `DispatchResult<T>`	Dispatcher types
`EventQueue<T>`, `QueuedEvent<T>`, `QueuePriority`	Queue types
`Subscription`, `SubscriptionOptions<T>`, `SubscriptionFilter<T>`	Subscription
`EventPattern`, `PatternMatch<T>`, `PatternResult<T>`	Pattern matching
`EventAggregator<T>`, `AggregatedEvent<T>`	Aggregation types
`EventHistory<T>`, `ReplayOptions<T>`	History types
`DomainEvent<A, T>`, `EventSourcedAggregate<I>`	Domain events

Reactive Programming (v1.9.0)

Type	Description
`Observable<T>`, `Observer<T>`, `Subscription`	Observable pattern
`Subject<T>`, `BehaviorSubject<T>`, `ReplaySubject<T>`	Subject types
`OperatorFunction<T, R>`, `MapOperator`, `FilterOperator`	Operators
`DebounceOptions`, `ThrottleOptions`, `RetryOptions`	Operator options
`Stream<T>`, `StreamValue<T>`, `StreamError`	Stream types
`Signal<T>`, `WritableSignal<T>`, `Computed<T>`	Signal types
`Effect`, `EffectCallback`, `SignalOptions<T>`	Effect types
`Scheduler`, `SchedulerAction<T>`, `SchedulerLike`	Scheduler types
`BackpressureStrategy`, `BackpressureConfig`	Backpressure
`Flow<T>`, `FlowState`, `FlowController<T>`	Flow types
`Channel<T>`, `BufferedChannel<T>`, `ChannelConfig<T>`	Channel types
`CombineLatest<T>`, `Zip<T>`, `ForkJoinResult<T>`	Combinators

Ultimate Type Utilities (v1.10.0)

Type	Description
`Perfect<T>`, `Complete<T>`, `Final<T>`, `Ultimate<T>`	Ultimate type constraints
`PerfectPick<T, K>`, `PerfectOmit<T, K>`, `PerfectPartial<T>`, `PerfectRequired<T>`	Perfect operations
`CompleteKeys<T>`, `CompleteValues<T>`, `CompleteEntries<T>`	Completeness types
`Finalize<T>`, `Frozen<T>`, `Sealed<T>`, `Locked<T>`	Finalization types
`Validate<T, Schema>`, `Validated<T, Schema>`, `ValidationResult<T>`	Type validation
`AssertType<T, U>`, `AssertShape<T, Shape>`, `AssertKeys<T, K>`	Type assertions

Higher-Kinded Types (v1.10.0)

Type	Description
`HKT<F, A>`, `Kind<F, A>`, `Kind2<F, A, B>`, `Kind3<F, A, B, C>`	Higher-kinded types
`Recurse<T, N>`, `RecurseWhile<T, Cond, F>`, `RecurseUntil<T, Cond, F>`	Type recursion
`Memoize<T>`, `Memoized<T>`, `CacheKey<T>`, `CacheValue<T>`	Type memoization
`PartialApply<F, Args>`, `Curried<F>`, `Uncurried<F>`, `FlipArgs<F>`	Partial application
`Compose<F, G>`, `Pipe<F, G>`, `ComposeAll<Fs>`, `PipeAll<Fs>`	Type composition
`Fix<F>`, `Unfix<F, T>`, `Mu<F>`, `Nu<F>`	Fixpoint types
`ChurchNumeral`, `ChurchBoolean`, `ChurchList<T>`, `ChurchPair<A, B>`	Church encoding
`Functor<F>`, `Apply<F>`, `Applicative<F>`, `Monad<F>`	Type classes
`Either<L, R>`, `Maybe<T>`, `Left<L>`, `Right<R>`, `Just<T>`, `Nothing`	Algebraic types

Framework Integrations (v1.10.0)

Type	Description
`AngularComponent<T>`, `AngularService<T>`, `AngularPipe<I, O>`, `AngularDirective<T>`	Angular types
`AngularModule`, `AngularSignal<T>`, `AngularComputed<T>`, `AngularEffect`	Angular utilities
`SvelteComponent<P, E, S>`, `SvelteStore<T>`, `SvelteAction<E, P>`, `SvelteTransition`	Svelte types
`EmberComponent<A>`, `EmberService<T>`, `EmberRoute<M, P>`, `EmberController<M, Q>`	Ember types
`BackboneModel<A>`, `BackboneCollection<M>`, `BackboneView<M, E>`, `BackboneRouter`	Backbone types
`PreactComponent<P, S>`, `PreactFC<P>`, `PreactHooks`, `PreactContext<T>`	Preact types
`SolidComponent<P>`, `SolidSignal<T>`, `SolidResource<T>`, `SolidMemo<T>`	Solid types
`LitElement<P>`, `LitPropertyConfig<T>`, `LitDecorator`, `LitCustomElement<T>`	Lit types
`StencilComponent<P, S>`, `StencilProp<T>`, `StencilEvent<T>`, `StencilEventEmitter<T>`	Stencil types
`AlpineComponent<D, M>`, `AlpineStore<S>`, `AlpineMagic<T>`, `AlpineReactive<T>`	Alpine.js types

Build Tools (v1.10.0)

Type	Description
`WebpackConfig`, `WebpackModule`, `WebpackPlugin`, `WebpackLoader`	Webpack types
`WebpackDevServer`, `WebpackOptimization`, `WebpackSplitChunks`	Webpack utilities
`ViteConfig`, `VitePlugin`, `ViteBuild`, `ViteServer`, `ViteDevServer`	Vite types
`RollupConfig`, `RollupOutput`, `RollupPlugin`, `RollupBuild`	Rollup types
`ESBuildOptions`, `ESBuildPlugin`, `ESBuildResult`, `ESBuildMessage`	esbuild types
`ParcelConfig`, `ParcelTransformer`, `ParcelNamer`	Parcel types
`TurbopackConfig`, `TurbopackLoader`, `TurbopackPlugin`	Turbopack types
`BabelConfig`, `BabelPreset<T>`, `BabelPlugin<T>`, `BabelTransformResult`	Babel types
`SWCConfig`, `SWCParser`, `SWCTransform`, `SWCMinifyOptions`	SWC types

DevOps (v1.10.0)

Type	Description
`Dockerfile`, `DockerImage`, `DockerContainer`, `DockerCompose`	Docker types
`DockerComposeService`, `DockerComposeBuild`, `DockerComposeDeploy`	Docker Compose
`K8sDeployment`, `K8sService`, `K8sPod`, `K8sConfigMap`, `K8sSecret`, `K8sIngress`	Kubernetes types
`K8sContainer`, `K8sVolume`, `K8sProbe`, `K8sAffinity`, `K8sToleration`	K8s utilities
`TerraformResource<T>`, `TerraformModule<T>`, `TerraformProvider<T>`	Terraform types
`TerraformVariable<T>`, `TerraformOutput`, `TerraformConfig`	Terraform utilities
`AnsiblePlaybook`, `AnsibleTask`, `AnsibleRole`, `AnsibleInventory`	Ansible types
`GitHubWorkflow`, `GitHubJob`, `GitHubStep`	GitHub Actions
`GitLabPipeline`, `GitLabJob`, `GitLabCache`, `GitLabArtifacts`	GitLab CI
`JenkinsPipeline`, `JenkinsStage`, `JenkinsStep`	Jenkins types
`CircleCIConfig`, `CircleCIJob`, `CircleCIStep`	CircleCI types
`AWSResource<T>`, `AzureResource<T>`, `GCPResource<T>`, `CloudFormation`	Cloud types
`HelmChart`, `HelmRelease`, `HelmValues`	Helm types

Quality Assurance (v1.10.0)

Type	Description
`ESLintConfig`, `ESLintRule`, `ESLintPlugin`, `ESLintResult`	ESLint types
`PrettierConfig`, `FormatOptions`, `FormatResult`	Prettier types
`CodeAnalysis<T>`, `ComplexityReport`, `CodeMetrics`	Code analysis
`MaintainabilityIndex`, `TechnicalDebt<T>`, `DebtItem`	Code quality
`SecurityAudit<T>`, `Vulnerability`, `SecurityReport<T>`	Security types
`DependencyAudit<T>`, `OutdatedPackage`, `LicenseCheck<T>`	Dependency types
`PerformanceAudit<T>`, `BundleAnalysis<T>`, `PerformanceMetric`	Performance types
`LighthouseScore`, `QualityGate<T>`, `GateCondition`, `GateResult`	Quality gates
`TestCoverage`, `TestResult`, `TestSummary`, `TestPerformance`	Testing types
`CodeQualityMetrics`, `MaintainabilityMetrics`, `SecurityMetrics`	Quality metrics

Architecture Patterns (v1.10.0)

Type	Description
`Layer<T>`, `PresentationLayer<T>`, `BusinessLayer<T>`, `DataAccessLayer<T>`	Layered architecture
`Entity<T>`, `UseCase<I, O>`, `Gateway<T>`, `Presenter<I, O>`	Clean architecture
`Port<M>`, `InboundPort<I, O>`, `OutboundPort<I, O>`, `Adapter<P>`	Hexagonal architecture
`Hexagon<D, I, O>`, `Core<D>`	Hexagonal core
`Aggregate<E, Es>`, `ValueObject<T>`, `DomainEvent<D>`, `Repository<E, I>`	DDD types
`DomainService<I, O>`, `BoundedContext<A, R, S, E>`, `ContextMap<C>`	DDD utilities
`ContextRelationship`, `ContextBoundary`	Bounded context
`Command<T, P>`, `Query<T, P>`, `CommandHandler<C>`, `QueryHandler<Q>`	CQRS types
`CommandBus`, `QueryBus`	CQRS bus
`EventStream<E>`, `EventStore<E>`, `Projection<E, S>`, `Saga<S>`	Event sourcing
`CoreSystem<F>`, `PluginInterface<P>`, `ExtensionPoint<E>`	Microkernel
`ProcessingUnit<D>`, `VirtualizedMiddleware<P>`, `DataGrid<D>`	Space-based

Data Formats (v1.10.0)

Type	Description
`JSONValue`, `JSONSchema<T>`, `JSONPath<T>`, `JSONPatch<T>`	JSON types
`XMLNode<T>`, `XMLAttribute<T>`, `XMLSchema<T>`, `XPath<T>`	XML types
`YAMLValue<T>`, `YAMLNode<T>`, `YAMLPath<T>`	YAML types
`CSVRow<T>`, `CSVHeader`, `CSVConfig<T>`	CSV types
`TOMLValue<T>`, `TOMLTable<T>`, `TOMLKey`	TOML types
`ProtoMessage<T>`, `ProtoField<T>`, `ProtoEnum<T>`, `ProtoService<T>`	Protocol Buffers
`MessagePackValue<T>`, `MessagePackType`	MessagePack
`AvroSchema<T>`, `AvroRecord<T>`, `AvroField<T>`	Avro types
`BSONValue<T>`, `BSONDocument<T>`	BSON types

Accessibility (v1.10.0)

Type	Description
`ARIARole`, `ARIARoleCategory`, `ARIAProperty`, `ARIAState`	ARIA core types
`AccessibilityProps`, `ButtonAccessibilityProps`, `InputAccessibilityProps`	Accessibility props
`FocusState`, `FocusTrap<T>`, `FocusManager<T>`, `FocusableElement`	Focus types
`ScreenReaderAnnouncement`, `LiveRegion<T>`, `VisuallyHiddenProps`	Screen reader
`KeyboardNavigation<T>`, `KeyHandler<T>`, `KeyBinding`, `KeyCode`	Keyboard navigation
`ContrastRatio`, `WCAGLevel`, `ColorContrast<T>`, `ColorContrastResult`	Color contrast
`MotionPreference`, `AnimationOptions<T>`, `MotionSafeAnimation<T>`	Motion sensitivity
`AccessibilityNode<T>`, `AccessibilityTree<T>`	Accessibility tree
`AccessibilityViolation`, `AccessibilityCheckResult`, `WCAGCriterion`	Accessibility check
`FormFieldAccessibility`, `LandmarkType`, `AltText`, `AccessibleName`	Form & landmarks

Final Polish (v1.10.0)

Type	Description
`Optimize<T>`, `OptimizeDeep<T>`, `OptimizeFor<T, Target>`	Type optimization
`SimplifyAll<T>`, `FlattenAll<T>`, `NormalizeAll<T>`, `CleanAll<T>`	Simplification
`Deduplicate<T>`, `RemoveDuplicates<T>`, `Unique<T, S>`	Deduplication
`Minify<T>`, `Shorten<T>`, `Compact<T>`, `CompactDeep<T>`	Minification
`DebugType<T>`, `ExplainType<T>`, `PrettyType<T>`, `ShowType<T>`	Debugging
`TypeInfo<T>`, `TypeStructure<T>`, `TypePath<T, P>`, `TypeAtPath<T, P>`	Type analysis
`ValidateAll<T, S>`, `CheckAll<T, C>`, `VerifyAll<T, S>`, `TestAll<T, P>`	Validation
`Document<T, M>`, `Describe<T, D>`, `Example<T, E>`, `Annotate<T, A>`	Documentation
`Finalize<T>`, `Freeze<T>`, `Lock<T>`, `Seal<T>`, `Immutable<T>`	Finalization
`IsAny<T>`, `IsNever<T>`, `IsUnknown<T>`, `IsNullable<T>`	Type checks
`IsArray<T>`, `IsObject<T>`, `IsFunction<T>`, `IsPrimitive<T>`	Type guards
`IsUnion<T>`, `IsIntersection<T>`, `IsOptional<T, K>`, `IsReadonly<T, K>`	Type utilities
`Equals<T, U>`, `Extends<T, U>`, `HasKey<T, K>`, `HasKeys<T, K>`	Type comparisons

Examples

import type {
  SnakeCase,
  CamelCaseKeys,
  UnionToIntersection,
  AtLeastOne
} from 'uni-types'

// String case conversion
SnakeCase<'XMLParser'>  // 'xml_parser'
CamelCaseKeys<{ user_name: string, user_age: number }>
// { userName: string, userAge: number }

// Union to intersection
UnionToIntersection<{ a: string } | { b: number }>
// { a: string } & { b: number }

// Require at least one property
type Options = AtLeastOne<{ a?: string; b?: number; c?: boolean }>
// Must have at least one of a, b, or c

Development

# Install dependencies
pnpm install

# Run tests
pnpm test

# Build
pnpm build

# Type check
pnpm typecheck

# Start docs dev server
pnpm docs:dev

Contributing

Contributions are welcome! Please read our Contributing Guide for details.

License

MIT © saqqdy

Name		Name	Last commit message	Last commit date
Latest commit History 70 Commits
.github		.github
.vscode		.vscode
docs		docs
internal		internal
scripts		scripts
src		src
tests		tests
.codacy.yml		.codacy.yml
.gitattributes		.gitattributes
.gitignore		.gitignore
.markdownlint.json		.markdownlint.json
.node-version		.node-version
.npmrc		.npmrc
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
README_CN.md		README_CN.md
eslint.config.mjs		eslint.config.mjs
package.json		package.json
pnpm-lock.yaml		pnpm-lock.yaml
sonar-project.properties		sonar-project.properties
tsconfig.json		tsconfig.json
tsdown.config.ts		tsdown.config.ts
vitest.config.ts		vitest.config.ts

Uh oh!

Folders and files

Latest commit

History

Repository files navigation

uni-types

Features

Installation

Quick Start

API Reference

Core Operations

Tuple Operations

Deep Operations

Type Guards

Conditional Types (v1.1.0)

Brand Types (v1.1.0)

Function Utilities (v1.1.0)

Template Literal Utilities (v1.1.0)

Numeric Utilities (v1.1.0)

Path Types

Key Utilities (v1.1.0)

Record Utilities (v1.1.0)

Schema Validation (v1.2.0)

Ecosystem Integration (v1.2.0)

Performance Optimization (v1.2.0)

Advanced Type Patterns (v1.3.0)

Type-Level Collections (v1.3.0)

Type Assertions & Constraints (v1.3.0)

String Operations (v1.3.0)

Promise & Async Utilities (v1.3.0)

Object Operations (v1.3.0)

JSON Schema (v1.3.0)

Extended Ecosystem (v1.3.0)

Type-Level Algorithms (v1.4.0)

Type-Level Parsers (v1.4.0)

Type-Level State Machines (v1.4.0)

Type-Level Data Structures (v1.4.0)

Type-Level HTTP & API (v1.4.0)

Type-Level Database (v1.4.0)

Type-Level Concurrency (v1.4.0)

Type-Level Interop (v1.4.0)

Type-Level Testing (v1.4.0)

Authorization & Permissions (v1.5.0)

Caching Strategies (v1.5.0)

Configuration Management (v1.5.0)

Event-Driven Architecture (v1.5.0)

GraphQL Integration (v1.5.0)

Logging & Observability (v1.5.0)

Microservices Architecture (v1.5.0)

Validation Rules (v1.5.0)

WebSocket & Real-Time (v1.5.0)

Workflow Engine (v1.5.0)

AI/ML Types (v1.6.0)

Functional Programming (v1.6.0)

Type-Level Compiler (v1.6.0)

Distributed Systems (v1.6.0)

Security Types (v1.6.0)

Internationalization (v1.6.0)

Testing Framework (v1.6.0)

Plugin System (v1.6.0)

Type Inference (v1.6.0)

Performance Monitoring (v1.6.0)

Metaprogramming (v1.7.0)

Decorator Types (v1.7.0)

Type Generation (v1.7.0)

Framework Types (v1.7.0)

TypeSafe Config (v1.7.0)

Type Visualization (v1.7.0)

Crypto Types (v1.7.0)

Date/Time Types (v1.7.0)

Advanced Math (v1.7.0)

Type Inference Engine (v1.8.0)

Type-Level Network (v1.8.0)

Type-Level File System (v1.8.0)

Type-Level Compiler (v1.8.0)

Type-Level Debugging (v1.8.0)

Type-Level Optimizer (v1.8.0)

Type-Level Docgen (v1.8.0)

Type-Level Test Framework (v1.8.0)

Type-Level Package Manager (v1.8.0)

Packages