7807aa2 · typeable/attoparsec

369-- combinators such as 'many', because such parsers loop until a

370-- failure occurs. Careless use will thus result in an infinite loop.

371takeWhile :: (Word8 -> Bool) -> Parser B.ByteString

372−takeWhile p = go

372+takeWhile p = (B.concat . reverse) `fmap` go []

373 where

374− go = do

374+ go acc = do

375 input <- wantInput

376 if input

377 then do

378 (h,t) <- B8.span p <$> get

379 put t

380 if B.null t

381− then (h+++) `fmapP` go

381+ then go (h:acc)

382− else return h

382+ else return (h:acc)

383− else return B.empty

383+ else return []

384

385-- | A stateful scanner. The predicate consumes and transforms a

386-- state argument, and each transformed state is passed to successive

394-- combinators such as 'many', because such parsers loop until a

395-- failure occurs. Careless use will thus result in an infinite loop.

396scan :: s -> (s -> Word8 -> Maybe s) -> Parser B.ByteString

397−scan s0 p = go s0

397+scan s0 p = (B.concat . reverse) `fmap` go [] s0

398 where

399− go s1 = do

399+ go acc s1 = do

400 input <- wantInput

401 if input

402 then do

413 (h,t,s') <- (unsafePerformIO . scanner) <$> get

414 put t

415 if B.null t

416− then (h+++) `fmapP` go s'

416+ then go (h:acc) s'

417− else return h

417+ else return (h:acc)

418− else return B.empty

418+ else return acc

419{-# INLINE scan #-}

420

421-- | Consume input as long as the predicate returns 'True', and return