effect 4.0.0-beta.84 → 4.0.0-beta.86

package/src/unstable/workflow/DurableDeferred.ts

@@ -36,8 +36,8 @@ const TypeId = "~effect/workflow/DurableDeferred"
  * @since 4.0.0
  */
 export interface DurableDeferred<
-  Success extends Schema.Top,
-  Error extends Schema.Top = Schema.Never
+  Success extends Schema.Constraint,
+  Error extends Schema.Constraint = Schema.Never
 > {
   readonly [TypeId]: typeof TypeId
   readonly name: string
@@ -82,8 +82,8 @@ export interface AnyWithProps {
  * @since 4.0.0
  */
 export const make = <
-  Success extends Schema.Top = Schema.Void,
-  Error extends Schema.Top = Schema.Never
+  Success extends Schema.Constraint = Schema.Void,
+  Error extends Schema.Constraint = Schema.Never
 >(
   name: string,
   options?: {
@@ -129,7 +129,7 @@ const CurrentAttempt = Context.Reference<number>(
   { defaultValue: () => 1 }
 )
 
-const await_: <Success extends Schema.Top, Error extends Schema.Top>(
+const await_: <Success extends Schema.Constraint, Error extends Schema.Constraint>(
   self: DurableDeferred<Success, Error>
 ) => Effect.Effect<
   Success["Type"],
@@ -139,8 +139,8 @@ const await_: <Success extends Schema.Top, Error extends Schema.Top>(
   | Success["DecodingServices"]
   | Error["DecodingServices"]
 > = Effect.fnUntraced(function*<
-  Success extends Schema.Top,
-  Error extends Schema.Top
+  Success extends Schema.Constraint,
+  Error extends Schema.Constraint
 >(self: DurableDeferred<Success, Error>) {
   const engine = yield* EngineTag
   const instance = yield* InstanceTag
@@ -180,7 +180,7 @@ export const into: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(self: DurableDeferred<Success, Error>): <R>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(self: DurableDeferred<Success, Error>): <R>(
     effect: Effect.Effect<Success["Type"], Error["Type"], R>
   ) => Effect.Effect<
     Success["Type"],
@@ -198,7 +198,7 @@ export const into: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top, R>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint, R>(
     effect: Effect.Effect<Success["Type"], Error["Type"], R>,
     self: DurableDeferred<Success, Error>
   ): Effect.Effect<
@@ -212,7 +212,7 @@ export const into: {
   >
 } = dual(
   2,
-  <Success extends Schema.Top, Error extends Schema.Top, R>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint, R>(
     effect: Effect.Effect<Success["Type"], Error["Type"], R>,
     self: DurableDeferred<Success, Error>
   ): Effect.Effect<
@@ -416,10 +416,10 @@ export class TokenParsed extends Schema.Class<TokenParsed>(
  * @category token
  * @since 4.0.0
  */
-export const token: <Success extends Schema.Top, Error extends Schema.Top>(
+export const token: <Success extends Schema.Constraint, Error extends Schema.Constraint>(
   self: DurableDeferred<Success, Error>
 ) => Effect.Effect<Token, never, WorkflowInstance> = Effect.fnUntraced(
-  function*<Success extends Schema.Top, Error extends Schema.Top>(
+  function*<Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>
   ) {
     const instance = yield* InstanceTag
@@ -447,7 +447,7 @@ export const tokenFromExecutionId: {
       readonly workflow: Workflow.Any
       readonly executionId: string
     }
-  ): <Success extends Schema.Top, Error extends Schema.Top>(
+  ): <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>
   ) => Token
   /**
@@ -457,13 +457,13 @@ export const tokenFromExecutionId: {
    * @category token
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: { readonly workflow: Workflow.Any; readonly executionId: string }
   ): Token
 } = dual(
   2,
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly workflow: Workflow.Any
@@ -497,7 +497,7 @@ export const tokenFromPayload: {
       readonly workflow: W
       readonly payload: Workflow.PayloadSchema<W>["~type.make.in"]
     }
-  ): <Success extends Schema.Top, Error extends Schema.Top>(
+  ): <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>
   ) => Effect.Effect<Token>
   /**
@@ -508,8 +508,8 @@ export const tokenFromPayload: {
    * @since 4.0.0
    */
   <
-    Success extends Schema.Top,
-    Error extends Schema.Top,
+    Success extends Schema.Constraint,
+    Error extends Schema.Constraint,
     W extends Workflow.Any
   >(
     self: DurableDeferred<Success, Error>,
@@ -521,8 +521,8 @@ export const tokenFromPayload: {
 } = dual(
   2,
   <
-    Success extends Schema.Top,
-    Error extends Schema.Top,
+    Success extends Schema.Constraint,
+    Error extends Schema.Constraint,
     W extends Workflow.Any
   >(
     self: DurableDeferred<Success, Error>,
@@ -553,7 +553,7 @@ export const done: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     options: {
       readonly token: Token
       readonly exit: Exit.Exit<Success["Type"], Error["Type"]>
@@ -572,7 +572,7 @@ export const done: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token
@@ -586,8 +586,8 @@ export const done: {
 } = dual(
   2,
   Effect.fnUntraced(function*<
-    Success extends Schema.Top,
-    Error extends Schema.Top
+    Success extends Schema.Constraint,
+    Error extends Schema.Constraint
   >(
     self: DurableDeferred<Success, Error>,
     options: {
@@ -621,7 +621,7 @@ export const succeed: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     options: {
       readonly token: Token
       readonly value: Success["Type"]
@@ -636,7 +636,7 @@ export const succeed: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token
@@ -645,7 +645,7 @@ export const succeed: {
   ): Effect.Effect<void, never, WorkflowEngine | Success["EncodingServices"]>
 } = dual(
   2,
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token
@@ -671,7 +671,7 @@ export const fail: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     options: {
       readonly token: Token
       readonly error: Error["Type"]
@@ -685,7 +685,7 @@ export const fail: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token
@@ -694,7 +694,7 @@ export const fail: {
   ): Effect.Effect<void, never, WorkflowEngine | Error["EncodingServices"]>
 } = dual(
   2,
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token
@@ -720,7 +720,7 @@ export const failCause: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     options: {
       readonly token: Token
       readonly cause: Cause.Cause<Error["Type"]>
@@ -734,7 +734,7 @@ export const failCause: {
    * @category combinators
    * @since 4.0.0
    */
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token
@@ -743,7 +743,7 @@ export const failCause: {
   ): Effect.Effect<void, never, WorkflowEngine | Error["EncodingServices"]>
 } = dual(
   2,
-  <Success extends Schema.Top, Error extends Schema.Top>(
+  <Success extends Schema.Constraint, Error extends Schema.Constraint>(
     self: DurableDeferred<Success, Error>,
     options: {
       readonly token: Token

package/src/unstable/workflow/Workflow.ts

@@ -511,8 +511,8 @@ export interface CompleteEncoded<A, E> {
  * @since 4.0.0
  */
 export interface CompleteSchema<
-  Success extends Schema.Top,
-  Error extends Schema.Top
+  Success extends Schema.Constraint,
+  Error extends Schema.Constraint
 > extends
   Schema.declareConstructor<
     Complete<Success["Type"], Error["Type"]>,
@@ -545,7 +545,7 @@ export class Complete<A, E> extends Data.TaggedClass("Complete")<{
    *
    * @since 4.0.0
    */
-  static Schema<Success extends Schema.Top, Error extends Schema.Top>(options: {
+  static Schema<Success extends Schema.Constraint, Error extends Schema.Constraint>(options: {
     readonly success: Success
     readonly error: Error
   }): CompleteSchema<Success, Error> {
@@ -624,8 +624,8 @@ export class Suspended extends Schema.Class<Suspended>(
  * @since 4.0.0
  */
 export const Result = <
-  Success extends Schema.Top,
-  Error extends Schema.Top
+  Success extends Schema.Constraint,
+  Error extends Schema.Constraint
 >(options: {
   readonly success: Success
   readonly error: Error

package/src/unstable/workflow/WorkflowEngine.ts

@@ -144,8 +144,8 @@ export class WorkflowEngine extends Context.Service<
      * Execute an activity from a workflow.
      */
     readonly activityExecute: <
-      Success extends Schema.Top,
-      Error extends Schema.Top,
+      Success extends Schema.Constraint,
+      Error extends Schema.Constraint,
       R
     >(
       activity: Activity.Activity<Success, Error, R>,
@@ -163,8 +163,8 @@ export class WorkflowEngine extends Context.Service<
      * Try to retrieve the result of an DurableDeferred
      */
     readonly deferredResult: <
-      Success extends Schema.Top,
-      Error extends Schema.Top
+      Success extends Schema.Constraint,
+      Error extends Schema.Constraint
     >(
       deferred: DurableDeferred.DurableDeferred<Success, Error>
     ) => Effect.Effect<
@@ -178,8 +178,8 @@ export class WorkflowEngine extends Context.Service<
      * workflows.
      */
     readonly deferredDone: <
-      Success extends Schema.Top,
-      Error extends Schema.Top
+      Success extends Schema.Constraint,
+      Error extends Schema.Constraint
     >(
       deferred: DurableDeferred.DurableDeferred<Success, Error>,
       options: {
@@ -469,8 +469,8 @@ export const makeUnsafe = (options: Encoded): WorkflowEngine["Service"] =>
     interruptUnsafe: options.interruptUnsafe,
     resume: options.resume,
     activityExecute: Effect.fnUntraced(function*<
-      Success extends Schema.Top,
-      Error extends Schema.Top,
+      Success extends Schema.Constraint,
+      Error extends Schema.Constraint,
       R
     >(activity: Activity.Activity<Success, Error, R>, attempt: number) {
       const result = yield* options.activityExecute(activity, attempt)
@@ -483,7 +483,7 @@ export const makeUnsafe = (options: Encoded): WorkflowEngine["Service"] =>
       return new Workflow.Complete({ exit })
     }),
     deferredResult: Effect.fnUntraced(
-      function*<Success extends Schema.Top, Error extends Schema.Top>(
+      function*<Success extends Schema.Constraint, Error extends Schema.Constraint>(
         deferred: DurableDeferred.DurableDeferred<Success, Error>
       ) {
         const instance = yield* WorkflowInstance
@@ -509,7 +509,7 @@ export const makeUnsafe = (options: Encoded): WorkflowEngine["Service"] =>
       )
     ),
     deferredDone: Effect.fnUntraced(
-      function*<Success extends Schema.Top, Error extends Schema.Top>(
+      function*<Success extends Schema.Constraint, Error extends Schema.Constraint>(
         deferred: DurableDeferred.DurableDeferred<Success, Error>,
         opts: {
           readonly workflowName: string

package/dist/internal/concurrency.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=concurrency.d.ts.map

package/dist/internal/concurrency.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"concurrency.d.ts","sourceRoot":"","sources":["../../src/internal/concurrency.ts"],"names":[],"mappings":""}

package/dist/internal/concurrency.js

@@ -1,29 +0,0 @@
-import { CurrentConcurrency } from "../References.js";
-import * as effect from "./effect.js";
-/** @internal */
-export const match = (concurrency, sequential, unbounded, bounded) => {
-  switch (concurrency) {
-    case undefined:
-      return sequential();
-    case "unbounded":
-      return unbounded();
-    case "inherit":
-      return effect.flatMap(CurrentConcurrency, concurrency => concurrency === "unbounded" ? unbounded() : concurrency > 1 ? bounded(concurrency) : sequential());
-    default:
-      return concurrency > 1 ? bounded(concurrency) : sequential();
-  }
-};
-/** @internal */
-export const matchSimple = (concurrency, sequential, concurrent) => {
-  switch (concurrency) {
-    case undefined:
-      return sequential();
-    case "unbounded":
-      return concurrent();
-    case "inherit":
-      return effect.flatMap(CurrentConcurrency, concurrency => concurrency === "unbounded" || concurrency > 1 ? concurrent() : sequential());
-    default:
-      return concurrency > 1 ? concurrent() : sequential();
-  }
-};
-//# sourceMappingURL=concurrency.js.map

package/dist/internal/concurrency.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"concurrency.js","names":["CurrentConcurrency","effect","match","concurrency","sequential","unbounded","bounded","undefined","flatMap","matchSimple","concurrent"],"sources":["../../src/internal/concurrency.ts"],"sourcesContent":[null],"mappings":"AACA,SAASA,kBAAkB,QAAQ,kBAAkB;AAErD,OAAO,KAAKC,MAAM,MAAM,aAAa;AAErC;AACA,OAAO,MAAMC,KAAK,GAAGA,CACnBC,WAAoC,EACpCC,UAAiC,EACjCC,SAAgC,EAChCC,OAA2C,KACxB;EACnB,QAAQH,WAAW;IACjB,KAAKI,SAAS;MACZ,OAAOH,UAAU,EAAE;IACrB,KAAK,WAAW;MACd,OAAOC,SAAS,EAAE;IACpB,KAAK,SAAS;MACZ,OAAOJ,MAAM,CAACO,OAAO,CAACR,kBAAkB,EAAGG,WAAW,IACpDA,WAAW,KAAK,WAAW,GACvBE,SAAS,EAAE,GACXF,WAAW,GAAG,CAAC,GACfG,OAAO,CAACH,WAAW,CAAC,GACpBC,UAAU,EAAE,CAAC;IACrB;MACE,OAAOD,WAAW,GAAG,CAAC,GAAGG,OAAO,CAACH,WAAW,CAAC,GAAGC,UAAU,EAAE;EAChE;AACF,CAAC;AAED;AACA,OAAO,MAAMK,WAAW,GAAGA,CACzBN,WAAoC,EACpCC,UAAiC,EACjCM,UAAiC,KACd;EACnB,QAAQP,WAAW;IACjB,KAAKI,SAAS;MACZ,OAAOH,UAAU,EAAE;IACrB,KAAK,WAAW;MACd,OAAOM,UAAU,EAAE;IACrB,KAAK,SAAS;MACZ,OAAOT,MAAM,CAACO,OAAO,CACnBR,kBAAkB,EACjBG,WAAW,IACVA,WAAW,KAAK,WAAW,IAAIA,WAAW,GAAG,CAAC,GAC1CO,UAAU,EAAE,GACZN,UAAU,EAAE,CACnB;IACH;MACE,OAAOD,WAAW,GAAG,CAAC,GAAGO,UAAU,EAAE,GAAGN,UAAU,EAAE;EACxD;AACF,CAAC","ignoreList":[]}

package/src/internal/concurrency.ts

@@ -1,52 +0,0 @@
-import type { Effect } from "../Effect.ts"
-import { CurrentConcurrency } from "../References.ts"
-import type { Concurrency } from "../Types.ts"
-import * as effect from "./effect.ts"
-
-/** @internal */
-export const match = <A, E, R>(
-  concurrency: Concurrency | undefined,
-  sequential: () => Effect<A, E, R>,
-  unbounded: () => Effect<A, E, R>,
-  bounded: (limit: number) => Effect<A, E, R>
-): Effect<A, E, R> => {
-  switch (concurrency) {
-    case undefined:
-      return sequential()
-    case "unbounded":
-      return unbounded()
-    case "inherit":
-      return effect.flatMap(CurrentConcurrency, (concurrency) =>
-        concurrency === "unbounded"
-          ? unbounded()
-          : concurrency > 1
-          ? bounded(concurrency)
-          : sequential())
-    default:
-      return concurrency > 1 ? bounded(concurrency) : sequential()
-  }
-}
-
-/** @internal */
-export const matchSimple = <A, E, R>(
-  concurrency: Concurrency | undefined,
-  sequential: () => Effect<A, E, R>,
-  concurrent: () => Effect<A, E, R>
-): Effect<A, E, R> => {
-  switch (concurrency) {
-    case undefined:
-      return sequential()
-    case "unbounded":
-      return concurrent()
-    case "inherit":
-      return effect.flatMap(
-        CurrentConcurrency,
-        (concurrency) =>
-          concurrency === "unbounded" || concurrency > 1
-            ? concurrent()
-            : sequential()
-      )
-    default:
-      return concurrency > 1 ? concurrent() : sequential()
-  }
-}