smartcheck-0.2.4: A smarter QuickCheck.

Safe HaskellSafe
LanguageHaskell2010

Test.SmartCheck.Matches

Synopsis

Documentation

matchesShapes :: SubTypes a => a -> [(a, Replace Idx)] -> Bool Source #

True if d matches any ds. Assume all ds are unequal to each other.