Received: from mx0.gmx.net (mx0.gmx.net [213.165.64.100])
	by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with SMTP id q12ARsXo003785
	for <rainer@rainer-schoepf.de>; Thu, 2 Feb 2012 11:27:55 +0100
Received: (qmail 572 invoked by alias); 2 Feb 2012 10:27:49 -0000
Delivered-To: GMX delivery to rainer.schoepf@gmx.net
Received: (qmail invoked by alias); 02 Feb 2012 10:27:49 -0000
Received: from relay2.uni-heidelberg.de (EHLO relay2.uni-heidelberg.de) [129.206.210.211]
  by mx0.gmx.net (mx092) with SMTP; 02 Feb 2012 11:27:49 +0100
Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94])
	by relay2.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id q12APVrZ024897
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Thu, 2 Feb 2012 11:25:32 +0100
Received: from listserv.uni-heidelberg.de (localhost.localdomain [127.0.0.1])
	by listserv.uni-heidelberg.de (8.13.1/8.13.1) with ESMTP id q12AJp0h006469;
	Thu, 2 Feb 2012 11:25:31 +0100
Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with
          spool id 2018163 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Thu, 2 Feb
          2012 11:25:31 +0100
Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de
          [129.206.100.212]) by listserv.uni-heidelberg.de (8.13.1/8.13.1) with
          ESMTP id q12APVQF006701 for <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>;
          Thu, 2 Feb 2012 11:25:31 +0100
Received: from neptune.ucc.ie (neptune.ucc.ie [143.239.153.183]) by
          relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id q12APEjj029966
          (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO)
          for <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>; Thu, 2 Feb 2012 11:25:18
          +0100
Received: from csmvddesktop (csmvddesktop.ucc.ie [143.239.74.97]) (using TLSv1
          with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate
          requested) (Authenticated sender: dongen) by neptune.ucc.ie (Postfix)
          with ESMTPSA id 8D3BD200F8 for <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>;
          Thu,  2 Feb 2012 10:25:29 +0000 (GMT)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
Message-ID:  <20120202102957.GB14566@csmvddesktop>
Date:         Thu, 2 Feb 2012 10:29:58 +0000
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@listserv.uni-heidelberg.de>
Sender: Mailing list for the LaTeX3 project <LATEX-L@listserv.uni-heidelberg.de>
From: dongen <dongen@CS.UCC.IE>
Subject: Mapping Functions Versions for All and Some
To: LATEX-L@listserv.uni-heidelberg.de
Precedence: list
List-Help: <http://listserv.uni-heidelberg.de/cgi-bin/wa?LIST=LATEX-L>,
           <mailto:LISTSERV@LISTSERV.UNI-HEIDELBERG.DE?body=INFO%20LATEX-L>
List-Unsubscribe: <mailto:LATEX-L-unsubscribe-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Subscribe: <mailto:LATEX-L-subscribe-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Owner: <mailto:LATEX-L-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Archive: <http://listserv.uni-heidelberg.de/cgi-bin/wa?LIST=LATEX-L>
X-GMX-Antispam: 0 (eXpurgate);
 Detail=5D7Q89H36p6sJLDpZh614Kjz2nt6F3tHDUivjNQZBIDPIDvtdE+4+4A2noNIDVVku3VnJ
 9RoLKldxVFudfr6vrsbXup1PbKcQRTzh2nadvT5o58mtoVbZu1FysRQy16N/hcz2kWPo/aKCKWBq
 y38sl1UPUjeGyAxywcA0bhK5r2+dq9Xci5HfOvC+MaD1d8c/sujp7I4fFk=V1;
X-Resent-By: Forwarder <forwarder@gmx.net>
X-Resent-For: rainer.schoepf@gmx.net
X-Resent-To: rainer@rainer-schoepf.de
Status: R
X-Status: 
X-Keywords:                  
X-UID: 7000

Howsagoin,


I've started exploring the LaTeX3 sources documentation but
I couldn't find the equivalent of the following predicate
functions for token lists:

 o  \tl_all_TF:NNTF <token list> <predicate> <true> <false>
    results in <true> if all members of <token list> satisfy
    <predicate>. The semantics should be that the evaluation
    is start-to-finish of <token list> but that the evaluation
    is aborted as soon as one of the tokens in <token list>
    doesn't satisfy <predicate>.
 o  \tl_some_TF:NNTF <token list> <predicate> <true> <false>
    results in <true> if some member of <token list> satisfies
    <predicate>. The semantics should be that the evaluation
    is start-to-finish of <token list> but that the evaluation
    is aborted as soon as one of the tokens in <token list>
    satisfies <predicate>.

Similar versions may also be useful for other kinds of lists.

Are such macros defined? If not, do you think it's a good idea
to introduce them?

Regards,


Marc van Dongen