/horizon-spec-0.12.0/PackageSet/modPackageSet.dhall
Copy path to clipboardSource
let modPackageList = ../PackageList/modPackageList.dhall
let Modifiers = ../Modifiers/Type.dhall
let PackageSet = ./Type.dhall
let modPackageSet
: Modifiers → PackageSet → PackageSet
= λ(xs : Modifiers) →
λ(ps : PackageSet) →
ps
with packages = modPackageList xs ps.packages
in modPackageSet