
On Sun, Oct 17, 2010 at 3:25 PM, Bryan O'Sullivan
On Mon, Oct 11, 2010 at 1:12 PM, Malcolm Wallace
wrote: find find find (Text -> Bool) -> Text -> Maybe Text
Proposal: rename Text.findBy to Text.find.
I agree with the change of type, not so much with the naming. That's roughly my stance in the other cases, too.
What would the definition of a function of the form:
find :: (Text -> Bool) -> Text -> Maybe Text
look like? What sort of requirements would be placed on the input predicate? Maybe I have a failure of imagination, but that sounds like a tricky thing to get correct for all predicates. Antoine

On Sun, Oct 17, 2010 at 1:51 PM, Antoine Latter
What would the definition of a function of the form:
find :: (Text -> Bool) -> Text -> Maybe Text
look like?
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.)
participants (2)
-
Antoine Latter
-
Bryan O'Sullivan