Documentation

tokenizeModule :: Module -> [SemanticTokenAbsolute] Source #

tokenizeLanguageDecl :: LanguageDecl -> [SemanticTokenAbsolute] Source #

tokenizeCommand :: Command -> [SemanticTokenAbsolute] Source #

tokenizeParam :: Param -> [SemanticTokenAbsolute] Source #

tokenizePattern :: Pattern -> [SemanticTokenAbsolute] Source #

tokenizeTope :: Term -> [SemanticTokenAbsolute] Source #

tokenizeTerm :: Term -> [SemanticTokenAbsolute] Source #

tokenizeTerm' :: Maybe SemanticTokenTypes -> Term -> [SemanticTokenAbsolute] Source #

tokenizeRestriction :: Restriction -> [SemanticTokenAbsolute] Source #

tokenizeParamDecl :: ParamDecl -> [SemanticTokenAbsolute] Source #

tokenizeSigmaParam :: SigmaParam -> [SemanticTokenAbsolute] Source #

mkToken :: (HasPosition a, Print a) => a -> SemanticTokenTypes -> [SemanticTokenModifiers] -> [SemanticTokenAbsolute] Source #