Test.SmartCheck.Matches

Documentation

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

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