@coderspirit/nominal
Advanced tools
Comparing version 2.0.3 to 2.0.4
@@ -1,9 +0,9 @@ | ||
export { WithTag } from './WithTag'; | ||
export { WithTags } from './WithTags'; | ||
export { WithoutTag } from './WithoutTag'; | ||
export { WithoutTags } from './WithoutTags'; | ||
export { NegateTag } from './NegateTag'; | ||
export { GenericTainted } from './GenericTainted'; | ||
export { GenericUntainted } from './GenericUntainted'; | ||
export { Tainted } from './Tainted'; | ||
export { Untainted } from './Untainted'; | ||
export type { WithTag } from './WithTag'; | ||
export type { WithTags } from './WithTags'; | ||
export type { WithoutTag } from './WithoutTag'; | ||
export type { WithoutTags } from './WithoutTags'; | ||
export type { NegateTag } from './NegateTag'; | ||
export type { GenericTainted } from './GenericTainted'; | ||
export type { GenericUntainted } from './GenericUntainted'; | ||
export type { Tainted } from './Tainted'; | ||
export type { Untainted } from './Untainted'; |
@@ -1,4 +0,4 @@ | ||
import { SimpleTypeTag } from './internal/UtilTypes.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { WithTag } from './WithTag.d.ts'; | ||
import { SimpleTypeTag } from './internal/UtilTypes'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
import { WithTag } from './WithTag'; | ||
export declare type GenericTainted<BaseType, TaintTag extends string | symbol> = BaseType extends TagsMarker<infer BaseType0, infer TypeTags0> ? BaseType0 extends Partial<Record<infer _K, infer _V>> ? BaseType0 extends undefined | null | boolean | number | bigint | string | symbol | Date ? BaseType0 & TagsMarker<BaseType0, TypeTags0 & SimpleTypeTag<TaintTag>> : { | ||
@@ -5,0 +5,0 @@ [P in keyof BaseType0]: GenericTainted<BaseType0[P], TaintTag>; |
@@ -1,4 +0,4 @@ | ||
import { GenericTainted } from './GenericTainted.d.ts'; | ||
import { NegateTag } from './NegateTag.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { GenericTainted } from './GenericTainted'; | ||
import { NegateTag } from './NegateTag'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
export declare type GenericUntainted<BaseType, TaintTag extends string | symbol> = BaseType extends GenericTainted<infer _Irrelevant, TaintTag> ? BaseType extends TagsMarker<infer BaseType0, infer TypeTags0> ? BaseType0 extends Partial<Record<infer _K, infer _V>> ? BaseType0 extends undefined | null | boolean | number | bigint | string | symbol | Date ? NegateTag<BaseType0 & TagsMarker<BaseType0, TypeTags0>, TaintTag> : NegateTag<{ | ||
@@ -5,0 +5,0 @@ [P in keyof BaseType0]: GenericUntainted<BaseType0[P], TaintTag>; |
@@ -1,9 +0,9 @@ | ||
export { WithTag } from './WithTag.d.ts'; | ||
export { WithTags } from './WithTags.d.ts'; | ||
export { WithoutTag } from './WithoutTag.d.ts'; | ||
export { WithoutTags } from './WithoutTags.d.ts'; | ||
export { NegateTag } from './NegateTag.d.ts'; | ||
export { GenericTainted } from './GenericTainted.d.ts'; | ||
export { GenericUntainted } from './GenericUntainted.d.ts'; | ||
export { Tainted } from './Tainted.d.ts'; | ||
export { Untainted } from './Untainted.d.ts'; | ||
export type { WithTag } from './WithTag'; | ||
export type { WithTags } from './WithTags'; | ||
export type { WithoutTag } from './WithoutTag'; | ||
export type { WithoutTags } from './WithoutTags'; | ||
export type { NegateTag } from './NegateTag'; | ||
export type { GenericTainted } from './GenericTainted'; | ||
export type { GenericUntainted } from './GenericUntainted'; | ||
export type { Tainted } from './Tainted'; | ||
export type { Untainted } from './Untainted'; |
@@ -1,2 +0,2 @@ | ||
import { __BaseType, __TypeTags } from './Symbols.d.ts'; | ||
import { __BaseType, __TypeTags } from './Symbols'; | ||
export declare type TagsMarker<BaseType, TypeTags> = { | ||
@@ -3,0 +3,0 @@ readonly [__BaseType]: BaseType; |
@@ -1,3 +0,3 @@ | ||
import { SimpleTypeNegation, SimpleTypeTag } from './internal/UtilTypes.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { SimpleTypeNegation, SimpleTypeTag } from './internal/UtilTypes'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
export declare type NegateTag<BaseType, TypeTag extends string | symbol> = BaseType extends TagsMarker<infer BaseType0, infer TypeTags0> ? BaseType0 & (TagsMarker<BaseType0, SimpleTypeTag<TypeTag>> extends TagsMarker<BaseType0, TypeTags0> ? Partial<TagsMarker<BaseType0, TypeTags0 extends SimpleTypeTag<TypeTag> & infer RestTypeTags ? RestTypeTags & SimpleTypeNegation<TypeTag> : Omit<TypeTags0, TypeTag> & SimpleTypeNegation<TypeTag>>> : TagsMarker<BaseType0, TypeTags0 extends SimpleTypeTag<TypeTag> & infer RestTypeTags ? RestTypeTags & SimpleTypeNegation<TypeTag> : Omit<TypeTags0, TypeTag> & SimpleTypeNegation<TypeTag>>) : BaseType & Partial<TagsMarker<BaseType, SimpleTypeNegation<TypeTag>>>; |
@@ -1,3 +0,3 @@ | ||
import { GenericTainted } from './GenericTainted.d.ts'; | ||
import { TaintSymbolType } from './internal/Symbols.d.ts'; | ||
import { GenericTainted } from './GenericTainted'; | ||
import { TaintSymbolType } from './internal/Symbols'; | ||
export declare type Tainted<BaseType> = GenericTainted<BaseType, TaintSymbolType>; |
@@ -1,3 +0,3 @@ | ||
import { GenericUntainted } from './GenericUntainted.d.ts'; | ||
import { TaintSymbolType } from './internal/Symbols.d.ts'; | ||
import { GenericUntainted } from './GenericUntainted'; | ||
import { TaintSymbolType } from './internal/Symbols'; | ||
export declare type Untainted<BaseType> = GenericUntainted<BaseType, TaintSymbolType>; |
@@ -1,3 +0,3 @@ | ||
import { SimpleTypeTag } from './internal/UtilTypes.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { SimpleTypeTag } from './internal/UtilTypes'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
export declare type WithoutTag<BaseType, TypeTag extends string | symbol> = BaseType extends TagsMarker<infer BaseType0, infer TypeTags0> ? TagsMarker<BaseType0, SimpleTypeTag<TypeTag>> extends TagsMarker<BaseType0, TypeTags0> ? BaseType0 : BaseType0 & TagsMarker<BaseType0, TypeTags0 extends SimpleTypeTag<TypeTag> & infer RestTypeTags ? RestTypeTags : Omit<TypeTags0, TypeTag>> : BaseType; |
@@ -1,3 +0,3 @@ | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { WithoutTag } from './WithoutTag.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
import { WithoutTag } from './WithoutTag'; | ||
export declare type WithoutTags<BaseType, TypeTags extends (string | symbol)[] | null = null> = BaseType extends TagsMarker<infer BaseType0, infer _TypeTags0> ? TypeTags extends null ? BaseType0 : TypeTags extends [infer TypeTag0, ...infer OtherTypeTags] ? TypeTag0 extends string | symbol ? OtherTypeTags extends (string | symbol)[] ? WithoutTags<WithoutTag<BaseType, TypeTag0>, OtherTypeTags> : never : never : TypeTags extends [infer TypeTag0] ? TypeTag0 extends string | symbol ? WithoutTag<BaseType, TypeTag0> : never : BaseType : BaseType; |
@@ -1,3 +0,3 @@ | ||
import { SimpleTypeTag } from './internal/UtilTypes.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { SimpleTypeTag } from './internal/UtilTypes'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
export declare type WithTag<BaseType, TypeTag extends string | symbol> = BaseType extends TagsMarker<infer BaseType0, infer TypeTags0> ? BaseType0 & TagsMarker<BaseType0, TypeTags0 & SimpleTypeTag<TypeTag>> : BaseType & TagsMarker<BaseType, SimpleTypeTag<TypeTag>>; |
@@ -1,3 +0,3 @@ | ||
import { CompoundTypeTags } from './internal/UtilTypes.d.ts'; | ||
import { TagsMarker } from './internal/TagsMarker.d.ts'; | ||
import { CompoundTypeTags } from './internal/UtilTypes'; | ||
import { TagsMarker } from './internal/TagsMarker'; | ||
export declare type WithTags<BaseType, TypeTags extends (string | symbol)[]> = BaseType extends TagsMarker<infer BaseType0, infer TypeTags0> ? BaseType0 & TagsMarker<BaseType0, TypeTags0 & CompoundTypeTags<TypeTags>> : BaseType & TagsMarker<BaseType, CompoundTypeTags<TypeTags>>; |
{ | ||
"name": "@coderspirit/nominal", | ||
"version": "2.0.3", | ||
"version": "2.0.4", | ||
"description": "Powerful nominal types for your project", | ||
@@ -23,6 +23,9 @@ "main": "./dist/cjs/index.js", | ||
"scripts": { | ||
"build": "yarn build:cjs && yarn build:esm", | ||
"build": "yarn clean && yarn build:cjs && yarn build:esm && yarn build:deno", | ||
"build:cjs": "tsc -p ./tsconfig.json", | ||
"build:deno": "mkdir -p ./deno && cp -r ./src/* ./deno/ && rm -rf ./deno/__tests__ && ts-node ./scripts/adaptDeno.ts", | ||
"build:esm": "tsc -p ./tsconfig.esm.json && ts-node ./scripts/adaptESM.ts", | ||
"clean":"rm -rf ./dist", | ||
"clean": "yarn clean:dist && yarn clean:deno", | ||
"clean:deno": "rm -rf ./deno/*.ts && rm -rf ./deno/*/*.ts", | ||
"clean:dist": "rm -rf ./dist", | ||
"lint": "yarn lint:tsc && yarn lint:eslint", | ||
@@ -33,3 +36,3 @@ "lint:eslint": "eslint . --ext .js,.ts --max-warnings 0", | ||
"lint:tsc:tests": "tsc -p ./src/__tests__/tsconfig.json --noEmit", | ||
"prepublishOnly": "yarn lint && yarn test && yarn clean && yarn build", | ||
"prepublishOnly": "yarn lint && yarn test && yarn build", | ||
"test": "jest" | ||
@@ -36,0 +39,0 @@ }, |
@@ -40,3 +40,3 @@ # @coderspirit/nominal | ||
# Or with Yarn: | ||
yarn install @coderspirit/nominal | ||
yarn add @coderspirit/nominal | ||
``` | ||
@@ -46,3 +46,6 @@ | ||
Pending explanation. | ||
`Nominal` is served through different CDNs | ||
```typescript | ||
import { ... } from 'https://denopkg.com/Coder-Spirit/nominal@[VERSION]/nominal/deno/index.ts' | ||
``` | ||
@@ -49,0 +52,0 @@ ## Brands |
Major refactor
Supply chain riskPackage has recently undergone a major refactor. It may be unstable or indicate significant internal changes. Use caution when updating to versions that include significant changes.
Found 1 instance in 1 package
35591
67
419
314
1