dhall-fly 0.1.0 → 0.2.0

raw patch · 79 files changed

+1758/−334 lines, 79 filesdep +optparse-applicativePVP ok

version bump matches the API change (PVP)

Dependencies added: optparse-applicative

API changes (from Hackage documentation)

Files

• ChangeLog.md +9/−0
• README.md +16/−0
• app/Main.hs +26/−9
• dhall-concourse/README.md +69/−3
• dhall-concourse/defaults/CustomResourceType.dhall +7/−10
• dhall-concourse/defaults/GetStep.dhall +9/−11
• dhall-concourse/defaults/ImageResource.dhall +4/−6
• dhall-concourse/defaults/Job.dhall +1/−4
• dhall-concourse/defaults/PutStep.dhall +8/−10
• dhall-concourse/defaults/Resource.dhall +8/−11
• dhall-concourse/defaults/StepHooks.dhall +1/−0
• dhall-concourse/defaults/TaskConfig.dhall +9/−16
• dhall-concourse/defaults/TaskInput.dhall +1/−0
• dhall-concourse/defaults/TaskOutput.dhall +1/−0
• dhall-concourse/defaults/TaskRunConfig.dhall +1/−8
• dhall-concourse/defaults/TaskStep.dhall +10/−13
• dhall-concourse/defaults/package.dhall +36/−10
• dhall-concourse/extractors/package.dhall +7/−0
• dhall-concourse/extractors/resourcesFromJobs.dhall +94/−0
• dhall-concourse/extractors/resourcesTypesFromResources.dhall +10/−0
• dhall-concourse/helpers/package.dhall +24/−8
• dhall-concourse/package.dhall +18/−4
• dhall-concourse/render/getStep.dhall +26/−0
• dhall-concourse/render/getVersion.dhall +26/−0
• dhall-concourse/render/groupedJobs.dhall +29/−0
• dhall-concourse/render/helpers/name-resource.dhall +23/−0
• dhall-concourse/render/imageResource.dhall +21/−0
• dhall-concourse/render/inParallelStep.dhall +28/−0
• dhall-concourse/render/job.dhall +39/−0
• dhall-concourse/render/jobBuildLogRetention.dhall +18/−0
• dhall-concourse/render/jobs.dhall +7/−0
• dhall-concourse/render/optionals/bool.dhall +11/−0
• dhall-concourse/render/optionals/generic.dhall +12/−0
• dhall-concourse/render/optionals/json-object.dhall +9/−0
• dhall-concourse/render/optionals/lists/generic.dhall +13/−0
• dhall-concourse/render/optionals/lists/package.dhall +11/−0
• dhall-concourse/render/optionals/natural.dhall +5/−0
• dhall-concourse/render/optionals/package.dhall +30/−0
• dhall-concourse/render/optionals/text-optional-json-map.dhall +25/−0
• dhall-concourse/render/optionals/text-text-map.dhall +12/−0
• dhall-concourse/render/optionals/text.dhall +9/−0
• dhall-concourse/render/package.dhall +28/−0
• dhall-concourse/render/pipeline.dhall +19/−0
• dhall-concourse/render/putStep.dhall +21/−0
• dhall-concourse/render/resource.dhall +35/−0
• dhall-concourse/render/resourceType.dhall +30/−0
• dhall-concourse/render/resourceTypes.dhall +35/−0
• dhall-concourse/render/resources.dhall +7/−0
• dhall-concourse/render/step.dhall +63/−0
• dhall-concourse/render/stepHooks.dhall +15/−0
• dhall-concourse/render/taskCache.dhall +11/−0
• dhall-concourse/render/taskConfig.dhall +48/−0
• dhall-concourse/render/taskContainerLimits.dhall +19/−0
• dhall-concourse/render/taskInput.dhall +20/−0
• dhall-concourse/render/taskOutput.dhall +17/−0
• dhall-concourse/render/taskRunConfig.dhall +19/−0
• dhall-concourse/render/taskSpec.dhall +17/−0
• dhall-concourse/render/taskStep.dhall +31/−0
• dhall-concourse/render/textOptionalTextMap.dhall +22/−0
• dhall-concourse/render/textTextMap.dhall +17/−0
• dhall-concourse/schemas/TaskInput.dhall +1/−0
• dhall-concourse/schemas/TaskOutput.dhall +1/−0
• dhall-concourse/schemas/package.dhall +36/−10
• dhall-concourse/types/BasicStep.dhall +0/−9
• dhall-concourse/types/GroupedJob.dhall +1/−0
• dhall-concourse/types/package.dhall +75/−25
• dhall-concourse/utils/catOptionals.dhall +17/−0
• dhall-concourse/utils/resourcesFromJobs.dhall +0/−76
• dhall-fly.cabal +59/−5
• src/Fly/Options.hs +35/−0
• src/Fly/Types.hs +13/−0
• src/Fly/Yaml.hs +31/−9
• test/Fly/InterpretSpec.hs +0/−77
• test/Fly/TypesSpec.hs +167/−0
• test/Fly/YamlSpec.hs +108/−0
• test/data/get.dhall +3/−0
• test/data/put.dhall +3/−0
• test/data/task-config.dhall +5/−0
• test/data/task-step.dhall +6/−0

@@ -1,5 +1,14 @@ # Changelog for dhall-fly +## 0.2.0++* Tested with dhall-concourse 0.5.0+* Add `--file` command line option to render pipelines from files+* Add support for grouping jobs+* Fix: Add inputs to `PutSteps`+* Fix: Add tags, timeouts and attempts to `ToJSON` instance of `PutStep`+* Fix: Add vars, tags, timeouts and attempts to `TaskStep`+ ## 0.1.0  * Support for dhall-concourse 0.2.2

@@ -4,6 +4,22 @@  ## Installation +### Using Homebrew++`brew install akshaymankar/tap/dhall-fly`++### Copy the binary (only MacOS)++Go to [Releases Page](https://github.com/akshaymankar/dhall-fly/releases), download the `dhall-fly-<version>-darwin.tgz`, use the binary inside. ++**Note:** This is only tested on Mojave, should work on Catalina.++### From Hackage++`cabal install dhall-fly`++### From source+ 1. Install stack: https://docs.haskellstack.org/en/stable/README/ 1. Clone this repository **recursively** 1. Run `stack install` in the repository. This will install `dhall-fly` binary in `~/.local/bin`.

@@ -1,16 +1,33 @@ module Main where -import Data.Aeson.Yaml (encode)-import Dhall           (auto, input)-import Dhall.JSON      (omitNull)-import Fly.Types       (Job)-import Fly.Yaml        (dhallToYaml)+import Data.Aeson          (Value)+import Data.Aeson.Yaml     (encode)+import Dhall               (auto, input, inputFile)+import Dhall.JSON          (omitNull)+import Fly.Types           (GroupedJob, Job)+import Fly.Yaml            (groupedJobsToValue, jobsToValue)+import Fly.Options  import qualified Data.ByteString.Lazy.Char8 as LBS-import qualified Data.Text.IO               (getContents)+import qualified Data.Text.IO               as T+import qualified Options.Applicative        as O  main :: IO () main = do-  stdin <- Data.Text.IO.getContents-  jobs <- input auto stdin :: IO [Job]-  LBS.putStrLn $ encode $ omitNull $ dhallToYaml jobs+  opts <- O.execParser optsParserWithHelp+  yaml <- dhallTextToValue opts+  LBS.putStrLn $ encode $ omitNull yaml++dhallTextToValue :: Opts -> IO Value+dhallTextToValue (Opts Jobs (File f)) = do+  jobs <- inputFile auto f :: IO [Job]+  pure $ jobsToValue jobs+dhallTextToValue (Opts Jobs Stdin) = do+  jobs <- (input auto =<< T.getContents) :: IO [Job]+  pure $ jobsToValue jobs+dhallTextToValue (Opts GroupedJobs (File f)) = do+  groupedJobs <- inputFile auto f :: IO [GroupedJob]+  pure $ groupedJobsToValue groupedJobs+dhallTextToValue (Opts GroupedJobs Stdin) = do+  groupedJobs <- (input auto =<< T.getContents) :: IO [GroupedJob]+  pure $ groupedJobsToValue groupedJobs

@@ -20,8 +20,55 @@  ## Usage +### Using dhall-fly+ To use dhall-concourse you need to install [dhall-fly](https://github.com/akshaymankar/dhall-fly#installation). +### Using dhall-to-json and jq (Experimental)++#### Jobs without Groups++To use native rendering to render a list of jobs in a file called `jobs.dhall`, you'd have to write a dhall expression like this:++```dhall+let Concourse = +      https://raw.githubusercontent.com/akshaymankar/dhall-concourse/0.5.0/package.dhall++let jobs = ./jobs.dhall++in Concourse.render.pipeline jobs+```++Now you can render this using dhall-to-json and jq like this:++```bash+dhall-to-json <<< './pipeline.dhall' \+  | jq '.resources = (.resources|unique)' \+  | jq '.resource_types = (.resource_types|unique)'+```++#### Jobs with groups++Similarly, to render a list of `GroupedJob`s in a filed called `grouped-jobs.dhall`, this would be the expression to render:++```dhall+let Concourse = +      https://raw.githubusercontent.com/akshaymankar/dhall-concourse/0.5.0/package.dhall++let groupedJobs = ./grouped-jobs.dhall++in Concourse.render.groupedJobs groupedJobs+```++Now you can render this using dhall-to-json and jq like this:++```bash+dhall-to-json <<< './pipeline.dhall' \+  | jq '.resources = (.resources|unique)' \+  | jq '.resource_types = (.resource_types|unique)' \+  | jq '.groups = (.groups | group_by(.name) | map({name: .[0].name, jobs: (map(.jobs) | flatten) }))'+```+ ## Defining a pipeline  ### Example 1: Hello World@@ -30,7 +77,7 @@  ```dhall let Concourse =-      https://raw.githubusercontent.com/akshaymankar/dhall-concourse/0.2.1/package.dhall sha256:afc1f4a27ac5a1f4746065ee2e318041698cc9bb57096aa4f0d4d665f44a6ef2+      https://raw.githubusercontent.com/akshaymankar/dhall-concourse/0.5.0/package.dhall  let Prelude =       https://prelude.dhall-lang.org/v11.1.0/package.dhall sha256:99462c205117931c0919f155a6046aec140c70fb8876d208c7c77027ab19c2fa@@ -68,10 +115,29 @@ To set the pipeline, run this command:  ```-fly -t <TARGET> set-pipeline -p hello-dhall -c <(dhall-fly <pipeline.dhall)+fly -t <TARGET> set-pipeline -p hello-dhall -c <(dhall-fly <example1.dhall) ``` -### Example 2 (Real World™️)+### Example 2 (Hello World with groups)++```dhall+let Concourse =+      https://raw.githubusercontent.com/akshaymankar/dhall-concourse/0.5.0/package.dhall++let Prelude =+      https://prelude.dhall-lang.org/v11.1.0/package.dhall sha256:99462c205117931c0919f155a6046aec140c70fb8876d208c7c77027ab19c2fa++-- Assuming above file is here+let jobs = ./example1.dhall++in  Prelude.List.map+      Concourse.Types.Job+      Concourse.Types.GroupedJob+      (λ(j : Concourse.Types.Job) → { job = j, groups = [ "hello-world" ] })+      jobs+```++### Example 3 (Real World™)   We in the Eirini team were facing issues with templating our pipeline YAMLs. Recently, we started converting our spruce/aviator based yaml templating into dhall. The work in progress can be seen in [our CI repo](https://github.com/cloudfoundry-incubator/eirini-ci/blob/47d2f229e33d9fcdb5641cec06fa68a0d82c0bff/pipelines/ci/pipeline.dhall).

