add Command.provideSync/provideEffect

.changeset/three-pianos-nail.md

@@ -0,0 +1,5 @@
+---
+"@effect/cli": patch
+---
+
+add Command.provideSync

.changeset/violet-balloons-film.md

@@ -0,0 +1,5 @@
+---
+"@effect/cli": patch
+---
+
+add Command.provideEffect

.vscode/settings.json

@@ -22,13 +22,9 @@
   "[typescriptreact]": {
     "editor.defaultFormatter": "dbaeumer.vscode-eslint"
   },
-  "eslint.validate": [
-    "markdown",
-    "javascript",
-    "typescript"
-  ],
+  "eslint.validate": ["markdown", "javascript", "typescript"],
   "editor.codeActionsOnSave": {
-    "source.fixAll.eslint": true
+    "source.fixAll.eslint": "explicit"
   },
   "editor.quickSuggestions": {
     "other": true,
@@ -42,7 +38,7 @@
   "editor.tabCompletion": "off",
   "editor.suggest.localityBonus": true,
   "editor.suggestSelection": "recentlyUsed",
-  "editor.wordBasedSuggestions": true,
+  "editor.wordBasedSuggestions": "matchingDocuments",
   "editor.parameterHints.enabled": true,
-  "files.insertFinalNewline": true,
+  "files.insertFinalNewline": true
 }

src/Command.ts

@@ -267,6 +267,24 @@ export const provide: {
   ): Command<Name, LR | Exclude<R, LA>, E | LE, A>
 } = Internal.provide
 
+/**
+ * @since 1.0.0
+ * @category combinators
+ */
+export const provideEffect: {
+  <I, S, A, R2, E2>(
+    tag: Tag<I, S>,
+    effect: Effect<R2, E2, S> | ((_: A) => Effect<R2, E2, S>)
+  ): <Name extends string, R, E>(
+    self: Command<Name, R, E, A>
+  ) => Command<Name, R2 | Exclude<R, I>, E2 | E, A>
+  <Name extends string, R, E, A, I, S, R2, E2>(
+    self: Command<Name, R, E, A>,
+    tag: Tag<I, S>,
+    effect: Effect<R2, E2, S> | ((_: A) => Effect<R2, E2, S>)
+  ): Command<Name, R2 | Exclude<R, I>, E | E2, A>
+} = Internal.provideEffect
+
 /**
  * @since 1.0.0
  * @category combinators
@@ -281,6 +299,22 @@ export const provideEffectDiscard: {
   ): Command<Name, R | R2, E | E2, A>
 } = Internal.provideEffectDiscard
 
+/**
+ * @since 1.0.0
+ * @category combinators
+ */
+export const provideSync: {
+  <I, S, A>(
+    tag: Tag<I, S>,
+    service: S | ((_: A) => S)
+  ): <Name extends string, R, E>(self: Command<Name, R, E, A>) => Command<Name, Exclude<R, I>, E, A>
+  <Name extends string, R, E, A, I, S>(
+    self: Command<Name, R, E, A>,
+    tag: Tag<I, S>,
+    service: S | ((_: A) => S)
+  ): Command<Name, Exclude<R, I>, E, A>
+} = Internal.provideSync
+
 /**
  * @since 1.0.0
  * @category combinators

src/internal/command.ts

@@ -350,6 +350,27 @@ export const provide = dual<
       Effect.provide(effect, typeof layer === "function" ? layer(config) : layer)
   }))
 
+/** @internal */
+export const provideEffect = dual<
+  <I, S, A, R2, E2>(
+    tag: Context.Tag<I, S>,
+    effect: Effect.Effect<R2, E2, S> | ((_: A) => Effect.Effect<R2, E2, S>)
+  ) => <Name extends string, R, E>(
+    self: Command.Command<Name, R, E, A>
+  ) => Command.Command<Name, Exclude<R, I> | R2, E | E2, A>,
+  <Name extends string, R, E, A, I, S, R2, E2>(
+    self: Command.Command<Name, R, E, A>,
+    tag: Context.Tag<I, S>,
+    effect: Effect.Effect<R2, E2, S> | ((_: A) => Effect.Effect<R2, E2, S>)
+  ) => Command.Command<Name, Exclude<R, I> | R2, E | E2, A>
+>(3, (self, tag, effect_) =>
+  makeDerive(self, {
+    transform: (self, config) => {
+      const effect = typeof effect_ === "function" ? effect_(config) : effect_
+      return Effect.provideServiceEffect(self, tag, effect)
+    }
+  }))
+
 /** @internal */
 export const provideEffectDiscard = dual<
   <A, R2, E2, _>(
@@ -369,6 +390,27 @@ export const provideEffectDiscard = dual<
     }
   }))
 
+/** @internal */
+export const provideSync = dual<
+  <I, S, A>(
+    tag: Context.Tag<I, S>,
+    service: S | ((_: A) => S)
+  ) => <Name extends string, R, E>(
+    self: Command.Command<Name, R, E, A>
+  ) => Command.Command<Name, Exclude<R, I>, E, A>,
+  <Name extends string, R, E, A, I, S>(
+    self: Command.Command<Name, R, E, A>,
+    tag: Context.Tag<I, S>,
+    service: S | ((_: A) => S)
+  ) => Command.Command<Name, Exclude<R, I>, E, A>
+>(3, (self, tag, f) =>
+  makeDerive(self, {
+    transform: (self, config) => {
+      const service = typeof f === "function" ? (f as any)(config) : f
+      return Effect.provideService(self, tag, service)
+    }
+  }))
+
 /** @internal */
 export const withDescription = dual<
   (

test/Command.test.ts

@@ -33,11 +33,14 @@ const clone = Command.make("clone", {
     }
   })).pipe(Command.withDescription("Clone a repository into a new directory"))
 
+const AddService = Context.Tag<"AddService">()
+
 const add = Command.make("add", {
   pathspec: Args.text({ name: "pathspec" })
 }).pipe(
   Command.withHandler(({ pathspec }) =>
     Effect.gen(function*(_) {
+      yield* _(AddService)
       const { log } = yield* _(Messages)
       const { verbose } = yield* _(git)
       if (verbose) {
@@ -47,7 +50,8 @@ const add = Command.make("add", {
       }
     })
   ),
-  Command.withDescription("Add file contents to the index")
+  Command.withDescription("Add file contents to the index"),
+  Command.provideEffect(AddService, (_) => Effect.succeed("AddService" as const))
 )
 
 const run = git.pipe(