| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Util.Peras.V1
Description
Test utilities for the V1 (production) Peras implementation.
Synopsis
- perasVoteIsPersistent ∷ PerasVote tag → Bool
- perasCertContainsOnlyPersistentVotes ∷ PerasCert tag → Bool
- genPerasVote ∷ Bool → Gen (PerasVote tag)
- genPerasCert ∷ Bool → Gen (PerasCert tag)
- tabulatePerasCert ∷ PerasCert tag → Property → Property
- tabulatePerasVote ∷ PerasVote tag → Property → Property
Documentation
perasVoteIsPersistent ∷ PerasVote tag → Bool Source #
Whether a Peras vote is a persistent one
perasCertContainsOnlyPersistentVotes ∷ PerasCert tag → Bool Source #
Whether a Peras certificate only contains persistent votes