Coal Graal
Publisher: bijanThemes in package: 1
A dark and lispy VS Code theme.
A dark and lispy VS Code theme.
Full workbench mockup using this variant's colors and tokenColors.
Loading...
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| — | #D8D9D1 | — |
| punctuation.definition.list | #949494 | |
| comment | #B4DF61 | — |
| string | #ACC6D7 | — |
| constant.numeric | #E4D962 | — |
| constant.character, constant.other | #DFCA53 | — |
| constant.language | #EDB272 | |
| storage.modifier | #A8A8A8 | — |
| storage | #DBBFED | — |
| entity.name.function | #DFCC94 | |
| support.function | #D9C589 | — |
| entity.name.function.misc | #E3E4A9 | — |
| entity.name.function.predicate | #A5DF93 | — |
| entity.name.function.io | #DFB3AC | — |
| variable.other.external-symbol | #BBDFDD | — |
| variable.language, variable.other | #7AC0ED | — |
| variable.parameter | #85C6D9 | — |
| keyword | #A3AAD8 | — |
| entity.name.class | #B998DF | — |
| entity.name.structure | #B998DF | — |
| entity.name.type | #B998DF | — |
| support.class | #A9A5D9 | — |
| invalid | #DFDFD5 | — |
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}!`;
}