Line data    Source code

       1              : import type * as React from 'react';
       2              : 
       3              : /// A demo of the demos page, a page of its own that is loaded when it is opened
       4              : export interface DemoEntry {
       5              :     /// The id of the demo, its route is `#/<id>`
       6              :     id: string;
       7              :     /// The title in the index
       8              :     title: string;
       9              :     /// What the demo shows, in the index
      10              :     description: string;
      11              :     /// Load the page of the demo
      12              :     load: () => Promise<{ default: React.ComponentType }>;
      13              : }
      14              : 
      15              : /// The demos, in the order of the index
      16            1 : export const DEMOS: readonly DemoEntry[] = [
      17            1 :     {
      18            1 :         id: 'stock_analysis',
      19            1 :         title: 'Stock Analysis',
      20            1 :         description: 'A live board of trades, fed by a generator or the public feeds of Coinbase or Binance.',
      21            1 :         load: () => import('./stock_analysis/stock_analysis_page.js'),
      22            1 :     },
      23            1 :     {
      24            1 :         id: 'ui',
      25            1 :         title: 'UI Foundations',
      26            1 :         description: 'The buttons, text inputs, segmented controls and action lists of the app in their variants and sizes.',
      27            1 :         load: () => import('./ui/ui_page.js'),
      28            1 :     },
      29            1 :     {
      30            1 :         id: 'agent_face',
      31            1 :         title: 'Agent Face',
      32            1 :         description: 'The face of the agent that glances around and melts into the DashQL brand mark, with knobs to tune its motion.',
      33            1 :         load: () => import('./agent_face/agent_face_page.js'),
      34            1 :     },
      35            1 : ];