Comparing version 2.0.0-rc.2 to 2.0.0-rc.3
@@ -49,6 +49,10 @@ import { type Constraint, type NodeSchema } from "@ark/schema"; | ||
alphanumeric: object; | ||
creditCard: object; | ||
date: Submodule<stringDate.submodule>; | ||
digits: object; | ||
email: object; | ||
ip: Submodule<ip.submodule>; | ||
numeric: Submodule<stringNumeric.submodule>; | ||
creditCard: object; | ||
email: object; | ||
semver: object; | ||
url: Submodule<url.submodule>; | ||
uuid: Submodule<{ | ||
@@ -65,9 +69,5 @@ $root: string.matching<string> | "00000000-0000-0000-0000-000000000000" | "ffffffff-ffff-ffff-ffff-ffffffffffff"; | ||
}>; | ||
semver: object; | ||
ip: Submodule<ip.submodule>; | ||
date: Submodule<stringDate.submodule>; | ||
upper: Submodule<upper.submodule>; | ||
lower: Submodule<lower.submodule>; | ||
capitalize: Submodule<capitalize.submodule>; | ||
lower: Submodule<lower.submodule>; | ||
upper: Submodule<upper.submodule>; | ||
url: Submodule<url.submodule>; | ||
}>; | ||
@@ -74,0 +74,0 @@ export declare namespace string { |
import { BaseScope, type AliasDefEntry, type ArkScopeConfig, type BaseNode, type BaseRoot, type GenericArgResolutions, type GenericAst, type GenericParamAst, type NodeKind, type NodeParseOptions, type NodeSchema, type PreparsedNodeResolution, type PrivateDeclaration, type RootKind, type RootSchema, type arkKind, type exportedNameOf, type nodeOfKind, type reducibleKindOf, type toInternalScope, type writeDuplicateAliasError } from "@ark/schema"; | ||
import { type ErrorType, type Json, type anyOrNever, type array, type flattenListable, type inferred, type noSuggest, type nominal } from "@ark/util"; | ||
import type { ArkAmbient, ArkSchemaRegistry } from "./config.ts"; | ||
import { type ErrorType, type Json, type anyOrNever, type array, type flattenListable, type noSuggest, type nominal } from "@ark/util"; | ||
import type { ArkSchemaRegistry } from "./config.ts"; | ||
import { parseGenericParams, type GenericDeclaration, type GenericParser, type ParameterString, type baseGenericConstraints, type parseValidGenericParams } from "./generic.ts"; | ||
import type { Ark, type } from "./keywords/ark.ts"; | ||
import type { Ark } from "./keywords/ark.ts"; | ||
import type { BoundModule, Module, Submodule, instantiateExport } from "./module.ts"; | ||
@@ -29,5 +29,5 @@ import { type inferDefinition, type validateDefinition } from "./parser/definition.ts"; | ||
t: infer g extends GenericAst; | ||
} ? g : def[k] extends Module<infer $> ? Submodule<$> : def[k] : def[k] extends (() => infer thunkReturn extends PreparsedResolution) ? thunkReturn extends { | ||
} ? g : def[k] extends Module<infer $> | BoundModule<infer $, any> ? Submodule<$> : def[k] : def[k] extends (() => infer thunkReturn extends PreparsedResolution) ? thunkReturn extends { | ||
t: infer g extends GenericAst; | ||
} ? g : thunkReturn extends Module<infer $> ? Submodule<$> : thunkReturn : Def<def[k]>; | ||
} ? g : thunkReturn extends Module<infer $> | BoundModule<infer $, any> ? Submodule<$> : thunkReturn : Def<def[k]>; | ||
} & { | ||
@@ -44,3 +44,2 @@ [k in keyof def & GenericDeclaration as extractGenericName<k>]: GenericAst<parseValidGenericParams<extractGenericParameters<k>, bootstrapAliases<def>>, def[k], UnparsedScope>; | ||
type extractGenericParameters<k> = k extends `${string}<${infer params}>` ? ParameterString<params> : never; | ||
export type resolve<reference extends keyof $ | keyof args, $, args> = inferResolution<reference extends keyof args ? args[reference] : $[reference & keyof $], $, args>; | ||
export type resolutionToAst<alias extends string, resolution> = [ | ||
@@ -52,7 +51,2 @@ resolution | ||
} ? InferredAst<root, alias> : resolution extends GenericAst ? resolution : InferredAst<resolution, alias>; | ||
export type inferResolution<resolution, $, args> = [ | ||
resolution | ||
] extends [anyOrNever] ? resolution : resolution extends { | ||
[inferred]: infer t; | ||
} ? t : resolution extends Def<infer def> ? inferDefinition<def, $, args> : resolution; | ||
export type moduleKeyOf<$> = { | ||
@@ -65,4 +59,2 @@ [k in keyof $]: $[k] extends { | ||
}[keyof $]; | ||
type unwrapPreinferred<t> = t extends type.cast<infer inferred> ? inferred : t; | ||
export type tryInferSubmoduleReference<$, token> = token extends `${infer submodule extends moduleKeyOf<$>}.${infer subalias}` ? subalias extends keyof $[submodule] ? unwrapPreinferred<$[submodule][subalias]> : tryInferSubmoduleReference<$[submodule], subalias> : token extends (`${infer submodule extends moduleKeyOf<ArkAmbient.$>}.${infer subalias}`) ? subalias extends keyof ArkAmbient.$[submodule] ? unwrapPreinferred<ArkAmbient.$[submodule][subalias]> : tryInferSubmoduleReference<ArkAmbient.$[submodule], subalias> : never; | ||
export interface ArkTypeRegistry extends ArkSchemaRegistry { | ||
@@ -69,0 +61,0 @@ typeAttachments?: Ark.boundTypeAttachments<any>; |
{ | ||
"name": "arktype", | ||
"description": "TypeScript's 1:1 validator, optimized from editor to runtime", | ||
"version": "2.0.0-rc.2", | ||
"version": "2.0.0-rc.3", | ||
"license": "MIT", | ||
@@ -6,0 +6,0 @@ "author": { |
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
221173
4305