dhall/mkConfig.dhall

   1 let Config = ./Config.dhall
   2
   3 let Vault = ./Vault.dhall
   4
   5 let Addon = ./addon/Addon.dhall
   6
   7 in    λ(vault : Vault)
   8     → λ(app : Text)
   9     → λ(organization : Text)
  10     → λ(entryPoint : Optional Text)
  11     → λ(metrics : Bool)
  12     → λ(syslogServer : Optional Text)
  13     → λ(domain : Optional Text)
  14     → λ(tasksFile : Optional Text)
  15     → λ(addons : List Addon)
  16     →   { clever_app =
  17             app
  18         , clever_orga =
  19             organization
  20         , clever_secret =
  21             vault.secret
  22         , clever_token =
  23             vault.token
  24         , clever_syslog_server =
  25             syslogServer
  26         , clever_domain =
  27             domain
  28         , clever_app_tasks_file =
  29             tasksFile
  30         , clever_haskell_entry_point =
  31             entryPoint
  32         , clever_metrics =
  33             metrics
  34         , clever_addons =
  35             addons
  36         , clever_env =
  37             {=}
  38         }
  39       : Config {}