Make Fold.head terminating.
commit08dd169aae4ab26eee7de7e3d7a41ce102e5e5c5
authorPranay Sashank <pranaysashank@composewell.com>
dateFri 29 Jan 2021, 16:04 (6 years ago)
parent525d2b0
src/Streamly/Internal/Data/Fold.hs+1−1
@@ -773,7 +773,7 @@ index = genericIndex
773773-- @since 0.7.0
774774{-# INLINABLE head #-}
775775head :: Monad m => Fold m a (Maybe a)
776−head = _Fold1 const
776+head = mkFold_ (const (Done . Just)) (Partial Nothing)
777777
778778-- | Returns the first element that satisfies the given predicate.
779779--