AllInvariants runs all invariants of the staking module.

DelegatorSharesInvariant checks whether all the delegator shares which persist in the delegator object add up to the correct total delegator shares amount stored in each validator.

ModuleAccountInvariants checks that the bonded and notBonded ModuleAccounts pools reflects the tokens actively bonded and not bonded.

NewKeeper creates a new staking Keeper instance.

NewMigrator returns a new Migrator instance.

NewMsgServerImpl returns an implementation of the staking MsgServer interface for the provided Keeper.

NonNegativePowerInvariant checks that all stored validators have >= 0 power.

PositiveDelegationInvariant checks that all stored delegations have > 0 shares.

RegisterInvariants registers all staking invariants.

TestingUpdateValidator updates a validator for testing.

ref: https://github.com/cosmos/cosmos-sdk/blob/c64d1010800d60677cc25e2fca5b3d8c37b683cc/baseapp/abci_utils.go#L44.

ValidatorByPowerIndexExists does a certain by-power index record exist.

Migrator is a struct for handling in-place store migrations.

Querier is used as Keeper will have duplicate methods if used directly, and gRPC names take precedence over keeper.