Safe Haskell | None |
---|---|
Language | GHC2021 |
Development.IDE.Types.KnownTargets
Synopsis
- data KnownTargets = KnownTargets {
- targetMap :: !(HashMap Target (HashSet NormalizedFilePath))
- normalisingMap :: !(HashMap Target Target)
- emptyKnownTargets :: KnownTargets
- mkKnownTargets :: [(Target, HashSet NormalizedFilePath)] -> KnownTargets
- unionKnownTargets :: KnownTargets -> KnownTargets -> KnownTargets
- data Target
- toKnownFiles :: KnownTargets -> HashSet NormalizedFilePath
Documentation
data KnownTargets Source #
A mapping of module name to known files
Constructors
KnownTargets | |
Fields
|
Instances
Show KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets Methods showsPrec :: Int -> KnownTargets -> ShowS # show :: KnownTargets -> String # showList :: [KnownTargets] -> ShowS # | |
NFData KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets Methods rnf :: KnownTargets -> () # | |
Eq KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets | |
Hashable KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets |
mkKnownTargets :: [(Target, HashSet NormalizedFilePath)] -> KnownTargets Source #
Constructors
TargetModule ModuleName | |
TargetFile NormalizedFilePath |