aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/Config.dhall
blob: e092e2c43a40027332ace1ce096225a15fc29fba (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
let Addon = (./Addon.dhall).Type

let Vault = ./Vault.dhall

let Config =
        λ(Environment : Type)
      → { clever_app : Text
        , clever_orga : Text
        , clever_secret : Text
        , clever_token : Text
        , clever_syslog_server : Optional Text
        , clever_domain : Optional Text
        , clever_app_tasks_file : Optional Text
        , clever_haskell_entry_point : Optional Text
        , clever_disable_metrics : Bool
        , clever_addons : List Addon
        , clever_env : Environment
        , clever_build_flavor : Optional Text
        }

let mkConfig =
        λ(vault : Vault)
      → λ(app : Text)
      → λ(organization : Text)
      →   { clever_app = app
          , clever_orga = organization
          , clever_secret = vault.secret
          , clever_token = vault.token
          , clever_syslog_server = None Text
          , clever_domain = None Text
          , clever_app_tasks_file = None Text
          , clever_haskell_entry_point = None Text
          , clever_disable_metrics = False
          , clever_addons = [] : List Addon
          , clever_env = {=}
          , clever_build_flavor = None Text
          }
        : Config {}

in  { Type = Config, mkConfig = mkConfig }