tests: Apply hlint hints

This commit is contained in:
Tomas Janousek
2022-06-25 18:22:50 +01:00
parent 711b28f494
commit 79602bfec5
14 changed files with 46 additions and 42 deletions

View File

@@ -37,7 +37,7 @@ prop_view_local (x :: T) = do
-- view is idempotent
prop_view_idem (x :: T) = do
n <- arbitraryTag x
return $ view n (view n x) == (view n x)
return $ view n (view n x) == view n x
-- view is reversible, though shuffles the order of hidden/visible
prop_view_reversible (x :: T) = do