| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Consensus.Peras.Util
Contents
Description
Common utilities for writing tests for Peras types.
Synopsis
- perasVoteIsPersistent ∷ PerasVote → Bool
- perasCertContainsOnlyPersistentVotes ∷ PerasCert → Bool
- genPerasVote ∷ Bool → Gen PerasVote
- genPerasCert ∷ Bool → Gen PerasCert
- mkBucket ∷ Int → Int → String → String
- tabulatePerasCert ∷ PerasCert → Property → Property
- tabulatePerasVote ∷ PerasVote → Property → Property
Predicates
perasVoteIsPersistent ∷ PerasVote → Bool Source #
Whether a Peras vote is a persistent one
perasCertContainsOnlyPersistentVotes ∷ PerasCert → Bool Source #
Whether a Peras certifcate only contains persistent votes