| Safe Haskell | Safe-Inferred |
|---|---|
| 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 |
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.1-BzSCVLZVYdb6XG12JQOymI" '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))) | |