;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2012, 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2014 Eric Bavier <bavier@member.fsf.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (test-combinators)
  #:use-module (guix combinators)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-64)
  #:use-module (ice-9 vlist))

(test-begin "combinators")

(test-equal "fold2, 1 list"
    (list (reverse (iota 5))
          (map - (reverse (iota 5))))
  (call-with-values
      (lambda ()
        (fold2 (lambda (i r1 r2)
                 (values (cons i r1)
                         (cons (- i) r2)))
               '() '()
               (iota 5)))
    list))

(test-equal "fold2, 2 lists"
    (list (reverse '((a . 0) (b . 1) (c . 2) (d . 3)))
          (reverse '((a . 0) (b . -1) (c . -2) (d . -3))))
  (call-with-values
      (lambda ()
        (fold2 (lambda (k v r1 r2)
                 (values (alist-cons k v r1)
                         (alist-cons k (- v) r2)))
               '() '()
               '(a b c d)
               '(0 1 2 3)))
    list))

(let* ((tree (alist->vhash
              '((0 2 3) (1 3 4) (2) (3 5 6) (4 6) (5) (6))
              hashq))
       (add-one (lambda (_ r) (1+ r)))
       (tree-lookup (lambda (n) (cdr (vhash-assq n tree)))))
  (test-equal "fold-tree, single root"
    5 (fold-tree add-one 0 tree-lookup '(0)))
  (test-equal "fold-tree, two roots"
    7 (fold-tree add-one 0 tree-lookup '(0 1)))
  (test-equal "fold-tree, sum"
    16 (fold-tree + 0 tree-lookup '(0)))
  (test-equal "fold-tree, internal"
    18 (fold-tree + 0 tree-lookup '(3 4)))
  (test-equal "fold-tree, cons"
    '(1 3 4 5 6)
    (sort (fold-tree cons '() tree-lookup '(1)) <))
  (test-equal "fold-tree, overlapping paths"
    '(1 3 4 5 6)
    (sort (fold-tree cons '() tree-lookup '(1 4)) <))
  (test-equal "fold-tree, cons, two roots"
    '(0 2 3 4 5 6)
    (sort (fold-tree cons '() tree-lookup '(0 4)) <))
  (test-equal "fold-tree-leaves, single root"
    2 (fold-tree-leaves add-one 0 tree-lookup '(1)))
  (test-equal "fold-tree-leaves, single root, sum"
    11 (fold-tree-leaves + 0 tree-lookup '(1)))
  (test-equal "fold-tree-leaves, two roots"
    3 (fold-tree-leaves add-one 0 tree-lookup '(0 1)))
  (test-equal "fold-tree-leaves, two roots, sum"
    13 (fold-tree-leaves + 0 tree-lookup '(0 1))))

(test-end)

>Ludovic Courtès</td></tr>
<tr><td><span title='2017-03-16 22:50:14 +0100'>2017-03-16</span></td><td><a href='/guix/commit/tests/utils.scm?id=4c0c4db0702048488a9712dbba7cad862c667d54'>utils: Move base16 procedures to (guix base16).</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-10-07 07:42:05 -0500'>2016-10-07</span></td><td><a href='/guix/commit/tests/utils.scm?id=b8b129ebd8d017c957094f3d977a1c452d7d450f'>utils: Support defaults in substitute-keyword-arguments.</a><span class='msg-avail'>...</span></td><td>Eric Bavier</td></tr>
<tr><td><span title='2016-10-07 07:41:57 -0500'>2016-10-07</span></td><td><a href='/guix/commit/tests/utils.scm?id=347df60158a11abbc9b84ac36cd113362d7e09e0'>utils: Fix default-keyword-arguments.</a><span class='msg-avail'>...</span></td><td>Eric Bavier</td></tr>
<tr><td><span title='2016-05-06 13:25:30 +0200'>2016-05-06</span></td><td><a href='/guix/commit/tests/utils.scm?id=4e0ea3eb288c2143b44bf324c64047762c72d3b3'>utils: Move 'fcntl-flock' to (guix build syscalls).</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-05-04 23:35:55 +0200'>2016-05-04</span></td><td><a href='/guix/commit/tests/utils.scm?id=958dd3ce68733bcd5c1231424c7e4ad39e67594a'>utils: Move combinators to (guix combinators).</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-05-04 23:35:55 +0200'>2016-05-04</span></td><td><a href='/guix/commit/tests/utils.scm?id=4b6fa8b33970be414ae035f63ed80b147dcd8200'>utils: Remove 'split'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2016-04-13 09:16:54 +0800'>2016-04-13</span></td><td><a href='/guix/commit/tests/utils.scm?id=50a3d59473acf9fb5e771b57528b09d3e66123c4'>utils: Add 'edit-expression'.</a><span class='msg-avail'>...</span></td><td>宋文武</td></tr>
<tr><td><span title='2016-04-03 14:19:09 +0200'>2016-04-03</span></td><td><a href='/guix/commit/tests/utils.scm?id=a9edb211e733b8b34e67ec3b4450567e9376986f'>build: Add a Guile custom test driver using SRFI-64.</a><span class='msg-avail'>...</span></td><td>Mathieu Lirzin</td></tr>
<tr><td><span title='2016-03-02 21:41:41 +0100'>2016-03-02</span></td><td><a href='/guix/commit/tests/utils.scm?id=1b846da8c372bee78851439fd9e72b2499115e5a'>utils: Use '@' for separating package names and version numbers.</a><span class='msg-avail'>...</span></td><td>Mathieu Lirzin</td></tr>
<tr><td><span title='2016-01-06 23:08:22 +0100'>2016-01-06</span></td><td><a href='/guix/commit/tests/utils.scm?id=6071122b713e8a87158cdd4e913851fab283ead3'>utils: Add 'ensure-keyword-arguments'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-11-26 18:17:23 +0100'>2015-11-26</span></td><td><a href='/guix/commit/tests/utils.scm?id=c8be6f0d4a4ad72b1c0673c4cf11a65cd1079d8c'>utils: Add 'canonical-newline-port'.</a><span class='msg-avail'>...</span></td><td>Federico Beffa</td></tr>
<tr><td><span title='2015-10-09 12:17:01 -0400'>2015-10-09</span></td><td><a href='/guix/commit/tests/utils.scm?id=bbd00d2012833c6419a62f6490cbef3e896b1e11'>utils: Add split procedure.</a><span class='msg-avail'>...</span></td><td>David Thompson</td></tr>