strictEffectProvide

Warns when using Effect.provide with layers outside of application entry points

Property	Value
Category	Anti-pattern
Default severity	off
Fixable	No
Effect versions	v3, v4
Diagnostic codes	TS377032
Language Service name	strictEffectProvide
Oxlint name	effecttsgo/strict-effect-provide

Preview

import { Effect, Layer, Context } from "effect"

class Config extends Context.Service<Config>()("Config", { make: Effect.succeed({}) }) {
  static Default = Layer.effect(this, this.make)
}
export const preview = Effect.void.pipe(Effect.provide(Config.Default))
/**
                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ effecttsgo(strict-effect-provide): Effect.provide with a Layer should only be used at application entry points. If this is an entry point, you can safely disable this diagnostic. Otherwise, using Effect.provide may break scope lifetimes. Compose all layers at your entry point and provide them at once.
*/

Language Service Configuration

See the Language Service setup guide for installation instructions.

{
  "$schema": "./node_modules/@effect/tsgo/schema.json",
  "compilerOptions": {
    "plugins": [
      {
        "name": "@effect/language-service",
        "diagnosticSeverity": {
          "strictEffectProvide": "warning"
        }
      }
    ]
  }
}

Oxlint Configuration

See the Oxlint setup guide for installation and patching instructions.

{
  "$schema": "./node_modules/@effect/tsgo/oxlint-schema.json",
  "options": {
    "typeAware": true
  },
  "plugins": ["effecttsgo"],
  "rules": {
    "effecttsgo/strict-effect-provide": "warn"
  }
}