{-# LANGUAGE TypeFamilies #-}
module Distribution.Types.TargetInfo (
    TargetInfo(..)
) where

import Prelude ()
import Distribution.Compat.Prelude

import Distribution.Types.ComponentLocalBuildInfo
import Distribution.Types.Component
import Distribution.Types.UnitId

import Distribution.Compat.Graph (IsNode(..))

-- | The 'TargetInfo' contains all the information necessary to build a
-- specific target (e.g., component/module/file) in a package.  In
-- principle, one can get the 'Component' from a
-- 'ComponentLocalBuildInfo' and 'LocalBuildInfo', but it is much more
-- convenient to have the component in hand.
data TargetInfo = TargetInfo {
        TargetInfo -> ComponentLocalBuildInfo
targetCLBI      :: ComponentLocalBuildInfo,
        TargetInfo -> Component
targetComponent :: Component
        -- TODO: BuildTargets supporting parsing these is dumb,
        -- we don't have support for compiling single modules or
        -- file paths. Accommodating it now is premature
        -- generalization.  Figure it out later.
        -- targetSub       :: Maybe (Either ModuleName FilePath)
    }

instance IsNode TargetInfo where
    type Key TargetInfo = UnitId
    nodeKey :: TargetInfo -> Key TargetInfo
nodeKey       = forall a. IsNode a => a -> Key a
nodeKey       forall b c a. (b -> c) -> (a -> b) -> a -> c
. TargetInfo -> ComponentLocalBuildInfo
targetCLBI
    nodeNeighbors :: TargetInfo -> [Key TargetInfo]
nodeNeighbors = forall a. IsNode a => a -> [Key a]
nodeNeighbors forall b c a. (b -> c) -> (a -> b) -> a -> c
. TargetInfo -> ComponentLocalBuildInfo
targetCLBI