]>
Commit | Line | Data |
---|---|---|
1 | let Key = { path : Text, value : Text, type : Text } | |
2 | ||
3 | let Vault = λ(a : Type) → { apiToken : Text, keys : a } | |
4 | ||
5 | let Config = | |
6 | { Type = | |
7 | { rundeck_jobs_path : Text | |
8 | , rundeck_project : Text | |
9 | , rundeck_api_url : Text | |
10 | , rundeck_api_token : Text | |
11 | , rundeck_api_version : Optional Natural | |
12 | , rundeck_remove_missing : Optional Bool | |
13 | , rundeck_remove_missing_keys : Optional Bool | |
14 | , rundeck_ignore_creation_error : Optional Bool | |
15 | , rundeck_jobs_group : Optional Text | |
16 | , rundeck_jobs_keys : List Key | |
17 | , rundeck_keys_scoped_by_project : Optional Bool | |
18 | , rundeck_keys_scoped_by_group : Optional Bool | |
19 | } | |
20 | , default = | |
21 | { rundeck_api_version = Some 26 | |
22 | , rundeck_remove_missing = Some True | |
23 | , rundeck_remove_missing_keys = Some False | |
24 | , rundeck_ignore_creation_error = Some True | |
25 | , rundeck_jobs_group = None Text | |
26 | , rundeck_jobs_keys = [] : List Key | |
27 | , rundeck_keys_scoped_by_project = Some True | |
28 | , rundeck_keys_scoped_by_group = None Bool | |
29 | } | |
30 | } | |
31 | ||
32 | in { Vault, Config, Key } |