let Prelude =
      ../Prelude.dhall
        sha256:0fed19a88330e9a8a3fbe1e8442aa11d12e38da51eb12ba8bcb56f3c25d0854a

let Entry = Prelude.Map.Entry

let Modifiers =
      ../Modifiers/Type.dhall
        sha256:6db4b8073df833e3b04c94a891aafa5cd8e1ca4f8f336b58ba01a6440cddf461

let PackageList =
      ./Type.dhall
        sha256:6bd02af7b243661ca19a70116b9bc14c666497ebf7a337944d97e38b4d21a76e

let HaskellPackage =
      ../HaskellPackage/Type.dhall
        sha256:49ccd6d7baa30abf0134b1696d046d6966bdfcbfeeff62b03f9166e4139319d8

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