feat: add HashMap.HashMap.Entry utility type

[vinassefranche]

Type

• Refactor
• Feature
• Bug Fix
• Optimization
• Documentation Update

Description

Adds HashMap.HashMap.Entry utility type which is just [HashMap.HashMap.Key<>, HashMap.HashMap.Value<>]

Related

• Related Issue #
• Closes #

[changeset-bot]

🦋 Changeset detected

Latest commit: 702f010

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 31 packages

Name	Type
effect	Minor
@effect/cli	Major
@effect/cluster-browser	Major
@effect/cluster-node	Major
@effect/cluster-workflow	Major
@effect/cluster	Major
@effect/experimental	Major
@effect/opentelemetry	Major
@effect/platform-browser	Major
@effect/platform-bun	Major
@effect/platform-node-shared	Major
@effect/platform-node	Major
@effect/platform	Major
@effect/printer-ansi	Major
@effect/printer	Major
@effect/rpc-http	Major
@effect/rpc	Major
@effect/schema	Major
@effect/sql-d1	Major
@effect/sql-drizzle	Major
@effect/sql-kysely	Major
@effect/sql-mssql	Major
@effect/sql-mysql2	Major
@effect/sql-pg	Major
@effect/sql-sqlite-bun	Major
@effect/sql-sqlite-node	Major
@effect/sql-sqlite-react-native	Major
@effect/sql-sqlite-wasm	Major
@effect/sql	Major
@effect/typeclass	Major
@effect/vitest	Major

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[vinassefranche]

I tried to add some types tests with:

// $ExpectType ["k", "v"]
export type E = HashMap.HashMap.Entry<typeof hmLiterals>

but I had this error and did not know what to do about it:

ERROR: 31:1  expect  TypeScript@5.5 expected type to be:
  ["k", "v"]
got:
  E

Tell me if you have an idea on how to fix it

[gcanti]

you can use

import { hole, pipe } from "effect/Function"
import type * as Types from "effect/Types"

// $ExpectType ["k", "v"]
hole<Types.Simplify<HashMap.HashMap.Entry<typeof hmLiterals>>>()

[vinassefranche]

you can use

import { hole, pipe } from "effect/Function"
import type * as Types from "effect/Types"

// $ExpectType ["k", "v"]
hole<Types.Simplify<HashMap.HashMap.Entry<typeof hmLiterals>>>()

Great! Added to the P.R.!