Ide.Plugin.SemanticTokens.Types

Documentation

data HsSemanticTokenType

Constructors

TVariable

TFunction

TDataConstructor

TTypeVariable

TClassMethod

TPatternSynonym

TTypeConstructor

TClass

TTypeSynonym

TTypeFamily

TRecordField

TOperator

TModule

Instances

Semigroup HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

(<>) :: HsSemanticTokenType -> HsSemanticTokenType -> HsSemanticTokenType

sconcat :: NonEmpty HsSemanticTokenType -> HsSemanticTokenType

stimes :: Integral b => b -> HsSemanticTokenType -> HsSemanticTokenType

Bounded HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

minBound :: HsSemanticTokenType

maxBound :: HsSemanticTokenType

Enum HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

succ :: HsSemanticTokenType -> HsSemanticTokenType

pred :: HsSemanticTokenType -> HsSemanticTokenType

toEnum :: Int -> HsSemanticTokenType

fromEnum :: HsSemanticTokenType -> Int

enumFrom :: HsSemanticTokenType -> [HsSemanticTokenType]

enumFromThen :: HsSemanticTokenType -> HsSemanticTokenType -> [HsSemanticTokenType]

enumFromTo :: HsSemanticTokenType -> HsSemanticTokenType -> [HsSemanticTokenType]

enumFromThenTo :: HsSemanticTokenType -> HsSemanticTokenType -> HsSemanticTokenType -> [HsSemanticTokenType]

Generic HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Associated Types

type Rep HsSemanticTokenType :: Type -> Type

Methods

from :: HsSemanticTokenType -> Rep HsSemanticTokenType x

to :: Rep HsSemanticTokenType x -> HsSemanticTokenType

Show HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> HsSemanticTokenType -> ShowS

show :: HsSemanticTokenType -> String

showList :: [HsSemanticTokenType] -> ShowS

Eq HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

(==) :: HsSemanticTokenType -> HsSemanticTokenType -> Bool

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

Ord HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

compare :: HsSemanticTokenType -> HsSemanticTokenType -> Ordering

(<) :: HsSemanticTokenType -> HsSemanticTokenType -> Bool

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

(>) :: HsSemanticTokenType -> HsSemanticTokenType -> Bool

(>=) :: HsSemanticTokenType -> HsSemanticTokenType -> Bool

max :: HsSemanticTokenType -> HsSemanticTokenType -> HsSemanticTokenType

min :: HsSemanticTokenType -> HsSemanticTokenType -> HsSemanticTokenType

Lift HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

Methods

lift :: Quote m => HsSemanticTokenType -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => HsSemanticTokenType -> Code m HsSemanticTokenType

type Rep HsSemanticTokenType

Defined in Ide.Plugin.SemanticTokens.Types

