| 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 #
A mapping of module name to known files
Constructors
| KnownTargets | |
Fields
| |
Instances
| NFData KnownTargets # | |
Defined in Development.IDE.Types.KnownTargets Methods rnf :: KnownTargets -> () # | |
| Show KnownTargets # | |
Defined in Development.IDE.Types.KnownTargets Methods showsPrec :: Int -> KnownTargets -> ShowS # show :: KnownTargets -> String # showList :: [KnownTargets] -> ShowS # | |
| Eq KnownTargets # | |
Defined in Development.IDE.Types.KnownTargets | |
| Hashable KnownTargets # | |
Defined in Development.IDE.Types.KnownTargets | |
mkKnownTargets :: [(Target, HashSet NormalizedFilePath)] -> KnownTargets #
Constructors
| TargetModule ModuleName | |
| TargetFile NormalizedFilePath |