dhall/mkConfig.dhall

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