Aurora GoNZooo
Publisher: GoNZoooThemes in package: 1
Derivative of the Aurora theme, somewhat customized for Elixir & PureScript
Derivative of the Aurora theme, somewhat customized for Elixir & PureScript
Full workbench mockup using this variant's colors and tokenColors.
Workbench UI color keys from the theme JSON colors map.
TextMate scopes and font styles (syntax highlighting rules).
| scope | foreground | fontStyle |
|---|---|---|
| — | #ffffff | — |
| comment | #696587 | — |
| string | #ffb700 | — |
| constant.numeric | #3f89ff | — |
| constant.language |
TypeScript sample highlighted with this variant's colors and tokenColors.
| italic |
| constant.character, constant.other | #5f9cff | italic |
| variable | — |
| keyword | #e12977 | — |
| storage | #e12977 |
| storage.type | #7877ff | italic |
| entity.name.class | #c5e400 | — |
| entity.other.inherited-class | #c5e400 | italic |
| function, entity.name.function, entity.name.tag.purescript | #c5e400 | — |
| variable.parameter | #d9903b | italic |
| variable.other.property, property | #ff66cc | — |
| entity.name.tag | #e12977 |
| entity.other.attribute-name | #c5e400 |
| support.function | #7877ff |
| support.constant | #7877ff | italic |
| support.type, support.class | #7877ff | italic |
| support.other.variable | — |
| invalid | #e12977 |
| invalid.deprecated | #ffff05 | — |
| entity.name.type.module.elixir | #5f9cff | italic |
| entity.name.type | #4477ff |
| support.other.module | #c5e400 |
| source.elixir.embedded.source | #3ce281 | — |
| variable.other.readwrite.module.elixir | #a042c5 | — |
| variable.other.constant.elixir | #5f9cff | italic |
| markup.inserted.diff | #00dd00 | — |
| markup.deleted.diff | #ee0000 | — |
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}!`;
}