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         , clever_build_flavor : Optional Text
  19         }
  20
  21 let mkConfig =
  22         λ(vault : Vault)
  23       → λ(app : Text)
  24       → λ(organization : Text)
  25       →   { clever_app = app
  26           , clever_orga = organization
  27           , clever_secret = vault.secret
  28           , clever_token = vault.token
  29           , clever_syslog_server = None Text
  30           , clever_domain = None Text
  31           , clever_app_tasks_file = None Text
  32           , clever_haskell_entry_point = None Text
  33           , clever_disable_metrics = False
  34           , clever_addons = [] : List Addon
  35           , clever_env = {=}
  36           , clever_build_flavor = None Text
  37           }
  38         : Config {}
  39
  40 in  { Type = Config, mkConfig = mkConfig }