@appliedblockchain/assert-combinators - npm Package Compare versions

Comparing version 5.6.1 to 5.7.0

Changelog.md

 # Changelog
 
+## [v5.7.0](../../compare/v5.6.1...v5.7.0) (2024-01-29)
+
+* Fix(and): fixing typing for and.
+* Chore(deps): bumping deps.
+* Updating changelog.
+
 ## [v5.6.1](../../compare/v5.6.0...v5.6.1) (2023-10-05)
@@ -4,0 +10,0 @@

cjs/and.d.ts

 import type { Assert } from './prelude.js';
-type $<T> = Assert<T>;
+type Z<A, B> = (value: A) => B;
 type And = {
-    <A>(a: $<A>): $<A>;
-    <A, B>(a: $<A>, b: $<B>): $<A & B>;
-    <A, B, C>(a: $<A>, b: $<B>, c: $<C>): $<A & B & C>;
-    <A, B, C, D>(a: $<A>, b: $<B>, c: $<C>, d: $<D>): $<A & B & C & D>;
+    <A>(a: Assert<A>): Assert<A>;
+    <A, B>(a: Assert<A>, b: Z<A, B>): Assert<A & B>;
+    <A, B, C>(a: Assert<A>, b: Z<A, B>, c: Z<B, C>): Assert<A & B & C>;
+    <A, B, C, D>(a: Assert<A>, b: Z<A, B>, c: Z<B, C>, d: Z<C, D>): Assert<A & B & C & D>;
 };
 declare const and: And;
 export default and;

cjs/defined.d.ts

 import type { Defined } from './prelude.js';
-declare const defined: <T>(value: T) => Exclude<T, undefined>;
+declare const defined: <T>(value: T) => Defined<T>;
 export default defined;

cjs/non-nullish.d.ts

 import type { NonNullish } from './prelude.js';
-declare const nonNullish: <T>(value: T) => Exclude<T, null | undefined>;
+declare const nonNullish: <T>(value: T) => NonNullish<T>;
 export default nonNullish;

cjs/strftime.js

@@ -8,11 +8,11 @@ "use strict";
     A: /^(Sunday|Monday|Tuesday|Wednesday|Thursday|Friday|Saturday)/,
-    d: /^(0[1-9]|[12][0-9]|3[01])/,
-    e: /^( [1-9]|[12][0-9]|3[01])/,
+    d: /^(0[1-9]|[12][0-9]|3[01])/, // 01..31
+    e: /^( [1-9]|[12][0-9]|3[01])/, // _1..31
     j: /^([0-2][0-9]{2}|3[0-5][0-9]|36[0-6])/,
-    u: /^[1-7]/,
-    w: /^[0-6]/,
+    u: /^[1-7]/, // 1..7
+    w: /^[0-6]/, // 0..6
     // Week
-    U: /^(0[0-9]|[1-4][0-9]|5[0-3])/,
-    V: /^(0[1-9]|[1-4][0-9]|5[0-3])/,
-    W: /^(0[0-9]|[1-4][0-9]|5[0-3])/,
+    U: /^(0[0-9]|[1-4][0-9]|5[0-3])/, // 00..53
+    V: /^(0[1-9]|[1-4][0-9]|5[0-3])/, // 01..53
+    W: /^(0[0-9]|[1-4][0-9]|5[0-3])/, // 00..53
     // Month
@@ -22,15 +22,15 @@ b: /^(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)/,
     h: /^(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)/,
-    m: /^(0[1-9]|1[0-2])/,
+    m: /^(0[1-9]|1[0-2])/, // 01..12
     // Year
-    C: /^[0-9]{2}/,
-    g: /^[0-9]{2}/,
-    G: /^[0-9]{4}/,
-    y: /^[0-9]{2}/,
-    Y: /^[0-9]{4}/,
+    C: /^[0-9]{2}/, // 00..99
+    g: /^[0-9]{2}/, // 00..99
+    G: /^[0-9]{4}/, // 0000..9999
+    y: /^[0-9]{2}/, // 00..99
+    Y: /^[0-9]{4}/, // 0000..9999
     // Time
