dhall-zuul

Switch Light/Dark Mode

/dhall-zuul/Zuul/Nodeset/wrap.dhall

Copy path to clipboard

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

Source

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

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

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

in  wrap