diff options
Diffstat (limited to 'test/Xanthous/DataSpec.hs')
| -rw-r--r-- | test/Xanthous/DataSpec.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/Xanthous/DataSpec.hs b/test/Xanthous/DataSpec.hs index 26a862baa6a6..6fad88681acb 100644 --- a/test/Xanthous/DataSpec.hs +++ b/test/Xanthous/DataSpec.hs @@ -24,15 +24,15 @@ test = testGroup "Xanthous.Data" ] , testProperty "directionOf laws" $ \pos dir -> directionOf pos (move dir pos) == dir - , testProperty "diffPositions is add inverse" $ \pos₁ pos₂ -> + , testProperty "diffPositions is add inverse" $ \(pos₁ :: Position) pos₂ -> diffPositions pos₁ pos₂ == addPositions pos₁ (invert pos₂) , testGroup "isUnit" [ testProperty "double direction is never unit" $ \dir -> not . isUnit $ move dir (asPosition dir) , testCase "examples" $ do - isUnit (Position 1 1) @? "not . isUnit $ Position 1 1" - isUnit (Position 0 (-1)) @? "not . isUnit $ Position 0 (-1)" - (not . isUnit) (Position 1 13) @? "isUnit $ Position 1 13" + isUnit (Position @Int 1 1) @? "not . isUnit $ Position 1 1" + isUnit (Position @Int 0 (-1)) @? "not . isUnit $ Position 0 (-1)" + (not . isUnit) (Position @Int 1 13) @? "isUnit $ Position 1 13" ] ] , testGroup "Direction" |