123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273 |
- (define-module (test-monads)
- #:use-module (guix tests)
- #:use-module (guix store)
- #:use-module (guix monads)
- #:use-module (guix derivations)
- #:use-module (guix packages)
- #:use-module (gnu packages)
- #:use-module (gnu packages bootstrap)
- #:use-module ((gnu packages base) #:select (coreutils))
- #:use-module (ice-9 match)
- #:use-module (rnrs io ports)
- #:use-module (srfi srfi-1)
- #:use-module (srfi srfi-26)
- #:use-module (srfi srfi-64))
- (define %store
- (open-connection-for-tests))
- (%graft? #f)
- (define %monads
- (list %identity-monad %store-monad %state-monad))
- (define %monad-run
- (list identity
- (cut run-with-store %store <>)
- (cut run-with-state <> '())))
- (define-syntax-rule (values->list exp)
- (call-with-values (lambda () exp)
- list))
- (test-begin "monads")
- (test-assert "monad?"
- (and (every monad? %monads)
- (every (compose procedure? monad-bind) %monads)
- (every (compose procedure? monad-return) %monads)))
- (test-assert "left identity"
- (every (lambda (monad run)
- (let ((number (random 777)))
- (with-monad monad
- (define (f x)
- (return (* (1+ number) 2)))
- (= (run (>>= (return number) f))
- (run (f number))))))
- %monads
- %monad-run))
- (test-assert "right identity"
- (every (lambda (monad run)
- (with-monad monad
- (let ((number (return (random 777))))
- (= (run (>>= number return))
- (run number)))))
- %monads
- %monad-run))
- (test-assert "associativity"
- (every (lambda (monad run)
- (with-monad monad
- (define (f x)
- (return (+ 1 x)))
- (define (g x)
- (return (* 2 x)))
- (let ((number (return (random 777))))
- (= (run (>>= (>>= number f) g))
- (run (>>= number (lambda (x) (>>= (f x) g))))))))
- %monads
- %monad-run))
- (test-assert "lift"
- (every (lambda (monad run)
- (let ((f (lift1 1+ monad))
- (g (apply lift1 1+ (list monad))))
- (with-monad monad
- (let ((number (random 777)))
- (= (run (>>= (return number) f))
- (run (>>= (return number) g))
- (1+ number))))))
- %monads
- %monad-run))
- (test-assert ">>= with more than two arguments"
- (every (lambda (monad run)
- (let ((1+ (lift1 1+ monad))
- (2* (lift1 (cut * 2 <>) monad)))
- (with-monad monad
- (let ((number (random 777)))
- (= (run (>>= (return number)
- 1+ 1+ 1+
- 2* 2* 2*))
- (* 8 (+ number 3)))))))
- %monads
- %monad-run))
- (test-assert "mbegin"
- (every (lambda (monad run)
- (with-monad monad
- (let* ((been-there? #f)
- (number (mbegin monad
- (return 1)
- (begin
- (set! been-there? #t)
- (return 2))
- (return 3))))
- (and (= (run number) 3)
- been-there?))))
- %monads
- %monad-run))
- (test-assert "mparameterize"
- (let ((parameter (make-parameter 'outside)))
- (every (lambda (monad run)
- (equal?
- (run (mlet monad ((outer (return (parameter)))
- (inner
- (mparameterize monad ((parameter 'inside))
- (return (parameter)))))
- (return (list outer inner (parameter)))))
- '(outside inside outside)))
- %monads
- %monad-run)))
- (test-assert "mlet* + text-file + package-file"
- (run-with-store %store
- (mlet* %store-monad ((guile (package-file %bootstrap-guile "bin/guile"))
- (file (text-file "monadic" guile)))
- (return (equal? (call-with-input-file file get-string-all)
- guile)))
- #:guile-for-build (package-derivation %store %bootstrap-guile)))
- (test-assert "package-file, default system"
-
-
- (run-with-store %store
- (mlet* %store-monad
- ((system -> (%current-system))
- (file (parameterize ((%current-system "foobar64-linux"))
- (package-file coreutils "bin/ls")))
- (cu (package->derivation coreutils)))
- (return (string=? file
- (string-append (derivation->output-path cu)
- "/bin/ls"))))
- #:guile-for-build (package-derivation %store %bootstrap-guile)))
- (test-assert "package-file + package->cross-derivation"
- (run-with-store %store
- (mlet* %store-monad ((target -> "mips64el-linux-gnu")
- (file (package-file coreutils "bin/ls"
- #:target target))
- (xcu (package->cross-derivation coreutils target)))
- (let ((output (derivation->output-path xcu)))
- (return (string=? file (string-append output "/bin/ls")))))
- #:guile-for-build (package-derivation %store %bootstrap-guile)))
- (test-assert "interned-file"
- (run-with-store %store
- (mlet* %store-monad ((file -> (search-path %load-path "guix.scm"))
- (a (interned-file file))
- (b (interned-file file "b")))
- (return (equal? (call-with-input-file file get-string-all)
- (call-with-input-file a get-string-all)
- (call-with-input-file b get-string-all))))
- #:guile-for-build (package-derivation %store %bootstrap-guile)))
- (test-assert "mapm"
- (every (lambda (monad run)
- (with-monad monad
- (equal? (run (mapm monad (lift1 1+ monad) (iota 10)))
- (map 1+ (iota 10)))))
- %monads
- %monad-run))
- (test-assert "sequence"
- (every (lambda (monad run)
- (let* ((input (iota 100))
- (order '()))
- (define (frob i)
- (mlet monad ((foo (return 'foo)))
-
-
-
-
- (set! order (cons i order))
- (return i)))
- (and (equal? input
- (run (sequence monad (map frob input))))
-
- (equal? order (reverse input)))))
- %monads
- %monad-run))
- (test-assert "listm"
- (every (lambda (monad run)
- (run (with-monad monad
- (let ((lst (listm monad
- (return 1) (return 2) (return 3))))
- (mlet monad ((lst lst))
- (return (equal? '(1 2 3) lst)))))))
- %monads
- %monad-run))
- (test-assert "anym"
- (every (lambda (monad run)
- (eq? (run (with-monad monad
- (anym monad
- (lift1 (lambda (x)
- (and (odd? x) 'odd!))
- monad)
- (append (make-list 1000 0)
- (list 1 2)))))
- 'odd!))
- %monads
- %monad-run))
- (test-equal "set-current-state"
- (list '(a a d) 'd)
- (values->list
- (run-with-state
- (mlet* %state-monad ((init (current-state))
- (init2 (set-current-state 'b)))
- (mbegin %state-monad
- (set-current-state 'c)
- (set-current-state 'd)
- (mlet %state-monad ((last (current-state)))
- (return (list init init2 last)))))
- 'a)))
- (test-equal "state-push etc."
- (list '((z . 2) (p . (1)) (a . (1))) '(2 1))
- (values->list
- (run-with-state
- (mbegin %state-monad
- (state-push 1)
- (state-push 2)
- (mlet* %state-monad ((z (state-pop))
- (p (current-state))
- (a (state-push z)))
- (return `((z . ,z) (p . ,p) (a . ,a)))))
- '())))
- (test-end "monads")
|