dhall-fly-0.2.0: dhall-concourse/render/resourceTypes.dhall

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