ModuleCabal-3.16.0.0Haskell2010

Distribution.Backpack.LinkedComponent

See https://github.com/ezyang/ghc-proposals/blob/backpack/proposals/0000-backpack.rst

Synopsis

data LinkedComponent
value lc_insts
value lc_uid
value lc_cid
value lc_pkgid
value toLinkedComponent
value toLinkedComponents
value dispLinkedComponent
type LinkedComponentMap
value extendLinkedComponentMap

PackageCabal-3.16.0.0
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceLinkedComponent.hs

datadata LinkedComponent

A linked component is a component that has been mix-in linked, at which point we have determined how all the dependencies of the component are explicitly instantiated (in the form of an OpenUnitId). ConfiguredComponent is mix-in linked into LinkedComponent, which is then instantiated into ReadyComponent.

Constructors

LinkedComponent
- lc_ann_id :: AnnotatedId ComponentId
  Uniquely identifies linked component
- lc_component :: Component
  Corresponds to cc_component.
- lc_exe_deps :: [AnnotatedId OpenUnitId]
  build-tools and build-tool-depends dependencies. Corresponds to cc_exe_deps.
- lc_public :: Bool
  Is this the public library of a package? Corresponds to cc_public.
- lc_includes :: [ComponentInclude OpenUnitId ModuleRenaming]
  Corresponds to cc_includes, but (1) this does not contain includes of signature packages (packages with no exports), and (2) the ModuleRenaming for requirements (stored in IncludeRenaming) has been removed, as it is reflected in OpenUnitId.)
- lc_sig_includes :: [ComponentInclude OpenUnitId ModuleRenaming]
  Like lc_includes, but this specifies includes on signature packages which have no exports.
- lc_shape :: ModuleShape
  The module shape computed by mix-in linking. This is newly computed from ConfiguredComponent

Instances1Package

Package LinkedComponentDefined in Cabal-3.16.0.0 · Distribution.Backpack.LinkedComponent

valuelc_insts :: LinkedComponent -> [(ModuleName, OpenModule)]

Source#

The instantiation of lc_uid; this always has the invariant that it is a mapping from a module name A to A (the hole A).

valuelc_uid :: LinkedComponent -> OpenUnitId

Source#

The OpenUnitId of this component in the "default" instantiation. See also lc_insts. LinkedComponents cannot be instantiated (e.g., there is no ModSubst instance for them).

valuelc_cid :: LinkedComponent -> ComponentId

Source#

Uniquely identifies a LinkedComponent. Corresponds to cc_cid.

valuelc_pkgid :: LinkedComponent -> PackageId

Source#

Corresponds to cc_pkgid.

valuetoLinkedComponent

:: Verbosity
-> Bool
Whether there are any "promised" package dependencies which we won't find already installed.
-> FullDb
-> PackageId
-> LinkedComponentMap
-> ConfiguredComponent
-> LogProgress LinkedComponent

valuetoLinkedComponents

:: Verbosity
-> Bool
Whether there are any "promised" package dependencies which we won't find already installed.
-> FullDb
-> PackageId
-> LinkedComponentMap
-> [ConfiguredComponent]
-> LogProgress [LinkedComponent]

valuedispLinkedComponent :: LinkedComponent -> Doc

typetype LinkedComponentMap = Map ComponentId (OpenUnitId, ModuleShape)

valueextendLinkedComponentMap

:: LinkedComponent
-> LinkedComponentMap
-> LinkedComponentMap