<div dir="ltr"><br>What I'm trying to do is write a function with the signature:<br><br><font face="monospace, monospace">    data Urls =<br>        Txt Text.Text<br>        | Url Text.Text URI.URI<br>        deriving (Show)<br><br>    parseUrls :: Text.Text -> Either String [ Urls ]<br>    parseUrls text = ...</font><br><br>Given a text block, it finds all the URLs, and breaks things into either URLs, or blocks of text which are not URLs.  The full text is attached, for those who are interested.  But the problem I'm hitting is using the Attoparsec parser URI.ByteString exports.  When I do:<br><br><font face="monospace, monospace">*Base.DetectURL AP> AP.parseOnly (URI.uriParser URI.laxURIParserOptions) "<a href="http://foo/bar">http://foo/bar</a>"<br>Right (...)<br></font><br>So, that works.  But when I add a single space on the end of the string:<br><br><font face="monospace, monospace">*Base.DetectURL AP> AP.parseOnly (URI.uriParser URI.laxURIParserOptions) "<a href="http://foo/bar">http://foo/bar</a> "<br>Left "Failed reading: MalformedPath"<br></font><div><br></div><div>It fails.  Note that this isn't a problem with parseOnly- the real code looks like:</div><div><br></div><div><div><font face="monospace, monospace">    parseAllUris :: AP.Parser (Bldr.Builder, [ Urls ])</font></div><div><font face="monospace, monospace">    parseAllUris = msum [ aUri, noUri, finished ]</font></div><div><font face="monospace, monospace">        where</font></div><div><font face="monospace, monospace">            finished = return (mempty, [])</font></div><div><font face="monospace, monospace">            aUri = do</font></div><div><font face="monospace, monospace">                (txt, url) <- AP.match $</font></div><div><font face="monospace, monospace">                                    URI.uriParser URI.laxURIParserOptions</font></div><div><font face="monospace, monospace">                (bldr, us) <- msum [ noUri, finished ]</font></div><div><font face="monospace, monospace">                return $ (mempty, (Url (E.decodeUtf8 txt) url</font></div><div><font face="monospace, monospace">                                        : prependText bldr us))</font></div><div><font face="monospace, monospace">            noUri = do</font></div><div><font face="monospace, monospace">                c <- AP.anyChar</font></div><div><font face="monospace, monospace">                (bldr, us) <- parseAllUris</font></div><div><font face="monospace, monospace">                return $ ((Bldr.charUtf8 c) `mappend` bldr, us)</font></div><div><br></div></div><div>And this has the problem as well- parsing a URL with anything following it fails, and it doesn't detect any URLs.  The parseOnly is just the easy way to demonstrate it.</div><div><br></div><div><div>So, my question is, is there some way in attoparsec to tell it to just parse as much as makes sense, and leave the rest?  Alternatively, is this a problem with the way URI.ByteString module constructed it's parser, and a different parser could work?  Or, worst of all, is this a problem with the way that URIs are defined and no conforming parser will work?</div><div><br></div></div><div>Thanks.</div><div><br></div><div>Brian</div><div><br></div></div>