dhall/Config.dhall

   1 let Addon = (./Addon.dhall).Type
   2
   3 let Vault = ./Vault.dhall
   4
   5 let Config =
   6         λ(Environment : Type)
   7       → { clever_app : Text
   8         , clever_orga : Text
   9         , clever_secret : Text
  10         , clever_token : Text
  11         , clever_syslog_server : Optional Text
  12         , clever_domain : Optional Text
  13         , clever_app_tasks_file : Optional Text
  14         , clever_haskell_entry_point : Optional Text
  15         , clever_disable_metrics : Bool
  16         , clever_addons : List Addon
  17         , clever_env : Environment
  18         }
  19
  20 let mkConfig =
  21         λ(vault : Vault)
  22       → λ(app : Text)
  23       → λ(organization : Text)
  24       →   { clever_app = app
  25           , clever_orga = organization
  26           , clever_secret = vault.secret
  27           , clever_token = vault.token
  28           , clever_syslog_server = None Text
  29           , clever_domain = None Text
  30           , clever_app_tasks_file = None Text
  31           , clever_haskell_entry_point = None Text
  32           , clever_disable_metrics = False
  33           , clever_addons = [] : List Addon
  34           , clever_env = {=}
  35           }
  36         : Config {}
  37
  38 in  { Type = Config, mkConfig = mkConfig }