ArkThemes
Publisher: arktypeioThemes in package: 4
A collection of themes with special highlighting for TypeScript generics ⛵
A collection of themes with special highlighting for TypeScript generics ⛵
Full workbench mockup using this variant's colors and tokenColors.
Loading...
Workbench UI color keys from the theme JSON colors map.
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| entity.name.function, support.function, meta.function-call.python, meta.function.decorator punctuation, meta.function.decorator support.type | #0078D4 | italic |
| entity.name.type, meta.decorator.ts variable | #04b5a3 | — |
| meta.type.declaration.ts entity.name.type | #0078D4 | italic |
| meta.type.declaration.ts meta.type.parameters.ts entity.name.type | — | |
| keyword, storage, punctuation, constant.character.escape | #ca842e | — |
| variable.other.property, variable.other.constant.property, string | #844c13 | — |
| variable.language, constant, support.type, entity.name.tag, punctuation.definition.string.begin, punctuation.definition.string.end, punctuation.definition.string.template.begin, punctuation.definition.string.template.end | #07538e | — |
| invalid, support.type.exception | #9558f8 | — |
| comment, punctuation.definition.comment | #888899 | — |
| variable, meta.function-call.arguments | #07538e | — |
TypeScript sample highlighted with this variant's colors and tokenColors.
Loading...
export interface User {
id: string;
name: string;
role: "admin" | "member";
tags: string[];
}
/**
* Fetch user data by ID
* @param id
* @returns User object or null if ID is invalid
*/
export async function fetchUser(id: string): Promise<User | null> {
if (!id) {
return null;
}
const response = await fetch(`/api/users/${id}`, {
method: "GET",
headers: { Accept: "application/json" },
});
if (!response.ok) {
throw new Error(`HTTP ${response.status}`);
}
return (await response.json()) as User;
}
function greet(user: User): string {
// Simple greeting function that uses the user's name
return `Hello, ${user.name}!`;
}
export interface User {
id: string;
name: string;
role: "admin" | "member";
tags: string[];
}
/**
* Fetch user data by ID
* @param id
* @returns User object or null if ID is invalid
*/
export async function fetchUser(id: string): Promise<User | null> {
if (!id) {
return null;
}
const response = await fetch(`/api/users/${id}`, {
method: "GET",
headers: { Accept: "application/json" },
});
if (!response.ok) {
throw new Error(`HTTP ${response.status}`);
}
return (await response.json()) as User;
}
function greet(user: User): string {
// Simple greeting function that uses the user's name
return `Hello, ${user.name}!`;
}