From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Marco Wahl Newsgroups: gmane.emacs.bugs Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el Date: Thu, 09 Dec 2021 01:55:13 +0100 Message-ID: <87mtlaiolq.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18156"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) To: 52383@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Dec 09 01:56:12 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mv7jI-0004XD-Mg for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 09 Dec 2021 01:56:12 +0100 Original-Received: from localhost ([::1]:34162 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mv7jH-00062a-3x for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 08 Dec 2021 19:56:11 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:48308) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mv7j8-00062Q-Up for bug-gnu-emacs@gnu.org; Wed, 08 Dec 2021 19:56:03 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:58619) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mv7j8-0000QD-NA for bug-gnu-emacs@gnu.org; Wed, 08 Dec 2021 19:56:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mv7j8-0008UM-H9 for bug-gnu-emacs@gnu.org; Wed, 08 Dec 2021 19:56:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Marco Wahl Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 09 Dec 2021 00:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 52383 X-GNU-PR-Package: emacs X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.163901133332582 (code B ref -1); Thu, 09 Dec 2021 00:56:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 9 Dec 2021 00:55:33 +0000 Original-Received: from localhost ([127.0.0.1]:41932 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mv7if-0008TS-1z for submit@debbugs.gnu.org; Wed, 08 Dec 2021 19:55:33 -0500 Original-Received: from lists.gnu.org ([209.51.188.17]:35806) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mv7id-0008TK-5g for submit@debbugs.gnu.org; Wed, 08 Dec 2021 19:55:32 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:48160) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mv7ic-0005us-Tb for bug-gnu-emacs@gnu.org; Wed, 08 Dec 2021 19:55:30 -0500 Original-Received: from [2a00:1450:4864:20::433] (port=41796 helo=mail-wr1-x433.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mv7ia-0000Ms-Py for bug-gnu-emacs@gnu.org; Wed, 08 Dec 2021 19:55:30 -0500 Original-Received: by mail-wr1-x433.google.com with SMTP id a9so7022685wrr.8 for ; Wed, 08 Dec 2021 16:55:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:subject:date:message-id:user-agent:mime-version; bh=3BQlghGEB57VKo/5qoLCvJpJQcCVpPYotcgusHOdqaM=; b=GNXZg3hJbFn/Pw29ojoS9brBY7uyGLPUyWCFtnIolPWD+78Ld6eUw4ln72K9QoGmS4 WtoKGuD8e5lMUzQETTFWgS925rj35f+vUgcb3Y8pEUh1JWfXDeQwYWE5bsnhho/R/wWi ULxfwUlZtzQsQ4whQU/HAiJgDtWZJL2Fv4SmfL3dVDXZrTLc0dopGtMGIKRtZ+0WxFmX A91N/BxSt2X7vsTun1/rpr3fMk1Yughn7hBeueP5/uvyAoLa1GFm80aOAJ9BYkPQemLa 1HaKva6evkpOWbZzvnJQhFslOPW7+xXPk4jWbZnioyy6qRvkgKB+1anZk73fjP/L+5mt fL6g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=3BQlghGEB57VKo/5qoLCvJpJQcCVpPYotcgusHOdqaM=; b=0Q5y9O17Ms5Wfga+UE1td3CoEEfvLXPlcqksMEpfDMiD4IPT7gql3VPnIhk2r2YWY7 kYyNcKeWOgYKnWZSwbhcf6cvBDxtvgV9ZWyO0bQ26JgS4Sab+SG11PTnR5z160PZJ2Xz hCNRLFt7svN/U7k3R8qxaEkpvyLWLozZuG7vxsovCTsq1YtXqbKLk1pqNsSgXhy239G6 Y6Z+lj/Gsb4Ev77QhVZS3pXmH+x11RuhirzYysPRHnlpsjLUVEWyJGwaHevL2SoaV10s fWO8/FNzIC/oMoFdrut/BumwoTibRKwFKEVfLUn9wZPH2365jWJsphse+uYndMf7KusG YVJQ== X-Gm-Message-State: AOAM5335xEJGy1pGeLINm6SPPXb6dOcRqbknD9vHkBvybrfFs3aRafU8 ReSlHzKUrNqdzsxppS6OE0Y= X-Google-Smtp-Source: ABdhPJzBJUhZ88yS/wjIFV6cLSVROxjnX9bzLBiht5h1iaiWqAUJUShe0y52pJzkrFJtlJaZVnSyMA== X-Received: by 2002:a5d:4904:: with SMTP id x4mr2562958wrq.139.1639011327392; Wed, 08 Dec 2021 16:55:27 -0800 (PST) Original-Received: from aspire-5942 (p200300d8672ad100d9d34d92924874ed.dip0.t-ipconnect.de. [2003:d8:672a:d100:d9d3:4d92:9248:74ed]) by smtp.gmail.com with ESMTPSA id e8sm3987851wrr.26.2021.12.08.16.55.26 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Dec 2021 16:55:27 -0800 (PST) X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::433 (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::433; envelope-from=marcowahlsoft@gmail.com; helo=mail-wr1-x433.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, PDS_HP_HELO_NORDNS=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:221967 Archived-At: I suggest adding seq-set-subset-p to seq.el to realize the typical math subset predicate. (cl-defgeneric seq-set-subset-p (sequence1 sequence2 &optional testfn) "Return non-nil if the elements of SEQUENCE1 are contained in SEQUENCE2. This does not depend on the order of the elements. Equality is defined by TESTFN if non-nil or by `equal' if nil." (seq-every-p (lambda (item1) (seq-contains-p sequence2 item1 testfn)) sequence1)) ;; test: (should (seq-set-subset-p "ab" "abc")) (should (seq-set-subset-p "ba" "abc")) (should-not (seq-set-subset-p "dabc" "abc")) That functionality is missing AFAICS. The function could be placed naturally between the functions `seq-contains-p' and `seq-set-equal-p'. BTW function `seq-set-equal-p' could be rewritten using `seq-set-subset-p'. Thanks for reading, -- Marco