effect 2.0.0-next.43 → 2.0.0-next.45

package/src/Data.ts

@@ -0,0 +1,295 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Equal from "./Equal"
+import * as internal from "./internal/Data"
+import type * as Types from "./Types"
+
+/**
+ * @category models
+ * @since 2.0.0
+ */
+export type Data<A extends Readonly<Record<string, any>> | ReadonlyArray<any>> =
+  & Readonly<A>
+  & Equal.Equal
+
+/**
+ * `Case` represents a datatype similar to a case class in Scala. Namely, a
+ * datatype created using `Case` will, by default, provide an implementation
+ * for a constructor, `Hash`, and `Equal`.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export interface Case extends Equal.Equal {}
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace Case {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Constructor<A extends Case, T extends keyof A = never> {
+    (args: Omit<A, T | keyof Equal.Equal> extends Record<PropertyKey, never> ? void : Omit<A, T | keyof Equal.Equal>): A
+  }
+}
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+export const struct = <As extends Readonly<Record<string, any>>>(as: As): Data<As> =>
+  Object.assign(Object.create(internal.StructProto), as)
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+export const unsafeStruct = <As extends Readonly<Record<string, any>>>(as: As): Data<As> =>
+  Object.setPrototypeOf(as, internal.StructProto)
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+export const tuple = <As extends ReadonlyArray<any>>(...as: As): Data<As> => unsafeArray(as)
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+export const array = <As extends ReadonlyArray<any>>(as: As): Data<As> => unsafeArray(as.slice(0) as unknown as As)
+
+/**
+ * @category constructors
+ * @since 2.0.0
+ */
+export const unsafeArray = <As extends ReadonlyArray<any>>(as: As): Data<As> =>
+  Object.setPrototypeOf(as, internal.ArrayProto)
+
+const _case = <A extends Case>(): Case.Constructor<A> => (args) =>
+  (args === undefined ? Object.create(internal.StructProto) : struct(args)) as any
+
+export {
+  /**
+   * Provides a constructor for the specified `Case`.
+   *
+   * @since 2.0.0
+   * @category constructors
+   */
+  _case as case
+}
+
+/**
+ * Provides a tagged constructor for the specified `Case`.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const tagged = <A extends Case & { _tag: string }>(
+  tag: A["_tag"]
+): Case.Constructor<A, "_tag"> =>
+(args) => {
+  const value = args === undefined ? Object.create(internal.StructProto) : struct(args)
+  value._tag = tag
+  return value
+}
+
+/**
+ * Provides a Tagged constructor for a Case Class.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const TaggedClass = <Tag extends string>(
+  tag: Tag
+): new<A extends Record<string, any>>(
+  args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : Omit<A, keyof Equal.Equal>
+) => Data<A & { readonly _tag: Tag }> => {
+  class Base extends Class<any> {
+    readonly _tag = tag
+  }
+  return Base as any
+}
+
+/**
+ * Provides a constructor for a Case Class.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const Class: new<A extends Record<string, any>>(
+  args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : Omit<A, keyof Equal.Equal>
+) => Data<A> = internal.Structural as any
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const Structural: new<A>(
+  args: Types.Equals<Omit<A, keyof Equal.Equal>, {}> extends true ? void : Omit<A, keyof Equal.Equal>
+) => Case = internal.Structural
+
+/**
+ * Create a tagged enum data type, which is a union of `Data` structs.
+ *
+ * ```ts
+ * import * as Data from "effect/Data"
+ *
+ * type HttpError = Data.TaggedEnum<{
+ *   BadRequest: { status: 400, message: string }
+ *   NotFound: { status: 404, message: string }
+ * }>
+ *
+ * // Equivalent to:
+ * type HttpErrorPlain =
+ *   | Data.Data<{
+ *     readonly _tag: "BadRequest"
+ *     readonly status: 400
+ *     readonly message: string
+ *   }>
+ *   | Data.Data<{
+ *     readonly _tag: "NotFound"
+ *     readonly status: 404
+ *     readonly message: string
+ *   }>
+ * ```
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export type TaggedEnum<A extends Record<string, Record<string, any>>> = {
+  readonly [Tag in keyof A]: Data<
+    Readonly<Types.Simplify<A[Tag] & { _tag: Tag }>>
+  >
+}[keyof A]
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace TaggedEnum {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface WithGenerics<Count extends number> {
+    readonly taggedEnum: Data<{ readonly _tag: string }>
+    readonly numberOfGenerics: Count
+
+    readonly A: unknown
+    readonly B: unknown
+    readonly C: unknown
+    readonly D: unknown
+  }
+
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export type Kind<
+    Z extends WithGenerics<number>,
+    A = unknown,
+    B = unknown,
+    C = unknown,
+    D = unknown
+  > = (Z & {
+    readonly A: A
+    readonly B: B
+    readonly C: C
+    readonly D: D
+  })["taggedEnum"]
+
+  /**
+   * @since 2.0.0
+   */
+  export type Args<
+    A extends Data<{ readonly _tag: string }>,
+    K extends A["_tag"]
+  > = Omit<
+    Extract<A, { readonly _tag: K }>,
+    "_tag" | keyof Case
+  > extends infer T ? {} extends T ? void
+    : T
+    : never
+
+  /**
+   * @since 2.0.0
+   */
+  export type Value<
+    A extends Data<{ readonly _tag: string }>,
+    K extends A["_tag"]
+  > = Extract<A, { readonly _tag: K }>
+}
+
+/**
+ * Create a constructor for a tagged union of `Data` structs.
+ *
+ * You can also pass a `TaggedEnum.WithGenerics` if you want to add generics to
+ * the constructor.
+ *
+ * @example
+ * import * as Data from "effect/Data"
+ *
+ * const HttpError = Data.taggedEnum<
+ *   | Data.Data<{ _tag: "BadRequest"; status: 400; message: string }>
+ *   | Data.Data<{ _tag: "NotFound"; status: 404; message: string }>
+ * >()
+ *
+ * const notFound = HttpError("NotFound")({ status: 404, message: "Not Found" })
+ *
+ * @example
+ * import * as Data from "effect/Data"
+ *
+ * type MyResult<E, A> = Data.TaggedEnum<{
+ *   Failure: { error: E }
+ *   Success: { value: A }
+ * }>
+ * interface MyResultDefinition extends Data.TaggedEnum.WithGenerics<2> {
+ *   readonly taggedEnum: MyResult<this["A"], this["B"]>
+ * }
+ * const MyResult = Data.taggedEnum<MyResultDefinition>()
+ *
+ * const success = MyResult("Success")({ value: 1 })
+ *
+ * @category constructors
+ * @since 2.0.0
+ */
+export const taggedEnum: {
+  <Z extends TaggedEnum.WithGenerics<1>>(): <
+    K extends Z["taggedEnum"]["_tag"]
+  >(
+    tag: K
+  ) => <A>(
+    args: TaggedEnum.Args<TaggedEnum.Kind<Z, A>, K>
+  ) => TaggedEnum.Value<TaggedEnum.Kind<Z, A>, K>
+
+  <Z extends TaggedEnum.WithGenerics<2>>(): <
+    K extends Z["taggedEnum"]["_tag"]
+  >(
+    tag: K
+  ) => <A, B>(
+    args: TaggedEnum.Args<TaggedEnum.Kind<Z, A, B>, K>
+  ) => TaggedEnum.Value<TaggedEnum.Kind<Z, A, B>, K>
+
+  <Z extends TaggedEnum.WithGenerics<3>>(): <
+    K extends Z["taggedEnum"]["_tag"]
+  >(
+    tag: K
+  ) => <A, B, C>(
+    args: TaggedEnum.Args<TaggedEnum.Kind<Z, A, B, C>, K>
+  ) => TaggedEnum.Value<TaggedEnum.Kind<Z, A, B, C>, K>
+
+  <Z extends TaggedEnum.WithGenerics<4>>(): <
+    K extends Z["taggedEnum"]["_tag"]
+  >(
+    tag: K
+  ) => <A, B, C, D>(
+    args: TaggedEnum.Args<TaggedEnum.Kind<Z, A, B, C, D>, K>
+  ) => TaggedEnum.Value<TaggedEnum.Kind<Z, A, B, C, D>, K>
+
+  <A extends Data<{ readonly _tag: string }>>(): <K extends A["_tag"]>(
+    tag: K
+  ) => Case.Constructor<Extract<A, { readonly _tag: K }>, "_tag">
+} = () => tagged as any

