effect 4.0.7 → 4.1.0

package/dist/crypto/internal/webCrypto.js

@@ -0,0 +1,111 @@
+import * as Effect from "../../Effect.js";
+import * as Predicate from "../../Predicate.js";
+import * as CryptoError from "../CryptoError.js";
+import { WebCrypto } from "../WebCrypto.js";
+/** @internal */
+export const subtleUnavailable = () => new Error("crypto.subtle is unavailable; browsers expose it only in secure contexts");
+/** @internal */
+export const fail = (module, method, reason) => Effect.fail(new CryptoError.CryptoError({
+  module,
+  method,
+  reason
+}));
+/** @internal */
+export const invalidKey = (module, method, description) => fail(module, method, new CryptoError.InvalidKey({
+  description
+}));
+/** @internal */
+export const notExtractable = (module, method) => fail(module, method, new CryptoError.NotExtractable({
+  description: "The CryptoKey is not extractable"
+}));
+/**
+ * Moves an error raised by another module's function onto `module.method`.
+ *
+ * @internal
+ */
+export const rehome = (module, method) => error => fail(module, method, error.reason);
+/**
+ * Thrown inside {@link run} to fail with a typed reason instead of a defect,
+ * for checks that need the imported `CryptoKey`.
+ *
+ * @internal
+ */
+export class Failure {
+  reason;
+  constructor(reason) {
+    this.reason = reason;
+  }
+}
+/** @internal */
+export const isOperationError = cause => Predicate.hasProperty(cause, "name") && cause.name === "OperationError";
+/**
+ * Maps an exception thrown by `crypto.subtle` in `module.layerWebCrypto` to a
+ * `CryptoError`.
+ *
+ * A {@link Failure} carries its own reason. `DataError` and
+ * `InvalidAccessError` are `InvalidKey`, and `NotSupportedError` is
+ * `Unsupported`, naming the algorithm and the layer. An `OperationError`
+ * becomes the reason from `onOperationError`, such as `DecryptionFailed` for a
+ * decryption. Any other exception is rethrown, which `Effect.tryPromise` turns
+ * into a defect.
+ *
+ * @internal
+ */
+export const webCryptoError = (module, method, algorithm, cause, onOperationError) => toCryptoError(module, method, `${module}.layerWebCrypto`, algorithm, cause, onOperationError);
+const toCryptoError = (module, method, provider, algorithm, cause, onOperationError) => {
+  const reason = reasonFor(method, provider, algorithm, cause, onOperationError);
+  if (reason === undefined) throw cause;
+  return new CryptoError.CryptoError({
+    module,
+    method,
+    reason
+  });
+};
+const reasonFor = (method, provider, algorithm, cause, onOperationError) => {
+  if (cause instanceof Failure) return cause.reason;
+  switch (Predicate.hasProperty(cause, "name") ? cause.name : undefined) {
+    case "DataError":
+      return new CryptoError.InvalidKey({
+        description: "Invalid key data",
+        cause
+      });
+    case "InvalidAccessError":
+      return new CryptoError.InvalidKey({
+        description: `The key cannot be used for ${method}`,
+        cause
+      });
+    case "NotSupportedError":
+      return new CryptoError.Unsupported({
+        description: `${provider} does not provide ${algorithm}`,
+        cause
+      });
+    case "OperationError":
+      return onOperationError?.();
+    default:
+      return undefined;
+  }
+};
+/**
+ * Runs `f` on the `subtle` of a `Crypto` object in `module.layerWebCrypto`,
+ * dying when it is missing, as in an insecure browser context. Exceptions go
+ * through `onError`, which defaults to {@link webCryptoError}.
+ *
+ * @internal
+ */
+export const run = (module, method, algorithm, crypto, f, onError = cause => webCryptoError(module, method, algorithm, cause)) => Effect.suspend(() => {
+  const subtle = crypto?.subtle;
+  if (subtle === undefined) return Effect.die(subtleUnavailable());
+  return Effect.tryPromise({
+    try: () => f(subtle),
+    catch: onError
+  });
+});
+/**
+ * {@link run} on the `WebCrypto` reference, for the top-level functions that
+ * have no layer to read it from. `crypto.subtle` is named as the provider
+ * that declined an algorithm.
+ *
+ * @internal
+ */
+export const runWithReference = (module, method, algorithm, f) => WebCrypto.use(crypto => run(module, method, algorithm, crypto, f, cause => toCryptoError(module, method, "crypto.subtle", algorithm, cause)));
+//# sourceMappingURL=webCrypto.js.map

