on master help sign in
Update types
dd1a5c9Bryan O'Sullivan
Data/Text.hs+3−3
@@ -657,12 +657,12 @@ transpose ts = P.map pack (L.transpose (P.map unpack ts))
657-- (typically the left-identity of the operator), and a 'Text',
657-- (typically the left-identity of the operator), and a 'Text',
658-- reduces the 'Text' using the binary operator, from left to right.
658-- reduces the 'Text' using the binary operator, from left to right.
659-- Subject to fusion.
659-- Subject to fusion.
660−foldl :: (b -> Char -> b) -> b -> Text -> b
660+foldl :: (a -> Char -> a) -> a -> Text -> a
661foldl f z t = S.foldl f z (stream t)
661foldl f z t = S.foldl f z (stream t)
662{-# INLINE foldl #-}
662{-# INLINE foldl #-}
663
663
664-- | /O(n)/ A strict version of 'foldl'. Subject to fusion.
664-- | /O(n)/ A strict version of 'foldl'. Subject to fusion.
665−foldl' :: (b -> Char -> b) -> b -> Text -> b
665+foldl' :: (a -> Char -> a) -> a -> Text -> a
666foldl' f z t = S.foldl' f z (stream t)
666foldl' f z t = S.foldl' f z (stream t)
667{-# INLINE foldl' #-}
667{-# INLINE foldl' #-}
668
668
@@ -681,7 +681,7 @@ foldl1' f t = S.foldl1' f (stream t)
681-- (typically the right-identity of the operator), and a 'Text',
681-- (typically the right-identity of the operator), and a 'Text',
682-- reduces the 'Text' using the binary operator, from right to left.
682-- reduces the 'Text' using the binary operator, from right to left.
683-- Subject to fusion.
683-- Subject to fusion.
684−foldr :: (Char -> b -> b) -> b -> Text -> b
684+foldr :: (Char -> a -> a) -> a -> Text -> a
685foldr f z t = S.foldr f z (stream t)
685foldr f z t = S.foldr f z (stream t)
686{-# INLINE foldr #-}
686{-# INLINE foldr #-}
687
687
Data/Text/Lazy.hs+3−3
@@ -576,13 +576,13 @@ toUpper t = unstream (S.toUpper (stream t))
576-- (typically the left-identity of the operator), and a 'Text',
576-- (typically the left-identity of the operator), and a 'Text',
577-- reduces the 'Text' using the binary operator, from left to right.
577-- reduces the 'Text' using the binary operator, from left to right.
578-- Subject to array fusion.
578-- Subject to array fusion.
579−foldl :: (b -> Char -> b) -> b -> Text -> b
579+foldl :: (a -> Char -> a) -> a -> Text -> a
580foldl f z t = S.foldl f z (stream t)
580foldl f z t = S.foldl f z (stream t)
581{-# INLINE foldl #-}
581{-# INLINE foldl #-}
582
582
583-- | /O(n)/ A strict version of 'foldl'.
583-- | /O(n)/ A strict version of 'foldl'.
584-- Subject to array fusion.
584-- Subject to array fusion.
585−foldl' :: (b -> Char -> b) -> b -> Text -> b
585+foldl' :: (a -> Char -> a) -> a -> Text -> a
586foldl' f z t = S.foldl' f z (stream t)
586foldl' f z t = S.foldl' f z (stream t)
587{-# INLINE foldl' #-}
587{-# INLINE foldl' #-}
588
588
@@ -603,7 +603,7 @@ foldl1' f t = S.foldl1' f (stream t)
603-- (typically the right-identity of the operator), and a 'Text',
603-- (typically the right-identity of the operator), and a 'Text',
604-- reduces the 'Text' using the binary operator, from right to left.
604-- reduces the 'Text' using the binary operator, from right to left.
605-- Subject to array fusion.
605-- Subject to array fusion.
606−foldr :: (Char -> b -> b) -> b -> Text -> b
606+foldr :: (Char -> a -> a) -> a -> Text -> a
607foldr f z t = S.foldr f z (stream t)
607foldr f z t = S.foldr f z (stream t)
608{-# INLINE foldr #-}
608{-# INLINE foldr #-}
609
609