@@ -1,12 +1,9 @@ let Types = ../types/package.dhall -in    { name = "CHANGEME"-      , type = "CHANGEME"-      , source = None Types.JSONObject-      , privileged = None Bool-      , params = None Types.JSONObject-      , check_every = None Text-      , tags = None Text-      , unique_version_history = None Bool-      }-    : Types.CustomResourceType+in  { source = None Types.JSONObject+    , privileged = None Bool+    , params = None Types.JSONObject+    , check_every = None Text+    , tags = None Text+    , unique_version_history = None Bool+    }

@@ -1,13 +1,11 @@ let Types = ../types/package.dhall -in    { get = None Text-      , resource = ./Resource.dhall-      , params = None Types.JSONObject-      , version = None Types.GetVersion-      , passed = None (List Text)-      , trigger = None Bool-      , tags = None (List Text)-      , timeout = None Text-      , attempts = None Natural-      }-    : Types.GetStep+in  { get = None Text+    , params = None Types.JSONObject+    , version = None Types.GetVersion+    , passed = None (List Text)+    , trigger = None Bool+    , tags = None (List Text)+    , timeout = None Text+    , attempts = None Natural+    }

@@ -1,8 +1,6 @@ let Types = ../types/package.dhall -in    { type = "CHANGEME"-      , source = None Types.JSONObject-      , params = None Types.JSONObject-      , version = None (List Types.TextTextPair)-      }-    : Types.ImageResource+in  { source = None Types.JSONObject+    , params = None Types.JSONObject+    , version = None (List Types.TextTextPair)+    }