-    H: /^(0[0-9]|1[0-9]|2[0-3])/,
-    k: /^( [0-9]|1[0-9]|2[0-3])/,
-    I: /^(0[1-9]|1[0-2])/,
-    l: /^( [1-9]|1[0-2])/,
-    M: /^[0-5][0-9]/,
+    H: /^(0[0-9]|1[0-9]|2[0-3])/, // 00..23
+    k: /^( [0-9]|1[0-9]|2[0-3])/, // _0..23
+    I: /^(0[1-9]|1[0-2])/, // 01..12
+    l: /^( [1-9]|1[0-2])/, // _1..12
+    M: /^[0-5][0-9]/, // 00..59
     p: /^(AM|PM)/,
@@ -37,0 +37,0 @@ P: /^(am|pm)/,

mjs/and.d.ts

 import type { Assert } from './prelude.js';
-type $<T> = Assert<T>;
+type Z<A, B> = (value: A) => B;
 type And = {
-    <A>(a: $<A>): $<A>;
-    <A, B>(a: $<A>, b: $<B>): $<A & B>;
-    <A, B, C>(a: $<A>, b: $<B>, c: $<C>): $<A & B & C>;
-    <A, B, C, D>(a: $<A>, b: $<B>, c: $<C>, d: $<D>): $<A & B & C & D>;
+    <A>(a: Assert<A>): Assert<A>;
+    <A, B>(a: Assert<A>, b: Z<A, B>): Assert<A & B>;
+    <A, B, C>(a: Assert<A>, b: Z<A, B>, c: Z<B, C>): Assert<A & B & C>;
+    <A, B, C, D>(a: Assert<A>, b: Z<A, B>, c: Z<B, C>, d: Z<C, D>): Assert<A & B & C & D>;
 };
 declare const and: And;
 export default and;

mjs/defined.d.ts

 import type { Defined } from './prelude.js';
-declare const defined: <T>(value: T) => Exclude<T, undefined>;
+declare const defined: <T>(value: T) => Defined<T>;
 export default defined;

mjs/non-nullish.d.ts

 import type { NonNullish } from './prelude.js';
-declare const nonNullish: <T>(value: T) => Exclude<T, null | undefined>;
+declare const nonNullish: <T>(value: T) => NonNullish<T>;
 export default nonNullish;

mjs/strftime.js

@@ -6,11 +6,11 @@ import { inspect } from 'util';
     A: /^(Sunday|Monday|Tuesday|Wednesday|Thursday|Friday|Saturday)/,
-    d: /^(0[1-9]|[12][0-9]|3[01])/,
-    e: /^( [1-9]|[12][0-9]|3[01])/,
+    d: /^(0[1-9]|[12][0-9]|3[01])/, // 01..31
+    e: /^( [1-9]|[12][0-9]|3[01])/, // _1..31
     j: /^([0-2][0-9]{2}|3[0-5][0-9]|36[0-6])/,
-    u: /^[1-7]/,
-    w: /^[0-6]/,
+    u: /^[1-7]/, // 1..7
+    w: /^[0-6]/, // 0..6
     // Week
-    U: /^(0[0-9]|[1-4][0-9]|5[0-3])/,
-    V: /^(0[1-9]|[1-4][0-9]|5[0-3])/,
-    W: /^(0[0-9]|[1-4][0-9]|5[0-3])/,
+    U: /^(0[0-9]|[1-4][0-9]|5[0-3])/, // 00..53
+    V: /^(0[1-9]|[1-4][0-9]|5[0-3])/, // 01..53
+    W: /^(0[0-9]|[1-4][0-9]|5[0-3])/, // 00..53
     // Month
@@ -20,15 +20,15 @@ b: /^(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)/,
     h: /^(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)/,
-    m: /^(0[1-9]|1[0-2])/,
+    m: /^(0[1-9]|1[0-2])/, // 01..12
     // Year
