;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013, 2014, 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-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 pa</td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>refs</a><a href='/guix/log/build-aux/cuirass'>log</a><a class='active' href='/guix/tree/build-aux/cuirass?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>tree</a><a href='/guix/commit/build-aux/cuirass?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>commit</a><a href='/guix/diff/build-aux/cuirass?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/build-aux/cuirass'>
<input type='hidden' name='id' value='88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'/><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='path'>path: <a href='/guix/tree/?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>root</a>/<a href='/guix/tree/build-aux?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>build-aux</a>/<a href='/guix/tree/build-aux/cuirass?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>cuirass</a></div><div class='content'><table summary='tree listing' class='list'>
<tr class='nohover'><th class='left'>Mode</th><th class='left'>Name</th><th class='right'>Size</th><th/></tr>
<tr><td class='ls-mode'>-rw-r--r--</td><td><a class='ls-blob scm' href='/guix/tree/build-aux/cuirass/evaluate.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>evaluate.scm</a></td><td class='ls-size'>4443</td><td><a class='button' href='/guix/log/build-aux/cuirass/evaluate.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>log</a><a class='button' href='/guix/plain/build-aux/cuirass/evaluate.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>plain</a><a class='button' href='/guix/about/build-aux/cuirass/evaluate.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>about</a></td></tr>
<tr><td class='ls-mode'>-rw-r--r--</td><td><a class='ls-blob scm' href='/guix/tree/build-aux/cuirass/hurd-manifest.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>hurd-manifest.scm</a></td><td class='ls-size'>2316</td><td><a class='button' href='/guix/log/build-aux/cuirass/hurd-manifest.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>log</a><a class='button' href='/guix/plain/build-aux/cuirass/hurd-manifest.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>plain</a><a class='button' href='/guix/about/build-aux/cuirass/hurd-manifest.scm?id=88e9e9e6971d29ea6cdd3a3fd97afd025cec6547'>about</a></td></tr>
</table>
</div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>
            (return 2))
                              (return 3))))
               (and (= (run number) 3)
                    been-there?))))
         %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"
  ;; The default system should be the one at '>>=' time, not the one at
  ;; invocation time.  See <http://bugs.gnu.org/18002>.
  (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)))
                 ;; The side effect here is used to keep track of the order in
                 ;; which monadic values are bound.  Perform the side effect
                 ;; within a '>>=' so that it is performed when the return
                 ;; value is actually bound.
                 (set! order (cons i order))
                 (return i)))

             (and (equal? input
                          (run (sequence monad (map frob input))))

                  ;; Make sure this is from left to right.
                  (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)    ;(1)
         (state-push 2)    ;(2 1)
         (mlet* %state-monad ((z (state-pop))        ;(1)
                              (p (current-state))
                              (a (state-push z)))    ;(2 1)
           (return `((z . ,z) (p . ,p) (a . ,a)))))
     '())))

(test-end "monads")


(exit (= (test-runner-fail-count (test-runner-current)) 0))