let Conditional = ../Conditional/Type

let Dependencies = ../Dependencies/Type

let Verbatim = ../Verbatim/package.dhall

in  λ(a : Type) →
      { buildable : Optional Bool
      , language : Optional Text
      , source-dirs : List Text
      , default-extensions : List Text
      , other-extensions : List Text
      , ghc-options : List Text
      , ghc-prof-options : List Text
      , ghcjs-options : List Text
      , cpp-options : List Text
      , cc-options : List Text
      , c-sources : List Text
      , cxx-options : List Text
      , cxx-sources : List Text
      , js-sources : List Text
      , extra-lib-dirs : List Text
      , extra-libraries : List Text
      , include-dirs : List Text
      , frameworks : List Text
      , extra-frameworks-dirs : List Text
      , ld-options : List Text
      , dependencies : Dependencies
      , pkg-config-dependencies : Dependencies
      , build-tools : List Text
      , system-build-tools : List Text
      , when : List (Conditional a)
      , -- This field isn’t listed with this type, but it’s described in
        -- https://github.com/cabalism/hpack#passing-things-to-cabal-verbatim
        --
        -- NB: Despite this field being in `Common` (because it can be used in
        --     all the same places as other `Common` fields), when provided at
        --     the top-level it applies _to_ the top-level, not propagated
        --     across each section like other `Common` fields are.
        verbatim : List Verbatim.Structure
      }