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 : Optional Text)
  16                     → λ(metrics : Bool)
  17                     → λ(syslogServer : Optional Text)
  18                     → λ(domain : Optional Text)
  19                     → λ(tasksFile : Optional Text)
  20                     → λ(addons : List Addon)
  21                     →   { clever_app =
  22                             app
  23                         , clever_orga =
  24                             vault.organization
  25                         , clever_secret =
  26                             vault.secret
  27                         , clever_token =
  28                             vault.token
  29                         , clever_syslog_server =
  30                             nonifyEmpty syslogServer
  31                         , clever_domain =
  32                             nonifyEmpty domain
  33                         , clever_app_tasks_file =
  34                             nonifyEmpty tasksFile
  35                         , clever_haskell_entry_point =
  36                             nonifyEmpty entryPoint
  37                         , clever_metrics =
  38                             metrics
  39                         , clever_addons =
  40                             addons
  41                         , clever_env =
  42                             { FORCE_HTTPS = True }
  43                         }
  44                       : Config Environment