projects / github / fretlink / ansible-clever.git / blame
| Commit | Line | Data |
|---|---|---|
| 65b86d1f | 1 | let Config = ./Config.dhall |
| 50a9e710 HAL |
2 | |
| 3 | in let Vault = ./Vault.dhall | |
| 4 | ||
| 65b86d1f | 5 | in let Addon = ./addon/Addon.dhall |
| 50a9e710 | 6 | |
| 65b86d1f | 7 | in let Environment = ./environment/Environment.dhall |
| 50a9e710 | 8 | |
| 65b86d1f PB |
9 | in let nonifyEmpty = |
| 10 | λ(opt : Optional Text) | |
| 11 | → Optional/fold Text opt Text (λ(x : Text) → x) "None" | |
| 50a9e710 | 12 | |
| 65b86d1f PB |
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 |