<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
<br>
Henning Thielemann wrote:
<blockquote
cite="midPine.LNX.4.58.0609011207110.23267@linpc23.informatik.uni-halle.de"
type="cite">
<pre wrap="">On Fri, 1 Sep 2006, Ross Paterson wrote:
</pre>
<blockquote type="cite">
<pre wrap="">On Thu, Aug 31, 2006 at 06:34:35PM -0700, Clifford Beshers wrote:
</pre>
<blockquote type="cite">
<pre wrap="">These two jump to mind:
isSublistOf
isSubsequenceOf
</pre>
</blockquote>
<pre wrap="">Sublist seems boringly accurate. Also, the definition could be
</pre>
</blockquote>
<pre wrap=""><!---->
'isInfixOf' is not the name I would search for, but if I find it (say by
Hoogle) I would know that I found the right one. It is just analogous to
'isPrefixOf' and 'isSuffixOf' and thus it gets my vote.
</pre>
</blockquote>
<br>
Given your explanation and given that Tomasz pointed out that
subsequence was a really bad choice, I'm changing my vote to isInfixOf
as well.<br>
<br>
To help people who are searching for this function, could we change the
documentation to read 'Predicates on sublists' instead of just
'Predicates'? The section entitled 'Extracting sublists' is pretty
long and I never really noticed before that the two were part of the
same larger category of 'Sublists'.<br>
<br>
Cliff<br>
</body>
</html>