@dxos/effect 0.8.4-main.c85a9c8dae → 0.8.4-main.d05539e30a

package/LICENSE

@@ -1,8 +1,105 @@
-MIT License 
-Copyright (c) 2022 DXOS
+# Functional Source License, Version 1.1, ALv2 Future License
 
-Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+## Abbreviation
 
-The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+FSL-1.1-Apache-2.0
 
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+## Notice
+
+Copyright 2026 DXOS
+
+## Terms and Conditions
+
+### Licensor ("We")
+
+The party offering the Software under these Terms and Conditions.
+
+### The Software
+
+The "Software" is each version of the software that we make available under
+these Terms and Conditions, as indicated by our inclusion of these Terms and
+Conditions with the Software.
+
+### License Grant
+
+Subject to your compliance with this License Grant and the Patents,
+Redistribution and Trademark clauses below, we hereby grant you the right to
+use, copy, modify, create derivative works, publicly perform, publicly display
+and redistribute the Software for any Permitted Purpose identified below.
+
+### Permitted Purpose
+
+A Permitted Purpose is any purpose other than a Competing Use. A Competing Use
+means making the Software available to others in a commercial product or
+service that:
+
+1. substitutes for the Software;
+
+2. substitutes for any other product or service we offer using the Software
+   that exists as of the date we make the Software available; or
+
+3. offers the same or substantially similar functionality as the Software.
+
+Permitted Purposes specifically include using the Software:
+
+1. for your internal use and access;
+
+2. for non-commercial education;
+
+3. for non-commercial research; and
+
+4. in connection with professional services that you provide to a licensee
+   using the Software in accordance with these Terms and Conditions.
+
+### Patents
+
+To the extent your use for a Permitted Purpose would necessarily infringe our
+patents, the license grant above includes a license under our patents. If you
+make a claim against any party that the Software infringes or contributes to
+the infringement of any patent, then your patent license to the Software ends
+immediately.
+
+### Redistribution
+
+The Terms and Conditions apply to all copies, modifications and derivatives of
+the Software.
+
+If you redistribute any copies, modifications or derivatives of the Software,
+you must include a copy of or a link to these Terms and Conditions and not
+remove any copyright notices provided in or with the Software.
+
+### Disclaimer
+
+THE SOFTWARE IS PROVIDED "AS IS" AND WITHOUT WARRANTIES OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING WITHOUT LIMITATION WARRANTIES OF FITNESS FOR A PARTICULAR
+PURPOSE, MERCHANTABILITY, TITLE OR NON-INFRINGEMENT.
+
+IN NO EVENT WILL WE HAVE ANY LIABILITY TO YOU ARISING OUT OF OR RELATED TO THE
+SOFTWARE, INCLUDING INDIRECT, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES,
+EVEN IF WE HAVE BEEN INFORMED OF THEIR POSSIBILITY IN ADVANCE.
+
+### Trademarks
+
+Except for displaying the License Details and identifying us as the origin of
+the Software, you have no right under these Terms and Conditions to use our
+trademarks, trade names, service marks or product names.
+
+## Grant of Future License
+
+We hereby irrevocably grant you an additional license to use the Software under
+the Apache License, Version 2.0 that is effective on the second anniversary of
+the date we make the Software available. On or after that date, you may use the
+Software under the Apache License, Version 2.0, in which case the following
+will apply:
+
+Licensed under the Apache License, Version 2.0 (the "License"); you may not use
+this file except in compliance with the License.
+
+You may obtain a copy of the License at
+
+http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software distributed
+under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
+CONDITIONS OF ANY KIND, either express or implied. See the License for the
+specific language governing permissions and limitations under the License.

package/README.md

