rckrdmrd
48dea7a5d0
Marketplace móvil para negocios locales mexicanos. Estructura inicial: - apps/backend (NestJS API) - apps/frontend (React Web) - apps/mobile (Expo/React Native) - apps/mcp-server (Claude MCP Server) - apps/whatsapp-service (WhatsApp Business API) - database/ (PostgreSQL DDL) - docs/ (Documentación) 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
87 lines
2.5 KiB
Plaintext
87 lines
2.5 KiB
Plaintext
/**
|
|
* Copyright (c) Meta Platforms, Inc. and affiliates.
|
|
*
|
|
* This source code is licensed under the MIT license found in the
|
|
* LICENSE file in the root directory of this source tree.
|
|
*
|
|
* @flow strict-local
|
|
* @format
|
|
* @oncall react_native
|
|
*/
|
|
|
|
/* eslint-disable no-redeclare */
|
|
|
|
// A type representing 0-based offsets.
|
|
export opaque type Number0 = number;
|
|
// A type representing 1-based offsets.
|
|
export opaque type Number1 = number;
|
|
|
|
// Add two offsets or numbers.
|
|
declare function add(a: Number1, b: number): Number1;
|
|
declare function add(a: number, b: Number1): Number1;
|
|
declare function add(a: Number0, b: number): Number0;
|
|
declare function add(a: number, b: Number0): Number0;
|
|
declare function add(a: Number1, b: Number0): Number1;
|
|
declare function add(a: Number0, b: Number1): Number1;
|
|
declare function add(a: Number0, b: Number0): Number0;
|
|
|
|
export function add(a: number, b: number): number {
|
|
return a + b;
|
|
}
|
|
|
|
// Subtract a number or 0-based offset from a 1/0-based offset.
|
|
declare function sub(a: Number1, b: number): Number1;
|
|
declare function sub(a: Number0, b: number): Number0;
|
|
declare function sub(a: number, b: Number0): Number0;
|
|
declare function sub(a: Number0, b: number): Number0;
|
|
declare function sub(a: Number1, b: Number0): Number1;
|
|
declare function sub(a: Number0, b: Number0): Number0;
|
|
declare function sub(a: Number1, b: Number1): Number0;
|
|
|
|
export function sub(a: number, b: number): number {
|
|
return a - b;
|
|
}
|
|
|
|
// Get the underlying number of a 0-based offset, casting away the opaque type.
|
|
declare function get0(x: Number0): number;
|
|
declare function get0(x: void | null): void | null;
|
|
export function get0(x: number): number {
|
|
return x;
|
|
}
|
|
|
|
// Get the underlying number of a 1-based offset, casting away the opaque type.
|
|
declare function get1(x: Number1): number;
|
|
declare function get1(x: void | null): void | null;
|
|
export function get1(x: number): number {
|
|
return x;
|
|
}
|
|
|
|
// Add 1 to a 0-based offset, thus converting it to 1-based.
|
|
export function add1(x: Number0 | number): Number1 {
|
|
return x + 1;
|
|
}
|
|
|
|
// Subtract 1 from a 1-based offset, thus converting it to 0-based.
|
|
export function sub1(x: Number1): Number0 {
|
|
return x - 1;
|
|
}
|
|
|
|
// Negate a 0-based offset.
|
|
export function neg(x: Number0): Number0 {
|
|
return -x;
|
|
}
|
|
|
|
// Cast a number to a 0-based offset.
|
|
export function add0(x: number): Number0 {
|
|
return x;
|
|
}
|
|
|
|
// Increment a 0-based offset.
|
|
declare function inc(a: Number0): Number0;
|
|
// Increment a 1-based offset.
|
|
declare function inc(a: Number1): Number1;
|
|
|
|
export function inc(x: number): number {
|
|
return x + 1;
|
|
}
|