dhall-zuul

Switch Light/Dark Mode

/dhall-zuul/Zuul/Job/wrap.dhall

Copy path to clipboard

A function to wrap a list of Zuul.Job.Type

Source

let Job = { Type = ./Type.dhall }

let typesUnion = ../../typesUnion.dhall

let wrap
    : List Job.Type -> List typesUnion
    = ../../imports/map.dhall
        Job.Type
        typesUnion
        (\(job : Job.Type) -> typesUnion.Job { job })

in  wrap