Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Consensus.ChainGenerator.Tests.Honest

Contents

Synopsis

data TestHonest = TestHonest {
- testAsc ∷ !Asc
- testRecipe ∷ !HonestRecipe
- testRecipe' ∷ !SomeCheckedHonestRecipe
}
unlines' ∷ [String] → String
tests ∷ [TestTree]

Re-use

Constructors

TestHonest
Fields testAsc ∷ !Asc testRecipe ∷ !HonestRecipe testRecipe' ∷ !SomeCheckedHonestRecipe

Instances details

Arbitrary TestHonest Source #
Instance details Defined in Test.Ouroboros.Consensus.ChainGenerator.Tests.Honest Methods arbitrary ∷ Gen TestHonest Source # shrink ∷ TestHonest → [TestHonest] Source #
Read TestHonest Source #
Instance details Defined in Test.Ouroboros.Consensus.ChainGenerator.Tests.Honest Methods readsPrec ∷ Int → ReadS TestHonest # readList ∷ ReadS [TestHonest] # readPrec ∷ ReadPrec TestHonest # readListPrec ∷ ReadPrec [TestHonest] #
Show TestHonest Source #
Instance details Defined in Test.Ouroboros.Consensus.ChainGenerator.Tests.Honest Methods showsPrec ∷ Int → TestHonest → ShowS # show ∷ TestHonest → String # showList ∷ [TestHonest] → ShowS #

Tests