- let Config = ./Config.dhall
+let Config = ./Config.dhall
in let Vault = ./Vault.dhall
-in let Addon = ./addon/Addon.dhall
+ in let Addon = ./addon/Addon.dhall
-in let Environment = ./environment/Environment.dhall
+ in let Environment = ./environment/Environment.dhall
-in let nonifyEmpty =
- λ(opt : Optional Text)
- → Optional/fold Text opt Text (λ(x : Text) → x) "None"
+ in let nonifyEmpty =
+ λ(opt : Optional Text)
+ → Optional/fold Text opt Text (λ(x : Text) → x) "None"
-in λ(vault : Vault)
- → λ(app : Text)
- → λ(entryPoint : Text)
- → λ(metrics : Bool)
- → λ(syslogServer : Optional Text)
- → λ(domain : Optional Text)
- → λ(tasksFile : Optional Text)
- → λ(addons : List Addon)
- → { clever_app =
- app
- , clever_orga =
- vault.organization
- , clever_secret =
- vault.secret
- , clever_token =
- vault.token
- , clever_syslog_server =
- nonifyEmpty syslogServer
- , clever_domain =
- nonifyEmpty domain
- , clever_app_tasks_file =
- nonifyEmpty tasksFile
- , clever_entry_point =
- entryPoint
- , clever_metrics =
- metrics
- , clever_addons =
- addons
- , clever_env =
- { FORCE_HTTPS = True }
- }
- : Config Environment
+ in λ(vault : Vault)
+ → λ(app : Text)
+ → λ(entryPoint : Optional Text)
+ → λ(metrics : Bool)
+ → λ(syslogServer : Optional Text)
+ → λ(domain : Optional Text)
+ → λ(tasksFile : Optional Text)
+ → λ(addons : List Addon)
+ → { clever_app =
+ app
+ , clever_orga =
+ vault.organization
+ , clever_secret =
+ vault.secret
+ , clever_token =
+ vault.token
+ , clever_syslog_server =
+ nonifyEmpty syslogServer
+ , clever_domain =
+ nonifyEmpty domain
+ , clever_app_tasks_file =
+ nonifyEmpty tasksFile
+ , clever_haskell_entry_point =
+ nonifyEmpty entryPoint
+ , clever_metrics =
+ metrics
+ , clever_addons =
+ addons
+ , clever_env =
+ { FORCE_HTTPS = True }
+ }
+ : Config Environment
\ No newline at end of file