;;; 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)

g-avail'>...</span></td><td>Marius Bakke</td></tr>
<tr><td><span title='2020-04-23 23:59:23 +0200'>2020-04-23</span></td><td><a href='/guix/commit/doc/local.mk?id=62bc3c5b04d43ccd24922e45b79fab00f7298e10'>build: Don't build man pages when cross-compiling.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-04-23 23:59:22 +0200'>2020-04-23</span></td><td><a href='/guix/commit/doc/local.mk?id=d9e83f2a6460d9716b5dc93cf61ac120c10f6906'>doc: Build more man pages.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2020-04-16 23:41:52 +0200'>2020-04-16</span></td><td><a href='/guix/commit/doc/local.mk?id=c9f321e52a99dea93fcc099372ea0167150b9aac'>doc: Document building and installing from JSON files.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2020-02-17 06:52:11 +0000'>2020-02-17</span></td><td><a href='/guix/commit/doc/local.mk?id=f98e83a17fa30587520e858231ec9c61f3624ecd'>doc: Add German Cookbook translation.</a><span class='msg-avail'>...</span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2019-09-24 10:11:38 +0200'>2019-09-24</span></td><td><a href='/guix/commit/doc/local.mk?id=11da634a6e64afa2904542e2174aa2a185f9ac3a'>Merge branch 'master' into core-updates</a></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-09-18 11:38:14 +0200'>2019-09-18</span></td><td><a href='/guix/commit/doc/local.mk?id=7bc46ecc34ceb042ff890e5d306d0a2a736e891d'>doc: Add Guix Cookbook.</a><span class='msg-avail'>...</span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-05-25 00:25:15 +0200'>2019-05-25</span></td><td><a href='/guix/commit/doc/local.mk?id=57df83e07d4b5e78d9a54c1a88d05b4a9ed65714'>Merge branch 'staging' into core-updates</a></td><td>Marius Bakke</td></tr>
<tr><td><span title='2019-05-13 10:46:03 +0200'>2019-05-13</span></td><td><a href='/guix/commit/doc/local.mk?id=3bac7e6495934de9913e6186d954d1331883e064'>doc: Add Russian translation.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-05-04 23:07:38 +0200'>2019-05-04</span></td><td><a href='/guix/commit/doc/local.mk?id=227ff747a640dd017bcca087e14b244afc1bd958'>doc: Warn about missing entries in htmlxref.cnf.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-05-01 23:11:41 +0200'>2019-05-01</span></td><td><a href='/guix/commit/doc/local.mk?id=3b458d5462e6bbd852c2dc5c6670d5655abf53f5'>Merge branch 'master' into core-updates</a></td><td>Marius Bakke</td></tr>
<tr><td><span title='2019-04-24 00:27:51 +0200'>2019-04-24</span></td><td><a href='/guix/commit/doc/local.mk?id=de712e5286137c297de8270d3396b8daa9a93c66'>doc: Add Simplified Chinese translation.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-04-23 23:56:16 +0200'>2019-04-23</span></td><td><a href='/guix/commit/doc/local.mk?id=6227e1b7477b71f31ea3bf8a74c32fe7238dcece'>doc: Add Spanish translation.</a><span class='msg-avail'>...</span></td><td>Miguel Ángel Arruga Vivas</td></tr>
<tr><td><span title='2019-03-14 16:30:19 +0100'>2019-03-14</span></td><td><a href='/guix/commit/doc/local.mk?id=19008a22d18e772062952034c58a15ed341df3b5'>Merge branch 'staging' into core-updates</a></td><td>Marius Bakke</td></tr>
<tr><td><span title='2019-03-13 23:12:43 +0100'>2019-03-13</span></td><td><a href='/guix/commit/doc/local.mk?id=e1c15e8b8e25e14c253ff1212e289565736f6ea7'>doc: Document the graphical installer some more.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-12-11 22:18:05 +0100'>2018-12-11</span></td><td><a href='/guix/commit/doc/local.mk?id=b03e4fd5269897448124a7b61a737802b2c638ee'>Merge branch 'master' into core-updates</a></td><td>Marius Bakke</td></tr>