staking_validators/2

Module

This predicate is provided by staking.pl.

Load this module before using the predicate:

:- consult('/v1/lib/staking.pl').

Description

Unifies Validators with validators having bond Status: bonded, unbonding, or unbonded. Status must be an atom. Each item is validator{operator: Operator, status: Status}. Operator is a validator operator address atom. Bond status is independent of jailed status: bonded means membership in the active staking validator set, not an unjailed guarantee.

Signature

staking_validators(+Status, -Validators) is det

Examples

Select bonded validators including jailed validators

Here is the feature setup:

• Given the program:

:- consult('/v1/lib/staking.pl').

• And the staking validators:

operator	status	jailed
axonevaloper1bonded	bonded	false
axonevaloper1jailed	bonded	true
axonevaloper1unbonding	unbonding	false
axonevaloper1unbonded	unbonded	false

Here are the steps of the scenario:

• Given the query:

staking_validators(bonded, Validators).

• When the query is run
• Then the logical answer we get is:

answer:
  has_more: false
  variables: [Validators]
  results:
  - substitutions:
    - variable: Validators
      expression: "[validator{operator:axonevaloper1bonded,status:bonded},validator{operator:axonevaloper1jailed,status:bonded}]"