prelude extension proposal

From: Sergio Antoy <antoy_at_cs.pdx.edu>
Date: Mon, 10 Oct 2005 11:41:34 -0700

Dear Colleagues,

I'd like to propose to extend the prelude with the following functions
    
    allValuesOf e = findall (\x -> x=:=e)
    
    cuntil f x = case allValuesOf (f x) of
                   [] -> x
                   (r:_) -> cuntil f r
    
The first one is a simple convenience, particularly because the
command line interpreter does not accept lambda expressions.

The second one serves the same purpose as the prelude function
until, but for constrains instead of booleans.

Cheers,
Sergio

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Okt 12 2005 - 09:57:09 CEST