;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2019 David Thompson <davet@gnu.org>
;;; Copyright © 2019 Jakob L. Kreuze <zerodaysfordays@sdf.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 (gnu machine)
  #:use-module (gnu system)
  #:use-module (guix derivations)
  #:use-module (guix monads)
  #:use-module (guix records)
  #:use-module (guix store)
  #:use-module ((guix diagnostics) #:select (source-properties->location))
  #:use-module (srfi srfi-35)
  #:export (environment-type
            environment-type?
            environment-type-name
            environment-type-description
            environment-type-location

            machine
            machine?

            machine-operating-system
            machine-environment
            machine-configuration
            machine-display-name

            deploy-machine
            roll-back-machine
            machine-remote-eval

            &deploy-error
            deploy-error?
            deploy-error-should-roll-back
            deploy-error-captured-args))

;;; Commentary:
;;;
;;; This module provides the types used to declare individual machines in a
;;; heterogeneous Guix deployment. The interface allows users to specify system
;;; configurations and the means by which resources should be provisioned o;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013, 2014, 2015, 2023 Andreas Enge &lt;andreas@enge.fr&gt;
;;; Copyright © 2015 Sou Bunnbu &lt;iyzsong@gmail.com&gt;
;;; Copyright © 2015, 2018, 2019, 2020, 2021, 2023 Ludovic Courtès &lt;ludo@gnu.org&gt;
;;; Copyright © 2015-2019, 2024 Efraim Flashner &lt;efraim@flashner.co.il&gt;
;;; Copyright © 2016, 2017 Nikita &lt;nikita@n0.is&gt;
;;; Copyright © 2016 Thomas Danckaert &lt;post@thomasdanckaert.be&gt;
;;; Copyright © 2017, 2018, 2019, 2023 Ricardo Wurmus &lt;rekado@elephly.net&gt;
;;; Copyright © 2017 Quiliro &lt;quiliro@fsfla.org&gt;
;;; Copyright © 2017, 2018, 2020, 2021 Tobias Geerinckx-Rice &lt;me@tobias.gr&gt;
;;; Copyright © 2018, 2020, 2022 Nicolas Goaziou &lt;mail@nicolasgoaziou.fr&gt;
;;; Copyright © 2018 Hartmut Goebel &lt;h.goebel@crazy-compilers.com&gt;
;;; Copyright © 2018 Eric Bavier &lt;bavier@member.fsf.org&gt;
;;; Copyright © 2019, 2020, 2022 Marius Bakke &lt;marius@gnu.org&gt;
;;; Copyright © 2018 John Soo &lt;jsoo1@asu.edu&gt;
;;; Copyright © 2020 Mike Rosset &lt;mike.rosset@gmail.com&gt;
;;; Copyright © 2020 Jakub Kądziołka &lt;kuba@kadziolka.net&gt;
;;; Copyright © 2020 Kei Kebreau &lt;kkebreau@posteo.net&gt;
;;; Copyright © 2020 TomZ &lt;tomz@freedommail.ch&gt;
;;; Copyright © 2020 Jonathan Brielmaier &lt;jonathan.brielmaier@web.de&gt;
;;; Copyright © 2020 Michael Rohleder &lt;mike@rohleder.de&gt;
;;; Copyright © 2020, 2021, 2022, 2023, 2024 Maxim Cournoyer &lt;maxim.cournoyer@gmail.com&gt;
;;; Copyright © 2021, 2022 Brendan Tildesley &lt;mail@brendan.scot&gt;
;;; Copyright © 2021, 2022, 2023 Guillaume Le Vaillant &lt;glv@posteo.net&gt;
;;; Copyright © 2021 Nicolò Balzarotti &lt;nicolo@nixo.xyz&gt;
;;; Copyright © 2022 Foo Chuan Wei &lt;chuanwei.foo@hotmail.com&gt;
;;; Copyright © 2022 Zhu Zihao &lt;all_but_last@163.com&gt;
;;; Copyright © 2022 Petr Hodina &lt;phodina@protonmail.com&gt;
;;; Copyright © 2022 Yash Tiwari &lt;yasht@mailbox.org&gt;
;;; Copyright © 2023 Sharlatan Hellseher &lt;sharlatanus@gmail.com&gt;
;;; Copyright © 2022, 2024 Zheng Junjie &lt;873216071@qq.com&gt;
;;; Copyright © 2023 Herman Rimm &lt;herman@rimm.ee&gt;
;;; Copyright © 2023 Simon South &lt;simon@simonsouth.net&gt;
;;; Copyright © 2024 Foundation Devices, Inc. &lt;hello@foundation.xyz&gt;
;;; Copyright © 2024 Josep Bigorra &lt;jjbigorra@gmail.com&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 PU