softwarefactory-project · TristanCacqueray · Jun 30, 2024 · Jun 30, 2024 · Jun 30, 2024 · Jun 30, 2024
diff --git a/Ansible/BaseTask/Type.dhall b/Ansible/BaseTask/Type.dhall
@@ -23,4 +23,6 @@
 , failed_when : Optional Text
 , changed_when : Optional Text
 , when : Optional Text
+, import_tasks : Optional Text
+, add_host : Optional ../Builtin/AddHost/Type.dhall
 }
diff --git a/Ansible/BaseTask/default.dhall b/Ansible/BaseTask/default.dhall
@@ -1,4 +1,5 @@
 { action = None Text
+, add_host = None ../Builtin/AddHost/Type.dhall
 , async_val = None Natural
 , become = None Bool
 , become_flags = None Text
@@ -10,6 +11,7 @@
 , delegate_to = None Text
 , failed_when = None Text
 , ignore_errors = None Bool
+, import_tasks = None Text
 , listen = None Text
 , loop = None Text
 , loop_control = None ./loop_control.dhall

diff --git a/Ansible/Builtin/Apt/Type.dhall b/Ansible/Builtin/Apt/Type.dhall
@@ -1,8 +1,10 @@
-{ allow_downgrade : Optional Bool
+{ allow_change_held_packages : Optional Bool
+, allow_downgrade : Optional Bool
 , allow_unauthenticated : Optional Bool
 , autoclean : Optional Bool
 , autoremove : Optional Bool
 , cache_valid_time : Optional Natural
+, clean : Optional Bool
 , deb : Optional Text
 , default_release : Optional Text
 , dpkg_options : Optional Text

diff --git a/Ansible/Builtin/Apt/default.dhall b/Ansible/Builtin/Apt/default.dhall
@@ -1,8 +1,10 @@
-{ allow_downgrade = None Bool
+{ allow_change_held_packages = None Bool
+, allow_downgrade = None Bool
 , allow_unauthenticated = None Bool
 , autoclean = None Bool
 , autoremove = None Bool
 , cache_valid_time = None Natural
+, clean = None Bool
 , deb = None Text
 , default_release = None Text
 , dpkg_options = None Text

diff --git a/Ansible/Builtin/Blockinfile/Type.dhall b/Ansible/Builtin/Blockinfile/Type.dhall
@@ -1,4 +1,5 @@
-{ attributes : Optional Text
+{ append_newline : Optional Bool
+, attributes : Optional Text
 , backup : Optional Bool
 , block : Optional Text
 , create : Optional Bool
@@ -11,6 +12,7 @@
 , mode : Optional Text
 , owner : Optional Text
 , path : Text
+, prepend_newline : Optional Bool
 , selevel : Optional Text
 , serole : Optional Text
 , setype : Optional Text

diff --git a/Ansible/Builtin/Blockinfile/default.dhall b/Ansible/Builtin/Blockinfile/default.dhall
@@ -1,4 +1,5 @@
-{ attributes = None Text
+{ append_newline = None Bool
+, attributes = None Text
 , backup = None Bool
 , block = None Text
 , create = None Bool
@@ -10,6 +11,7 @@
 , marker_end = None Text
 , mode = None Text
 , owner = None Text
+, prepend_newline = None Bool
 , selevel = None Text
 , serole = None Text
 , setype = None Text

diff --git a/Ansible/Builtin/Command/Type.dhall b/Ansible/Builtin/Command/Type.dhall
@@ -2,10 +2,10 @@
 , chdir : Optional Text
 , cmd : Optional Text
 , creates : Optional Text
+, expand_argument_vars : Optional Bool
 , free_form : Optional Text
 , removes : Optional Text
 , stdin : Optional Text
 , stdin_add_newline : Optional Bool
 , strip_empty_ends : Optional Bool
-, warn : Optional Bool
 }
diff --git a/Ansible/Builtin/Command/default.dhall b/Ansible/Builtin/Command/default.dhall
@@ -2,10 +2,10 @@
 , chdir = None Text
 , cmd = None Text
 , creates = None Text
+, expand_argument_vars = None Bool
 , free_form = None Text
 , removes = None Text
 , stdin = None Text
 , stdin_add_newline = None Bool
 , strip_empty_ends = None Bool
-, warn = None Bool
 }
diff --git a/Ansible/Builtin/Deb822Repository/Type.dhall b/Ansible/Builtin/Deb822Repository/Type.dhall
@@ -0,0 +1,23 @@
+{ allow_downgrade_to_insecure : Optional Bool
+, allow_insecure : Optional Bool
+, allow_weak : Optional Bool
+, architectures : Optional (List Text)
+, by_hash : Optional Bool
+, check_date : Optional Bool
+, check_valid_until : Optional Bool
+, components : Optional (List Text)
+, date_max_future : Optional Natural
+, enabled : Optional Bool
+, inrelease_path : Optional Text
+, languages : Optional (List Text)
+, mode : Optional Text
+, name : Text
+, pdiffs : Optional Bool
+, signed_by : Optional Text
+, state : Optional ./state.dhall
+, suites : Optional (List Text)
+, targets : Optional (List Text)
+, trusted : Optional Bool
+, types : Optional (List Text)
+, uris : Optional (List Text)
+}
diff --git a/Ansible/Builtin/Deb822Repository/default.dhall b/Ansible/Builtin/Deb822Repository/default.dhall
@@ -0,0 +1,22 @@
+{ allow_downgrade_to_insecure = None Bool
+, allow_insecure = None Bool
+, allow_weak = None Bool
+, architectures = None (List Text)
+, by_hash = None Bool
+, check_date = None Bool
+, check_valid_until = None Bool
+, components = None (List Text)
+, date_max_future = None Natural
+, enabled = None Bool
+, inrelease_path = None Text
+, languages = None (List Text)
+, mode = None Text
+, pdiffs = None Bool
+, signed_by = None Text
+, state = None ./state.dhall
+, suites = None (List Text)
+, targets = None (List Text)
+, trusted = None Bool
+, types = None (List Text)
+, uris = None (List Text)
+}
diff --git a/Ansible/Builtin/Deb822Repository/package.dhall b/Ansible/Builtin/Deb822Repository/package.dhall
@@ -0,0 +1 @@
+-- to be filled by shake
diff --git a/Ansible/Builtin/Deb822Repository/state.dhall b/Ansible/Builtin/Deb822Repository/state.dhall
@@ -0,0 +1 @@
+< absent | present >
diff --git a/Ansible/Builtin/Dnf/Type.dhall b/Ansible/Builtin/Dnf/Type.dhall
@@ -18,13 +18,15 @@
 , installroot : Optional Text
 , list : Optional Text
 , lock_timeout : Optional Natural
-, name : List Text
+, name : Optional (List Text)
 , nobest : Optional Bool
 , releasever : Optional Text
 , security : Optional Bool
 , skip_broken : Optional Bool
+, sslverify : Optional Bool
 , state : Optional ./state.dhall
 , update_cache : Optional Bool
 , update_only : Optional Bool
+, use_backend : Optional ./use_backend.dhall
 , validate_certs : Optional Bool
 }
diff --git a/Ansible/Builtin/Dnf/default.dhall b/Ansible/Builtin/Dnf/default.dhall
@@ -18,12 +18,15 @@
 , installroot = None Text
 , list = None Text
 , lock_timeout = None Natural
+, name = None (List Text)
 , nobest = None Bool
 , releasever = None Text
 , security = None Bool
 , skip_broken = None Bool
+, sslverify = None Bool
 , state = None ./state.dhall
 , update_cache = None Bool
 , update_only = None Bool
+, use_backend = None ./use_backend.dhall
 , validate_certs = None Bool
 }
diff --git a/Ansible/Builtin/Dnf/use_backend.dhall b/Ansible/Builtin/Dnf/use_backend.dhall
@@ -0,0 +1 @@
+< auto | dnf4 | dnf5 >
diff --git a/Ansible/Builtin/Dnf5/Type.dhall b/Ansible/Builtin/Dnf5/Type.dhall
@@ -0,0 +1,31 @@
+{ allow_downgrade : Optional Bool
+, allowerasing : Optional Bool
+, autoremove : Optional Bool
+, bugfix : Optional Bool
+, cacheonly : Optional Bool
+, conf_file : Optional Text
+, disable_excludes : Optional Text
+, disable_gpg_check : Optional Bool
+, disable_plugin : Optional (List Text)
+, disablerepo : Optional (List Text)
+, download_dir : Optional Text
+, download_only : Optional Bool
+, enable_plugin : Optional (List Text)
+, enablerepo : Optional (List Text)
+, exclude : Optional (List Text)
+, install_repoquery : Optional Bool
+, install_weak_deps : Optional Bool
+, installroot : Optional Text
+, list : Optional Text
+, lock_timeout : Optional Natural
+, name : Optional (List Text)
+, nobest : Optional Bool
+, releasever : Optional Text
+, security : Optional Bool
+, skip_broken : Optional Bool
+, sslverify : Optional Bool
+, state : Optional ./state.dhall
+, update_cache : Optional Bool
+, update_only : Optional Bool
+, validate_certs : Optional Bool
+}
diff --git a/Ansible/Builtin/Dnf5/default.dhall b/Ansible/Builtin/Dnf5/default.dhall
@@ -0,0 +1,31 @@
+{ allow_downgrade = None Bool
+, allowerasing = None Bool
+, autoremove = None Bool
+, bugfix = None Bool
+, cacheonly = None Bool
+, conf_file = None Text
+, disable_excludes = None Text
+, disable_gpg_check = None Bool
+, disable_plugin = None (List Text)
+, disablerepo = None (List Text)
+, download_dir = None Text
+, download_only = None Bool
+, enable_plugin = None (List Text)
+, enablerepo = None (List Text)
+, exclude = None (List Text)
+, install_repoquery = None Bool
+, install_weak_deps = None Bool
+, installroot = None Text
+, list = None Text
+, lock_timeout = None Natural
+, name = None (List Text)
+, nobest = None Bool
+, releasever = None Text
+, security = None Bool
+, skip_broken = None Bool
+, sslverify = None Bool
+, state = None ./state.dhall
+, update_cache = None Bool
+, update_only = None Bool
+, validate_certs = None Bool
+}
diff --git a/Ansible/Builtin/Dnf5/package.dhall b/Ansible/Builtin/Dnf5/package.dhall
@@ -0,0 +1 @@
+-- to be filled by shake
diff --git a/Ansible/Builtin/Dnf5/state.dhall b/Ansible/Builtin/Dnf5/state.dhall
@@ -0,0 +1 @@
+< absent | present | installed | removed | latest >
diff --git a/Ansible/Builtin/Expect/Type.dhall b/Ansible/Builtin/Expect/Type.dhall
@@ -4,5 +4,5 @@
 , echo : Optional Bool
 , removes : Optional Text
 , responses : ../JSON.dhall
-, timeout : Optional Natural
+, timeout : Optional Text
 }
diff --git a/Ansible/Builtin/Expect/default.dhall b/Ansible/Builtin/Expect/default.dhall
@@ -2,5 +2,5 @@
 , creates = None Text
 , echo = None Bool
 , removes = None Text
-, timeout = None Natural
+, timeout = None Text
 }
diff --git a/Ansible/Builtin/Find/Type.dhall b/Ansible/Builtin/Find/Type.dhall
@@ -2,11 +2,13 @@
 , age_stamp : Optional ./age_stamp.dhall
 , contains : Optional Text
 , depth : Optional Natural
+, exact_mode : Optional Bool
 , excludes : Optional (List Text)
 , file_type : Optional ./file_type.dhall
 , follow : Optional Bool
 , get_checksum : Optional Bool
 , hidden : Optional Bool
+, mode : Optional Text
 , paths : List Text
 , patterns : Optional (List Text)
 , read_whole_file : Optional Bool

diff --git a/Ansible/Builtin/Find/default.dhall b/Ansible/Builtin/Find/default.dhall
@@ -2,11 +2,13 @@
 , age_stamp = None ./age_stamp.dhall
 , contains = None Text
 , depth = None Natural
+, exact_mode = None Bool
 , excludes = None (List Text)
 , file_type = None ./file_type.dhall
 , follow = None Bool
 , get_checksum = None Bool
 , hidden = None Bool
+, mode = None Text
 , patterns = None (List Text)
 , read_whole_file = None Bool
 , recurse = None Bool

diff --git a/Ansible/Builtin/GetUrl/Type.dhall b/Ansible/Builtin/GetUrl/Type.dhall
@@ -1,8 +1,10 @@
 { attributes : Optional Text
 , backup : Optional Bool
 , checksum : Optional Text
+, ciphers : Optional (List Text)
 , client_cert : Optional Text
 , client_key : Optional Text
+, decompress : Optional Bool
 , dest : Text
 , force : Optional Bool
 , force_basic_auth : Optional Bool
@@ -15,7 +17,6 @@
 , serole : Optional Text
 , setype : Optional Text
 , seuser : Optional Text
-, sha256sum : Optional Text
 , timeout : Optional Natural
 , tmp_dest : Optional Text
 , unredirected_headers : Optional (List Text)
@@ -24,6 +25,7 @@
 , url_password : Optional Text
 , url_username : Optional Text
 , use_gssapi : Optional Bool
+, use_netrc : Optional Bool
 , use_proxy : Optional Bool
 , validate_certs : Optional Bool
 }
diff --git a/Ansible/Builtin/GetUrl/default.dhall b/Ansible/Builtin/GetUrl/default.dhall
@@ -1,8 +1,10 @@
 { attributes = None Text
 , backup = None Bool
 , checksum = None Text
+, ciphers = None (List Text)
 , client_cert = None Text
 , client_key = None Text
+, decompress = None Bool
 , force = None Bool
 , force_basic_auth = None Bool
 , group = None Text
@@ -14,14 +16,14 @@
 , serole = None Text
 , setype = None Text
 , seuser = None Text
-, sha256sum = None Text
 , timeout = None Natural
 , tmp_dest = None Text
 , unredirected_headers = None (List Text)
 , unsafe_writes = None Bool
 , url_password = None Text
 , url_username = None Text
 , use_gssapi = None Bool
+, use_netrc = None Bool
 , use_proxy = None Bool
 , validate_certs = None Bool
 }
diff --git a/Ansible/Builtin/Group/Type.dhall b/Ansible/Builtin/Group/Type.dhall
@@ -1,4 +1,5 @@
-{ gid : Optional Natural
+{ force : Optional Bool
+, gid : Optional Natural
 , local : Optional Bool
 , name : Text
 , non_unique : Optional Bool

diff --git a/Ansible/Builtin/Group/default.dhall b/Ansible/Builtin/Group/default.dhall
@@ -1,4 +1,5 @@
-{ gid = None Natural
+{ force = None Bool
+, gid = None Natural
 , local = None Bool
 , non_unique = None Bool
 , state = None ./state.dhall

diff --git a/Ansible/Builtin/ImportTasks/Type.dhall b/Ansible/Builtin/ImportTasks/Type.dhall
diff --git a/Ansible/Builtin/ImportTasks/package.dhall b/Ansible/Builtin/ImportTasks/package.dhall
diff --git a/Ansible/Builtin/IncludeTasks/Type.dhall b/Ansible/Builtin/IncludeTasks/Type.dhall
@@ -1 +1 @@
-{ apply : Optional Text, file : Optional Text }
+{}
diff --git a/Ansible/Builtin/IncludeTasks/default.dhall b/Ansible/Builtin/IncludeTasks/default.dhall
@@ -1 +1 @@
-{ apply = None Text, file = None Text }
+{=}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		< absent \| present \| installed \| removed \| latest >
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{ apply : Optional Text, file : Optional Text }
		{}