<div class="gmail_quote">On Sun, Oct 17, 2010 at 1:51 PM, Antoine Latter <span dir="ltr"><<a href="mailto:aslatter@gmail.com">aslatter@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<br>
What would the definition of a function of the form:<br>
<br>
> find :: (Text -> Bool) -> Text -> Maybe Text<br>
<br>
look like?<br></blockquote><div><br></div><div>Can you be more specific? I assume you mean that the only sensible return values are Nothing or the entire Text for which the predicate first returns True? (In other words, that this function doesn't actually seem to have a useful return type.)</div>
</div>