declare namespace moonbit_d_exports { export { Bool, Byte, Bytes, Char, Double, FixedArray, Float, Int, Int64, Result, String, UInt, UInt64, UnboxedOption, UnboxedOptionAsInt, Unit, __brand }; } /** * A non-public unique symbol used to mark the brand of a type. * And avoid user to construct values of the type. */ declare const __brand: unique symbol; type Unit = undefined; type Bool = boolean; /** * A signed integer in 32-bit two's complement format. */ type Int = number; /** * An unsigned integer in 32-bit two's complement format. */ type UInt = number; /** * A character in the range 0-0x10FFFF. */ type Char = number; /** * A byte in the range 0-255. */ type Byte = number; /** * Single-precision floating point number. */ type Float = number; type Double = number; /** * Backed by `bigint`, but not equal to the backing value: * runtime operations interpret it with signed 64-bit wraparound semantics. * Use `BigInt.asIntN(64, x)` to get the numerically equivalent `bigint`. */ type Int64 = bigint & { [__brand]: "Int64"; }; /** * Backed directly by `bigint`. * Valid `UInt64` values are in the unsigned 64-bit range `[0, 2^64)`. */ type UInt64 = bigint & { [__brand]: "UInt64"; }; type String = string; type Bytes = Uint8Array; type FixedArray = T[]; type UnboxedOption = /* Some */ T | /* None */ undefined; type UnboxedOptionAsInt = /* Some */ T | /* None */ -1; type Result = /* Ok */ { $tag: 1; _0: T; } | /* Err */ { $tag: 0; _0: E; }; //#endregion //#region ../../_build/js/release/build/mizchi/luna/js/api_router_lite/api_router_lite.d.ts export declare function routerGetBase(router: any): String; export declare function routerGetMatch(router: any): any; export declare function routerGetPath(router: any): String; export declare function routerReplace(router: any, path: String): Unit; export declare function routerNavigate(router: any, path: String): Unit; export declare function routePageFull(path: String, component: any, title: String, meta: FixedArray<[String, String]>): any; export declare function routePageTitled(path: String, component: any, title: String): any; export declare function routePage(path: String, component: any): any; //#endregion //#region src/router-lite.d.ts type KvTuple = { _0: string; _1: string; }; export interface LiteRoute { $tag: 0; path: string; component: unknown; title: string; meta: KvTuple[]; } export interface LiteRouteMatch { route: LiteRoute; params: KvTuple[]; query: KvTuple[]; path: string; } export interface BrowserRouterLite { routes: LiteRoute[]; base: string; currentPath: string; currentMatch: LiteRouteMatch | undefined; dispose: () => void; } export declare const createRouter: (routes: LiteRoute[], baseOrOptions?: string | { base?: string; }) => BrowserRouterLite; //#endregion