ouroboros-consensus-0.21.0.0: Consensus layer for the Ouroboros blockchain protocol
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Util.Shrink

Description

Utility functions for defining QuickCheck's shrink

Synopsis
  • andId ∷ (a → [a]) → a → [a]
  • dropId ∷ [a] → [a]

Documentation

andId ∷ (a → [a]) → a → [a] Source #

Add the argument as the last element of the output

dropId ∷ [a] → [a] Source #

Drop the last element

If every source list in a comprehension uses andId, then the last element will be a copy of the initial input.