sequence-0.9.9.0: test/Valid.hs

module Valid (Valid (..)) where

import Test.QuickCheck

class Valid s where
  -- Check the invariants of a sequence.
  valid :: s a -> Property