More Typing

In hpack-dhall-defaults, Greg Pfeil (@sellout) keeps a selection of .dhall files that he imports into other projects. These provide a lot of typing beyond what is required to interact with Hpack.

examples/sellout/defaults.dhall

let H =
      https://sellout.github.io/hall/package.dhall
        sha256:e3bb101e3c8ba2f65aa5b4f3156a6ef116f07ad24ecf3c7214f48a686517168c

let Pvp = H.PVP

let ghc = H.GHC.Release

let language = H.GHC.LanguageEdition

let hpack = H.hpack

These “defaults” in turn import from /hall/package that is a record with fields for Cabal, GHC, hpack and the Haskell Package Versioning Policy (PVP), where the “hall” (\(^{d}ha_{ske}ll\)) is the corridor connecting Dhall and Haskell.