diff --git a/src/Data/Gram/Arbitrary.hs b/src/Data/Gram/Arbitrary.hs index 960de3525..f71679c8e 100644 --- a/src/Data/Gram/Arbitrary.hs +++ b/src/Data/Gram/Arbitrary.hs @@ -5,5 +5,8 @@ import Data.Gram import Prologue import Test.QuickCheck +gramWithPQ :: Arbitrary label => Int -> Int -> Gen (Gram label) +gramWithPQ p q = Gram <$> vectorOf p arbitrary <*> vectorOf q arbitrary + instance Arbitrary label => Arbitrary (Gram label) where arbitrary = Gram <$> arbitrary <*> arbitrary