dhall/mkConfig.dhall

   1 let Config = ./Config.dhall
   2
   3 let Vault = ./Vault.dhall
   4
   5 let Addon = ./addon/Addon.dhall
   6
   7 let nonifyEmpty =
   8         λ(opt : Optional Text)
   9       → Optional/fold Text opt Text (λ(x : Text) → x) "None"
  10
  11 in    λ(vault : Vault)
  12     → λ(app : Text)
  13     → λ(organization : Text)
  14     → λ(entryPoint : Optional Text)
  15     → λ(metrics : Bool)
  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             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_haskell_entry_point =
  35             nonifyEmpty entryPoint
  36         , clever_metrics =
  37             metrics
  38         , clever_addons =
  39             addons
  40         , clever_env =
  41             {=}
  42         }
  43       : Config {}