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