diff options
author | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-10-03 11:36:49 +0200 |
---|---|---|
committer | Clement Delafargue <clement.delafargue@fretlink.com> | 2019-10-03 11:36:49 +0200 |
commit | 7d79813cc40e214e0bf9ade900b6728169d788f5 (patch) | |
tree | 8d1bdde498217ae1da985c7a565a3e44a43a6366 /dhall | |
parent | a7dd06f0cc90aaa8c81f5243e74e83f22c3119f4 (diff) | |
download | ansible-rundeck-jobs-7d79813cc40e214e0bf9ade900b6728169d788f5.tar.gz ansible-rundeck-jobs-7d79813cc40e214e0bf9ade900b6728169d788f5.tar.zst ansible-rundeck-jobs-7d79813cc40e214e0bf9ade900b6728169d788f5.zip |
upgrade to dhall 1.26.1polykinds
I've inlined the types in a single file as they're rather small
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/Types.dhall | 1 | ||||
-rw-r--r-- | dhall/package.dhall | 13 |
2 files changed, 13 insertions, 1 deletions
diff --git a/dhall/Types.dhall b/dhall/Types.dhall deleted file mode 100644 index 2a6fa6e..0000000 --- a/dhall/Types.dhall +++ /dev/null | |||
@@ -1 +0,0 @@ | |||
1 | { Vault = ./Vault.dhall, Config = ./Config.dhall } | ||
diff --git a/dhall/package.dhall b/dhall/package.dhall new file mode 100644 index 0000000..ceab8c0 --- /dev/null +++ b/dhall/package.dhall | |||
@@ -0,0 +1,13 @@ | |||
1 | let Vault = { apiToken : Text } | ||
2 | |||
3 | let Config = | ||
4 | { rundeck_jobs_path : Text | ||
5 | , rundeck_project : Text | ||
6 | , rundeck_api_url : Text | ||
7 | , rundeck_api_token : Text | ||
8 | , rundeck_api_version : Optional Natural | ||
9 | , rundeck_remove_missing : Optional Bool | ||
10 | , rundeck_jobs_group : Optional Text | ||
11 | } | ||
12 | |||
13 | in { Vault = Vault, Config = Config } | ||