taskRunConfig.dhall 487 B

1234567891011121314151617181920
  1. let Types = ../types/package.dhall
  2. let JSON = (../lib/prelude.dhall).JSON
  3. let RenderOptional = ./optionals/package.dhall
  4. let render
  5. : Types.TaskRunConfig → JSON.Type
  6. = λ(c : Types.TaskRunConfig)
  7. → JSON.object
  8. ( toMap
  9. { path = JSON.string c.path
  10. , args = RenderOptional.lists.text c.args
  11. , dir = RenderOptional.text c.dir
  12. , user = RenderOptional.text c.user
  13. }
  14. )
  15. in render