smartcheck-0.2.1: A smarter QuickCheck.
Test.SmartCheck.Matches
Synopsis
matchesShapes :: SubTypes a => a -> [(a, Replace Idx)] -> BoolSource
True if d matches any ds. Assume all ds are unequal to each other.