-    C: /^[0-9]{2}/,
-    g: /^[0-9]{2}/,
-    G: /^[0-9]{4}/,
-    y: /^[0-9]{2}/,
-    Y: /^[0-9]{4}/,
+    C: /^[0-9]{2}/, // 00..99
+    g: /^[0-9]{2}/, // 00..99
+    G: /^[0-9]{4}/, // 0000..9999
+    y: /^[0-9]{2}/, // 00..99
+    Y: /^[0-9]{4}/, // 0000..9999
     // Time
-    H: /^(0[0-9]|1[0-9]|2[0-3])/,
-    k: /^( [0-9]|1[0-9]|2[0-3])/,
-    I: /^(0[1-9]|1[0-2])/,
-    l: /^( [1-9]|1[0-2])/,
-    M: /^[0-5][0-9]/,
+    H: /^(0[0-9]|1[0-9]|2[0-3])/, // 00..23
+    k: /^( [0-9]|1[0-9]|2[0-3])/, // _0..23
+    I: /^(0[1-9]|1[0-2])/, // 01..12
+    l: /^( [1-9]|1[0-2])/, // _1..12
+    M: /^[0-5][0-9]/, // 00..59
     p: /^(AM|PM)/,
@@ -35,0 +35,0 @@ P: /^(am|pm)/,

package.json

 {
   "name": "@appliedblockchain/assert-combinators",
-  "version": "5.6.1",
+  "version": "5.7.0",
   "description": "Assertion combinators.",
@@ -32,12 +32,12 @@ "type": "module",
     "@appliedblockchain/eslint-config": "3.1.1",
-    "@tsconfig/node16": "1.0.3",
-    "@types/jest": "29.2.4",
-    "@typescript-eslint/eslint-plugin": "5.46.1",
-    "@typescript-eslint/parser": "5.46.1",
-    "eslint": "8.29.0",
-    "eslint-plugin-jest": "27.1.6",
-    "jest": "29.3.1",
+    "@tsconfig/node16": "16.1.1",
+    "@types/jest": "29.5.11",
+    "@typescript-eslint/eslint-plugin": "6.19.1",
+    "@typescript-eslint/parser": "6.19.1",
+    "eslint": "8.56.0",
+    "eslint-plugin-jest": "27.6.3",
+    "jest": "29.7.0",
     "npm-check": "6.0.1",
-    "typescript": "4.9.4"
+    "typescript": "5.3.3"
   }
 }

src/and.ts

 import type { Assert } from './prelude.js'
 
-type $<T> = Assert<T>
+type Z<A, B> =
+  (value: A) =>
+    B
 
 type And = {
-  <A>(a: $<A>): $<A>
-  <A, B>(a: $<A>, b: $<B>): $<A & B>
-  <A, B, C>(a: $<A>, b: $<B>, c: $<C>): $<A & B & C>
-  <A, B, C, D>(a: $<A>, b: $<B>, c: $<C>, d: $<D>): $<A & B & C & D>
+  <A>(a: Assert<A>): Assert<A>
+  <A, B>(a: Assert<A>, b: Z<A, B>): Assert<A & B>
+  <A, B, C>(a: Assert<A>, b: Z<A, B>, c: Z<B, C>): Assert<A & B & C>
+  <A, B, C, D>(a: Assert<A>, b: Z<A, B>, c: Z<B, C>, d: Z<C, D>): Assert<A & B & C & D>
 }
@@ -11,0 +13,0 @@

tsconfig.json

 {
   "extends": "@tsconfig/node16/tsconfig.json",
   "compilerOptions": {
-    "importsNotUsedAsValues": "error",
     "module": "ES2020",
@@ -6,0 +5,0 @@ "moduleResolution": "Node",

New alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Fixed alerts

License Policy Violation

License

This package is not allowed per your license policy. Review the package's license to ensure compliance.

Found 1 instance in 1 package

Improved metrics

Total package byte prevSize

186495

increased by1.65%

Lines of code

3064

increased by0.03%

No dependency changes