aboutsummaryrefslogtreecommitdiffhomepage
path: root/dhall/Config.dhall
diff options
context:
space:
mode:
authorClement Delafargue <clement.delafargue@fretlink.com>2019-10-02 11:02:54 +0200
committerClement Delafargue <clement.delafargue@fretlink.com>2019-10-02 11:28:53 +0200
commit2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8 (patch)
tree9f1e54602403fa90be42b475f722400142b434b4 /dhall/Config.dhall
parent3290aaf7f973cf3c64219d029538f53f1d82da94 (diff)
downloadansible-clever-2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8.tar.gz
ansible-clever-2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8.tar.zst
ansible-clever-2acb3d4f7a61f0a6d932624ccf11cd14d5dc1ff8.zip
Migrate to dhall 1.26.1 and merge types and termsv2.0-test-clementdpolykinds
Diffstat (limited to 'dhall/Config.dhall')
-rw-r--r--dhall/Config.dhall62
1 files changed, 37 insertions, 25 deletions
diff --git a/dhall/Config.dhall b/dhall/Config.dhall
index 5b7eab2..1b9388e 100644
--- a/dhall/Config.dhall
+++ b/dhall/Config.dhall
@@ -1,26 +1,38 @@
1let Addon = ./addon/Addon.dhall 1let Addon = (./Addon.dhall).Type
2 2
3in λ(Environment : Type) 3let Vault = ./Vault.dhall
4 → { clever_app : 4
5 Text 5let Config =
6 , clever_orga : 6 λ(Environment : Type)
7 Text 7 → { clever_app : Text
8 , clever_secret : 8 , clever_orga : Text
9 Text 9 , clever_secret : Text
10 , clever_token : 10 , clever_token : Text
11 Text 11 , clever_syslog_server : Optional Text
12 , clever_syslog_server : 12 , clever_domain : Optional Text
13 Optional Text 13 , clever_app_tasks_file : Optional Text
14 , clever_domain : 14 , clever_haskell_entry_point : Optional Text
15 Optional Text 15 , clever_disable_metrics : Bool
16 , clever_app_tasks_file : 16 , clever_addons : List Addon
17 Optional Text 17 , clever_env : Environment
18 , clever_haskell_entry_point : 18 }
19 Optional Text 19
20 , clever_disable_metrics : 20let mkConfig =
21 Bool 21 λ(vault : Vault)
22 , clever_addons : 22 → λ(app : Text)
23 List Addon 23 → λ(organization : Text)
24 , clever_env : 24 → { clever_app = app
25 Environment 25 , clever_orga = organization
26 } 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
38in { Type = Config, mkConfig = mkConfig }