1234567891011121314151617181920 |
- let Types = ../types/package.dhall
- let JSON = (../lib/prelude.dhall).JSON
- let RenderOptional = ./optionals/package.dhall
- let render
- : Types.TaskRunConfig → JSON.Type
- = λ(c : Types.TaskRunConfig)
- → JSON.object
- ( toMap
- { path = JSON.string c.path
- , args = RenderOptional.lists.text c.args
- , dir = RenderOptional.text c.dir
- , user = RenderOptional.text c.user
- }
- )
- in render
|