Safe Haskell	Safe-Inferred
Language	GHC2021

Ide.Plugin.SemanticTokens.Types

Synopsis

data HsSemanticTokenType
- = TVariable
- | TFunction
- | TDataConstructor
- | TTypeVariable
- | TClassMethod
- | TPatternSynonym
- | TTypeConstructor
- | TClass
- | TTypeSynonym
- | TTypeFamily
- | TRecordField
- | TOperator
- | TModule
data SemanticTokensConfig = STC {
- 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
}
data SemanticTokenOriginal tokenType = SemanticTokenOriginal {
- _tokenType :: tokenType
- _loc :: Loc
- _name :: String
}
data Loc = Loc {
- _line :: UInt
- _startChar :: UInt
- _len :: UInt
}
data GetSemanticTokens = GetSemanticTokens
type RangeSemanticTokenTypeList = [(Range, HsSemanticTokenType)]
newtype RangeHsSemanticTokenTypes = RangeHsSemanticTokenTypes {
- rangeSemanticList :: RangeSemanticTokenTypeList
}
showRangeToken :: (Range, HsSemanticTokenType) -> String
showRange :: Range -> String
data HieFunMaskKind kind where
- HieFreshFun :: HieFunMaskKind Type
- HieFromDiskFun :: Array TypeIndex Bool -> HieFunMaskKind TypeIndex
data SemanticLog
- = LogShake Log
- | LogDependencyError PluginError
- | LogNoAST FilePath
- | LogConfig SemanticTokensConfig
- | LogMsg String
- | LogNoVF
- | LogSemanticTokensDeltaMisMatch Text (Maybe Text)
type SemanticTokenId = Text

Documentation

data HsSemanticTokenType Source #

Constructors

TVariable
TFunction
TDataConstructor
TTypeVariable
TClassMethod
TPatternSynonym
TTypeConstructor
TClass
TTypeSynonym
TTypeFamily
TRecordField
TOperator
TModule

Instances

Instances details

Semigroup HsSemanticTokenType Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods (<>) :: HsSemanticTokenType -> HsSemanticTokenType -> HsSemanticTokenType # sconcat :: NonEmpty HsSemanticTokenType -> HsSemanticTokenType # stimes :: Integral b => b -> HsSemanticTokenType -> HsSemanticTokenType #
Bounded HsSemanticTokenType Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods minBound :: HsSemanticTokenType # maxBound :: HsSemanticTokenType #
Enum HsSemanticTokenType Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods showsPrec :: Int -> HsSemanticTokenType -> ShowS # show :: HsSemanticTokenType -> String # showList :: [HsSemanticTokenType] -> ShowS #
Eq HsSemanticTokenType Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods (==) :: HsSemanticTokenType -> HsSemanticTokenType -> Bool # (/=) :: HsSemanticTokenType -> HsSemanticTokenType -> Bool #
Ord HsSemanticTokenType Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types type Rep HsSemanticTokenType = D1 ('MetaData "HsSemanticTokenType" "Ide.Plugin.SemanticTokens.Types" "haskell-language-server-2.9.0.0-4S5Vh3BPyyeJWzPv4aazqb-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 Source #

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

Instances details

Generic SemanticTokensConfig Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods showsPrec :: Int -> SemanticTokensConfig -> ShowS # show :: SemanticTokensConfig -> String # showList :: [SemanticTokensConfig] -> ShowS #
Default SemanticTokensConfig Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods def :: SemanticTokensConfig #
type Rep SemanticTokensConfig Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types type Rep SemanticTokensConfig = D1 ('MetaData "SemanticTokensConfig" "Ide.Plugin.SemanticTokens.Types" "haskell-language-server-2.9.0.0-4S5Vh3BPyyeJWzPv4aazqb-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 Source #

Constructors

SemanticTokenOriginal
Fields _tokenType :: tokenType _loc :: Loc _name :: String

Instances

Instances details

Show tokenType => Show (SemanticTokenOriginal tokenType) Source #
Instance details 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) Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods (==) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool # (/=) :: SemanticTokenOriginal tokenType -> SemanticTokenOriginal tokenType -> Bool #
Ord tokenType => Ord (SemanticTokenOriginal tokenType) Source #
Instance details 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 Source #

Constructors

Loc
Fields _line :: UInt _startChar :: UInt _len :: UInt

Instances

Instances details

Show Loc Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods showsPrec :: Int -> Loc -> ShowS # show :: Loc -> String # showList :: [Loc] -> ShowS #
Eq Loc Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods (==) :: Loc -> Loc -> Bool # (/=) :: Loc -> Loc -> Bool #
Ord Loc Source #
Instance details 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 Source #

Constructors

GetSemanticTokens

Instances

Instances details

Generic GetSemanticTokens Source #
Instance details 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 Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods showsPrec :: Int -> GetSemanticTokens -> ShowS # show :: GetSemanticTokens -> String # showList :: [GetSemanticTokens] -> ShowS #
NFData GetSemanticTokens Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods rnf :: GetSemanticTokens -> () #
Eq GetSemanticTokens Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods (==) :: GetSemanticTokens -> GetSemanticTokens -> Bool # (/=) :: GetSemanticTokens -> GetSemanticTokens -> Bool #
Hashable GetSemanticTokens Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods hashWithSalt :: Int -> GetSemanticTokens -> Int # hash :: GetSemanticTokens -> Int #
type Rep GetSemanticTokens Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types type Rep GetSemanticTokens = D1 ('MetaData "GetSemanticTokens" "Ide.Plugin.SemanticTokens.Types" "haskell-language-server-2.9.0.0-4S5Vh3BPyyeJWzPv4aazqb-hls-semantic-tokens-plugin" 'False) (C1 ('MetaCons "GetSemanticTokens" 'PrefixI 'False) (U1 :: Type -> Type))
type RuleResult GetSemanticTokens Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types type RuleResult GetSemanticTokens = RangeHsSemanticTokenTypes

type RangeSemanticTokenTypeList = [(Range, HsSemanticTokenType)] Source #

newtype RangeHsSemanticTokenTypes Source #

Constructors

RangeHsSemanticTokenTypes
Fields rangeSemanticList :: RangeSemanticTokenTypeList

Instances

Instances details

Show RangeHsSemanticTokenTypes Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods showsPrec :: Int -> RangeHsSemanticTokenTypes -> ShowS # show :: RangeHsSemanticTokenTypes -> String # showList :: [RangeHsSemanticTokenTypes] -> ShowS #
NFData RangeHsSemanticTokenTypes Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods rnf :: RangeHsSemanticTokenTypes -> () #

showRangeToken :: (Range, HsSemanticTokenType) -> String Source #

showRange :: Range -> String Source #

data HieFunMaskKind kind where Source #

Constructors

HieFreshFun :: HieFunMaskKind Type
HieFromDiskFun :: Array TypeIndex Bool -> HieFunMaskKind TypeIndex

data SemanticLog Source #

Constructors

LogShake Log
LogDependencyError PluginError
LogNoAST FilePath
LogConfig SemanticTokensConfig
LogMsg String
LogNoVF
LogSemanticTokensDeltaMisMatch Text (Maybe Text)

Instances

Instances details

Pretty SemanticLog Source #
Instance details Defined in Ide.Plugin.SemanticTokens.Types Methods pretty :: SemanticLog -> Doc ann # prettyList :: [SemanticLog] -> Doc ann #

type SemanticTokenId = Text Source #