package/src/DefaultServices.ts

@@ -0,0 +1,34 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Clock from "./Clock"
+import type * as ConfigProvider from "./ConfigProvider"
+import type * as Console from "./Console"
+import type * as Context from "./Context"
+import type * as FiberRef from "./FiberRef"
+import * as internal from "./internal/defaultServices"
+import type * as Random from "./Random"
+import type * as Tracer from "./Tracer"
+
+/**
+ * @since 2.0.0
+ * @category models
+ */
+export type DefaultServices =
+  | Clock.Clock
+  | Console.Console
+  | Random.Random
+  | ConfigProvider.ConfigProvider
+  | Tracer.Tracer
+
+/**
+ * @since 2.0.0
+ * @category constructors
+ */
+export const liveServices: Context.Context<DefaultServices> = internal.liveServices
+
+/**
+ * @since 2.0.0
+ * @category fiberRefs
+ */
+export const currentServices: FiberRef.FiberRef<Context.Context<DefaultServices>> = internal.currentServices

package/src/Deferred.ts

@@ -0,0 +1,283 @@
+/**
+ * @since 2.0.0
+ */
+import type * as Cause from "./Cause"
+import type * as Effect from "./Effect"
+import type * as Exit from "./Exit"
+import type * as FiberId from "./FiberId"
+import type { LazyArg } from "./Function"
+import * as core from "./internal/core"
+import * as internal from "./internal/deferred"
+import type * as MutableRef from "./MutableRef"
+import type * as Option from "./Option"
+import type { Pipeable } from "./Pipeable"
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export const DeferredTypeId: unique symbol = internal.DeferredTypeId
+
+/**
+ * @since 2.0.0
+ * @category symbols
+ */
+export type DeferredTypeId = typeof DeferredTypeId
+
+/**
+ * A `Deferred` represents an asynchronous variable that can be set exactly
+ * once, with the ability for an arbitrary number of fibers to suspend (by
+ * calling `Deferred.await`) and automatically resume when the variable is set.
+ *
+ * `Deferred` can be used for building primitive actions whose completions
+ * require the coordinated action of multiple fibers, and for building
+ * higher-level concurrent or asynchronous structures.
+ *
+ * @since 2.0.0
+ * @category models
+ */
+export interface Deferred<E, A> extends Deferred.Variance<E, A>, Pipeable {
+  /** @internal */
+  readonly state: MutableRef.MutableRef<internal.State<E, A>>
+  /** @internal */
+  readonly blockingOn: FiberId.FiberId
+}
+
+/**
+ * @since 2.0.0
+ */
+export declare namespace Deferred {
+  /**
+   * @since 2.0.0
+   * @category models
+   */
+  export interface Variance<E, A> {
+    readonly [DeferredTypeId]: {
+      readonly _E: (_: never) => E
+      readonly _A: (_: never) => A
+    }
+  }
+}
+
+/**
+ * Creates a new `Deferred`.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const make: <E, A>() => Effect.Effect<never, never, Deferred<E, A>> = core.deferredMake
+
+/**
+ * Creates a new `Deferred` from the specified `FiberId`.
+ *
+ * @since 2.0.0
+ * @category constructors
+ */
+export const makeAs: <E, A>(fiberId: FiberId.FiberId) => Effect.Effect<never, never, Deferred<E, A>> =
+  core.deferredMakeAs
+
+const _await: <E, A>(self: Deferred<E, A>) => Effect.Effect<never, E, A> = core.deferredAwait
+
+export {
+  /**
+   * Retrieves the value of the `Deferred`, suspending the fiber running the
+   * workflow until the result is available.
+   *
+   * @since 2.0.0
+   * @category getters
+   */
+  _await as await
+}
+
+/**
+ * Completes the deferred with the result of the specified effect. If the
+ * deferred has already been completed, the method will produce false.
+ *
+ * Note that `Deferred.completeWith` will be much faster, so consider using
+ * that if you do not need to memoize the result of the specified effect.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const complete: {
+  <E, A>(effect: Effect.Effect<never, E, A>): (self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, effect: Effect.Effect<never, E, A>): Effect.Effect<never, never, boolean>
+} = core.deferredComplete
+
+/**
+ * Completes the deferred with the result of the specified effect. If the
+ * deferred has already been completed, the method will produce false.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const completeWith: {
+  <E, A>(effect: Effect.Effect<never, E, A>): (self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, effect: Effect.Effect<never, E, A>): Effect.Effect<never, never, boolean>
+} = core.deferredCompleteWith
+
+/**
+ * Exits the `Deferred` with the specified `Exit` value, which will be
+ * propagated to all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const done: {
+  <E, A>(exit: Exit.Exit<E, A>): (self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, exit: Exit.Exit<E, A>): Effect.Effect<never, never, boolean>
+} = core.deferredDone
+
+/**
+ * Fails the `Deferred` with the specified error, which will be propagated to
+ * all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const fail: {
+  <E>(error: E): <A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, error: E): Effect.Effect<never, never, boolean>
+} = core.deferredFail
+
+/**
+ * Fails the `Deferred` with the specified error, which will be propagated to
+ * all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const failSync: {
+  <E>(evaluate: LazyArg<E>): <A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, evaluate: LazyArg<E>): Effect.Effect<never, never, boolean>
+} = core.deferredFailSync
+
+/**
+ * Fails the `Deferred` with the specified `Cause`, which will be propagated to
+ * all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const failCause: {
+  <E>(cause: Cause.Cause<E>): <A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, cause: Cause.Cause<E>): Effect.Effect<never, never, boolean>
+} = core.deferredFailCause
+
+/**
+ * Fails the `Deferred` with the specified `Cause`, which will be propagated to
+ * all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const failCauseSync: {
+  <E>(evaluate: LazyArg<Cause.Cause<E>>): <A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, evaluate: LazyArg<Cause.Cause<E>>): Effect.Effect<never, never, boolean>
+} = core.deferredFailCauseSync
+
+/**
+ * Kills the `Deferred` with the specified defect, which will be propagated to
+ * all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const die: {
+  (defect: unknown): <E, A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, defect: unknown): Effect.Effect<never, never, boolean>
+} = core.deferredDie
+
+/**
+ * Kills the `Deferred` with the specified defect, which will be propagated to
+ * all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const dieSync: {
+  (evaluate: LazyArg<unknown>): <E, A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, evaluate: LazyArg<unknown>): Effect.Effect<never, never, boolean>
+} = core.deferredDieSync
+
+/**
+ * Completes the `Deferred` with interruption. This will interrupt all fibers
+ * waiting on the value of the `Deferred` with the `FiberId` of the fiber
+ * calling this method.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const interrupt: <E, A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean> = core.deferredInterrupt
+
+/**
+ * Completes the `Deferred` with interruption. This will interrupt all fibers
+ * waiting on the value of the `Deferred` with the specified `FiberId`.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const interruptWith: {
+  (fiberId: FiberId.FiberId): <E, A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, fiberId: FiberId.FiberId): Effect.Effect<never, never, boolean>
+} = core.deferredInterruptWith
+
+/**
+ * Returns `true` if this `Deferred` has already been completed with a value or
+ * an error, `false` otherwise.
+ *
+ * @since 2.0.0
+ * @category getters
+ */
+export const isDone: <E, A>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean> = core.deferredIsDone
+
+/**
+ * Returns a `Some<Effect<R, E, A>>` from the `Deferred` if this `Deferred` has
+ * already been completed, `None` otherwise.
+ *
+ * @since 2.0.0
+ * @category getters
+ */
+export const poll: <E, A>(
+  self: Deferred<E, A>
+) => Effect.Effect<never, never, Option.Option<Effect.Effect<never, E, A>>> = core.deferredPoll
+
+/**
+ * Completes the `Deferred` with the specified value.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const succeed: {
+  <A>(value: A): <E>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, value: A): Effect.Effect<never, never, boolean>
+} = core.deferredSucceed
+
+/**
+ * Completes the `Deferred` with the specified lazily evaluated value.
+ *
+ * @since 2.0.0
+ * @category utils
+ */
+export const sync: {
+  <A>(evaluate: LazyArg<A>): <E>(self: Deferred<E, A>) => Effect.Effect<never, never, boolean>
+  <E, A>(self: Deferred<E, A>, evaluate: LazyArg<A>): Effect.Effect<never, never, boolean>
+} = core.deferredSync
+
+/**
+ * Unsafely creates a new `Deferred` from the specified `FiberId`.
+ *
+ * @since 2.0.0
+ * @category unsafe
+ */
+export const unsafeMake: <E, A>(fiberId: FiberId.FiberId) => Deferred<E, A> = core.deferredUnsafeMake
+
+/**
+ * Unsafely exits the `Deferred` with the specified `Exit` value, which will be
+ * propagated to all fibers waiting on the value of the `Deferred`.
+ *
+ * @since 2.0.0
+ * @category unsafe
+ */
+export const unsafeDone: <E, A>(self: Deferred<E, A>, effect: Effect.Effect<never, E, A>) => void =
+  core.deferredUnsafeDone