Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Ide.Plugin.CodeRange.Rules
Contents
Synopsis
- data CodeRange = CodeRange {
- _codeRange_range :: !Range
- _codeRange_children :: !(Vector CodeRange)
- _codeRange_kind :: !CodeRangeKind
- codeRange_range :: Lens' CodeRange Range
- codeRange_children :: Lens' CodeRange (Vector CodeRange)
- codeRange_kind :: Lens' CodeRange CodeRangeKind
- data CodeRangeKind
- data GetCodeRange = GetCodeRange
- codeRangeRule :: Recorder (WithPriority Log) -> Rules ()
- data Log
- removeInterleaving :: [CodeRange] -> Writer [Log] [CodeRange]
- simplify :: CodeRange -> CodeRange
- crkToFrk :: CodeRangeKind -> FoldingRangeKind
Documentation
A tree representing code ranges in a file. This can be useful for features like selection range and folding range
Constructors
CodeRange | |
Fields
|
Instances
Generic CodeRange Source # | |
Show CodeRange Source # | |
NFData CodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules | |
Eq CodeRange Source # | |
Ord CodeRange Source # | |
type Rep CodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules type Rep CodeRange = D1 ('MetaData "CodeRange" "Ide.Plugin.CodeRange.Rules" "haskell-language-server-2.7.0.0-2oUnW5nYLZr1ZEP5BrOqIa-hls-code-range-plugin" 'False) (C1 ('MetaCons "CodeRange" 'PrefixI 'True) (S1 ('MetaSel ('Just "_codeRange_range") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Range) :*: (S1 ('MetaSel ('Just "_codeRange_children") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Vector CodeRange)) :*: S1 ('MetaSel ('Just "_codeRange_kind") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CodeRangeKind)))) |
codeRange_range :: Lens' CodeRange Range Source #
data CodeRangeKind Source #
CodeKind
represents the kind of a code range
Constructors
CodeKindRegion | ordinary code |
CodeKindImports | the group of imports |
CodeKindComment | a comment |
Instances
data GetCodeRange Source #
Constructors
GetCodeRange |
Instances
Generic GetCodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules Associated Types type Rep GetCodeRange :: Type -> Type # | |
Show GetCodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules Methods showsPrec :: Int -> GetCodeRange -> ShowS # show :: GetCodeRange -> String # showList :: [GetCodeRange] -> ShowS # | |
NFData GetCodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules Methods rnf :: GetCodeRange -> () # | |
Eq GetCodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules | |
Hashable GetCodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules | |
type Rep GetCodeRange Source # | |
type RuleResult GetCodeRange Source # | |
Defined in Ide.Plugin.CodeRange.Rules |
codeRangeRule :: Recorder (WithPriority Log) -> Rules () Source #
Constructors
LogShake Log | |
LogNoAST | |
LogFoundInterleaving CodeRange CodeRange |
Internal
removeInterleaving :: [CodeRange] -> Writer [Log] [CodeRange] Source #
Remove interleaving of the list of CodeRange
s.
crkToFrk :: CodeRangeKind -> FoldingRangeKind Source #
Maps type CodeRangeKind to FoldingRangeKind