Cabal/src/Distribution/Backpack/FullUnitId.hs

   1 {-# LANGUAGE DeriveGeneric #-}
   2
   3 module Distribution.Backpack.FullUnitId
   4   ( FullUnitId (..)
   5   , FullDb
   6   , expandOpenUnitId
   7   , expandUnitId
   8   ) where
   9
  10 import Distribution.Backpack
  11 import Distribution.Compat.Prelude
  12 import Distribution.Types.ComponentId
  13
  14 -- Unlike OpenUnitId, which could direct to a UnitId.
  15 data FullUnitId = FullUnitId ComponentId OpenModuleSubst
  16   deriving (Show, Generic)
  17
  18 type FullDb = DefUnitId -> FullUnitId
  19
  20 expandOpenUnitId :: FullDb -> OpenUnitId -> FullUnitId
  21 expandOpenUnitId _db (IndefFullUnitId cid subst) =
  22   FullUnitId cid subst
  23 expandOpenUnitId db (DefiniteUnitId uid) =
  24   expandUnitId db uid
  25
  26 expandUnitId :: FullDb -> DefUnitId -> FullUnitId
  27 expandUnitId db uid = db uid