;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2015 Ludovic Courtès <ludo@gnu.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-sets)
  #:use-module (guix sets)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-26)
  #:use-module (srfi srfi-64))


(test-begin "sets")

(test-assert "set-contains?"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (and (every (cut set-contains? set <>)
                lst)
         (not (set-contains? set -1)))))

(test-assert "set->list"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (lset= = lst (set->list set))))

(test-assert "set-union"
  (let* ((a  (list 'a))
         (b  (list 'b))
         (s1 (setq a))
         (s2 (setq b))
         (s3 (set-union s1 s2)))
    (and (set-contains? s3 a)
         (set-contains? s3 b))))

(test-end)
method='get' action='/guix/log/'>
<input type='hidden' name='id' value='776efa0b643de8bf4185a27b65061ac291a0a318'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='content'><div id='summary'><pre>
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2018, 2020 Mathieu Othacehe &lt;m.othacehe@gmail.com&gt;
;;; Copyright © 2020 Florian Pelz &lt;pelzflorian@pelzflorian.de&gt;
;;;
;;; 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 &lt;http://www.gnu.org/licenses/&gt;.

(define-module (gnu installer record)
  #:use-module (guix records)
  #:use-module (srfi srfi-1)
  #:export (&lt;installer&gt;
            installer
            make-installer
            installer?
            installer-name
            installer-init
            installer-exit
            installer-exit-error
            installer-final-page
            installer-keymap-page
            installer-locale-page
            installer-menu-page
            installer-network-page
            installer-substitutes-page
            installer-timezone-page
            installer-hostname-page
            installer-user-page
            installer-partition-page
            installer-services-page
            installer-welcome-page
            installer-parameters-menu
            installer-parameters-page
            installer-dump-page
            installer-run-command
            installer-report-page))


;;;
;;; Installer record.
;;;

;; The &lt;installer&gt; record contains pages that will be run to prompt the user
;; for the system configuration. The goal of the installer is to produce a
;; complete &lt;operating-system&gt; record and install it.

(define-record-type* &lt;installer&gt;
  installer make-installer
  installer?
  ;; symbol
  (name installer-name)
  ;; procedure: void -&gt; void
  (init installer-init)
  ;; procedure: void -&gt; void
  (exit installer-exit)
  ;; procedure (key arguments) -&gt; (action)
  (exit-error installer-exit-error)
  ;; procedure void -&gt; void
  (final-page installer-final-page)
  ;; procedure (layouts context) -&gt; (list layout variant options)
  (keymap-page installer-keymap-page)
  ;; procedure: (#:key supported-locales iso639-languages iso3166-territories)
  ;; -&gt; glibc-locale
  (locale-page installer-locale-page)
  ;; procedure: (steps) -&gt; step-id
  (menu-page installer-menu-page)
  ;; procedure void -&gt; void
  (network-page installer-network-page)
  ;; procedure void -&gt; void
  (substitutes-page installer-substitutes-page)
  ;; procedure (zonetab) -&gt; posix-timezone
  (timezone-page installer-timezone-page)
  ;; procedure void -&gt; void
  (hostname-page installer-hostname-page)
  ;; procedure void -&gt; void
  (user-page installer-user-page)
  ;; procedure void -&gt; void
  (partition-page installer-partition-page)
  ;; procedure void -&gt; void
  (services-page installer-services-page)
  ;; procedure (logo #:pci-database) -&gt; void
  (welcome-page installer-welcome-page)
  ;; procedure (menu-proc) -&gt; void
  (parameters-menu installer-parameters-menu)
  ;; procedure (keyboard-layout-selection) -&gt; void
  (parameters-page installer-parameters-page)
  ;; procedure (dump) -&gt; void
  (dump-page installer-dump-page)
  ;; procedure command -&gt; bool
  (run-command installer-run-command)
  ;; procedure (report) -&gt; void
  (report-page installer-report-page))
</pre>
</div></div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>