]> git.immae.eu Git - github/fretlink/ansible-clever.git/blob - dhall/Config.dhall
dhall: expose optional fields as optional values
[github/fretlink/ansible-clever.git] / dhall / Config.dhall
1 let Addon = ./addon/Addon.dhall
2
3 in λ(Environment : Type)
4 → { clever_app :
5 Text
6 , clever_orga :
7 Text
8 , clever_secret :
9 Text
10 , clever_token :
11 Text
12 , clever_syslog_server :
13 Optional Text
14 , clever_domain :
15 Optional Text
16 , clever_app_tasks_file :
17 Optional Text
18 , clever_haskell_entry_point :
19 Optional Text
20 , clever_metrics :
21 Bool
22 , clever_addons :
23 List Addon
24 , clever_env :
25 Environment
26 }