let Prelude = ../Prelude.dhall

let Entry = Prelude.Map.Entry

let Modifiers = ../Modifiers/Type.dhall

let PackageList = ./Type.dhall

let HaskellPackage = ../HaskellPackage/Type.dhall

let modPackageList
    : Modifiers → PackageList → PackageList
    = λ(xs : Modifiers) →
      λ(ps : PackageList) →
        Prelude.List.map
          (Entry Text HaskellPackage)
          (Entry Text HaskellPackage)
          (λ(x : Entry Text HaskellPackage) → x with mapValue.modifiers = xs)
          ps

in  modPackageList