dhall/package.dhall

   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 }