let values = ../resources/package.dh

let types = ../resources/types.dh

let argotypes = ./types.dh

let basicCommand = ./basicCommand.dh

let defaultMkRun =
        λ(cmd : Text)
      → λ(manifest : Text)
      → λ(containerName : Text)
      →   { manifest =
              manifest
          , cmd =
              cmd
          , containerName =
              containerName
          , args =
              [] : List Text
          , cmdwants =
              [] : List Text
          , cmdavoids =
              [] : List Text
          , passvars =
              [] : List Text
          }
        : argotypes.MkRun

let run =
        λ(a : argotypes.MkRun)
      → let b =
              basicCommand
              { name =
                  "nrm"
              , outprefix =
                  "nrmrun"
              , outwants =
                  a.cmdwants
              , outavoids =
                  a.cmdavoids
              }
        
        in      b
              ⫽ { args =
                    [ "run", "-u", a.containerName, a.manifest, a.cmd ] # a.args
                , passvars =
                    b.passvars # a.passvars
                , vars =
                    values.emptyVars
                , timeout =
                    [] : Optional Natural
                , exitcode =
                    [] : Optional Integer
                , otherwd =
                    [] : Optional Text
                }
            : types.Cmd

let default =
        λ(cmd : Text)
      → λ(manifest : Text)
      → λ(containerName : Text)
      → run (defaultMkRun cmd manifest containerName) : types.Cmd

in  { defarg =
        defaultMkRun : Text → Text → Text → argotypes.MkRun
    , mk =
        run : argotypes.MkRun → types.Cmd
    , default =
        default : Text → Text → Text → types.Cmd
    }