Socket
Socket
Sign inDemoInstall

arktype

Package Overview
Dependencies
Maintainers
1
Versions
100
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

arktype - npm Package Compare versions

Comparing version 2.0.0-dev.9 to 2.0.0-dev.10

4

__tests__/instanceof.test.ts
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]>

SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc