abstract datatype: internal_state()
current_term/1 | |
effective_machine_version/1 | |
last_applied/1 | |
leader_id/1 | |
log_fetch/2 | |
log_last_index_term/1 | |
log_stats/1 | |
machine_state/1 | |
members_info/1 | |
overview/1 |
current_term(State::ra_aux:internal_state()) -> ra_term()
effective_machine_version(X1::ra_aux:internal_state()) -> ra_machine:version()
last_applied(State::ra_aux:internal_state()) -> ra_index()
leader_id(State::ra_aux:internal_state()) -> undefined | ra_server_id()
log_fetch(Idx::ra_index(), State::ra_aux:internal_state()) -> {undefined | {ra_term(), CmdMetadata::ra_server:command_meta(), Command::term()}, ra_aux:internal_state()}
log_last_index_term(X1::ra_aux:internal_state()) -> ra_idxterm()
log_stats(X1::ra_aux:internal_state()) -> ra_log:overview()
machine_state(State::ra_aux:internal_state()) -> term()
members_info(State::ra_aux:internal_state()) -> ra_cluster()
overview(State::ra_aux:internal_state()) -> map()
Generated by EDoc