Ide.Plugin.CodeRange.Rules

Documentation

data CodeRange

A tree representing code ranges in a file. This can be useful for features like selection range and folding range

Constructors

CodeRange

Fields

• _codeRange_range :: !Range

  Range for current level

• _codeRange_children :: !(Vector CodeRange)

  A vector of children, sorted by their ranges in ascending order. Children are guaranteed not to interleave, but some gaps may exist among them.

• _codeRange_kind :: !CodeRangeKind

Instances

Generic CodeRange

Defined in Ide.Plugin.CodeRange.Rules

Associated Types

type Rep CodeRange :: Type -> Type

Methods

from :: CodeRange -> Rep CodeRange x

to :: Rep CodeRange x -> CodeRange

Show CodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

showsPrec :: Int -> CodeRange -> ShowS

show :: CodeRange -> String

showList :: [CodeRange] -> ShowS

NFData CodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

rnf :: CodeRange -> ()

Eq CodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

(==) :: CodeRange -> CodeRange -> Bool

(/=) :: CodeRange -> CodeRange -> Bool

Ord CodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

compare :: CodeRange -> CodeRange -> Ordering

(<) :: CodeRange -> CodeRange -> Bool

(<=) :: CodeRange -> CodeRange -> Bool

(>) :: CodeRange -> CodeRange -> Bool

(>=) :: CodeRange -> CodeRange -> Bool

max :: CodeRange -> CodeRange -> CodeRange

min :: CodeRange -> CodeRange -> CodeRange

type Rep CodeRange

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

codeRange_children :: Lens' CodeRange (Vector CodeRange)

codeRange_kind :: Lens' CodeRange CodeRangeKind

data CodeRangeKind

CodeKind represents the kind of a code range

Constructors

CodeKindRegion

ordinary code

CodeKindImports

the group of imports

CodeKindComment

a comment

Instances

Generic CodeRangeKind

Defined in Ide.Plugin.CodeRange.Rules

Associated Types

type Rep CodeRangeKind :: Type -> Type

Methods

from :: CodeRangeKind -> Rep CodeRangeKind x

to :: Rep CodeRangeKind x -> CodeRangeKind

Show CodeRangeKind

Defined in Ide.Plugin.CodeRange.Rules

Methods

showsPrec :: Int -> CodeRangeKind -> ShowS

show :: CodeRangeKind -> String

showList :: [CodeRangeKind] -> ShowS

NFData CodeRangeKind

Defined in Ide.Plugin.CodeRange.Rules

Methods

rnf :: CodeRangeKind -> ()

Eq CodeRangeKind

Defined in Ide.Plugin.CodeRange.Rules

Methods

(==) :: CodeRangeKind -> CodeRangeKind -> Bool

(/=) :: CodeRangeKind -> CodeRangeKind -> Bool

type Rep CodeRangeKind

Defined in Ide.Plugin.CodeRange.Rules

type Rep CodeRangeKind = D1 ('MetaData "CodeRangeKind" "Ide.Plugin.CodeRange.Rules" "haskell-language-server-2.7.0.0-2oUnW5nYLZr1ZEP5BrOqIa-hls-code-range-plugin" 'False) (C1 ('MetaCons "CodeKindRegion" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CodeKindImports" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CodeKindComment" 'PrefixI 'False) (U1 :: Type -> Type)))

data GetCodeRange

Constructors

GetCodeRange

Instances

Generic GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

Associated Types

type Rep GetCodeRange :: Type -> Type

Methods

from :: GetCodeRange -> Rep GetCodeRange x

to :: Rep GetCodeRange x -> GetCodeRange

Show GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

showsPrec :: Int -> GetCodeRange -> ShowS

show :: GetCodeRange -> String

showList :: [GetCodeRange] -> ShowS

NFData GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

rnf :: GetCodeRange -> ()

Eq GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

(==) :: GetCodeRange -> GetCodeRange -> Bool

(/=) :: GetCodeRange -> GetCodeRange -> Bool

Hashable GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

Methods

hashWithSalt :: Int -> GetCodeRange -> Int

hash :: GetCodeRange -> Int

type Rep GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

type Rep GetCodeRange = D1 ('MetaData "GetCodeRange" "Ide.Plugin.CodeRange.Rules" "haskell-language-server-2.7.0.0-2oUnW5nYLZr1ZEP5BrOqIa-hls-code-range-plugin" 'False) (C1 ('MetaCons "GetCodeRange" 'PrefixI 'False) (U1 :: Type -> Type))

type RuleResult GetCodeRange

Defined in Ide.Plugin.CodeRange.Rules

type RuleResult GetCodeRange = CodeRange

codeRangeRule :: Recorder (WithPriority Log) -> Rules ()

data Log

Constructors

LogShake Log

LogNoAST

LogFoundInterleaving CodeRange CodeRange

Instances

Show Log

Defined in Ide.Plugin.CodeRange.Rules

Methods

showsPrec :: Int -> Log -> ShowS

show :: Log -> String

showList :: [Log] -> ShowS

Pretty Log

Defined in Ide.Plugin.CodeRange.Rules

Methods

pretty :: Log -> Doc ann

prettyList :: [Log] -> Doc ann

Internal

removeInterleaving :: [CodeRange] -> Writer [Log] [CodeRange]

Remove interleaving of the list of CodeRanges.

simplify :: CodeRange -> CodeRange

Remove redundant nodes in CodeRange tree

crkToFrk :: CodeRangeKind -> FoldingRangeKind

Maps type CodeRangeKind to FoldingRangeKind