Showing 2 of 2 total issues
Use <$> Open
Open
arbitrary = do
(Positive min') <- arbitrary
(Large max') <- arbitrary `suchThat` ((> min') . getLarge)
s <- arbitrary
return $ config min' max' s
- Read upRead up
- Exclude checks
Found
do (Positive min') <- arbitrary
(Large max') <- arbitrary `suchThat` ((> min') . getLarge)
s <- arbitrary
return $ config min' max' s
Perhaps
do (Positive min') <- arbitrary
(Large max') <- arbitrary `suchThat` ((> min') . getLarge)
config min' max' <$> arbitrary
Unused LANGUAGE pragma Open
Open
{-# LANGUAGE KindSignatures #-}
- Read upRead up
- Exclude checks
Found
{-# LANGUAGE KindSignatures #-}
Perhaps
Applying this change:
- Extension KindSignatures is implied by TypeFamilies