package/dist/crypto/internal/webCrypto.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"webCrypto.js","names":[],"sources":["../../../src/crypto/internal/webCrypto.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,iBAAiB;AACzC,OAAO,KAAK,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAK,WAAW,MAAM,mBAAmB;AAChD,SAAS,SAAS,QAAQ,iBAAiB;AAE3C;AACA,OAAO,MAAM,iBAAiB,GAAG,MAC/B,IAAI,KAAK,CAAC,0EAA0E,CAAC;AAEvF;AACA,OAAO,MAAM,IAAI,GAAG,CAClB,MAAc,EACd,MAAc,EACd,MAAqC,KACa,MAAM,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC;EAAE,MAAM;EAAE,MAAM;EAAE;AAAM,CAAE,CAAC,CAAC;AAExH;AACA,OAAO,MAAM,UAAU,GAAG,CAAC,MAAc,EAAE,MAAc,EAAE,WAAmB,KAC5E,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,WAAW,CAAC,UAAU,CAAC;EAAE;AAAW,CAAE,CAAC,CAAC;AAEnE;AACA,OAAO,MAAM,cAAc,GAAG,CAAC,MAAc,EAAE,MAAc,KAC3D,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,WAAW,CAAC,cAAc,CAAC;EAAE,WAAW,EAAE;AAAkC,CAAE,CAAC,CAAC;AAE3G;;;;;AAKA,OAAO,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,MAAc,KAAM,KAA8B,IACvF,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;AAEpC;;;;;;AAMA,OAAM,MAAO,OAAO;EACT,MAAM;EACf,YAAY,MAAqC;IAC/C,IAAI,CAAC,MAAM,GAAG,MAAM;EACtB;;AAGF;AACA,OAAO,MAAM,gBAAgB,GAAI,KAAc,IAC7C,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;AAEzE;;;;;;;;;;;;;AAaA,OAAO,MAAM,cAAc,GAAG,CAC5B,MAAc,EACd,MAAc,EACd,SAAiB,EACjB,KAAc,EACd,gBAAsD,KAEtD,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,iBAAiB,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,CAAC;AAE/F,MAAM,aAAa,GAAG,CACpB,MAAc,EACd,MAAc,EACd,QAAgB,EAChB,SAAiB,EACjB,KAAc,EACd,gBAAsD,KAC3B;EAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,CAAC;EAC9E,IAAI,MAAM,KAAK,SAAS,EAAE,MAAM,KAAK;EACrC,OAAO,IAAI,WAAW,CAAC,WAAW,CAAC;IAAE,MAAM;IAAE,MAAM;IAAE;EAAM,CAAE,CAAC;AAChE,CAAC;AAED,MAAM,SAAS,GAAG,CAChB,MAAc,EACd,QAAgB,EAChB,SAAiB,EACjB,KAAc,EACd,gBAAmE,KACtB;EAC7C,IAAI,KAAK,YAAY,OAAO,EAAE,OAAO,KAAK,CAAC,MAAM;EACjD,QAAQ,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,SAAS;IACnE,KAAK,WAAW;MACd,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC;QAAE,WAAW,EAAE,kBAAkB;QAAE;MAAK,CAAE,CAAC;IAC/E,KAAK,oBAAoB;MACvB,OAAO,IAAI,WAAW,CAAC,UAAU,CAAC;QAAE,WAAW,EAAE,8BAA8B,MAAM,EAAE;QAAE;MAAK,CAAE,CAAC;IACnG,KAAK,mBAAmB;MACtB,OAAO,IAAI,WAAW,CAAC,WAAW,CAAC;QAAE,WAAW,EAAE,GAAG,QAAQ,qBAAqB,SAAS,EAAE;QAAE;MAAK,CAAE,CAAC;IACzG,KAAK,gBAAgB;MACnB,OAAO,gBAAgB,GAAE,CAAE;IAC7B;MACE,OAAO,SAAS;EACpB;AACF,CAAC;AAED;;;;;;;AAOA,OAAO,MAAM,GAAG,GAAG,CACjB,MAAc,EACd,MAAc,EACd,SAAiB,EACjB,MAA0B,EAC1B,CAAuC,EACvC,OAAO,GAAiD,KAAK,IAAK,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,KAElH,MAAM,CAAC,OAAO,CAAC,MAAK;EAClB,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM;EAC7B,IAAI,MAAM,KAAK,SAAS,EAAE,OAAO,MAAM,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;EAChE,OAAO,MAAM,CAAC,UAAU,CAAC;IAAE,GAAG,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC;IAAE,KAAK,EAAE;EAAO,CAAE,CAAC;AACpE,CAAC,CAAC;AAEJ;;;;;;;AAOA,OAAO,MAAM,gBAAgB,GAAG,CAC9B,MAAc,EACd,MAAc,EACd,SAAiB,EACjB,CAAuC,KAEvC,SAAS,CAAC,GAAG,CAAE,MAAM,IACnB,GAAG,CACD,MAAM,EACN,MAAM,EACN,SAAS,EACT,MAAM,EACN,CAAC,EACA,KAAK,IAAK,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,KAAK,CAAC,CAC5E,CACF","ignoreList":[]}

