Note the diff between takeEndBy fold and parser
commit7e48a524a4c45e6259d04f5f2115933c6374679f
authorHarendra Kumar <harendra@composewell.com>
dateTue 10 May 2022, 13:57 (4 years ago)
parent93e33d3
core/src/Streamly/Internal/Data/Parser.hs+3−1
@@ -684,7 +684,9 @@ takeFramedByGeneric esc begin end f =
684684--
685685-- >>> takeEndBy = Parser.takeEndByEsc (const False)
686686--
687−-- See also "Streamly.Data.Fold.takeEndBy".
687+-- See also "Streamly.Data.Fold.takeEndBy". Unlike the fold, the collecting
688+-- parser in the takeEndBy parser can decide whether to fail or not if the
689+-- stream does not end with separator.
688690--
689691-- /Pre-release/
690692--