rzk-0.5.4: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Rzk.VSCode.Tokens

Synopsis

Documentation

data VSToken Source #

VS Code token.

Constructors

VSToken 

Fields

Instances

Instances details
ToJSON VSToken Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

Methods

toJSON :: VSToken -> Value #

toEncoding :: VSToken -> Encoding #

toJSONList :: [VSToken] -> Value #

toEncodingList :: [VSToken] -> Encoding #

Generic VSToken Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

Associated Types

type Rep VSToken :: Type -> Type #

Methods

from :: VSToken -> Rep VSToken x #

to :: Rep VSToken x -> VSToken #

type Rep VSToken Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

type Rep VSToken = D1 ('MetaData "VSToken" "Language.Rzk.VSCode.Tokens" "rzk-0.5.4-JS66zEb9ejzGm7QpGL4XRQ" 'False) (C1 ('MetaCons "VSToken" 'PrefixI 'True) ((S1 ('MetaSel ('Just "line") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "startCharacter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "length") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: (S1 ('MetaSel ('Just "tokenType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VSTokenType) :*: S1 ('MetaSel ('Just "tokenModifiers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [VSTokenModifier])))))

newtype VSTokenType Source #

VS Code token types. See https://code.visualstudio.com/api/language-extensions/semantic-highlight-guide#standard-token-types-and-modifiers.

Constructors

VSTokenType Text 

Instances

Instances details
ToJSON VSTokenType Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

Methods

toJSON :: VSTokenType -> Value #

toEncoding :: VSTokenType -> Encoding #

toJSONList :: [VSTokenType] -> Value #

toEncodingList :: [VSTokenType] -> Encoding #

IsString VSTokenType Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

Methods

fromString :: String -> VSTokenType #

newtype VSTokenModifier Source #

VS Code token modifiers. See https://code.visualstudio.com/api/language-extensions/semantic-highlight-guide#standard-token-types-and-modifiers.

Constructors

VSTokenModifier Text 

Instances

Instances details
ToJSON VSTokenModifier Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

Methods

toJSON :: VSTokenModifier -> Value #

toEncoding :: VSTokenModifier -> Encoding #

toJSONList :: [VSTokenModifier] -> Value #

toEncodingList :: [VSTokenModifier] -> Encoding #

IsString VSTokenModifier Source # 
Instance details

Defined in Language.Rzk.VSCode.Tokens

Methods

fromString :: String -> VSTokenModifier #

Standard token types

vs_namespace :: VSTokenType Source #

For identifiers that declare or reference a namespace, module, or package.

vs_class :: VSTokenType Source #

For identifiers that declare or reference a class type.

vs_enum :: VSTokenType Source #

For identifiers that declare or reference an enumeration type.

vs_interface :: VSTokenType Source #

For identifiers that declare or reference an interface type.

vs_struct :: VSTokenType Source #

For identifiers that declare or reference a struct type.

vs_typeParameter :: VSTokenType Source #

For identifiers that declare or reference a type parameter.

vs_type :: VSTokenType Source #

For identifiers that declare or reference a type that is not covered above.

vs_parameter :: VSTokenType Source #

For identifiers that declare or reference a function or method parameters.

vs_variable :: VSTokenType Source #

For identifiers that declare or reference a local or global variable.

vs_property :: VSTokenType Source #

For identifiers that declare or reference a member property, member field, or member variable.

vs_enumMember :: VSTokenType Source #

For identifiers that declare or reference an enumeration property, constant, or member.

vs_decorator :: VSTokenType Source #

For identifiers that declare or reference decorators and annotations.

vs_event :: VSTokenType Source #

For identifiers that declare an event property.

vs_function :: VSTokenType Source #

For identifiers that declare a function.

vs_method :: VSTokenType Source #

For identifiers that declare a member function or method.

vs_macro :: VSTokenType Source #

For identifiers that declare a macro.

vs_label :: VSTokenType Source #

For identifiers that declare a label.

vs_comment :: VSTokenType Source #

For tokens that represent a comment.

vs_string :: VSTokenType Source #

For tokens that represent a string literal.

vs_keyword :: VSTokenType Source #

For tokens that represent a language keyword.

vs_number :: VSTokenType Source #

For tokens that represent a number literal.

vs_regexp :: VSTokenType Source #

For tokens that represent a regular expression literal.

vs_operator :: VSTokenType Source #

For tokens that represent an operator.

Standard token modifiers

vs_declaration :: VSTokenModifier Source #

For declarations of symbols.

vs_definition :: VSTokenModifier Source #

For definitions of symbols, for example, in header files.

vs_readonly :: VSTokenModifier Source #

For readonly variables and member fields (constants).

vs_static :: VSTokenModifier Source #

For class members (static members).

vs_deprecated :: VSTokenModifier Source #

For symbols that should no longer be used.

vs_abstract :: VSTokenModifier Source #

For types and member functions that are abstract.

vs_async :: VSTokenModifier Source #

For functions that are marked async.

vs_modification :: VSTokenModifier Source #

For variable references where the variable is assigned to.

vs_documentation :: VSTokenModifier Source #

For occurrences of symbols in documentation.

vs_defaultLibrary :: VSTokenModifier Source #

For symbols that are part of the standard library.