@@ -107,7 +107,7 @@ module Data.Text
108 , takeWhile
108 , takeWhile
109 , dropWhile
109 , dropWhile
110− , dropAfter
110+ , dropWhileEnd
111 , dropAround
111 , dropAround
113 , stripLeft
113 , stripLeft
@@ -762,29 +762,32 @@ dropWhile p t@(Text arr off len) = loop 0 0
762 unstream (S.dropWhile p (stream t)) = dropWhile p t
762 unstream (S.dropWhile p (stream t)) = dropWhile p t
765−-- | /O(n)/ 'dropAfter' @p@ @t@ returns the prefix remaining after
765+-- | /O(n)/ 'dropWhileEnd' @p@ @t@ returns the prefix remaining after
766-- dropping characters that fail the predicate @p@ from the end of
766-- dropping characters that fail the predicate @p@ from the end of
767−-- @t@. This function is subject to array fusion.
767+-- @t@. Subject to fusion.
770+-- > dropWhileEnd (=='.') "foo..." == "foo"
768−dropAfter :: (Char -> Bool) -> Text -> Text
771+dropWhileEnd :: (Char -> Bool) -> Text -> Text
769−dropAfter p t@(Text arr off len) = loop (len-1) len
772+dropWhileEnd p t@(Text arr off len) = loop (len-1) len
770 where loop !i !l | l <= 0 = empty
773 where loop !i !l | l <= 0 = empty
771 | p c = loop (i+d) (l+d)
774 | p c = loop (i+d) (l+d)
772 | otherwise = Text arr off l
775 | otherwise = Text arr off l
773 where (c,d) = reverseIter t i
776 where (c,d) = reverseIter t i
774−{-# INLINE [1] dropAfter #-}
777+{-# INLINE [1] dropWhileEnd #-}
777−"TEXT dropAfter -> fused" [~1] forall p t.
780+"TEXT dropWhileEnd -> fused" [~1] forall p t.
778− dropAfter p t = S.reverse (S.dropWhile p (S.reverseStream t))
781+ dropWhileEnd p t = S.reverse (S.dropWhile p (S.reverseStream t))
779−"TEXT dropAfter -> unfused" [1] forall p t.
782+"TEXT dropWhileEnd -> unfused" [1] forall p t.
780− S.reverse (S.dropWhile p (S.reverseStream t)) = dropAfter p t
783+ S.reverse (S.dropWhile p (S.reverseStream t)) = dropWhileEnd p t
783-- | /O(n)/ 'dropAround' @p@ @t@ returns the substring remaining after
786-- | /O(n)/ 'dropAround' @p@ @t@ returns the substring remaining after
784-- dropping characters that fail the predicate @p@ from both the
787-- dropping characters that fail the predicate @p@ from both the
785-- beginning and end of @t@. Subject to fusion.
788-- beginning and end of @t@. Subject to fusion.
786dropAround :: (Char -> Bool) -> Text -> Text
789dropAround :: (Char -> Bool) -> Text -> Text
787−dropAround p = dropWhile p . dropAfter p
790+dropAround p = dropWhile p . dropWhileEnd p
788{-# INLINE [1] dropAround #-}
791{-# INLINE [1] dropAround #-}
790-- | /O(n)/ Remove leading white space from a string. Equivalent to:
793-- | /O(n)/ Remove leading white space from a string. Equivalent to:
@@ -796,9 +799,9 @@ stripLeft = dropWhile isSpace
797-- | /O(n)/ Remove trailing white space from a string. Equivalent to:
800-- | /O(n)/ Remove trailing white space from a string. Equivalent to:
799−-- > dropAfter isSpace
802+-- > dropWhileEnd isSpace
800stripRight :: Text -> Text
803stripRight :: Text -> Text
801−stripRight = dropAfter isSpace
804+stripRight = dropWhileEnd isSpace
802{-# INLINE [1] stripRight #-}
805{-# INLINE [1] stripRight #-}
804-- | /O(n)/ Remove leading and trailing white space from a string.
807-- | /O(n)/ Remove leading and trailing white space from a string.