@@ -1,8 +1,6 @@ let Types = ../types/package.dhall -in    { name = "CHANGEME"-      , old_name = None Text-      , plan = [] : List Types.Step+in    { old_name = None Text       , serial = None Bool       , build_log_retention = None Types.JobBuildLogRetention       , build_logs_to_retain = None Natural@@ -16,4 +14,3 @@       , on_abort = None Types.Step       , ensure = None Types.Step       }-    : Types.Job

@@ -1,12 +1,10 @@ let Types = ../types/package.dhall -in    { put = None Text-      , resource = ./Resource.dhall-      , inputs = None (List Text)-      , params = None Types.JSONObject-      , get_params = None Types.JSONObject-      , tags = None (List Text)-      , timeout = None Text-      , attempts = None Natural-      }-    : Types.PutStep+in  { put = None Text+    , inputs = None (List Text)+    , params = None Types.JSONObject+    , get_params = None Types.JSONObject+    , tags = None (List Text)+    , timeout = None Text+    , attempts = None Natural+    }

@@ -1,13 +1,10 @@ let Types = ../types/package.dhall -in    { name = "CHANGEME"-      , type = Types.ResourceType.InBuilt "CHANGEME"-      , icon = None Text-      , source = None Types.JSONObject-      , version = None (List Types.TextTextPair)-      , check_every = None Text-      , tags = None (List Text)-      , public = None Bool-      , webhook_token = None Text-      }-    : Types.Resource+in  { icon = None Text+    , source = None Types.JSONObject+    , version = None (List Types.TextTextPair)+    , check_every = None Text+    , tags = None (List Text)+    , public = None Bool+    , webhook_token = None Text+    }

@@ -1,5 +1,6 @@   λ(Step : Type) → let Types = ../types/package.dhall+     in    { on_success = None Step         , on_failure = None Step         , on_abort = None Step

@@ -1,18 +1,11 @@ let Types = ../types/package.dhall -in    { platform = "linux"-      , run =-          { path = "CHANGEME"-          , args = None (List Text)-          , dir = None Text-          , user = None Text-          }-	  , container_limits = None Types.TaskContainerLimits-      , image_resource = None Types.ImageResource-      , rootfs_uri = None Text-      , inputs = None (List Types.TaskInput)-      , outputs = None (List Types.TaskOutput)-      , caches = None (List Types.TaskCache)-      , params = None (List { mapKey : Text, mapValue : Optional Text })-      }-    : Types.TaskConfig+in  { platform = "linux"+    , container_limits = None Types.TaskContainerLimits+    , image_resource = None Types.ImageResource+    , rootfs_uri = None Text+    , inputs = None (List Types.TaskInput)+    , outputs = None (List Types.TaskOutput)+    , caches = None (List Types.TaskCache)+    , params = None (List { mapKey : Text, mapValue : Optional Text })+    }

@@ -0,0 +1,1 @@+{ path = None Text, optional = None Bool }

@@ -0,0 +1,1 @@+{ path = None Text }

@@ -1,8 +1,1 @@-let Types = ../types/package.dhall--in    { path = "CHANGEME"-      , args = None (List Text)-      , dir = None Text-      , user = None Text-      }-    : Types.TaskRunConfig+{ args = None (List Text), dir = None Text, user = None Text }

@@ -1,15 +1,12 @@ let Types = ../types/package.dhall -in    { task = "CHANGEME"-      , config = Types.TaskSpec.Config ./TaskConfig.dhall-      , privileged = None Bool-      , params = None (List Types.TextTextPair)-      , image = None Text-      , input_mapping = None (List Types.TextTextPair)-      , output_mapping = None (List Types.TextTextPair)-	  , vars = None Types.JSONObject-      , tags = None (List Text)-      , timeout = None Text-      , attempts = None Natural-      }-    : Types.TaskStep+in  { privileged = None Bool+    , params = None (List Types.TextTextPair)+    , image = None Text+    , input_mapping = None (List Types.TextTextPair)+    , output_mapping = None (List Types.TextTextPair)+    , vars = None Types.JSONObject+    , tags = None (List Text)+    , timeout = None Text+    , attempts = None Natural+    }

@@ -1,11 +1,37 @@-{ CustomResourceType = ./CustomResourceType.dhall-, Resource = ./Resource.dhall-, Job = ./Job.dhall-, GetStep = ./GetStep.dhall-, ImageResource = ./ImageResource.dhall-, StepHooks = ./StepHooks.dhall-, TaskStep = ./TaskStep.dhall-, TaskConfig = ./TaskConfig.dhall-, TaskRunConfig = ./TaskRunConfig.dhall-, PutStep = ./PutStep.dhall+{ CustomResourceType =+      ./CustomResourceType.dhall sha256:f0d92c575214d4f127c8e6dcb78dea83bee1f29e9bcb4759b7709d002d31cf37+    ? ./CustomResourceType.dhall+, Resource =+      ./Resource.dhall sha256:ee4a7e9c3bb43c5d015c51b3c63144ac3622976d51adb107eb6f53eae5b7c611+    ? ./Resource.dhall+, Job =+      ./Job.dhall sha256:9bc3aa7c8aaa9aacffdf0f3cb2d88250fbc01a314dd3d49a6945585d6f6fb591+    ? ./Job.dhall+, GetStep =+      ./GetStep.dhall sha256:7d630688d5fb2f6a2a6df76509c4c09c2ee3e49b517923085210fe0647dede9b+    ? ./GetStep.dhall+, ImageResource =+      ./ImageResource.dhall sha256:b7e80677324979d06a1b41c2ba2f5fbcba88788aa828a9849356dac8ae1b119d+    ? ./ImageResource.dhall+, StepHooks =+      ./StepHooks.dhall sha256:8458d8a9c42674f3f618152098e57a1345958192acd6c1acc5338c0709dbbc7d+    ? ./StepHooks.dhall+, TaskStep =+      ./TaskStep.dhall sha256:31bbdf420318f308ac9c6f39c24515a5b15bed5f562b7625c16a41830e9a38fc+    ? ./TaskStep.dhall+, TaskConfig =+      ./TaskConfig.dhall sha256:8dffe9abb5e94cfa317f6b95444111ae51667b3518c044f85f95307a38f5bc9f+    ? ./TaskConfig.dhall+, TaskInput =+      ./TaskInput.dhall sha256:5e3edf573190543a8f48d4385f47c5e8e01e384baa5c2c593ee16682daea50f2+    ? ./TaskInput.dhall+, TaskOutput =+      ./TaskOutput.dhall sha256:c3720062b9d3e2f4e6da3f1ca38f284725a2f80cdbcf01bf4538449121714abf+    ? ./TaskOutput.dhall+, TaskRunConfig =+      ./TaskRunConfig.dhall sha256:c177d3da26ff0f2efb3fe5b3f44e53e778d8ed42ed7a866d9cb820d234d0a7d0+    ? ./TaskRunConfig.dhall+, PutStep =+      ./PutStep.dhall sha256:0ce9032829ec8e204993f577f5c27b408f439677088ef24f4db11c556a64253f+    ? ./PutStep.dhall }

@@ -0,0 +1,7 @@+{ resourcesFromJobs =+      ./resourcesFromJobs.dhall sha256:8a625908d0d5599b9b52b8800e183f2f1a8ee179ec541dfede9f59e6d2573b6b+    ? ./resourcesFromJobs.dhall+, resourceTypesFromResources =+      ./resourcesTypesFromResources.dhall sha256:4979de9c830538c5af89a8a230d21131a85112c8401471df46ab89055f423476+    ? ./resourcesTypesFromResources.dhall+}

@@ -0,0 +1,94 @@+let Prelude = ../lib/prelude.dhall++let Types = ../types/package.dhall++let Resource = Types.Resource++let StepHooks = Types.StepHooks++let catOptionals = ../utils/catOptionals.dhall++let resourcesFromStepHooks+    : StepHooks (List Resource) → List Resource+    =   λ(h : StepHooks (List Resource))+      → let listOfListOfResources =+              catOptionals+                (List Resource)+                [ h.ensure, h.on_success, h.on_failure, h.on_abort ]+        +        in  Prelude.List.concat Resource listOfListOfResources++let resourcesFromGetStep+    : Types.GetStep → StepHooks (List Resource) → List Resource+    =   λ(g : Types.GetStep)+      → λ(h : StepHooks (List Resource))+      → [ g.resource ] # resourcesFromStepHooks h++let resourcesFromPutStep+    : Types.PutStep → StepHooks (List Resource) → List Resource+    =   λ(p : Types.PutStep)+      → λ(h : StepHooks (List Resource))+      → [ p.resource ] # resourcesFromStepHooks h++let resourcesFromTaskStep+    : Types.TaskStep → StepHooks (List Resource) → List Resource+    =   λ(_ : Types.TaskStep)+      → λ(h : StepHooks (List Resource))+      → resourcesFromStepHooks h++let resourcesFromAggregateOrDo+    : List (List Resource) → StepHooks (List Resource) → List Resource+    =   λ(rs : List (List Resource))+      → λ(h : StepHooks (List Resource))+      → Prelude.List.concat Resource rs # resourcesFromStepHooks h++let resourcesFromInParallelSteps =+      λ(rs : List (List Resource)) → Prelude.List.concat Resource rs++let resourcesFromInParallelConfig =+        λ(config : Types.InParallelConfig (List Resource))+      → Prelude.List.concat Resource config.steps++let resourcesFromInParallel+    :   Types.InParallelStep (List Resource)+      → StepHooks (List Resource)+      → List Resource+    =   λ(step : Types.InParallelStep (List Resource))+      → λ(h : StepHooks (List Resource))+      →   merge+            { Steps = resourcesFromInParallelSteps+            , Config = resourcesFromInParallelConfig+            }+            step+        # resourcesFromStepHooks h++let resourcesFromTry+    : List Resource → StepHooks (List Resource) → List Resource+    =   λ(rs : List Resource)+      → λ(h : StepHooks (List Resource))+      → rs # resourcesFromStepHooks h++let resourcesFromStep =+        λ(s : Types.Step)+      → s+          (List Resource)+          { get = resourcesFromGetStep+          , put = resourcesFromPutStep+          , task = resourcesFromTaskStep+          , aggregate = resourcesFromAggregateOrDo+          , do = resourcesFromAggregateOrDo+          , try = resourcesFromTry+          , in_parallel = resourcesFromInParallel+          }++let resourcesFromJob =+        λ(j : Types.Job)+      → let hookSteps =+              catOptionals+                Types.Step+                [ j.on_abort, j.on_failure, j.on_success, j.ensure ]+        +        in  Prelude.List.concatMap Types.Step Resource resourcesFromStep (j.plan # hookSteps)++in    Prelude.List.concatMap Types.Job Resource resourcesFromJob+    : List Types.Job → List Resource

@@ -0,0 +1,10 @@+let Prelude = ../lib/prelude.dhall++let Types = ../types/package.dhall++let Resource = Types.Resource++let ResourceType = Types.ResourceType++in    Prelude.List.map Resource ResourceType (λ(r : Resource) → r.type)+    : List Resource → List ResourceType

@@ -1,9 +1,25 @@-{ taskStep = ./taskStep.dhall-, putStep = ./putStep.dhall-, getStep = ./getStep.dhall-, aggregateStep = ./aggregateStep.dhall-, inParallelStep = ./inParallelStep.dhall-, inParallelStepSimple = ./inParallelStepSimple.dhall-, doStep = ./doStep.dhall-, tryStep = ./tryStep.dhall+{ taskStep =+      ./taskStep.dhall sha256:f7c597fd8d12cb09915aa2f69197425b70cdd02228f60204fc1fb6ebd7752ba8+    ? ./taskStep.dhall+, putStep =+      ./putStep.dhall sha256:2acca50d8b5ddc509ecbe9f5e5cb3cb1c7b16afcafc3be19832dc83277c7ba29+    ? ./putStep.dhall+, getStep =+      ./getStep.dhall sha256:6450e6470d5d5c0874ace985cd7fc6e68c30c6b2ee96627e407709bac3d444c5+    ? ./getStep.dhall+, aggregateStep =+      ./aggregateStep.dhall sha256:627ed574a25f46d86ce17dcac7a9a1d3a7091d99615420933357c241a575274a+    ? ./aggregateStep.dhall+, inParallelStep =+      ./inParallelStep.dhall sha256:4b06b441eef8f7596882276125c956ac371f544d9d162de118bd8909fc483103+    ? ./inParallelStep.dhall+, inParallelStepSimple =+      ./inParallelStepSimple.dhall sha256:f2163a83a674d4dcffa87d15743a071624b17c6709fe467e67e432e527de97c2+    ? ./inParallelStepSimple.dhall+, doStep =+      ./doStep.dhall sha256:644a08ced3e2bfd7d7ceb929e5067d3a73add378f7b07a6740b5791a791933b9+    ? ./doStep.dhall+, tryStep =+      ./tryStep.dhall sha256:29da9af3ac4f2a0eb01e606f74f26955f2026b37dac45e6d94bb8b3c63d56973+    ? ./tryStep.dhall }

@@ -1,5 +1,19 @@-{ Types = ./types/package.dhall-, defaults = ./defaults/package.dhall-, schemas = ./schemas/package.dhall-, helpers = ./helpers/package.dhall+{ Types =+      ./types/package.dhall sha256:4576b3998000a9e15b5e569913a36dcdee8607470d94e6b37f6d12e725588e51+    ? ./types/package.dhall+, defaults =+      ./defaults/package.dhall sha256:f4cc4d0a87f5a474de645f4ec8320aa055fa391d2a97696acba2814b8f594eb8+    ? ./defaults/package.dhall+, schemas =+      ./schemas/package.dhall sha256:6a1466287aa08d3911f9b07357079dfb58740747d66510367ad17290be695e6f+    ? ./schemas/package.dhall+, helpers =+      ./helpers/package.dhall sha256:94d9aab795fe7049da8c7904d6faa7c7be60ed10a59565c33d7cf9d026a6968d+    ? ./helpers/package.dhall+, render =+      ./render/package.dhall sha256:380eab61bcc75473589242aa13011d0912f0634745f84c185296594c557bacb7+    ? ./render/package.dhall+, extractors =+      ./extractors/package.dhall sha256:761aabbb030ca0fca473273e7c8b45c29dcd848388bdb767db7322a1243a5dd6+    ? ./extractors/package.dhall }

@@ -0,0 +1,26 @@+let Types = ../types/package.dhall++let nameResource = ./helpers/name-resource.dhall++let RenderOptional = ./optionals/package.dhall++let render+    : Types.GetStep → Types.JSONObject+    =   λ(g : Types.GetStep)+      → toMap+          { get = nameResource.getName g.get g.resource+          , resource = nameResource.getResource g.get g.resource+          , params = RenderOptional.jsonObject g.params+          , version =+              RenderOptional.generic+                Types.GetVersion+                ./getVersion.dhall+                g.version+          , passed = RenderOptional.lists.text g.passed+          , trigger = RenderOptional.bool g.trigger+          , tags = RenderOptional.lists.text g.tags+          , timeout = RenderOptional.text g.timeout+          , attempts = RenderOptional.natural g.attempts+          }++in  render

@@ -0,0 +1,26 @@+let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let Types = ../types/package.dhall++let renderLatest+    : Text → JSON.Type+    = λ(ignored : Text) → JSON.string "latest"++let renderEvery+    : Text → JSON.Type+    = λ(ignored : Text) → JSON.string "every"++let renderSpecific+    : List Types.TextTextPair → JSON.Type+    =   λ(version : List Types.TextTextPair)+      → JSON.object (./textTextMap.dhall version)++in    λ(version : Types.GetVersion)+    → merge+        { Latest = renderLatest+        , Every = renderEvery+        , SpecificVersion = renderSpecific+        }+        version

@@ -0,0 +1,29 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++in    λ(groupedJobs : List Types.GroupedJob)+    → let jobs =+            Prelude.List.map+              Types.GroupedJob+              Types.Job+              (λ(groupedJob : Types.GroupedJob) → groupedJob.job)+              groupedJobs++      let RenderedGroup = { name : Text, jobs : List Text }++      let jobGroups+          : List RenderedGroup+          = Prelude.List.concatMap+              Types.GroupedJob+              RenderedGroup+              (   λ(groupedJob : Types.GroupedJob)+                → Prelude.List.map+                    Text+                    RenderedGroup+                    (λ(g : Text) → { name = g, jobs = [ groupedJob.job.name ] })+                    groupedJob.groups+              )+              groupedJobs++      in  ./pipeline.dhall jobs ⫽ { groups = jobGroups }

@@ -0,0 +1,23 @@+let Types = ../../types/package.dhall++let Prelude = ../../lib/prelude.dhall++let JSON = Prelude.JSON++let getName+    : Optional Text → Types.Resource → JSON.Type+    =   λ(name : Optional Text)+      → λ(resource : Types.Resource)+      → JSON.string (Prelude.Optional.default Text resource.name name)++let getResource+    : Optional Text → Types.Resource → JSON.Type+    =   λ(name : Optional Text)+      → λ(resource : Types.Resource)+      →       if Prelude.Optional.null Text name+        +        then  JSON.null+        +        else  JSON.string resource.name++in  { getName = getName, getResource = getResource }

@@ -0,0 +1,21 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let render+    : Types.ImageResource → JSON.Type+    =   λ(r : Types.ImageResource)+      → JSON.object+          ( toMap+              { type = JSON.string r.type+              , source = RenderOptional.jsonObject r.source+              , params = RenderOptional.jsonObject r.params+              , version = RenderOptional.textTextMap r.version+              }+          )++in  RenderOptional.generic Types.ImageResource render

@@ -0,0 +1,28 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let renderSteps = λ(steps : List JSON.Type) → JSON.array steps++let renderConfig =+        λ(config : Types.InParallelConfig JSON.Type)+      → JSON.object+          ( toMap+              { steps = JSON.array config.steps+              , limit = RenderOptional.natural config.limit+              , fail_fast = RenderOptional.bool config.fail_fast+              }+          )++let render+    : Types.InParallelStep JSON.Type → Types.JSONObject+    =   λ(p : Types.InParallelStep JSON.Type)+      → toMap+          { in_parallel = merge { Steps = renderSteps, Config = renderConfig } p+          }++in  render

@@ -0,0 +1,39 @@+let Prelude = ../lib/prelude.dhall++let Types = ../types/package.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let optionalStep = RenderOptional.generic Types.Step ./step.dhall++let optionalLogRetention =+      RenderOptional.generic+        Types.JobBuildLogRetention+        ./jobBuildLogRetention.dhall++in    λ(j : Types.Job)+    → JSON.object+        ( toMap+            { name = JSON.string j.name+            , plan =+                JSON.array+                  (Prelude.List.map Types.Step JSON.Type ./step.dhall j.plan)+            , old_name = RenderOptional.text j.old_name+            , serial = RenderOptional.bool j.serial+            , build_log_retention = optionalLogRetention j.build_log_retention+            , build_logs_to_retain =+                RenderOptional.natural j.build_logs_to_retain+            , serial_groups = RenderOptional.lists.text j.serial_groups+            , max_in_flight = RenderOptional.natural j.max_in_flight+            , public = RenderOptional.bool j.public+            , disable_manual_trigger =+                RenderOptional.bool j.disable_manual_trigger+            , interruptible = RenderOptional.bool j.interruptible+            , on_success = optionalStep j.on_success+            , on_failure = optionalStep j.on_failure+            , on_abort = optionalStep j.on_abort+            , ensure = optionalStep j.ensure+            }+        )

@@ -0,0 +1,18 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let render =+        λ(r : Types.JobBuildLogRetention)+      → JSON.object+          ( toMap+              { days = RenderOptional.natural r.days+              , builds = RenderOptional.natural r.builds+              }+          )++in  render

@@ -0,0 +1,7 @@+let Prelude = ../lib/prelude.dhall++let Types = ../types/package.dhall++in    λ(js : List Types.Job)+    → Prelude.JSON.array+        (Prelude.List.map Types.Job Prelude.JSON.Type ./job.dhall js)

@@ -0,0 +1,11 @@+let Prelude = ../../lib/prelude.dhall++let JSON = Prelude.JSON++let optionalToJSON = ./generic.dhall++let boolToJSON+    : Optional Bool → JSON.Type+    = optionalToJSON Bool JSON.bool++in  boolToJSON

@@ -0,0 +1,12 @@+let Prelude = ../../lib/prelude.dhall++let JSON = Prelude.JSON++let optionalToJSON+    : ∀(T : Type) → (T → JSON.Type) → Optional T → JSON.Type+    =   λ(T : Type)+      → λ(toJSON : T → JSON.Type)+      → λ(thing : Optional T)+      → Prelude.Optional.fold T thing JSON.Type toJSON JSON.null++in  optionalToJSON

@@ -0,0 +1,9 @@+let JSON = (../../lib/prelude.dhall).JSON++let JSONObject = ../../types/JSONObject.dhall++let paramsToJSON+    : Optional JSONObject → JSON.Type+    = ./generic.dhall JSONObject JSON.object++in  paramsToJSON

@@ -0,0 +1,13 @@+let Prelude = ../../../lib/prelude.dhall++let JSON = Prelude.JSON++let render+    : ∀(T : Type) → (T → JSON.Type) → Optional (List T) → JSON.Type+    =   λ(T : Type)+      → λ(f : T → JSON.Type)+      → ../generic.dhall+          (List T)+          (λ(xs : List T) → JSON.array (Prelude.List.map T JSON.Type f xs))++in  render

@@ -0,0 +1,11 @@+let Prelude =+        ../../../lib/prelude.dhall sha256:99462c205117931c0919f155a6046aec140c70fb8876d208c7c77027ab19c2fa+      ? ../../../lib/prelude.dhall++let JSON = Prelude.JSON++let generic =+        ./generic.dhall sha256:e6fe28f437ac7fc2b574381ac2935273e923643d22947ddba14d941d9879955c+      ? ./generic.dhall++in  { generic = generic, text = generic Text JSON.string }

@@ -0,0 +1,5 @@+let JSON = (../../lib/prelude.dhall).JSON++in  ./generic.dhall+      Natural+      (λ(n : Natural) → JSON.number (Integer/toDouble (Natural/toInteger n)))

@@ -0,0 +1,30 @@+let generic =+        ./generic.dhall sha256:e87b80b1ddea0190e04f34886ec715b8248fdfd87d0f52b2d98c9db8c9bfa58e+      ? ./generic.dhall++let Prelude =+        ../../lib/prelude.dhall sha256:99462c205117931c0919f155a6046aec140c70fb8876d208c7c77027ab19c2fa+      ? ../../lib/prelude.dhall++let JSON = Prelude.JSON++in  { generic =+        generic+    , bool = generic Bool JSON.bool+    , jsonObject =+          ./json-object.dhall sha256:a716dcfe232f9281dba641ec8667f649cd66ecfb49adc0d606f2c141b6806a7b+        ? ./json-object.dhall+    , text = generic Text JSON.string+    , natural =+          ./natural.dhall sha256:d905b04cbe71416d5792ce04f107e7ceadebb5ff6bb3170bebd2766cc3783e5a+        ? ./natural.dhall+    , lists =+          ./lists/package.dhall sha256:ea18f4a4c82d3876a94db607d4afdc86342cace7368401c8911c0e3cb2ffc4b7+        ? ./lists/package.dhall+    , textTextMap =+          ./text-text-map.dhall sha256:ee10a9fce1cf002a2ee6c6ca395e274d7e877ee7365646d927c8bb9f6181249b+        ? ./text-text-map.dhall+    , textOptionalJSONMap =+          ./text-optional-json-map.dhall sha256:537bb2f57868dd144aa4c8b68de775557d235b87af4b03b40b8d9ce02f7d2a3b+        ? ./text-optional-json-map.dhall+    }

@@ -0,0 +1,25 @@+let Prelude = ../../lib/prelude.dhall++let JSON = Prelude.JSON++let Types = ../../types/package.dhall++let TextOptionalJSON = { mapKey : Text, mapValue : Optional JSON.Type }++let TextJSON = { mapKey : Text, mapValue : JSON.Type }++let id = λ(x : JSON.Type) → x++let renderPair+    : TextOptionalJSON → TextJSON+    =   λ(p : TextOptionalJSON)+      →   p+        ⫽ { mapValue =+              ./generic.dhall JSON.Type id (p.mapValue : Optional JSON.Type)+          }++let renderMap+    : List TextOptionalJSON → Types.JSONObject+    = Prelude.List.map TextOptionalJSON TextJSON renderPair++in  renderMap

@@ -0,0 +1,12 @@+let Prelude = ../../lib/prelude.dhall++let Types = ../../types/package.dhall++in    λ(x : Optional (List Types.TextTextPair))+    → ./json-object.dhall+        ( Prelude.Optional.map+            (List Types.TextTextPair)+            Types.JSONObject+            ../textTextMap.dhall+            x+        )

@@ -0,0 +1,9 @@+let Prelude = ../../lib/prelude.dhall++let JSON = Prelude.JSON++let textToJSON+    : Optional Text → JSON.Type+    = ./generic.dhall Text JSON.string++in  textToJSON

@@ -0,0 +1,28 @@+{ job =+      ./job.dhall sha256:87b1bddbee9fbad497e8e5f8fa900bdbb05f8a1b7741f04745ce89f2310a2301+    ? ./job.dhall+, jobs =+      ./jobs.dhall sha256:82c5d958835b112234e985aff019e51b96c301cf93cd0e6767a48fb6663ca3aa+    ? ./jobs.dhall+, step =+      ./step.dhall sha256:1f0320dab15822eed2bc394d912a26ef2ed950afcb5b6ece2dd16202fce91c1e+    ? ./step.dhall+, resource =+      ./resource.dhall sha256:24287125309ae12501bc6e6d12b6a11a4b68ae1a77fd3f8b3fde5392e349f5be+    ? ./resource.dhall+, resources =+      ./resources.dhall sha256:4ed6a34a4cccc01540e57ba1b495f374df5341ad3f62450ee9fad0e732a2e1cc+    ? ./resources.dhall+, resourceType =+      ./resourceType.dhall sha256:f3e6205fae63b9d9aa88459cac3b72a1bb5881c501f3117aca391f76016fe300+    ? ./resourceType.dhall+, resourceTypes =+      ./resourceTypes.dhall sha256:ef42b1e7ee294c054380a51c432680a8a573ef85bc2d872a312282770055f3f4+    ? ./resourceTypes.dhall+, pipeline =+      ./pipeline.dhall sha256:d66fb1637db9cf4680213b2b6939a5d5cff64b2f4e5d4e24444d49d40f92853e+    ? ./pipeline.dhall+, groupedJobs =+      ./groupedJobs.dhall sha256:9d56b1f88ec737fa02cd8eddc5fa239fd89cb6c509130ea83295899c2ac49c26+    ? ./groupedJobs.dhall+}

@@ -0,0 +1,19 @@+let Types = ../types/package.dhall++let Extract = ../extractors/package.dhall++let renderResources = ./resources.dhall++let renderResourceTypes = ./resourceTypes.dhall++let renderJobs = ./jobs.dhall++in    λ(jobs : List Types.Job)+    → let resources = Extract.resourcesFromJobs jobs+      +      let resource_types = Extract.resourceTypesFromResources resources+      +      in  { jobs = renderJobs jobs+          , resources = renderResources resources+          , resource_types = renderResourceTypes resource_types+          }

@@ -0,0 +1,21 @@+let Types = ../types/package.dhall++let nameResource = ./helpers/name-resource.dhall++let RenderOptional = ./optionals/package.dhall++let render+    : Types.PutStep → Types.JSONObject+    =   λ(p : Types.PutStep)+      → toMap+          { put = nameResource.getName p.put p.resource+          , resource = nameResource.getResource p.put p.resource+          , inputs = RenderOptional.lists.text p.inputs+          , params = RenderOptional.jsonObject p.params+          , get_params = RenderOptional.jsonObject p.get_params+          , tags = RenderOptional.lists.text p.tags+          , timeout = RenderOptional.text p.timeout+          , attempts = RenderOptional.natural p.attempts+          }++in  render

@@ -0,0 +1,35 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let typeName+    : Types.ResourceType → Text+    =   λ(t : Types.ResourceType)+      → merge+          { InBuilt = λ(n : Text) → n+          , Custom = λ(c : Types.CustomResourceType) → c.name+          }+          t++let render+    : Types.Resource → JSON.Type+    =   λ(r : Types.Resource)+      → JSON.object+          ( toMap+              { name = JSON.string r.name+              , type = JSON.string (typeName r.type)+              , icon = RenderOptional.text r.icon+              , source = RenderOptional.jsonObject r.source+              , version = RenderOptional.textTextMap r.version+              , check_every = RenderOptional.text r.check_every+              , tags = RenderOptional.lists.text r.tags+              , public = RenderOptional.bool r.public+              , webhook_token = RenderOptional.text r.webhook_token+              }+          )++in  render

@@ -0,0 +1,30 @@+let Prelude = ../lib/prelude.dhall++let Types = ../types/package.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let renderInBuilt = λ(ignored : Text) → None JSON.Type++let renderCustom =+        λ(c : Types.CustomResourceType)+      → Some+          ( JSON.object+              ( toMap+                  { name = JSON.string c.name+                  , type = JSON.string c.type+                  , source = RenderOptional.jsonObject c.source+                  , privileged = RenderOptional.bool c.privileged+                  , params = RenderOptional.jsonObject c.params+                  , check_every = RenderOptional.text c.check_every+                  , tags = RenderOptional.text c.tags+                  , unique_version_history =+                      RenderOptional.bool c.unique_version_history+                  }+              )+          )++in    λ(r : Types.ResourceType)+    → merge { InBuilt = renderInBuilt, Custom = renderCustom } r

@@ -0,0 +1,35 @@+let Prelude = ../lib/prelude.dhall++let Types = ../types/package.dhall++let JSON = Prelude.JSON++let catOptionals+    : ∀(T : Type) → List (Optional T) → List T+    =   λ(T : Type)+      → λ(ts : List (Optional T))+      → List/fold+          (Optional T)+          ts+          (List T)+          (   λ(t : Optional T)+            → λ(acc : List T)+            → Prelude.List.concat T [ Prelude.Optional.toList T t, acc ]+          )+          ([] : List T)++let catOptionalJSONs =+      λ(js : List (Optional JSON.Type)) → JSON.array (catOptionals JSON.Type js)++let render+    : List Types.ResourceType → JSON.Type+    =   λ(rs : List Types.ResourceType)+      → catOptionalJSONs+          ( Prelude.List.map+              Types.ResourceType+              (Optional JSON.Type)+              ./resourceType.dhall+              rs+          )++in  render

@@ -0,0 +1,7 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++in  Prelude.List.map Types.Resource JSON.Type ./resource.dhall

@@ -0,0 +1,63 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }++let concatJSONs =+        λ(xs : List Types.JSONObject)+      → JSON.object (Prelude.List.concat TextJSONPair xs)++let renderGet =+        λ(get : Types.GetStep)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs [ ./getStep.dhall get, ./stepHooks.dhall hooks ]++let renderPut =+        λ(put : Types.PutStep)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs [ ./putStep.dhall put, ./stepHooks.dhall hooks ]++let renderTask =+        λ(task : Types.TaskStep)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs [ ./taskStep.dhall task, ./stepHooks.dhall hooks ]++let renderAggregate =+        λ(steps : List JSON.Type)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs+          [ toMap { aggregate = JSON.array steps }, ./stepHooks.dhall hooks ]++let renderDo =+        λ(steps : List JSON.Type)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs [ toMap { do = JSON.array steps }, ./stepHooks.dhall hooks ]++let renderTry =+        λ(step : JSON.Type)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs [ toMap { try = step }, ./stepHooks.dhall hooks ]++let renderInParallel =+        λ(config : Types.InParallelStep JSON.Type)+      → λ(hooks : Types.StepHooks JSON.Type)+      → concatJSONs [ ./inParallelStep.dhall config, ./stepHooks.dhall hooks ]++let render+    : Types.Step → JSON.Type+    =   λ(step : Types.Step)+      → step+          JSON.Type+          { get = renderGet+          , put = renderPut+          , task = renderTask+          , aggregate = renderAggregate+          , do = renderDo+          , try = renderTry+          , in_parallel = renderInParallel+          }++in  render

@@ -0,0 +1,15 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let render+    : Types.StepHooks JSON.Type → Types.JSONObject+    =   λ(hooks : Types.StepHooks JSON.Type)+      → RenderOptional.textOptionalJSONMap+          (toMap hooks : List { mapKey : Text, mapValue : Optional JSON.Type })++in  render

@@ -0,0 +1,11 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let render+    : Types.TaskCache → JSON.Type+    = λ(c : Types.TaskCache) → JSON.object (toMap { path = JSON.string c.path })++in  render

@@ -0,0 +1,48 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let TextOptionalTextPair = { mapKey : Text, mapValue : Optional Text }++let render+    : Types.TaskConfig → JSON.Type+    =   λ(c : Types.TaskConfig)+      → JSON.object+          ( toMap+              { platform = JSON.string c.platform+              , run = ./taskRunConfig.dhall c.run+              , image_resource = ./imageResource.dhall c.image_resource+              , rootfs_uri = RenderOptional.text c.rootfs_uri+              , container_limits =+                  ./taskContainerLimits.dhall c.container_limits+              , inputs =+                  RenderOptional.lists.generic+                    Types.TaskInput+                    ./taskInput.dhall+                    c.inputs+              , outputs =+                  RenderOptional.lists.generic+                    Types.TaskOutput+                    ./taskOutput.dhall+                    c.outputs+              , caches =+                  RenderOptional.lists.generic+                    Types.TaskCache+                    ./taskCache.dhall+                    c.caches+              , params =+                  RenderOptional.jsonObject+                    ( Prelude.Optional.map+                        (List TextOptionalTextPair)+                        Types.JSONObject+                        ./textOptionalTextMap.dhall+                        c.params+                    )+              }+          )++in  render

@@ -0,0 +1,19 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let render+    : Types.TaskContainerLimits → JSON.Type+    =   λ(l : Types.TaskContainerLimits)+      → JSON.object+          ( toMap+              { cpu = RenderOptional.natural l.cpu+              , memory = RenderOptional.natural l.memory+              }+          )++in  RenderOptional.generic Types.TaskContainerLimits render

@@ -0,0 +1,20 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let render+    : Types.TaskInput → JSON.Type+    =   λ(i : Types.TaskInput)+      → JSON.object+          ( toMap+              { name = JSON.string i.name+              , path = RenderOptional.text i.path+              , optional = RenderOptional.bool i.optional+              }+          )++in  render

@@ -0,0 +1,17 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let render+    : Types.TaskOutput → JSON.Type+    =   λ(o : Types.TaskOutput)+      → JSON.object+          ( toMap+              { name = JSON.string o.name, path = RenderOptional.text o.path }+          )++in  render

@@ -0,0 +1,19 @@+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

@@ -0,0 +1,17 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let renderFile = λ(f : Text) → toMap { file = JSON.string f }++let renderConfig =+      λ(c : Types.TaskConfig) → toMap { config = ./taskConfig.dhall c }++let render+    : Types.TaskSpec → Types.JSONObject+    =   λ(s : Types.TaskSpec)+      → merge { File = renderFile, Config = renderConfig } s++in  render

@@ -0,0 +1,31 @@+let Types = ../types/package.dhall++let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let RenderOptional = ./optionals/package.dhall++let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }++let render+    : Types.TaskStep → Types.JSONObject+    =   λ(t : Types.TaskStep)+      → Prelude.List.concat+          TextJSONPair+          [ toMap+              { task = JSON.string t.task+              , privileged = RenderOptional.bool t.privileged+              , vars = RenderOptional.jsonObject t.vars+              , params = RenderOptional.textTextMap t.params+              , image = RenderOptional.text t.image+              , input_mapping = RenderOptional.textTextMap t.input_mapping+              , output_mapping = RenderOptional.textTextMap t.output_mapping+              , tags = RenderOptional.lists.text t.tags+              , timeout = RenderOptional.text t.timeout+              , attempts = RenderOptional.natural t.attempts+              }+          , ./taskSpec.dhall t.config+          ]++in  render

@@ -0,0 +1,22 @@+let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let Types = ../types/package.dhall++let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }++let TextOptionalTextPair = { mapKey : Text, mapValue : Optional Text }++let RenderOptional = ./optionals/package.dhall++let renderPair+    : TextOptionalTextPair → TextJSONPair+    =   λ(p : TextOptionalTextPair)+      → p ⫽ { mapValue = RenderOptional.text p.mapValue }++let renderTextTextMap+    : List TextOptionalTextPair → Types.JSONObject+    = Prelude.List.map TextOptionalTextPair TextJSONPair renderPair++in  renderTextTextMap

@@ -0,0 +1,17 @@+let Prelude = ../lib/prelude.dhall++let JSON = Prelude.JSON++let Types = ../types/package.dhall++let TextJSONPair = { mapKey : Text, mapValue : JSON.Type }++let renderTextTextPair+    : Types.TextTextPair → TextJSONPair+    = λ(p : Types.TextTextPair) → p ⫽ { mapValue = JSON.string p.mapValue }++let renderTextTextMap+    : List Types.TextTextPair → Types.JSONObject+    = Prelude.List.map Types.TextTextPair TextJSONPair renderTextTextPair++in  renderTextTextMap

@@ -0,0 +1,1 @@+{ Type = ../types/TaskInput.dhall, default = ../defaults/TaskInput.dhall }

@@ -0,0 +1,1 @@+{ Type = ../types/TaskOutput.dhall, default = ../defaults/TaskOutput.dhall }

@@ -1,11 +1,37 @@-{ CustomResourceType = ./CustomResourceType.dhall-, Resource = ./Resource.dhall-, Job = ./Job.dhall-, GetStep = ./GetStep.dhall-, ImageResource = ./ImageResource.dhall-, StepHooks = ./StepHooks.dhall-, TaskStep = ./TaskStep.dhall-, TaskConfig = ./TaskConfig.dhall-, TaskRunConfig = ./TaskRunConfig.dhall-, PutStep = ./PutStep.dhall+{ CustomResourceType =+      ./CustomResourceType.dhall sha256:50318d0495c2d26d3d740ad9e4b49d8c10cade82b1c1d0d8d4ee3ede97bdcb58+    ? ./CustomResourceType.dhall+, Resource =+      ./Resource.dhall sha256:debaad639d7d6a81f88ed0b5d6edea14858baf5b0cb6edf5bf26031807b7b580+    ? ./Resource.dhall+, Job =+      ./Job.dhall sha256:7f8ba5824cfab95e6afae4f3fc13173addeb019097e3973b75533b9524d888ea+    ? ./Job.dhall+, GetStep =+      ./GetStep.dhall sha256:4ca1616e51450d41120c1a0ba213f523202371c7ec838fb2d6917dc5d79aad6b+    ? ./GetStep.dhall+, ImageResource =+      ./ImageResource.dhall sha256:810b19dad32928f1bb6d1a4909103d453b6794adfd670e032de57ceb505a5c04+    ? ./ImageResource.dhall+, StepHooks =+      ./StepHooks.dhall sha256:a1bb15b4b98805ba74cef905565b64baa4ce8a42a99bb12f4811816158d35531+    ? ./StepHooks.dhall+, TaskStep =+      ./TaskStep.dhall sha256:a5a00b46ec4eb333ac1451e53b6d710d286d662e771aa83d777dccbb6837f1cd+    ? ./TaskStep.dhall+, TaskConfig =+      ./TaskConfig.dhall sha256:2e8c1033841a4206dbd60b4a7cea9d46f325af98f2dfb39b4a909415beb23d8b+    ? ./TaskConfig.dhall+, TaskInput =+      ./TaskInput.dhall sha256:754c52fb8a8e6bb1b06fc764685643820f843ad4bb9ba79b06e6bbdbcec8b205+    ? ./TaskInput.dhall+, TaskOutput =+      ./TaskOutput.dhall sha256:f973b27504cbd54edcf13306aa4136aa649fdcc201aac9d98b4e49cd125eb699+    ? ./TaskOutput.dhall+, TaskRunConfig =+      ./TaskRunConfig.dhall sha256:1c2a1df1e39fa3c4c401cec7bf642649f2eb623d5999929000226cded037b045+    ? ./TaskRunConfig.dhall+, PutStep =+      ./PutStep.dhall sha256:ed389e969476d75c926265aeb2e2901c30820ba20adbeca925472af95207f925+    ? ./PutStep.dhall }

@@ -1,9 +0,0 @@-let GetStep = ./GetStep.dhall--let PutStep = ./PutStep.dhall--let TaskStep = ./TaskStep.dhall--let BasicStep = < Get : GetStep | Put : PutStep | Task : TaskStep >--in  BasicStep

@@ -0,0 +1,1 @@+{ job : ./Job.dhall, groups : List Text }

@@ -1,26 +1,76 @@-{ BasicStep = ./BasicStep.dhall-, CustomResourceType = ./CustomResourceType.dhall-, GetStep = ./GetStep.dhall-, GetVersion = ./GetVersion.dhall-, ImageResource = ./ImageResource.dhall-, InParallelConfig = ./InParallelConfig.dhall-, InParallelStep = ./InParallelStep.dhall-, Job = ./Job.dhall-, JobBuildLogRetention = ./JobBuildLogRetention.dhall-, JSONObject = ./JSONObject.dhall-, PutStep = ./PutStep.dhall-, Resource = ./Resource.dhall-, ResourceType = ./ResourceType.dhall-, Step = ./Step.dhall-, StepConstructors = ./StepConstructors.dhall-, StepHooks = ./StepHooks.dhall-, TaskConfig = ./TaskConfig.dhall-, TaskInput = ./TaskInput.dhall-, TaskOutput = ./TaskOutput.dhall-, TaskCache = ./TaskCache.dhall-, TaskContainerLimits = ./TaskContainerLimits.dhall-, TaskRunConfig = ./TaskRunConfig.dhall-, TaskStep = ./TaskStep.dhall-, TaskSpec = ./TaskSpec.dhall-, TextTextPair = ./TextTextPair.dhall+{ CustomResourceType =+      ./CustomResourceType.dhall sha256:38b2589726851995ee62762de23344cd5eefad1541643835456564e1d03cc7d1+    ? ./CustomResourceType.dhall+, GetStep =+      ./GetStep.dhall sha256:83950c8fa16da1151fed433aac40309d4e80b796767cefbea489c1f43b091e7b+    ? ./GetStep.dhall+, GetVersion =+      ./GetVersion.dhall sha256:cd79d8dea7662306078754278d9351a80d49ef71d64f3c37a01b9e1da69c3194+    ? ./GetVersion.dhall+, ImageResource =+      ./ImageResource.dhall sha256:ed9b1a485ed6c8b7ac1cf81c42125b8a6d1e5a12bfabc51c11a64abb327f8f8c+    ? ./ImageResource.dhall+, InParallelConfig =+      ./InParallelConfig.dhall sha256:020d595b34b31147883a2b846ddc53ca8c898f11b4ea0b01f6c5c6e25ff718fb+    ? ./InParallelConfig.dhall+, InParallelStep =+      ./InParallelStep.dhall sha256:92395de51f548251bc0caae8e3aadafba89e4ed6c743ea86c80b4651fa0cd678+    ? ./InParallelStep.dhall+, Job =+      ./Job.dhall sha256:218e1f17265e0bad39f094d24ccc4976bec4621d6255b66a7190deba20f43d6e+    ? ./Job.dhall+, JobBuildLogRetention =+      ./JobBuildLogRetention.dhall sha256:130df5b466a3822ac49495046e68dc58b46b0366ac31f05520e44949010349b6+    ? ./JobBuildLogRetention.dhall+, JSONObject =+      ./JSONObject.dhall sha256:dbfb548d60ec6b2a0fe3e43d1bf94bf4e9675a02656b813a2a2e0f43816f81ba+    ? ./JSONObject.dhall+, PutStep =+      ./PutStep.dhall sha256:df4a0d60791b0cc1e05281c9a8e55c68a3ec470f277078e09dac2067e718fb29+    ? ./PutStep.dhall+, Resource =+      ./Resource.dhall sha256:6ce8e29712c4260b1ec7caa83eb9ef2be71ef5878d3d309ce99ab1004cde2e32+    ? ./Resource.dhall+, ResourceType =+      ./ResourceType.dhall sha256:0daa7a033cfc34de4cc0fd44581f37506bb0bd0b478be10a21aeb05f98610392+    ? ./ResourceType.dhall+, Step =+      ./Step.dhall sha256:3476bbdb663cf72c72ccec357376f39ba8fad8280a3da35af9913dd98e314b94+    ? ./Step.dhall+, StepConstructors =+      ./StepConstructors.dhall sha256:8e638e4e72d245d7ecddec74f5ecf4eebf20c2a6ea9125d8a9e0fb7f1dd15138+    ? ./StepConstructors.dhall+, StepHooks =+      ./StepHooks.dhall sha256:4894aa205d000a93f04b62b2dbceff77cdf3fcda634bcc2fa6d3777e10c2734a+    ? ./StepHooks.dhall+, TaskConfig =+      ./TaskConfig.dhall sha256:f2b2316b1f28912032630a9fed542ce0a00761edfbc33e3ea78a380ddc6b4eba+    ? ./TaskConfig.dhall+, TaskInput =+      ./TaskInput.dhall sha256:1d2673731453da3d08fdf28e121be928603069720470ea8c9d75040e90bcf925+    ? ./TaskInput.dhall+, TaskOutput =+      ./TaskOutput.dhall sha256:953faacc42bdde14b44016c52a79309480f965a006bf9651374ff9c10e51c95a+    ? ./TaskOutput.dhall+, TaskCache =+      ./TaskCache.dhall sha256:3c8a50c4e75f718e4ddff4e627cb41f7876843293a25ffa323384e3bbe98d71b+    ? ./TaskCache.dhall+, TaskContainerLimits =+      ./TaskContainerLimits.dhall sha256:1ec1a02eb15bfe577aa0f23bad7d3e255fc021affb53448ce1438492fa1ae01d+    ? ./TaskContainerLimits.dhall+, TaskRunConfig =+      ./TaskRunConfig.dhall sha256:ac211950cd1c3aa3580ce3e9efec30cb987b31ad7a63b34db47d332a22c43b48+    ? ./TaskRunConfig.dhall+, TaskStep =+      ./TaskStep.dhall sha256:24d9b5afb1f9ec6374432f1d54fdd1ab1532d967bc1f4a32f1cca5efa98aa0eb+    ? ./TaskStep.dhall+, TaskSpec =+      ./TaskSpec.dhall sha256:abf13fba189dda70af996bc2aa530c49cfd6004e8b591a3b52e67dc3ed483725+    ? ./TaskSpec.dhall+, TextTextPair =+      ./TextTextPair.dhall sha256:641845344ce6be001271e0052808b6c8ca10ce5939efefea3560c68c37538454+    ? ./TextTextPair.dhall+, GroupedJob =+      ./GroupedJob.dhall sha256:85073c70ee204dc1be2fc6eae2639315b17f8737a36dc649677d137e4c583678+    ? ./GroupedJob.dhall }

@@ -0,0 +1,17 @@+let Prelude = ../lib/prelude.dhall++let catOptionals+    : ∀(T : Type) → List (Optional T) → List T+    =   λ(T : Type)+      → λ(ts : List (Optional T))+      → List/fold+          (Optional T)+          ts+          (List T)+          (   λ(t : Optional T)+            → λ(acc : List T)+            → Prelude.List.concat T [ Prelude.Optional.toList T t, acc ]+          )+          ([] : List T)++in  catOptionals

@@ -1,76 +0,0 @@-let Prelude = ../lib/prelude.dhall--let Types = ../types/package.dhall--let Resource = Types.Resource--let StepHooks = Types.StepHooks--let catOptionals-    : ∀(x : Type) → List (Optional x) → List x-    =   λ(x : Type)-      → λ(os : List (Optional x))-      → Prelude.List.fold-          (Optional x)-          os-          (List x)-          (λ(a : Optional x) → λ(l : List x) → Prelude.Optional.toList x a # l)-          ([] : List x)--let resourcesFromStepHooks-    : StepHooks (List Resource) → List Resource-    =   λ(h : StepHooks (List Resource))-      → let listOfListOfResources =-              catOptionals-                (List Resource)-                [ h.ensure, h.on_success, h.on_failure, h.on_abort ]-        -        in  Prelude.List.concat Resource listOfListOfResources--let resourcesFromGetStep-    : Types.GetStep → StepHooks (List Resource) → List Resource-    =   λ(g : Types.GetStep)-      → λ(h : StepHooks (List Resource))-      → [ g.resource ] # resourcesFromStepHooks h--let resourcesFromPutStep-    : Types.PutStep → StepHooks (List Resource) → List Resource-    =   λ(p : Types.PutStep)-      → λ(h : StepHooks (List Resource))-      → [ p.resource ] # resourcesFromStepHooks h--let resourcesFromTaskStep-    : Types.TaskStep → StepHooks (List Resource) → List Resource-    =   λ(_ : Types.TaskStep)-      → λ(h : StepHooks (List Resource))-      → resourcesFromStepHooks h--let resourcesFromAggregateOrDo-    : List (List Resource) → StepHooks (List Resource) → List Resource-    =   λ(rs : List (List Resource))-      → λ(h : StepHooks (List Resource))-      → Prelude.List.concat Resource rs # resourcesFromStepHooks h--let resourcesFromTry-    : List Resource → StepHooks (List Resource) → List Resource-    =   λ(rs : List Resource)-      → λ(h : StepHooks (List Resource))-      → rs # resourcesFromStepHooks h--let resourcesFromStep =-        λ(s : Types.Step)-      → s-          (List Resource)-          resourcesFromGetStep-          resourcesFromPutStep-          resourcesFromTaskStep-          resourcesFromAggregateOrDo-          resourcesFromAggregateOrDo-          resourcesFromTry--let resourcesFromJob =-        λ(j : Types.Job)-      → Prelude.List.concatMap Types.Step Resource resourcesFromStep j.plan--in    Prelude.List.concatMap Types.Job Resource resourcesFromJob-    : List Types.Job → List Resource

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 34a102125b5ca6677a5bc0feae708c3b5f1137b172bb562d0b770ad6367e6e12+-- hash: fb42954e64638266e0514c8cb46537461e36d17e1295f1d60bc2f2b48dbbf23b  name:           dhall-fly-version:        0.1.0+version:        0.2.0 synopsis:       Translate concourse config from Dhall to YAML description:    Please see the README on GitHub at <https://github.com/akshaymankar/dhall-fly#readme> category:       Concourse, YAML, JSON, Dhall@@ -31,8 +31,13 @@     dhall-concourse/defaults/Resource.dhall     dhall-concourse/defaults/StepHooks.dhall     dhall-concourse/defaults/TaskConfig.dhall+    dhall-concourse/defaults/TaskInput.dhall+    dhall-concourse/defaults/TaskOutput.dhall     dhall-concourse/defaults/TaskRunConfig.dhall     dhall-concourse/defaults/TaskStep.dhall+    dhall-concourse/extractors/package.dhall+    dhall-concourse/extractors/resourcesFromJobs.dhall+    dhall-concourse/extractors/resourcesTypesFromResources.dhall     dhall-concourse/helpers/aggregateStep.dhall     dhall-concourse/helpers/doStep.dhall     dhall-concourse/helpers/getStep.dhall@@ -45,6 +50,44 @@     dhall-concourse/lib/prelude.dhall     dhall-concourse/package.dhall     dhall-concourse/README.md+    dhall-concourse/render/getStep.dhall+    dhall-concourse/render/getVersion.dhall+    dhall-concourse/render/groupedJobs.dhall+    dhall-concourse/render/helpers/name-resource.dhall+    dhall-concourse/render/imageResource.dhall+    dhall-concourse/render/inParallelStep.dhall+    dhall-concourse/render/job.dhall+    dhall-concourse/render/jobBuildLogRetention.dhall+    dhall-concourse/render/jobs.dhall+    dhall-concourse/render/optionals/bool.dhall+    dhall-concourse/render/optionals/generic.dhall+    dhall-concourse/render/optionals/json-object.dhall+    dhall-concourse/render/optionals/lists/generic.dhall+    dhall-concourse/render/optionals/lists/package.dhall+    dhall-concourse/render/optionals/natural.dhall+    dhall-concourse/render/optionals/package.dhall+    dhall-concourse/render/optionals/text-optional-json-map.dhall+    dhall-concourse/render/optionals/text-text-map.dhall+    dhall-concourse/render/optionals/text.dhall+    dhall-concourse/render/package.dhall+    dhall-concourse/render/pipeline.dhall+    dhall-concourse/render/putStep.dhall+    dhall-concourse/render/resource.dhall+    dhall-concourse/render/resources.dhall+    dhall-concourse/render/resourceType.dhall+    dhall-concourse/render/resourceTypes.dhall+    dhall-concourse/render/step.dhall+    dhall-concourse/render/stepHooks.dhall+    dhall-concourse/render/taskCache.dhall+    dhall-concourse/render/taskConfig.dhall+    dhall-concourse/render/taskContainerLimits.dhall+    dhall-concourse/render/taskInput.dhall+    dhall-concourse/render/taskOutput.dhall+    dhall-concourse/render/taskRunConfig.dhall+    dhall-concourse/render/taskSpec.dhall+    dhall-concourse/render/taskStep.dhall+    dhall-concourse/render/textOptionalTextMap.dhall+    dhall-concourse/render/textTextMap.dhall     dhall-concourse/schemas/CustomResourceType.dhall     dhall-concourse/schemas/GetStep.dhall     dhall-concourse/schemas/ImageResource.dhall@@ -54,12 +97,14 @@     dhall-concourse/schemas/Resource.dhall     dhall-concourse/schemas/StepHooks.dhall     dhall-concourse/schemas/TaskConfig.dhall+    dhall-concourse/schemas/TaskInput.dhall+    dhall-concourse/schemas/TaskOutput.dhall     dhall-concourse/schemas/TaskRunConfig.dhall     dhall-concourse/schemas/TaskStep.dhall-    dhall-concourse/types/BasicStep.dhall     dhall-concourse/types/CustomResourceType.dhall     dhall-concourse/types/GetStep.dhall     dhall-concourse/types/GetVersion.dhall+    dhall-concourse/types/GroupedJob.dhall     dhall-concourse/types/ImageResource.dhall     dhall-concourse/types/InParallelConfig.dhall     dhall-concourse/types/InParallelStep.dhall@@ -82,10 +127,14 @@     dhall-concourse/types/TaskSpec.dhall     dhall-concourse/types/TaskStep.dhall     dhall-concourse/types/TextTextPair.dhall-    dhall-concourse/utils/resourcesFromJobs.dhall+    dhall-concourse/utils/catOptionals.dhall     test/data/custom-resource-type.dhall+    test/data/get.dhall     test/data/in-built-resource-type.dhall+    test/data/put.dhall     test/data/resource.dhall+    test/data/task-config.dhall+    test/data/task-step.dhall  source-repository head   type: git@@ -96,6 +145,7 @@       Fly.Internal.AesonOrphans       Fly.Internal.DhallOrphans       Fly.Internal.DhallWithPrefix+      Fly.Options       Fly.Types       Fly.Yaml   other-modules:@@ -108,6 +158,7 @@     , aeson-casing >=0.2.0.0     , base >=4.7 && <5     , dhall >=1.27.0 && <1.28+    , optparse-applicative     , scientific >=0.3.6.2     , text >=1.2.3.1     , transformers >=0.5.6.2@@ -131,6 +182,7 @@     , dhall >=1.27.0 && <1.28     , dhall-fly     , dhall-json >=1.5.0 && <1.6+    , optparse-applicative     , scientific >=0.3.6.2     , text >=1.2.3.1     , transformers >=0.5.6.2@@ -142,7 +194,8 @@   type: exitcode-stdio-1.0   main-is: Spec.hs   other-modules:-      Fly.InterpretSpec+      Fly.TypesSpec+      Fly.YamlSpec       Paths_dhall_fly   hs-source-dirs:       test@@ -156,6 +209,7 @@     , dhall >=1.27.0 && <1.28     , dhall-fly     , hspec+    , optparse-applicative     , scientific >=0.3.6.2     , text >=1.2.3.1     , transformers >=0.5.6.2

@@ -0,0 +1,35 @@+module Fly.Options where++import Options.Applicative++data PipelineType = Jobs | GroupedJobs++data InputType = File FilePath | Stdin++data Opts = Opts { pipelineType :: PipelineType, inputType :: InputType }++inputTypeParser :: Parser InputType+inputTypeParser = (File+                    <$> strOption (long "file"+                                    <> help "Optional, defaults to stdin"))+                  <|> pure Stdin++parsePipelineType :: String -> Maybe PipelineType+parsePipelineType "jobs"         = Just Jobs+parsePipelineType "grouped-jobs" = Just GroupedJobs+parsePipelineType _              = Nothing++pipelineTypeParser :: Parser PipelineType+pipelineTypeParser = option+                     (maybeReader parsePipelineType)+                     (long "pipeline-type"+                      <> help "'jobs' or 'grouped-jobs'"+                      <> value Jobs)++optsParser :: Parser Opts+optsParser = Opts <$> pipelineTypeParser <*> inputTypeParser++optsParserWithHelp :: ParserInfo Opts+optsParserWithHelp = info (optsParser <**> helper)+                     (fullDesc+                      <> progDesc "Translate dhall pipelines to yaml")

@@ -167,6 +167,7 @@                        , putResource  :: Resource                        , putParams    :: Maybe (HashMap Text Value)                        , putGetParams :: Maybe (HashMap Text Value)+                       , putInputs    :: Maybe [Text]                        , putTags      :: Maybe [Text]                        , putTimeout   :: Maybe Text                        , putAttempts  :: Maybe Natural@@ -179,6 +180,10 @@                               , "resource"   .= toJSON (resourceName putResource <$ putPut)                               , "params"     .= putParams                               , "get_params" .= putGetParams+                              , "tags"       .= putTags+                              , "inputs"     .= putInputs+                              , "timeout"    .= putTimeout+                              , "attempts"   .= putAttempts                               ]  data TaskStep = TaskStep { taskTask          :: Text@@ -188,6 +193,10 @@                          , taskImage         :: Maybe Text                          , taskInputMapping  :: Maybe (HashMap Text Text)                          , taskOutputMapping :: Maybe (HashMap Text Text)+                         , taskVars          :: Maybe (HashMap Text Value)+                         , taskTags          :: Maybe [Text]+                         , taskTimeout       :: Maybe Text+                         , taskAttempts      :: Maybe Natural                          }               deriving (Show, Generic, Eq)               deriving FromDhall via FromDhallWithPrefix TaskStep@@ -301,6 +310,10 @@                }          deriving (Show, Generic, Eq)          deriving FromDhall via FromDhallWithPrefix Job++data GroupedJob = GroupedJob { gjJob :: Job, gjGroups :: [Text]}+                deriving (Show, Generic, Eq)+                deriving FromDhall via FromDhallWithPrefix GroupedJob  $(deriveToJSON (aesonPrefix snakeCase) ''CustomResourceType) $(deriveToJSON (aesonPrefix snakeCase){sumEncoding = UntaggedValue} ''ResourceType)

@@ -1,3 +1,4 @@+{-# LANGUAGE TupleSections #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE RecordWildCards   #-} module Fly.Yaml where@@ -5,8 +6,38 @@ import Data.Aeson import Data.List  (nub) import Data.Maybe (catMaybes)+import Data.Text  (Text) import Fly.Types +import qualified Data.HashMap.Strict as HM++jobsToValue :: [Job] -> Value+jobsToValue = Object . jobsToMap++groupedJobsToValue :: [GroupedJob] -> Value+groupedJobsToValue groupedJobs =+  let mapWithoutGroups = jobsToMap $ map gjJob groupedJobs+      groupsAsMap = groupedJobsToMap groupedJobs+      mkGroupValue group jobs acc = object [ "name" .= group, "jobs" .= jobs ] : acc+      groupsAsValue = toJSON $ HM.foldrWithKey mkGroupValue [] groupsAsMap+      groupsMap = HM.singleton "groups" groupsAsValue+  in Object $ HM.union mapWithoutGroups groupsMap++jobsToMap :: [Job] -> HM.HashMap Text Value+jobsToMap jobs =+  let resources = nub $ concatMap getResourcesFromJob jobs+      resourceTypes = nub $ customResourceTypes $ map Fly.Types.resourceType resources+  in HM.fromList [ ("resource_types", toJSON resourceTypes)+                 , ("resources", toJSON resources)+                 , ("jobs", toJSON jobs)+                 ]++groupedJobsToMap :: [GroupedJob] -> HM.HashMap Text [Text]+groupedJobsToMap gjs =+  let toGroupJobsPair (GroupedJob j groups) = map (, [jobName j]) groups+      groupJobsPairs = concatMap toGroupJobsPair gjs+  in HM.fromListWith (++) groupJobsPairs+ customResourceTypes :: [ResourceType] -> [ResourceType] customResourceTypes [] = [] customResourceTypes (ResourceTypeInBuilt _ : rts) =  customResourceTypes rts@@ -37,12 +68,3 @@ getResourcesFromJob Job{..} =   getResourcesFromSteps   $ jobPlan ++ catMaybes [ jobOnSuccess, jobOnFailure, jobOnAbort, jobEnsure ]--dhallToYaml :: [Job] -> Value-dhallToYaml jobs =-  let resources = nub $ concatMap getResourcesFromJob jobs-      resourceTypes = nub $ customResourceTypes $ map Fly.Types.resourceType resources-  in object [ "resource_types" .= resourceTypes-            , "resources" .= resources-            , "jobs" .= jobs-            ]

@@ -1,77 +0,0 @@-{-# LANGUAGE ExtendedDefaultRules #-}-{-# LANGUAGE OverloadedStrings    #-}-{-# LANGUAGE RecordWildCards      #-}-module Fly.InterpretSpec where--import Test.Hspec--import Data.Aeson-import Data.HashMap.Strict-import Dhall-import Fly.Types--spec :: Spec-spec = do-  describe "Fly.Interpret" $ do-    describe "Interpret ResourceType" $ do-      it "should interpret in built resource type" $ do-        resourceType <- input auto "./test/data/in-built-resource-type.dhall"-        resourceType `shouldBe` ResourceTypeInBuilt "git"--      it "should interpret custom resource type" $ do-        resourceType <- input auto "./test/data/custom-resource-type.dhall"-        resourceType `shouldBe` boshDeploymentResourceType--    describe "Interpret Resource" $ do-      it "should interpret a git resource" $ do-        resource <- input auto "./test/data/resource.dhall"-        resource `shouldBe` gitKuboCI--    describe "Interpret TaskConfig" $ do-      it "should interpret a File task" $ do-        task <- input auto "./dhall-concourse/defaults/TaskConfig.dhall"-        task `shouldBe` defaultTaskConfig--boshDeploymentResourceType = ResourceTypeCustom (CustomResourceType{..}) where-  crtName = "bosh-deployment"-  crtType = "docker-image"-  crtSource =  pure $ fromList [ ("repository", String "cloudfoundry/bosh-deployment-resource")-                               , ("tag", String "latest")-                               ]-  crtPrivileged = Nothing-  crtParams = Nothing-  crtCheckEvery = Nothing-  crtTags = Nothing-  crtUniqueVersionHistory = Nothing--gitKuboCI = Resource{..} where-  resourceName =  "git-kubo-ci"-  resourceType = ResourceTypeInBuilt "git"-  resourceCheckEvery = Nothing-  resourceParams = Nothing-  resourceSource = Just $ fromList [ "privateKey" .= "((git-ssh-key.private_key))"-                                   , "uri" .= "git@github.com:cloudfoundry-incubator/kubo-ci"-                                   , "branch" .= "master"-                                   ]-  resourceTags = Nothing-  resourceVersion = Nothing-  resourceWebhookToken = Nothing-  resourceIcon = Nothing-  resourcePublic = Nothing--defaultTaskRunConfig = TaskRunConfig{..} where-  trcPath = "CHANGEME"-  trcArgs = Nothing-  trcDir = Nothing-  trcUser = Nothing--defaultTaskConfig = TaskConfig{..} where-  tcPlatform = "linux"-  tcRun = defaultTaskRunConfig-  tcCaches = Nothing-  tcImageResource = Nothing-  tcInputs = Nothing-  tcOutputs = Nothing-  tcParams = Nothing-  tcRootfsUri = Nothing-  tcContainerLimits = Nothing

@@ -0,0 +1,167 @@+{-# LANGUAGE ExtendedDefaultRules #-}+{-# LANGUAGE OverloadedStrings    #-}+{-# LANGUAGE RecordWildCards      #-}+{-# OPTIONS_GHC -fno-warn-type-defaults #-}+module Fly.TypesSpec where++import Test.Hspec++import Data.Aeson+import Data.HashMap.Strict+import Dhall+import Fly.Types++{-# ANN module "HLint: ignore Redundant do" #-}++spec :: Spec+spec = do+  describe "Fly.Types" $ do+    describe "Interpret ResourceType" $ do+      it "should interpret in built resource type" $ do+        resourceType <- input auto "./test/data/in-built-resource-type.dhall"+        resourceType `shouldBe` ResourceTypeInBuilt "git"++      it "should interpret custom resource type" $ do+        resourceType <- input auto "./test/data/custom-resource-type.dhall"+        resourceType `shouldBe` boshDeploymentResourceType++    describe "Interpret Resource" $ do+      it "should interpret a git resource" $ do+        resource <- input auto "./test/data/resource.dhall"+        resource `shouldBe` gitKuboCI++    describe "Interpret TaskConfig" $ do+      it "should interpret a File task" $ do+        task <- input auto "./test/data/task-config.dhall"+        task `shouldBe` defaultTaskConfig++    describe "GetStep" $ do+      let testGet = GetStep{..} where+            getGet = Nothing+            getResource = gitKuboCI+            getParams = Nothing+            getVersion = Nothing+            getPassed = Nothing+            getTrigger = Nothing+            getTags = Nothing+            getTimeout = Nothing+            getAttempts = Nothing+      describe "Interpret" $ do+        it "should interpret a get step" $ do+          get <- input auto "./test/data/get.dhall"+          get `shouldBe` testGet+      describe "ToJSON" $ do+        it "should translate a get step" $ do+          toJSON testGet `shouldBe` object [ "passed"   .= Null+                                           , "get"      .= "git-kubo-ci"+                                           , "attempts" .= Null+                                           , "params"   .= Null+                                           , "version"  .= Null+                                           , "resource" .= Null+                                           , "trigger"  .= Null+                                           , "timeout"  .= Null+                                           , "tags"     .= Null ]++    describe "PutStep" $ do+      let testPut = PutStep{..} where+            putPut = Nothing+            putResource = gitKuboCI+            putParams = Nothing+            putGetParams = Nothing+            putInputs = Nothing+            putTags = Nothing+            putTimeout = Nothing+            putAttempts = Nothing+      describe "Interpret" $ do+        it "should interpret a put step" $ do+          put <- input auto "./test/data/put.dhall"+          put `shouldBe` testPut+      describe "ToJSON" $ do+        it "should translate a put step" $ do+          toJSON testPut `shouldBe` object [ "put"        .= "git-kubo-ci"+                                           , "attempts"   .= Null+                                           , "params"     .= Null+                                           , "get_params" .= Null+                                           , "resource"   .= Null+                                           , "timeout"    .= Null+                                           , "inputs"     .= Null+                                           , "tags"       .= Null ]++    describe "TaskStep" $ do+      let testTask = TaskStep{..} where+            taskTask = "test-task"+            taskConfig = TaskSpecFile "some-file"+            taskPrivileged = Nothing+            taskParams = Nothing+            taskImage = Nothing+            taskInputMapping = Nothing+            taskOutputMapping = Nothing+            taskVars = Nothing+            taskTags = Nothing+            taskTimeout = Nothing+            taskAttempts = Nothing++      describe "Interpret" $ do+        it "should interpret a task step" $ do+          task <- input auto "./test/data/task-step.dhall"+          task `shouldBe` testTask+      describe "ToJSON" $ do+        it "should translate a task step" $ do+          toJSON testTask `shouldBe` object [ "task"          .= "test-task"+                                            , "file"          .= "some-file"+                                            , "params"        .= Null+                                            , "privileged"    .= Null+                                            , "image"         .= Null+                                            , "input_mapping" .= Null+                                            , "output_mapping".= Null+                                            , "attempts"      .= Null+                                            , "timeout"       .= Null+                                            , "vars"          .= Null+                                            , "tags"          .= Null ]++boshDeploymentResourceType :: ResourceType+boshDeploymentResourceType = ResourceTypeCustom (CustomResourceType{..}) where+  crtName = "bosh-deployment"+  crtType = "docker-image"+  crtSource =  pure $ fromList [ ("repository", String "cloudfoundry/bosh-deployment-resource")+                               , ("tag", String "latest")+                               ]+  crtPrivileged = Nothing+  crtParams = Nothing+  crtCheckEvery = Nothing+  crtTags = Nothing+  crtUniqueVersionHistory = Nothing++gitKuboCI :: Resource+gitKuboCI = Resource{..} where+  resourceName =  "git-kubo-ci"+  resourceType = ResourceTypeInBuilt "git"+  resourceCheckEvery = Nothing+  resourceSource = Just $ fromList [ "privateKey" .= "((git-ssh-key.private_key))"+                                   , "uri" .= "git@github.com:cloudfoundry-incubator/kubo-ci"+                                   , "branch" .= "master"+                                   ]+  resourceTags = Nothing+  resourceVersion = Nothing+  resourceWebhookToken = Nothing+  resourceIcon = Nothing+  resourcePublic = Nothing++defaultTaskRunConfig :: TaskRunConfig+defaultTaskRunConfig = TaskRunConfig{..} where+  trcPath = "true"+  trcArgs = Nothing+  trcDir = Nothing+  trcUser = Nothing++defaultTaskConfig :: TaskConfig+defaultTaskConfig = TaskConfig{..} where+  tcPlatform = "linux"+  tcRun = defaultTaskRunConfig+  tcCaches = Nothing+  tcImageResource = Nothing+  tcInputs = Nothing+  tcOutputs = Nothing+  tcParams = Nothing+  tcRootfsUri = Nothing+  tcContainerLimits = Nothing

@@ -0,0 +1,108 @@+{-# LANGUAGE ExtendedDefaultRules #-}+{-# LANGUAGE OverloadedStrings    #-}+{-# OPTIONS_GHC -fno-warn-type-defaults #-}+module Fly.YamlSpec where++import Test.Hspec++import Data.Aeson+import Fly.Types+import Fly.Yaml++{-# ANN module "HLint: ignore Redundant do" #-}++spec :: Spec+spec = do+  describe "Fly.Yaml" $ do+    let gitResource = Resource { resourceName ="some-git"+                               , resourceType = ResourceTypeInBuilt "git"+                               , resourcePublic = Nothing+                               , resourceSource = Nothing+                               , resourceVersion = Nothing+                               , resourceIcon = Nothing+                               , resourceTags = Nothing+                               , resourceCheckEvery = Nothing+                               , resourceWebhookToken = Nothing+                               }++        slackResourceType = CustomResourceType { crtName = "slack"+                                               , crtType = "docker-image"+                                               , crtSource = Nothing+                                               , crtPrivileged = Nothing+                                               , crtParams = Nothing+                                               , crtCheckEvery = Nothing+                                               , crtTags = Nothing+                                               , crtUniqueVersionHistory = Nothing+                                               }+        stepSlack = Resource { resourceName ="step-slack"+                             , resourceType = ResourceTypeCustom slackResourceType+                             , resourcePublic = Nothing+                             , resourceSource = Nothing+                             , resourceVersion = Nothing+                             , resourceIcon = Nothing+                             , resourceTags = Nothing+                             , resourceCheckEvery = Nothing+                             , resourceWebhookToken = Nothing+                             }+        jobSlack = stepSlack { resourceName ="job-slack" }+        getGit = GetStep { getGet = Nothing+                         , getResource = gitResource+                         , getTags = Nothing+                         , getPassed = Nothing+                         , getTrigger = Nothing+                         , getTimeout = Nothing+                         , getAttempts = Nothing+                         , getParams = Nothing+                         , getVersion = Nothing+                         }+        putStepSlack = PutStep { putPut = Nothing+                               , putResource = stepSlack+                               , putTags = Nothing+                               , putTimeout = Nothing+                               , putAttempts = Nothing+                               , putParams = Nothing+                               , putGetParams = Nothing+                               , putInputs = Nothing+                               }+        putJobSlack = putStepSlack { putResource = jobSlack }+        emptyStepHooks = StepHooks Nothing Nothing Nothing Nothing+        hooks = emptyStepHooks{ hookOnFailure = Just (Put putStepSlack emptyStepHooks) }+        testJob = Job{ jobName = "test-job"+                     , jobPlan = [Get getGit hooks]+                     , jobOldName = Nothing+                     , jobSerial = Nothing+                     , jobBuildLogRetention = Nothing+                     , jobBuildLogsToRetain = Nothing+                     , jobSerialGroups = Nothing+                     , jobMaxInFlight = Nothing+                     , jobPublic = Nothing+                     , jobDisableManualTrigger = Nothing+                     , jobInterruptible = Nothing+                     , jobOnSuccess = Just (Put putJobSlack emptyStepHooks)+                     , jobOnFailure = Nothing+                     , jobOnAbort = Nothing+                     , jobEnsure = Nothing+                     }++    -- TODO: Make unordered assertions+    describe "jobsToValue (without groups)" $ do+      it "should translate jobs to Value as concourse expects it" $ do+        jobsToValue [testJob]+          `shouldBe` object [ "resources"      .= [gitResource, stepSlack, jobSlack]+                            , "resource_types" .= [slackResourceType]+                            , "jobs"           .= [testJob]+                            ]++    describe "groupedJobsToValue" $ do+      it "should translate grouped jobs to list of groups as concourse expects" $ do+        let groupedJob = GroupedJob testJob ["group1", "group2"]+        groupedJobsToValue [groupedJob]+          `shouldBe` object [ "resources"      .= [gitResource, stepSlack, jobSlack]+                            , "resource_types" .= [slackResourceType]+                            , "jobs"           .= [testJob]+                            , "groups"         .= toJSON [ object [ "name" .= "group2"+                                                                  , "jobs" .= [ jobName testJob ] ]+                                                         , object [ "name" .= "group1"+                                                                  , "jobs" .= [ jobName testJob ] ]+                                                         ]+                            ]

@@ -0,0 +1,3 @@+let Concourse = ../../dhall-concourse/package.dhall++in Concourse.schemas.GetStep::{ resource = ./resource.dhall }

@@ -0,0 +1,3 @@+let Concourse = ../../dhall-concourse/package.dhall++in Concourse.schemas.PutStep::{ resource = ./resource.dhall }

@@ -0,0 +1,5 @@+let Concourse = ../../dhall-concourse/package.dhall++in  Concourse.schemas.TaskConfig::{+    , run = Concourse.schemas.TaskRunConfig::{ path = "true" }+    }

@@ -0,0 +1,6 @@+let Concourse = ../../dhall-concourse/package.dhall++in  Concourse.schemas.TaskStep::{+    , task = "test-task"+    , config = Concourse.Types.TaskSpec.File "some-file"+    }