sets.scm 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  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. (define-module (test-sets)
  19. #:use-module (guix sets)
  20. #:use-module (srfi srfi-1)
  21. #:use-module (srfi srfi-26)
  22. #:use-module (srfi srfi-64))
  23. (test-begin "sets")
  24. (test-assert "set-contains?"
  25. (let* ((lst (iota 123))
  26. (set (list->set lst)))
  27. (and (every (cut set-contains? set <>)
  28. lst)
  29. (not (set-contains? set -1)))))
  30. (test-assert "set->list"
  31. (let* ((lst (iota 123))
  32. (set (list->set lst)))
  33. (lset= = lst (set->list set))))
  34. (test-assert "set-union"
  35. (let* ((a (list 'a))
  36. (b (list 'b))
  37. (s1 (setq a))
  38. (s2 (setq b))
  39. (s3 (set-union s1 s2)))
  40. (and (set-contains? s3 a)
  41. (set-contains? s3 b))))
  42. (test-end)