Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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
KnownTargets | |
|
Instances
Show KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets showsPrec :: Int -> KnownTargets -> ShowS # show :: KnownTargets -> String # showList :: [KnownTargets] -> ShowS # | |
NFData KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets rnf :: KnownTargets -> () # | |
Eq KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets (==) :: KnownTargets -> KnownTargets -> Bool # (/=) :: KnownTargets -> KnownTargets -> Bool # | |
Hashable KnownTargets Source # | |
Defined in Development.IDE.Types.KnownTargets hashWithSalt :: Int -> KnownTargets -> Int # hash :: KnownTargets -> Int # |
mkKnownTargets :: [(Target, HashSet NormalizedFilePath)] -> KnownTargets Source #
Instances
Generic Target Source # | |
Show Target Source # | |
NFData Target Source # | |
Defined in Development.IDE.Types.KnownTargets | |
Eq Target Source # | |
Ord Target Source # | |
Hashable Target Source # | |
Defined in Development.IDE.Types.KnownTargets | |
type Rep Target Source # | |
Defined in Development.IDE.Types.KnownTargets type Rep Target = D1 ('MetaData "Target" "Development.IDE.Types.KnownTargets" "ghcide-2.9.0.0-5fVLSF6BuTDBEO5GZ0xNyi" 'False) (C1 ('MetaCons "TargetModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModuleName)) :+: C1 ('MetaCons "TargetFile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NormalizedFilePath))) |