effectFnImplicitAny

Mirrors noImplicitAny for unannotated Effect.fn, Effect.fnUntraced, and Effect.fnUntracedEager callback parameters when no outer contextual function type exists. Requires TS's noImplicitAny: true

Property	Value
Category	Correctness
Default severity	error
Fixable	No
Effect versions	v3, v4
Diagnostic codes	TS377062
Language Service name	effectFnImplicitAny
Oxlint name	effecttsgo/effect-fn-implicit-any

Preview

import { Effect } from "effect"

export const preview = Effect.fn("preview")((input) => Effect.succeed(input))
/**
                                             ^^^^^ effecttsgo(effect-fn-implicit-any): Parameter `input` implicitly has type `any` in `Effect.fn`, `Effect.fnUntraced`, or `Effect.fnUntracedEager`. No parameter type is available from an explicit annotation or contextual function type.
*/

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": {
          "effectFnImplicitAny": "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/effect-fn-implicit-any": "warn"
  }
}