GitHub Dark Web Theme
Publisher: SputchikThemes in package: 1
Dark Github Web theme for Python only :(
Dark Github Web theme for Python only :(
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 |
|---|---|---|
| comment, comment.line, comment.block | #9198A1 | — |
| string.quoted.docstring, comment.block.documentation | #A5D6FF | — |
| #CBAAF9 | — | |
| keyword.control, storage.type, storage.modifier, keyword.other, keyword.import | #FF7B72 | — |
| string, string.quoted, string.template, string.regexp | #A5D6FF | — |
| support.type.property-name | #7EE787 | — |
| meta.decorator, punctuation.decorator, meta.function.decorator, entity.name.function, support.function, meta.function-call, meta.method-call, support.type | #D2A8FF | — |
| entity.name.type.class, entity.name.class, entity.other.inherited-class | #FFA657 | — |
| variable, variable.other, variable.parameter, variable.language, punctuation.definition.parameters, punctuation.definition.block, punctuation.definition.arguments, meta.parameters, meta.block, source, source.python, punctuation.separator.period, punctuation.separator.arguments | #F0F6FC | — |
| constant.numeric, constant.language, constant.character.escape, keyword.operator.assignment, keyword.operator.arithmetic, keyword.operator.logical, variable.other.property, meta.function.decorator | #79C0FF | — |
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}!`;
}