updates

Author: sinclairzx81

example/index.ts

@@ -2,7 +2,6 @@
 
 import { Token } from '@sinclair/parsebox'
 
-
 const R = Token.String(`'hello'`)
 console.log(R)
 

src/token/bigint.ts

@@ -0,0 +1,46 @@
+/*--------------------------------------------------------------------------
+
+ParseBox
+
+The MIT License (MIT)
+
+Copyright (c) 2024-2025 Haydn Paterson
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+
+// deno-fmt-ignore-file
+
+import { type TTrim, Trim } from './internal/trim.ts'
+import { type TTake, Take } from './internal/take.ts'
+
+import { type TDigit, Digit } from './internal/char.ts'
+import { type TZero, Zero } from './internal/char.ts'
+
+/** Matches if next is a BigInt literal with trailing `n` */
+export type TBigInt<Input extends string> = (
+  TTake<TTrim<Input>, []>
+)
+/** Matches if next is a BigInt literal with trailing `n` */
+export function BigInt<Input extends string>
+  (input: Input): TBigInt<Input> {
+  return Take(Trim(input), []) as never
+}
+

src/token/ident.ts

@@ -32,13 +32,16 @@ import { type TUnreachable, Unreachable } from './internal/unreachable.ts'
 import { type TTrim, Trim } from './internal/trim.ts'
 import { type TTake, Take, IsTakeTrue } from './internal/take.ts'
 
-import * as Char from './internal/char.ts'
+import { type TAlpha, Alpha } from './internal/char.ts'
+import { type TDigit, Digit } from './internal/char.ts'
+import { type TUnderScore, UnderScore } from './internal/char.ts'
+import { type TDollarSign, DollarSign } from './internal/char.ts'
 
 // ------------------------------------------------------------------
 // First
 // ------------------------------------------------------------------
-type TFirst = [...Char.TAlpha, Char.TUnderscore, Char.TDollarSign]
-const First = [...Char.Alpha, Char.Underscore, Char.DollarSign]
+type TFirst = [...TAlpha, TUnderScore, TDollarSign]
+const First = [...Alpha, UnderScore, DollarSign]
 
 type TTakeFirst<Input extends string> = (
   TTake<Input, TFirst> extends [infer First extends string, infer Right extends string]
@@ -56,8 +59,8 @@ function TakeFirst<Input extends string>(input: Input): TTakeFirst<Input> {
 // ------------------------------------------------------------------
 // Remaining
 // ------------------------------------------------------------------
-type TRemaining = [...TFirst, ...Char.TDigit]
-const Remaining = [...First, ...Char.Digit]
+type TRemaining = [...TFirst, ...TDigit]
+const Remaining = [...First, ...Digit]
 
 type TTakeRemaining<Input extends string, Result extends string = ''> = (
   TTake<Input, TRemaining> extends [infer Next extends string, infer Right extends string]

src/token/integer.ts

@@ -0,0 +1,46 @@
+/*--------------------------------------------------------------------------
+
+ParseBox
+
+The MIT License (MIT)
+
+Copyright (c) 2024-2025 Haydn Paterson
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+
+// deno-fmt-ignore-file
+
+import { type TTrim, Trim } from './internal/trim.ts'
+import { type TTake, Take } from './internal/take.ts'
+
+import { type TDigit, Digit } from './internal/char.ts'
+import { type TZero, Zero } from './internal/char.ts'
+
+/** Matches if next is a BigInt literal with trailing `n` */
+export type TInteger<Input extends string> = (
+  TTake<TTrim<Input>, []>
+)
+/** Matches if next is a BigInt literal with trailing `n` */
+export function Integer<Input extends string>
+  (input: Input): TInteger<Input> {
+  return Take(Trim(input), []) as never
+}
+

src/token/internal/char.ts

@@ -58,7 +58,7 @@ export const Digit = [Zero, ...NonZero] as const
 // ------------------------------------------------------------------
 export const WhiteSpace = ' '
 export const NewLine = '\n'
-export const Underscore = '_'
+export const UnderScore = '_'
 export const Dot = '.'
 export const DollarSign = '$'
 export const SingleQuote = "'"
@@ -67,7 +67,7 @@ export const BackTick = '`'
 
 export type TWhiteSpace = typeof WhiteSpace
 export type TNewLine = typeof NewLine
-export type TUnderscore = typeof Underscore
+export type TUnderScore = typeof UnderScore
 export type TDot = typeof Dot
 export type TDollarSign = typeof DollarSign
 export type TSingleQuote = typeof SingleQuote

src/token/token.ts

@@ -26,8 +26,10 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 
+export * from './bigint.ts'
 export * from './const.ts'
 export * from './ident.ts'
-export * from './string.ts'
+export * from './integer.ts'
 export * from './span.ts'
+export * from './string.ts'
 export * from './until.ts'