type Rep HsSemanticTokenType = D1 ('MetaData "HsSemanticTokenType" "Ide.Plugin.SemanticTokens.Types" "haskell-language-server-2.7.0.0-2oUnW5nYLZr1ZEP5BrOqIa-hls-semantic-tokens-plugin" 'False) (((C1 ('MetaCons "TVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TFunction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TDataConstructor" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "TTypeVariable" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TClassMethod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TPatternSynonym" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TTypeConstructor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TClass" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TTypeSynonym" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "TTypeFamily" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TRecordField" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TOperator" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TModule" 'PrefixI 'False) (U1 :: Type -> Type)))))

data SemanticTokensConfig

SemanticTokensConfig_ is a configuration for the semantic tokens plugin. it contains map between the hs semantic token type and default token type.

Constructors

STC

Fields

• stFunction :: !SemanticTokenTypes
• stVariable :: !SemanticTokenTypes
• stDataConstructor :: !SemanticTokenTypes
• stTypeVariable :: !SemanticTokenTypes
• stClassMethod :: !SemanticTokenTypes
• stPatternSynonym :: !SemanticTokenTypes
• stTypeConstructor :: !SemanticTokenTypes
• stClass :: !SemanticTokenTypes
• stTypeSynonym :: !SemanticTokenTypes
• stTypeFamily :: !SemanticTokenTypes
• stRecordField :: !SemanticTokenTypes
• stModule :: !SemanticTokenTypes
• stOperator :: !SemanticTokenTypes

Instances

Generic SemanticTokensConfig

Defined in Ide.Plugin.SemanticTokens.Types

Associated Types

type Rep SemanticTokensConfig :: Type -> Type

Methods

from :: SemanticTokensConfig -> Rep SemanticTokensConfig x

to :: Rep SemanticTokensConfig x -> SemanticTokensConfig

Show SemanticTokensConfig

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> SemanticTokensConfig -> ShowS

show :: SemanticTokensConfig -> String

showList :: [SemanticTokensConfig] -> ShowS

Default SemanticTokensConfig

Defined in Ide.Plugin.SemanticTokens.Types

Methods

def :: SemanticTokensConfig

type Rep SemanticTokensConfig

Defined in Ide.Plugin.SemanticTokens.Types

type Rep SemanticTokensConfig = D1 ('MetaData "SemanticTokensConfig" "Ide.Plugin.SemanticTokens.Types" "haskell-language-server-2.7.0.0-2oUnW5nYLZr1ZEP5BrOqIa-hls-semantic-tokens-plugin" 'False) (C1 ('MetaCons "STC" 'PrefixI 'True) (((S1 ('MetaSel ('Just "stFunction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: (S1 ('MetaSel ('Just "stVariable") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: S1 ('MetaSel ('Just "stDataConstructor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes))) :*: (S1 ('MetaSel ('Just "stTypeVariable") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: (S1 ('MetaSel ('Just "stClassMethod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: S1 ('MetaSel ('Just "stPatternSynonym") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes)))) :*: ((S1 ('MetaSel ('Just "stTypeConstructor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: (S1 ('MetaSel ('Just "stClass") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: S1 ('MetaSel ('Just "stTypeSynonym") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes))) :*: ((S1 ('MetaSel ('Just "stTypeFamily") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: S1 ('MetaSel ('Just "stRecordField") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes)) :*: (S1 ('MetaSel ('Just "stModule") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes) :*: S1 ('MetaSel ('Just "stOperator") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SemanticTokenTypes))))))

data SemanticTokenOriginal tokenType

Constructors

SemanticTokenOriginal

Fields

• _tokenType :: tokenType
• _loc :: Loc
• _name :: String

Instances

Show tokenType => Show (SemanticTokenOriginal tokenType)

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> SemanticTokenOriginal tokenType -> ShowS

show :: SemanticTokenOriginal tokenType -> String

showList :: [SemanticTokenOriginal tokenType] -> ShowS

Eq tokenType => Eq (SemanticTokenOriginal tokenType)

Defined in Ide.Plugin.SemanticTokens.Types

Methods

(==) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool

(/=) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool

Ord tokenType => Ord (SemanticTokenOriginal tokenType)

Defined in Ide.Plugin.SemanticTokens.Types

Methods

compare :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Ordering

(<) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool

(<=) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool

(>) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool

(>=) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool

max :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType

min :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType

data Loc

Constructors

Loc

Fields

• _line :: UInt
• _startChar :: UInt
• _len :: UInt

Instances

Show Loc

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> Loc -> ShowS

show :: Loc -> String

showList :: [Loc] -> ShowS

Eq Loc

Defined in Ide.Plugin.SemanticTokens.Types

Methods

(==) :: Loc -> Loc -> Bool

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

Ord Loc

Defined in Ide.Plugin.SemanticTokens.Types

Methods

compare :: Loc -> Loc -> Ordering

(<) :: Loc -> Loc -> Bool

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

(>) :: Loc -> Loc -> Bool

(>=) :: Loc -> Loc -> Bool

max :: Loc -> Loc -> Loc

min :: Loc -> Loc -> Loc

data GetSemanticTokens

Constructors

GetSemanticTokens

Instances

Generic GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

Associated Types

type Rep GetSemanticTokens :: Type -> Type

Methods

from :: GetSemanticTokens -> Rep GetSemanticTokens x

to :: Rep GetSemanticTokens x -> GetSemanticTokens

Show GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> GetSemanticTokens -> ShowS

show :: GetSemanticTokens -> String

showList :: [GetSemanticTokens] -> ShowS

NFData GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

Methods

rnf :: GetSemanticTokens -> ()

Eq GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

Methods

(==) :: GetSemanticTokens -> GetSemanticTokens -> Bool

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

Hashable GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

Methods

hashWithSalt :: Int -> GetSemanticTokens -> Int

hash :: GetSemanticTokens -> Int

type Rep GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

type Rep GetSemanticTokens = D1 ('MetaData "GetSemanticTokens" "Ide.Plugin.SemanticTokens.Types" "haskell-language-server-2.7.0.0-2oUnW5nYLZr1ZEP5BrOqIa-hls-semantic-tokens-plugin" 'False) (C1 ('MetaCons "GetSemanticTokens" 'PrefixI 'False) (U1 :: Type -> Type))

type RuleResult GetSemanticTokens

Defined in Ide.Plugin.SemanticTokens.Types

type RuleResult GetSemanticTokens = RangeHsSemanticTokenTypes

type RangeSemanticTokenTypeList = [(Range, HsSemanticTokenType)]

newtype RangeHsSemanticTokenTypes

Constructors

RangeHsSemanticTokenTypes

Fields

• rangeSemanticList :: RangeSemanticTokenTypeList

Instances

Show RangeHsSemanticTokenTypes

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> RangeHsSemanticTokenTypes -> ShowS

show :: RangeHsSemanticTokenTypes -> String

showList :: [RangeHsSemanticTokenTypes] -> ShowS

NFData RangeHsSemanticTokenTypes

Defined in Ide.Plugin.SemanticTokens.Types

Methods

rnf :: RangeHsSemanticTokenTypes -> ()

showRangeToken :: (Range, HsSemanticTokenType) -> String

showRange :: Range -> String

data HieFunMaskKind kind where

Constructors

HieFreshFun :: HieFunMaskKind Type

HieFromDiskFun :: Array TypeIndex Bool -> HieFunMaskKind TypeIndex

data SemanticLog

Constructors

LogShake Log

LogNoAST FilePath

LogConfig SemanticTokensConfig

LogMsg String

LogNoVF

LogSemanticTokensDeltaMisMatch Text (Maybe Text)

Instances

Show SemanticLog

Defined in Ide.Plugin.SemanticTokens.Types

Methods

showsPrec :: Int -> SemanticLog -> ShowS

show :: SemanticLog -> String

showList :: [SemanticLog] -> ShowS

Pretty SemanticLog

Defined in Ide.Plugin.SemanticTokens.Types

Methods

pretty :: SemanticLog -> Doc ann

prettyList :: [SemanticLog] -> Doc ann

type SemanticTokenId = Text