arktypeio/arktype

Features

• Input Validation - Checks input data against schemas and returns a typed output or throws an error for invalid data.
• Runtime Type Validation - Provides a runtime validation library that synchronizes TypeScript types with data validation during application execution.
• Runtime Data Validation - Validates unknown data against schemas at runtime to ensure structural integrity and type safety.
• Input Shape Manipulation - Transforms the shape of input data by piping transformation functions around validation steps.
• Numeric Range Constraints - Enforces minimum and maximum boundaries, integer requirements, and multiples on numeric values.
• Transformation Chains - Pipes values through a sequential chain of transformations and validations that fail on the first error.
• Conditional Enforcement - Enforces dynamic runtime conditions such as range limits or format requirements to narrow allowed values.
• JIT Schema Compilation - Optimizes performance by compiling schema definitions into specialized executable functions for faster data processing.
• Type Safe Parsing - Transforms raw input and environment variables into structured objects with automatic type inference and casting.
• Schema Behavior Configuration - Sets global or scoped rules for handling undeclared keys, optional properties, and validation failure responses.
• Complex Structure Validation - Checks that a value conforms to complex structures including objects, arrays, Maps, Sets, or TypedArrays.
• Numeric Type Utilities - Provides utility types to verify if a value is a number, integer, or specific constant like Infinity or NaN.
• Type Compositions - Builds sophisticated data models by combining recursive types, branded types, and complex constraints.
• Object Type Composition - Allows the creation of composite types by extending or intersecting multiple object definitions.
• Set-Theoretic Type Analysis - Analyzes relationships between types using mathematical set operations to determine intersections and subtype compatibility.
• Custom Validation Functions - Integrates user-defined synchronous and asynchronous functions into the validation process to enforce complex constraints.
• Data Schema Definitions - Enables the definition of type-safe validation schemas using native TypeScript syntax.
• Transformation Validators - Processes data through a sequence of morphs to change its form after passing validation.
• Data Transformation Pipelines - Transforms input values through a sequence of validation and modification steps before producing a final typed output.
• Object Schema Definitions - Provides utilities for defining complex object structures and their properties for runtime validation.
• Primitive Type Schemas - Defines schemas for basic primitive types including boolean, bigint, symbol, null, and undefined.
• Schema Type Manipulations - Provides utilities to pick, omit, and merge properties of existing schemas to create new derived type definitions.
• Type-Safe Data Transformation Toolsets - Implements a system for morphing and piping data through validation steps to produce structured, type-safe outputs.
• Schema-Driven Type Inference - Generates runtime validation logic directly from TypeScript type definitions to ensure a single source of truth.
• Branded Types - Attaches unique type-level symbols to validated data to distinguish verified values from raw inputs at compile time.
• Schema Orchestration - Acts as a schema orchestrator managing recursive types, branded types, and complex type compositions with runtime enforcement.
• Standard Schema Validators - Implements a common schema definition format to ensure interoperability with other validation libraries like Zod or Valibot.
• String - Enforces inclusive or exclusive minimum and maximum length requirements for string inputs.
• Validation Result Serializers - Converts validation failures into structured JSON maps grouped by path for programmatic access.
• Enum Definitions - Generates runtime types based on existing enums or enum-like objects for strict categorical data integrity.
• Object Property Selectors - Creates new schemas by picking a specific subset of properties to keep or omitting unwanted properties from an object.
• Constraint Error Generation - Validates data and throws formatted errors if the input fails defined type constraints.
• Tuple Schema Definitions - Specifies ordered structures with prefix, optional, variadic, or postfix elements for runtime validation.
• Environment Variable Validation - Parses values from environment sources against a schema to produce type-safe objects with automatic conversions.
• Type-Safe Regular Expressions - Infers precise string types from regular expression syntax to provide static safety for matching.
• Bidirectional Schema Synchronization - Synchronizes JSON Schema definitions between internal type representations and standard formats for bidirectional tool compatibility.
• Generic Type Constraints - Limits the types passed to generic parameters to ensure type safety and support for specific operators.
• Type Constraint Combinations - Creates new types that enforce the constraints of two or more existing types simultaneously.
• JSON Schema Converters - Converts internal validation definitions into standard JSON Schema formats for interoperability.
• Type-to-Schema Generation - Converts internal type definitions into JSON Schema format for use with external tools.
• Runtime Schema Export - Translates runtime validation formats into standard JSON schema specifications for compatibility with external toolsets.
• Type Aliases - Creates a resolution space for named aliases to reuse complex types within string syntax.
• Object Property Transformers - Transforms object properties by applying mapping functions to keys, values, or property requirement levels.
• Runtime Validator Compilation - Uses a runtime compilation mode to build optimized validators with a fallback for restricted environments.
• Schema Performance Optimizations - Reduces schema complexity to their most efficient representation to increase the speed of data validation.
• String Value Transformers - Transforms strings through operations such as trimming whitespace, changing case, or parsing dates.
• Union Type Transformations - Extracts or excludes specific members from a union type based on matching criteria.
• Bidirectional Schema Mapping - Translates internal type representations to and from standard JSON Schema formats for cross-tool interoperability.
• Class Instance Validation - Constrains types to specific classes using instance checks during runtime validation.
• Function Signature Validation - Defines functions with runtime-validated parameters and return types, supporting defaults and variadic arguments.
• Recursive Type Resolution - Manages named type references and self-referential structures through a resolution space for complex schema definitions.
• Validation Result Sets - Returns the transformed result or a structured error collection after checking input against a schema.
• Schema-to-Type Mappers - Constrains runtime schemas to match pre-defined TypeScript types to provide autocomplete and mismatch errors.
• Regular Expression Validations - Validates that data matches a specified regular expression pattern at the type level.
• Allowed Value Validations - Restricts values to a predefined set of allowed primitives, symbols, or objects.
• Schema Structural Comparators - Analyzes types to determine if they are identical, overlapping, or in a subtype relationship.
• String Validation and Normalization - Morphs input strings into normalized formats or parses them into Date, Number, or URL instances.
• Runtime Type Introspection - Enables querying the internal structure of a type to extract references by kind or predicate at runtime.
• Regex Type Inference - Wraps regular expressions to provide full TypeScript type inference for strings matching the pattern.
• Validation Error Customizations - Allows overriding default validation error messages with customizable and localized failure text.
• Validator Composition - Integrates compliant external validators into definitions to enable universal composition across ecosystems.
• String Format Validators - Provides built-in validators for common string formats such as emails, UUIDs, URLs, and ISO dates.
• String Pattern Validators - Validates strings using regular expressions, including support for typed capture groups.

Star history