Comparing version 2.0.0-dev.9 to 2.0.0-dev.10
import { attest, contextualize } from "@arktype/attest" | ||
import { rawSchema } from "@arktype/schema" | ||
import { type } from "arktype" | ||
import { type Type, type } from "arktype" | ||
import { writeInvalidConstructorMessage } from "../parser/tuple.js" | ||
import type { Type } from "../type.js" | ||
@@ -79,2 +78,3 @@ contextualize( | ||
const ark = type(["instanceof", ArkClass]) | ||
attest<Type<ArkClass, {}>>(ark) | ||
@@ -81,0 +81,0 @@ // not expanded since there are no morphs |
@@ -1,5 +0,4 @@ | ||
import { type GenericProps, RawSchema, type writeNonSubmoduleDotMessage, writeUnresolvableMessage } from "@arktype/schema"; | ||
import { type GenericProps, RawSchema, type arkKind, type writeNonSubmoduleDotMessage, writeUnresolvableMessage } from "@arktype/schema"; | ||
import { type BigintLiteral, type Completion, type ErrorMessage, type isAnyOrNever, type join } from "@arktype/util"; | ||
import type { Generic } from "../../../../generic.js"; | ||
import type { Module } from "../../../../module.js"; | ||
import type { GenericInstantiationAst } from "../../../semantic/infer.js"; | ||
@@ -15,3 +14,5 @@ import type { DynamicState } from "../../reduce/dynamic.js"; | ||
export type parseGenericInstantiation<name extends string, g extends GenericProps, s extends StaticState, $, args> = Scanner.skipWhitespace<s["unscanned"]> extends `<${infer unscanned}` ? parseGenericArgs<name, g["params"], unscanned, $, args> extends (infer result) ? result extends ParsedArgs<infer argAsts, infer nextUnscanned> ? state.setRoot<s, GenericInstantiationAst<g, argAsts>, nextUnscanned> : result : never : state.error<writeInvalidGenericArgsMessage<name, g["params"], []>>; | ||
type tryResolve<s extends StaticState, token extends string, $, args> = token extends keyof $ ? token : `#${token}` extends keyof $ ? token : token extends keyof args ? token : token extends `${number}` ? token : token extends BigintLiteral ? token : token extends (`${infer submodule extends keyof $ & string}.${infer reference}`) ? $[submodule] extends Module<infer sub$> ? reference extends keyof sub$ ? token : unresolvableError<s, reference, $[submodule], args, [submodule]> : ErrorMessage<writeNonSubmoduleDotMessage<submodule>> : unresolvableError<s, token, $, args, []>; | ||
type tryResolve<s extends StaticState, token extends string, $, args> = token extends keyof $ ? token : `#${token}` extends keyof $ ? token : token extends keyof args ? token : token extends `${number}` ? token : token extends BigintLiteral ? token : token extends (`${infer submodule extends keyof $ & string}.${infer reference}`) ? $[submodule] extends { | ||
[arkKind]: "module"; | ||
} ? reference extends keyof $[submodule] ? token : unresolvableError<s, reference, $[submodule], args, [submodule]> : ErrorMessage<writeNonSubmoduleDotMessage<submodule>> : unresolvableError<s, token, $, args, []>; | ||
/** Provide valid completions for the current token, or fallback to an | ||
@@ -18,0 +19,0 @@ * unresolvable error if there are none */ |
{ | ||
"name": "arktype", | ||
"description": "TypeScript's 1:1 validator, optimized from editor to runtime", | ||
"version": "2.0.0-dev.9", | ||
"version": "2.0.0-dev.10", | ||
"license": "MIT", | ||
@@ -38,10 +38,8 @@ "author": { | ||
"build": "tsx ../repo/build.ts", | ||
"test": "tsx ../repo/testPackage.ts", | ||
"latest": "npm dist-tag add arktype@1.0.29-alpha latest", | ||
"devtag": "npm dist-tag add arktype@2.0.0-dev.8 dev" | ||
"test": "tsx ../repo/testPackage.ts" | ||
}, | ||
"dependencies": { | ||
"@arktype/util": "0.0.35", | ||
"@arktype/schema": "0.1.0" | ||
"@arktype/util": "0.0.36", | ||
"@arktype/schema": "0.1.1" | ||
} | ||
} |
@@ -5,2 +5,3 @@ import { | ||
RawSchema, | ||
type arkKind, | ||
hasArkKind, | ||
@@ -22,3 +23,2 @@ type writeNonSubmoduleDotMessage, | ||
import type { Generic } from "../../../../generic.js" | ||
import type { Module } from "../../../../module.js" | ||
import type { GenericInstantiationAst } from "../../../semantic/infer.js" | ||
@@ -148,4 +148,4 @@ import { writePrefixedPrivateReferenceMessage } from "../../../semantic/validate.js" | ||
) ? | ||
$[submodule] extends Module<infer sub$> ? | ||
reference extends keyof sub$ ? | ||
$[submodule] extends { [arkKind]: "module" } ? | ||
reference extends keyof $[submodule] ? | ||
token | ||
@@ -152,0 +152,0 @@ : unresolvableError<s, reference, $[submodule], args, [submodule]> |
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
14378
520699
+ Added@arktype/schema@0.1.1(transitive)
+ Added@arktype/util@0.0.36(transitive)
- Removed@arktype/schema@0.1.0(transitive)
- Removed@arktype/util@0.0.35(transitive)
Updated@arktype/schema@0.1.1
Updated@arktype/util@0.0.36