> **Can't find what you're looking for?** Use `search_docs` on the docs MCP server at `https://ensforge.com/api/mcp` to find what you need.

# isHcaModuleInstalled

Check a module type/address.

## Import

```ts
import { isHcaModuleInstalled } from "@ensforge/core/hca";
```

## Usage

:::code-group
```ts [index.ts]
import { isHcaModuleInstalled } from "@ensforge/core/hca";
import { config } from "./config";

const result = await isHcaModuleInstalled(config, {
  hca: "0x1234567890123456789012345678901234567890",
  moduleTypeId: 1n,
  module: "0x5678901234567890123456789012345678901234",
});
```

```ts [config.ts]
// [!include ~/snippets/hca/config.ts]
```
:::

## Parameters

```ts
import type { HcaReadParameters } from "@ensforge/core/hca";
```

### hca

`` `0x${string}` ``

HCA address to inspect or operate on.

### moduleTypeId

`bigint`

ERC-7579 module type identifier.

### module

`` `0x${string}` ``

Module contract address.

### additionalContext

`` `0x${string}` | undefined ``

Module-specific inspection context.

### blockNumber

`bigint | undefined`

Block number to read. Cannot be combined with blockTag.

### blockTag

`BlockTag | undefined`

Named block state to read. Cannot be combined with blockNumber.

## Return Type

```ts
type IsHcaModuleInstalledResult = Awaited<ReturnType<typeof isHcaModuleInstalled>>;
```

Returns `boolean`.

## Effect

Use `.effect` when composing the action in an Effect program. The success and error channels remain
fully typed.

```ts
import { Effect } from "effect";

const program = isHcaModuleInstalled.effect(config, {
  hca: "0x1234567890123456789012345678901234567890",
  moduleTypeId: 1n,
  module: "0x5678901234567890123456789012345678901234",
});

type Success = Effect.Success<typeof program>;
type Failure = Effect.Error<typeof program>;

const result = await Effect.runPromise(program);
```

## Request

Use `.request` to describe the read without executing it, then include it in a typed
[read batch](/core/guides/batching).

```ts
const request = isHcaModuleInstalled.request({
  hca: "0x1234567890123456789012345678901234567890",
  moduleTypeId: 1n,
  module: "0x5678901234567890123456789012345678901234",
});
```

## Error

The Promise API rejects with the same typed failures exposed by the Effect error channel. Errors
have a stable `_tag`, `code`, and `message`; boundary errors retain their original `cause`.

See [Error Handling](/core/guides/error-handling).

## Related

* [`isHcaModuleInstalled`](/sdk/api/hca/is-hca-module-installed)
* [Guide](/core/guides/hca)