Java API
Java API
address of current leader, or null if none
(leaderChanged: StringAdd).self
(leaderChanged: StringFormat).self
(leaderChanged: ArrowAssoc[LeaderChanged]).x
(Since version 2.10.0) Use leftOfArrow
instead
(leaderChanged: Ensuring[LeaderChanged]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Leader of the cluster members changed. Published when the state change is first seen on a node.