[][src]Module rusty_junctions::types::ids

Adds specific ID types for the various IDs that are used in the crate.

Structs

ChannelId

ID to identify a channel within a Join Pattern.

JoinPatternId

ID to identify a Join Pattern within a Junction.

JunctionId

ID for a Junction to identify itself.

Statics

LATEST_JUNCTION_ID

Globally synchronized counter to ensure that no two Junctions will have the same ID.