@@ -12,4 +12,4 @@ pnpm i @dxos/effect
 
 Your ideas, issues, and code are most welcome. Please take a look at our [community code of conduct](https://github.com/dxos/dxos/blob/main/CODE_OF_CONDUCT.md), the [issue guide](https://github.com/dxos/dxos/blob/main/CONTRIBUTING.md#submitting-issues), and the [PR contribution guide](https://github.com/dxos/dxos/blob/main/CONTRIBUTING.md#submitting-prs).
 
-License: [MIT](./LICENSE) Copyright 2022 © DXOS
+License: [FSL-1.1-Apache-2.0](./LICENSE) Copyright 2022 © DXOS

package/dist/lib/browser/index.mjs

@@ -10,7 +10,6 @@ import * as Schema from "effect/Schema";
 import * as SchemaAST from "effect/SchemaAST";
 import { invariant } from "@dxos/invariant";
 import { isNonNullable } from "@dxos/util";
-var __dxlog_file = "/__w/dxos/dxos/packages/common/effect/src/ast.ts";
 var reduceRefinements = (type, refinements = []) => {
   if (SchemaAST.isRefinement(type)) {
     const filter = type.filter;
@@ -38,12 +37,23 @@ var getBaseType = (prop) => {
 };
 var getProperties = (ast) => {
   const properties = SchemaAST.getPropertySignatures(ast);
-  return properties.map((prop) => ({
-    ...getBaseType(prop),
-    name: prop.name,
-    isOptional: prop.isOptional,
-    isReadonly: prop.isReadonly
-  }));
+  return properties.map((prop) => {
+    const { type, refinements } = getBaseType(prop);
+    const mergedType = prop.annotations && Reflect.ownKeys(prop.annotations).length > 0 ? {
+      ...type,
+      annotations: {
+        ...type.annotations,
+        ...prop.annotations
+      }
+    } : type;
+    return {
+      type: mergedType,
+      refinements,
+      name: prop.name,
+      isOptional: prop.isOptional,
+      isReadonly: prop.isReadonly
+    };
+  });
 };
 var VisitResult = /* @__PURE__ */ (function(VisitResult2) {
   VisitResult2[VisitResult2["CONTINUE"] = 0] = "CONTINUE";
@@ -140,15 +150,7 @@ var findProperty = (schema, path) => {
   const getProp = (node, path2) => {
     const [name, ...rest] = path2;
     const typeNode = findNode(node, SchemaAST.isTypeLiteral);
-    invariant(typeNode, void 0, {
-      F: __dxlog_file,
-      L: 237,
-      S: void 0,
-      A: [
-        "typeNode",
-        ""
-      ]
-    });
+    invariant(typeNode);
     for (const prop of SchemaAST.getPropertySignatures(typeNode)) {
       if (prop.name === name) {
         if (rest.length) {
@@ -196,6 +198,12 @@ var isOption = (node) => {
 var isLiteralUnion = (node) => {
   return SchemaAST.isUnion(node) && node.types.every(SchemaAST.isLiteral);
 };
+var getLiteralValues = (schema) => {
+  if (!isLiteralUnion(schema.ast)) {
+    return [];
+  }
+  return schema.ast.types.map((node) => node.literal);
+};
 var isArrayType = (node) => {
   return SchemaAST.isTupleType(node) && node.elements.length === 0 && node.rest.length === 1;
 };
@@ -209,15 +217,7 @@ var isDiscriminatedUnion = (node) => {
   return SchemaAST.isUnion(node) && !!getDiscriminatingProps(node)?.length;
 };
 var getDiscriminatingProps = (node) => {
-  invariant(SchemaAST.isUnion(node), void 0, {
-    F: __dxlog_file,
-    L: 355,
-    S: void 0,
-    A: [
-      "SchemaAST.isUnion(node)",
-      ""
-    ]
-  });
+  invariant(SchemaAST.isUnion(node));
   if (isOption(node)) {
     return;
   }
@@ -227,39 +227,15 @@ var getDiscriminatingProps = (node) => {
   }, []);
 };
 var getDiscriminatedType = (node, value = {}) => {
-  invariant(SchemaAST.isUnion(node), void 0, {
-    F: __dxlog_file,
-    L: 379,
-    S: void 0,
-    A: [
-      "SchemaAST.isUnion(node)",
-      ""
-    ]
-  });
-  invariant(value, void 0, {
-    F: __dxlog_file,
-    L: 380,
-    S: void 0,
-    A: [
-      "value",
-      ""
-    ]
-  });
+  invariant(SchemaAST.isUnion(node));
+  invariant(value);
   const props = getDiscriminatingProps(node);
   if (!props?.length) {
     return;
   }
   for (const type of node.types) {
     const match = SchemaAST.getPropertySignatures(type).filter((prop) => props?.includes(prop.name.toString())).every((prop) => {
-      invariant(SchemaAST.isLiteral(prop.type), void 0, {
-        F: __dxlog_file,
-        L: 391,
-        S: void 0,
-        A: [
-          "SchemaAST.isLiteral(prop.type)",
-          ""
-        ]
-      });
+      invariant(SchemaAST.isLiteral(prop.type));
       return prop.type.literal === value[prop.name.toString()];
     });
     if (match) {
@@ -269,15 +245,7 @@ var getDiscriminatedType = (node, value = {}) => {
   const fields = Object.fromEntries(props.map((prop) => {
     const literals = node.types.map((type) => {
       const literal = SchemaAST.getPropertySignatures(type).find((p) => p.name.toString() === prop);
-      invariant(SchemaAST.isLiteral(literal.type), void 0, {
-        F: __dxlog_file,
-        L: 409,
-        S: void 0,
-        A: [
-          "SchemaAST.isLiteral(literal.type)",
-          ""
-        ]
-      });
+      invariant(SchemaAST.isLiteral(literal.type));
       return literal.type.literal;
     }).filter(isNonNullable);
     return literals.length ? [
@@ -329,8 +297,8 @@ var getIndexSignatures = (ast) => {
 };
 
 // src/atom-kvs.ts
-import * as BrowserKeyValueStore from "@effect/platform-browser/BrowserKeyValueStore";
 import { Atom } from "@effect-atom/atom-react";
+import * as BrowserKeyValueStore from "@effect/platform-browser/BrowserKeyValueStore";
 var defaultRuntime = Atom.runtime(BrowserKeyValueStore.layerLocalStorage);
 var createKvsStore = (options) => {
   const runtime2 = options.runtime ?? defaultRuntime;
@@ -345,12 +313,8 @@ var createKvsStore = (options) => {
 // src/context.ts
 import * as Effect from "effect/Effect";
 import { Context } from "@dxos/context";
-var __dxlog_file2 = "/__w/dxos/dxos/packages/common/effect/src/context.ts";
 var contextFromScope = () => Effect.gen(function* () {
-  const ctx = new Context(void 0, {
-    F: __dxlog_file2,
-    L: 13
-  });
+  const ctx = new Context();
   yield* Effect.addFinalizer(() => Effect.promise(() => ctx.dispose()));
   return ctx;
 });
@@ -618,7 +582,6 @@ import * as Schema2 from "effect/Schema";
 import { JSONPath } from "jsonpath-plus";
 import { invariant as invariant2 } from "@dxos/invariant";
 import { getDeep, setDeep } from "@dxos/util";
-var __dxlog_file3 = "/__w/dxos/dxos/packages/common/effect/src/json-path.ts";
 var PATH_REGEX = /^($|[a-zA-Z_$][\w$]*(?:\.[a-zA-Z_$][\w$]*|\[\d+\](?:\.)?)*$)/;
 var PROP_REGEX = /^\w+$/;
 var JsonPath = Schema2.String.pipe(Schema2.pattern(PATH_REGEX)).annotations({
@@ -639,28 +602,12 @@ var createJsonPath = (path) => {
       return i === 0 ? p : `.${p}`;
     }
   }).join("");
-  invariant2(isJsonPath(candidatePath), `Invalid JsonPath: ${candidatePath}`, {
-    F: __dxlog_file3,
-    L: 69,
-    S: void 0,
-    A: [
-      "isJsonPath(candidatePath)",
-      "`Invalid JsonPath: ${candidatePath}`"
-    ]
-  });
+  invariant2(isJsonPath(candidatePath), `Invalid JsonPath: ${candidatePath}`);
   return candidatePath;
 };
 var fromEffectValidationPath = (effectPath) => {
   const jsonPath = effectPath.replace(/\.\[(\d+)\]/g, "[$1]");
-  invariant2(isJsonPath(jsonPath), `Invalid JsonPath: ${jsonPath}`, {
-    F: __dxlog_file3,
-    L: 80,
-    S: void 0,
-    A: [
-      "isJsonPath(jsonPath)",
-      "`Invalid JsonPath: ${jsonPath}`"
-    ]
-  });
+  invariant2(isJsonPath(jsonPath), `Invalid JsonPath: ${jsonPath}`);
   return jsonPath;
 };
 var splitJsonPath = (path) => {
@@ -791,6 +738,47 @@ var addTrackEntry = (options) => (effect) => Effect6.gen(function* () {
   });
   return yield* exit2;
 });
+
+// src/async-task-tagging.ts
+import * as Context3 from "effect/Context";
+import * as Effect7 from "effect/Effect";
+import { pipe as pipe3 } from "effect/Function";
+import * as Layer from "effect/Layer";
+import * as Predicate from "effect/Predicate";
+import * as Tracer from "effect/Tracer";
+var runInTask = /* @__PURE__ */ Symbol("runInTask");
+var asyncTaskTaggingLayer = () => {
+  if (Predicate.hasProperty(console, "createTask") === false) {
+    return Layer.empty;
+  }
+  const makeTracer = Effect7.gen(function* () {
+    const oldTracer = yield* Effect7.tracer;
+    return Tracer.make({
+      span: (name, ...args) => {
+        const span = oldTracer.span(name, ...args);
+        const trace = console.createTask(name);
+        span[runInTask] = (f) => trace.run(f);
+        return span;
+      },
+      context: (f, fiber) => {
+        const maybeParentSpan = Context3.getOption(Tracer.ParentSpan)(fiber.currentContext);
+        if (maybeParentSpan._tag === "None") {
+          return oldTracer.context(f, fiber);
+        }
+        const parentSpan = maybeParentSpan.value;
+        if (parentSpan._tag === "ExternalSpan") {
+          return oldTracer.context(f, fiber);
+        }
+        const span = parentSpan;
+        if (runInTask in span && typeof span[runInTask] === "function") {
+          return span[runInTask](() => oldTracer.context(f, fiber));
+        }
+        return oldTracer.context(f, fiber);
+      }
+    });
+  });
+  return pipe3(makeTracer, Effect7.map(Layer.setTracer), Layer.unwrapEffect);
+};
 export {
   dynamic_runtime_exports as DynamicRuntime,
   JsonPath,
@@ -801,6 +789,7 @@ export {
   UrlParser,
   VisitResult,
   acquireReleaseResource,
+  asyncTaskTaggingLayer,
   causeToError,
   contextFromScope,
   createJsonPath,
@@ -815,6 +804,7 @@ export {
   getDiscriminatedType,
   getDiscriminatingProps,
   getField,
+  getLiteralValues,
   getParamKeyAnnotation,
   getProperties,
   getValue,