Safe Haskell	None
Language	Haskell2010

Test.Consensus.Committee.WFALS.Conformance

Synopsis

type CommitteeSize = Word64
type NumPersistent = Word64
type NumNonPersistent = Word64
type PoolId = String
type Stake = Rational
type StakeDistr = Map PoolId Stake
conformsToRustImplementation ∷ String → (Map PoolId Stake → stakeDistr) → (stakeDistr → CommitteeSize → (NumPersistent, NumNonPersistent)) → TestTree

Documentation

type CommitteeSize = Word64 Source #

type NumPersistent = Word64 Source #

type NumNonPersistent = Word64 Source #

type PoolId = String Source #

type Stake = Rational Source #

type StakeDistr = Map PoolId Stake Source #

conformsToRustImplementation ∷ String → (Map PoolId Stake → stakeDistr) → (stakeDistr → CommitteeSize → (NumPersistent, NumNonPersistent)) → TestTree Source #

Check that a weighted fait accompli committee selection implementation conforms to the Rust implementation by comparing the number persistent and non-persistent committee members it selects for a given target committee size.