Skip to main content

Module member_id

Module member_id 

Source
Expand description

Typed and untyped identifiers for members of a Cluster.

In Hydro, a Cluster is a location that represents a group of identical processes. Each individual process within a cluster is identified by a MemberId, which is parameterized by a tag type Tag to prevent accidentally mixing up member IDs from different clusters.

TaglessMemberId is the underlying untyped representation, which carries the actual runtime identity (e.g. a raw numeric ID, a Docker container name, or a Maelstrom node ID) without any compile-time cluster tag.

Structs§

MemberId
A typed identifier for a member of a Cluster.

Enums§

TaglessMemberId
An untyped identifier for a member of a cluster, without a compile-time tag distinguishing which cluster it belongs to.