tests/sets.scm

   1 ;;; GNU Guix --- Functional package management for GNU
   2 ;;; Copyright © 2015 Ludovic Courtès <ludo@gnu.org>
   3 ;;;
   4 ;;; This file is part of GNU Guix.
   5 ;;;
   6 ;;; GNU Guix is free software; you can redistribute it and/or modify it
   7 ;;; under the terms of the GNU General Public License as published by
   8 ;;; the Free Software Foundation; either version 3 of the License, or (at
   9 ;;; your option) any later version.
  10 ;;;
  11 ;;; GNU Guix is distributed in the hope that it will be useful, but
  12 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
  13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 ;;; GNU General Public License for more details.
  15 ;;;
  16 ;;; You should have received a copy of the GNU General Public License
  17 ;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.
  18
  19 (define-module (test-sets)
  20   #:use-module (guix sets)
  21   #:use-module (srfi srfi-1)
  22   #:use-module (srfi srfi-26)
  23   #:use-module (srfi srfi-64))
  24
  25 \f
  26 (test-begin "sets")
  27
  28 (test-assert "set-contains?"
  29   (let* ((lst (iota 123))
  30          (set (list->set lst)))
  31     (and (every (cut set-contains? set <>)
  32                 lst)
  33          (not (set-contains? set -1)))))
  34
  35 (test-assert "set->list"
  36   (let* ((lst (iota 123))
  37          (set (list->set lst)))
  38     (lset= = lst (set->list set))))
  39
  40 (test-assert "set-union"
  41   (let* ((a  (list 'a))
  42          (b  (list 'b))
  43          (s1 (setq a))
  44          (s2 (setq b))
  45          (s3 (set-union s1 s2)))
  46     (and (set-contains? s3 a)
  47          (set-contains? s3 b))))
  48
  49 (test-end)