HLO HighLighter

Name: HLO HighLighter
Author: Junmin Hao

Publisher: Junmin HaoThemes in package: 2

Syntax high lighter for XLA HLO IR.

GitHub

Color themes

VS Code preview

Full workbench mockup using this variant's colors and tokenColors.

HLO HighLighter — Light (Visual Studio - HLO)

fetchUser.ts

index.ts

README.md

main*

Copilot

Ln 5, Col 12

Spaces: 2

UTF-8

TypeScript

Light+

colors

Workbench UI color keys from the theme JSON colors map.

activityBarBadge.background#007ACC
editor.background#FFFFFF
editor.foreground#000000
editor.inactiveSelectionBackground#E5EBF1
editor.selectionHighlightBackground#ADD6FF80
editorIndentGuide.activeBackground#939393
editorIndentGuide.background#D3D3D3
editorSuggestWidget.background#F3F3F3
editorWhitespace.foreground#2B91AF
input.placeholderForeground#767676
list.hoverBackground#E8E8E8
settings.numberInputBorder#CECECE
settings.textInputBorder#CECECE
sideBarTitle.foreground#6F6F6F
statusBarItem.remoteBackground#16825D
statusBarItem.remoteForeground#FFF

tokenColors

TextMate scopes and font styles (syntax highlighting rules).

scope	foreground	fontStyle
debugging-head.hlo	#808080	—
graph-boundaries.hlo	#3da835	bold
primitive-type.hlo	#0003c0	—
name.hlo	#00a6ff	—
keyword.hlo	#d912c8	—
number.hlo	#48ce00	—
open.instruction.hlo	#b4a803	bold
paren.open.instruction.hlo	—	bold underline
close.instruction.hlo	#b4a803	bold underline
string	#a31515	—

Shiki preview

TypeScript sample highlighted with this variant's colors and tokenColors.

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}!`;
}