Commits

Bryan O'Sullivan  committed 5c898a1

Update types

  • Participants
  • Parent commits 5e5a41f

Comments (0)

Files changed (2)

File Data/Text.hs

 -- (typically the left-identity of the operator), and a 'Text',
 -- reduces the 'Text' using the binary operator, from left to right.
 -- Subject to fusion.
-foldl :: (b -> Char -> b) -> b -> Text -> b
+foldl :: (a -> Char -> a) -> a -> Text -> a
 foldl f z t = S.foldl f z (stream t)
 {-# INLINE foldl #-}
 
 -- | /O(n)/ A strict version of 'foldl'.  Subject to fusion.
-foldl' :: (b -> Char -> b) -> b -> Text -> b
+foldl' :: (a -> Char -> a) -> a -> Text -> a
 foldl' f z t = S.foldl' f z (stream t)
 {-# INLINE foldl' #-}
 
 -- (typically the right-identity of the operator), and a 'Text',
 -- reduces the 'Text' using the binary operator, from right to left.
 -- Subject to fusion.
-foldr :: (Char -> b -> b) -> b -> Text -> b
+foldr :: (Char -> a -> a) -> a -> Text -> a
 foldr f z t = S.foldr f z (stream t)
 {-# INLINE foldr #-}
 

File Data/Text/Lazy.hs

 -- (typically the left-identity of the operator), and a 'Text',
 -- reduces the 'Text' using the binary operator, from left to right.
 -- Subject to array fusion.
-foldl :: (b -> Char -> b) -> b -> Text -> b
+foldl :: (a -> Char -> a) -> a -> Text -> a
 foldl f z t = S.foldl f z (stream t)
 {-# INLINE foldl #-}
 
 -- | /O(n)/ A strict version of 'foldl'.
 -- Subject to array fusion.
-foldl' :: (b -> Char -> b) -> b -> Text -> b
+foldl' :: (a -> Char -> a) -> a -> Text -> a
 foldl' f z t = S.foldl' f z (stream t)
 {-# INLINE foldl' #-}
 
 -- (typically the right-identity of the operator), and a 'Text',
 -- reduces the 'Text' using the binary operator, from right to left.
 -- Subject to array fusion.
-foldr :: (Char -> b -> b) -> b -> Text -> b
+foldr :: (Char -> a -> a) -> a -> Text -> a
 foldr f z t = S.foldr f z (stream t)
 {-# INLINE foldr #-}