package/dist/encoding/Base64Url.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Base64Url.d.ts","sourceRoot":"","sources":["../../src/encoding/Base64Url.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAEtC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,KAAK,MAC2B,CAAA;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,KAAK,MACG,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,MAAM,QAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CA0B3E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,YAAY,QAAS,MAAM,yCAAsD,CAAA"}
+{"version":3,"file":"Base64Url.d.ts","sourceRoot":"","sources":["../../src/encoding/Base64Url.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AAEtC,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,KAAK,MAC2B,CAAA;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,YAAY,EAAE,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,KAAK,MACG,CAAA;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,MAAM,QAAS,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CA6B3E,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,YAAY,QAAS,MAAM,yCAAsD,CAAA"}

package/dist/encoding/Base64Url.js

@@ -97,12 +97,13 @@ export const encodePadded = input => Base64.encode(input).replace(/\+/g, "-").re
 export const decode = str => {
   const stripped = str.replace(/[\n\r]/g, "");
   const length = stripped.length;
-  if (length % 4 === 1) {
+  const padded = stripped.endsWith("=");
+  if (padded ? length % 4 !== 0 : length % 4 === 1) {
     return Result.fail(new EncodingError({
       module: "Base64Url",
       kind: "Decode",
       input: stripped,
-      message: `Length should be a multiple of 4, but is ${length}`
+      message: padded ? `Padded length should be a multiple of 4, but is ${length}` : `Unpadded length should not be 1 more than a multiple of 4, but is ${length}`
     }));
   }
   if (!/^[-_A-Z0-9]*?={0,2}$/i.test(stripped)) {

package/dist/encoding/Base64Url.js.map

@@ -1 +1 @@
-{"version":3,"file":"Base64Url.js","names":[],"sources":["../../src/encoding/Base64Url.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;AAMA,OAAO,KAAK,MAAM,MAAM,cAAc;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa;AACrC,SAAS,aAAa,QAAQ,oBAAoB;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAM,MAAM,GAA4C,KAAK,IAClE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAM,YAAY,GAA4C,KAAK,IACxE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAM,MAAM,GAAI,GAAW,IAA8C;EAC9E,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;EAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM;EAC9B,IAAI,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE;IACpB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,aAAa,CAAC;MAChB,MAAM,EAAE,WAAW;MACnB,IAAI,EAAE,QAAQ;MACd,KAAK,EAAE,QAAQ;MACf,OAAO,EAAE,4CAA4C,MAAM;KAC5D,CAAC,CACH;EACH;EACA,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;IAC3C,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,aAAa,CAAC;MAChB,MAAM,EAAE,WAAW;MACnB,IAAI,EAAE,QAAQ;MACd,KAAK,EAAE,QAAQ;MACf,OAAO,EAAE;KACV,CAAC,CACH;EACH;EACA,IAAI,SAAS,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,QAAQ,IAAI,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,QAAQ,GAAG,GAAG,QAAQ;EACjG,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;EAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAM,YAAY,GAAI,GAAW,IAAK,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAG,CAAC,IAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAE9F,MAAM,OAAO,gBAAG,IAAI,WAAW,EAAE","ignoreList":[]}
+{"version":3,"file":"Base64Url.js","names":[],"sources":["../../src/encoding/Base64Url.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;AAMA,OAAO,KAAK,MAAM,MAAM,cAAc;AACtC,OAAO,KAAK,MAAM,MAAM,aAAa;AACrC,SAAS,aAAa,QAAQ,oBAAoB;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgCA,OAAO,MAAM,MAAM,GAA4C,KAAK,IAClE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAM,YAAY,GAA4C,KAAK,IACxE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;AAE9D;;;;;;;;;;;;;;;;;;;;;;;;;;AA0BA,OAAO,MAAM,MAAM,GAAI,GAAW,IAA8C;EAC9E,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;EAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM;EAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC;EACrC,IAAI,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,EAAE;IAChD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,aAAa,CAAC;MAChB,MAAM,EAAE,WAAW;MACnB,IAAI,EAAE,QAAQ;MACd,KAAK,EAAE,QAAQ;MACf,OAAO,EAAE,MAAM,GACX,mDAAmD,MAAM,EAAE,GAC3D,qEAAqE,MAAM;KAChF,CAAC,CACH;EACH;EACA,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;IAC3C,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,aAAa,CAAC;MAChB,MAAM,EAAE,WAAW;MACnB,IAAI,EAAE,QAAQ;MACd,KAAK,EAAE,QAAQ;MACf,OAAO,EAAE;KACV,CAAC,CACH;EACH;EACA,IAAI,SAAS,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,QAAQ,IAAI,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,QAAQ,GAAG,GAAG,QAAQ;EACjG,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;EAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2BA,OAAO,MAAM,YAAY,GAAI,GAAW,IAAK,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAG,CAAC,IAAK,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAE9F,MAAM,OAAO,gBAAG,IAAI,WAAW,EAAE","ignoreList":[]}