types.dhall 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. let Types = ./../types/package.dhall
  2. let RenderedGet =
  3. { get :
  4. Text
  5. , resource :
  6. Optional Text
  7. , params :
  8. Optional (List Types.TextTextPair)
  9. , version :
  10. Optional Types.GetVersion
  11. , passed :
  12. Optional (List Text)
  13. , trigger :
  14. Optional Bool
  15. }
  16. let RenderedPut =
  17. { put :
  18. Text
  19. , resource :
  20. Optional Text
  21. , params :
  22. Optional (List Types.TextTextPair)
  23. , get_params :
  24. Optional (List Types.TextTextPair)
  25. }
  26. let RenderedTask =
  27. { task :
  28. Text
  29. , config :
  30. Optional Types.TaskConfig
  31. , file :
  32. Optional Text
  33. , privileged :
  34. Optional Bool
  35. , params :
  36. Optional (List Types.TextTextPair)
  37. , image :
  38. Optional Text
  39. , input_mapping :
  40. Optional (List Types.TextTextPair)
  41. , output_mapping :
  42. Optional (List Types.TextTextPair)
  43. }
  44. let RenderedBasic =
  45. < Get : RenderedGet | Put : RenderedPut | Task : RenderedTask >
  46. let RenderedAggregate = { aggregate : List RenderedBasic }
  47. let RenderedStep = < Basic : RenderedBasic | Aggregate : RenderedAggregate >
  48. let RenderedJob =
  49. { name :
  50. Text
  51. , plan :
  52. List RenderedStep
  53. , serial :
  54. Optional Bool
  55. , build_logs_to_retain :
  56. Optional Natural
  57. , serial_groups :
  58. Optional (List Text)
  59. , max_in_flight :
  60. Optional Natural
  61. , public :
  62. Optional Bool
  63. , disable_manual_trigger :
  64. Optional Bool
  65. , interruptible :
  66. Optional Bool
  67. , on_success :
  68. Optional RenderedStep
  69. , on_failure :
  70. Optional RenderedStep
  71. , on_abort :
  72. Optional RenderedStep
  73. , ensure :
  74. Optional RenderedStep
  75. }
  76. in { GetStep =
  77. RenderedGet
  78. , PutStep =
  79. RenderedPut
  80. , TaskStep =
  81. RenderedTask
  82. , BasicStep =
  83. RenderedBasic
  84. , AggregateStep =
  85. RenderedAggregate
  86. , Step =
  87. RenderedStep
  88. , Job =
  89. RenderedJob
  90. }