From f93e69175a257cfbd5105b1d90baf535dd231c77 Mon Sep 17 00:00:00 2001 From: Jaro Date: Fri, 7 Apr 2023 08:05:21 +0200 Subject: [PATCH] Fix style: unnecessary do notation. --- .../ParagraphLayout/Internal/ZipperSpec.hs | 108 +++++++++--------- 1 file changed, 54 insertions(+), 54 deletions(-) diff --git a/test/Data/Text/ParagraphLayout/Internal/ZipperSpec.hs b/test/Data/Text/ParagraphLayout/Internal/ZipperSpec.hs index ec22c39..d66ecd1 100644 --- a/test/Data/Text/ParagraphLayout/Internal/ZipperSpec.hs +++ b/test/Data/Text/ParagraphLayout/Internal/ZipperSpec.hs @@ -27,140 +27,140 @@ spec = do describe "start on empty text" $ do let z = Zipper.start empty - it "is at start" $ do + it "is at start" $ Zipper.atStart z `shouldBe` True - it "is at end" $ do + it "is at end" $ Zipper.atEnd z `shouldBe` True - it "has nothing preceding it" $ do + it "has nothing preceding it" $ Zipper.preceding z `shouldBe` empty - it "has nothing following it" $ do + it "has nothing following it" $ Zipper.following z `shouldBe` empty - it "has no next character" $ do + it "has no next character" $ Zipper.next z `shouldBe` Nothing - it "recombines into empty text" $ do + it "recombines into empty text" $ Zipper.recombine z `shouldBe` empty - it "unchanged by step" $ do + it "unchanged by step" $ Zipper.step z `shouldBe` z - it "unchanged by advance" $ do + it "unchanged by advance" $ Zipper.advanceBy 999 z `shouldBe` z describe "start" $ do let z = Zipper.start sampleText - it "is at start" $ do + it "is at start" $ Zipper.atStart z `shouldBe` True - it "is not at end" $ do + it "is not at end" $ Zipper.atEnd z `shouldBe` False - it "has nothing preceding it" $ do + it "has nothing preceding it" $ Zipper.preceding z `shouldBe` empty - it "has everything following it" $ do + it "has everything following it" $ Zipper.following z `shouldBe` sampleText - it "has next character 'P'" $ do + it "has next character 'P'" $ Zipper.next z `shouldBe` Just 'P' - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText describe "split at zero" $ do let z = Zipper.splitAt 0 sampleText - it "is at start" $ do + it "is at start" $ Zipper.atStart z `shouldBe` True - it "is not at end" $ do + it "is not at end" $ Zipper.atEnd z `shouldBe` False - it "has nothing preceding it" $ do + it "has nothing preceding it" $ Zipper.preceding z `shouldBe` empty - it "has everything following it" $ do + it "has everything following it" $ Zipper.following z `shouldBe` sampleText - it "has next character 'P'" $ do + it "has next character 'P'" $ Zipper.next z `shouldBe` Just 'P' - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText describe "split at negative value" $ do let z = Zipper.splitAt (-3) sampleText - it "is at start" $ do + it "is at start" $ Zipper.atStart z `shouldBe` True - it "is not at end" $ do + it "is not at end" $ Zipper.atEnd z `shouldBe` False - it "has nothing preceding it" $ do + it "has nothing preceding it" $ Zipper.preceding z `shouldBe` empty - it "has everything following it" $ do + it "has everything following it" $ Zipper.following z `shouldBe` sampleText - it "has next character 'P'" $ do + it "has next character 'P'" $ Zipper.next z `shouldBe` Just 'P' - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText midPositions `forM_` \ n -> describe ("split at " ++ (show n)) $ do let z = Zipper.splitAt n sampleText - it "is not at start" $ do + it "is not at start" $ Zipper.atStart z `shouldBe` False - it "is not at end" $ do + it "is not at end" $ Zipper.atEnd z `shouldBe` False - it ("preceding text has length " ++ show n) $ do + it ("preceding text has length " ++ show n) $ Text.length (Zipper.preceding z) `shouldBe` n - it ("following text has length " ++ show (sampleLength - n)) $ do + it ("following text has length " ++ show (sampleLength - n)) $ Text.length (Zipper.following z) `shouldBe` (sampleLength - n) - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText preMidPositions `forM_` \ n -> describe ("split at " ++ (show n) ++ " and step") $ do let z = Zipper.step $ Zipper.splitAt n sampleText - it "is not at start" $ do + it "is not at start" $ Zipper.atStart z `shouldBe` False - it "is not at end" $ do + it "is not at end" $ Zipper.atEnd z `shouldBe` False - it ("preceding text has length " ++ show (n + 1)) $ do + it ("preceding text has length " ++ show (n + 1)) $ Text.length (Zipper.preceding z) `shouldBe` (n + 1) - it ("following text has length " ++ show (sampleLength - n - 1)) $ do + it ("following text has length " ++ show (sampleLength - n - 1)) $ Text.length (Zipper.following z) `shouldBe` (sampleLength - n - 1) - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText describe "start and advance by 3" $ do let z = Zipper.advanceBy 3 $ Zipper.start sampleText - it "should be the same as splitting at 3" $ do + it "should be the same as splitting at 3" $ z `shouldBe` Zipper.splitAt 3 sampleText - it "has next character 'l'" $ do + it "has next character 'l'" $ Zipper.next z `shouldBe` Just 'l' - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText describe "split at 4 and advance by 3" $ do let z = Zipper.advanceBy 3 $ Zipper.splitAt 4 sampleText - it "should be the same as splitting at 7" $ do + it "should be the same as splitting at 7" $ z `shouldBe` Zipper.splitAt 7 sampleText - it "has next character z-caron" $ do + it "has next character z-caron" $ Zipper.next z `shouldBe` Just 'ΕΎ' - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText describe "split past text bounds" $ do let z = Zipper.splitAt 999 sampleText - it "is not at start" $ do + it "is not at start" $ Zipper.atStart z `shouldBe` False - it "is at end" $ do + it "is at end" $ Zipper.atEnd z `shouldBe` True - it "has everything preceding it" $ do + it "has everything preceding it" $ Zipper.preceding z `shouldBe` sampleText - it "has nothing following it" $ do + it "has nothing following it" $ Zipper.following z `shouldBe` empty - it "has no next character" $ do + it "has no next character" $ Zipper.next z `shouldBe` Nothing - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText describe "split at 3 and advance past text bounds" $ do let z = Zipper.advanceBy sampleLength $ Zipper.splitAt 3 sampleText - it "is not at start" $ do + it "is not at start" $ Zipper.atStart z `shouldBe` False - it "is at end" $ do + it "is at end" $ Zipper.atEnd z `shouldBe` True - it "has everything preceding it" $ do + it "has everything preceding it" $ Zipper.preceding z `shouldBe` sampleText - it "has nothing following it" $ do + it "has nothing following it" $ Zipper.following z `shouldBe` empty - it "has no next character" $ do + it "has no next character" $ Zipper.next z `shouldBe` Nothing - it "recombines into original text" $ do + it "recombines into original text" $ Zipper.recombine z `shouldBe` sampleText -- 2.30.2