updateS

Author: sinclairzx81

src/runtime/index.ts

@@ -26,4 +26,4 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 
-export * as Runtime from './runtime.ts'
+export * from './module.ts'

src/runtime/parse.ts

@@ -26,6 +26,6 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 
-export * from './types.ts'
+
 export * from './module.ts'
-export * from './parse.ts'
+

src/runtime/runtime.ts

@@ -31,7 +31,9 @@ THE SOFTWARE.
 import { Arguments } from '../../system/arguments/index.ts'
 import { Guard } from '../../guard/index.ts'
 import { type StaticParser, type StaticEnsure } from './static.ts'
-import { type IParser, type IMapping, Identity } from './parser.ts'
+import { type IParser, type IProperties, type IMapping, Identity } from './parser.ts'
+
+import { ParseParser } from './parse.ts'
 
 // ------------------------------------------------------------------
 // Static
@@ -49,11 +51,8 @@ export interface IArray<Output extends unknown = unknown> extends IParser<Output
 // ------------------------------------------------------------------
 // Factory
 // ------------------------------------------------------------------
-/** Creates an Array parser */
 export function Array<Parser extends IParser, Mapping extends IMapping = IMapping<StaticArray<Parser>>>(parser: Parser, mapping: Mapping): IArray<ReturnType<Mapping>>
-/** Creates an Array parser */
 export function Array<Parser extends IParser>(parser: Parser): IArray<StaticArray<Parser>>
-/** Creates an Array parser */
 export function Array(...args: unknown[]): never {
   const [parser, mapping] = Arguments.Match<[IParser, IMapping]>(args, {
     2: (parser, mapping) => [parser, mapping],
@@ -71,4 +70,18 @@ export function IsArray(value: unknown): value is IArray {
     && Guard.HasPropertyKey(value, 'parser')
     && Guard.IsEqual(value.type, 'Array')
     && Guard.IsObject(value.parser)
+}
+// ------------------------------------------------------------------
+// Parse
+// ------------------------------------------------------------------
+export function ParseArray<Context extends IProperties, Parser extends IParser>(context: Context, parser: Parser, input: string): unknown[] {
+  const buffer = [] as unknown[]
+  let rest = input
+  while (rest.length > 0) {
+    const result = ParseParser(context, parser, rest)
+    if (result.length === 0) return [buffer, rest]
+    buffer.push(result[0])
+    rest = result[1]
+  }
+  return [buffer, rest]
 }

src/runtime/types.ts

@@ -28,6 +28,8 @@ THE SOFTWARE.
 
 // deno-fmt-ignore-file
 
+import * as Token from '../../token/index.ts'
+
 import { Arguments } from '../../system/arguments/index.ts'
 import { Guard } from '../../guard/index.ts'
 import { type IParser, type IMapping, Identity } from './parser.ts'
@@ -42,11 +44,8 @@ export interface IConst<Output extends unknown = unknown> extends IParser<Output
 // ------------------------------------------------------------------
 // Factory
 // ------------------------------------------------------------------
-/** Creates a Const parser */
 export function Const<Value extends string, Mapping extends IMapping<Value>>(value: Value, mapping: Mapping): IConst<ReturnType<Mapping>>
-/** Creates a Const parser */
 export function Const<Value extends string>(value: Value): IConst<Value>
-/** Creates a Const parser */
 export function Const(...args: unknown[]): never {
   const [const_, mapping] = Arguments.Match<[string, IMapping]>(args, {
     2: (const_, mapping) => [const_, mapping],
@@ -57,11 +56,16 @@ export function Const(...args: unknown[]): never {
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
-/** True if the value is a Const parser */
 export function IsConst(value: unknown): value is IConst {
   return Guard.IsObject(value)
     && Guard.HasPropertyKey(value, 'type')
     && Guard.HasPropertyKey(value, 'const')
     && Guard.IsEqual(value.type, 'Const')
     && Guard.IsString(value.const)
+}
+// ------------------------------------------------------------------
+// Parse
+// ------------------------------------------------------------------
+export function ParseConst<Const extends string>(input: string, const_: Const): [] | [Const, string] {
+  return Token.Const(const_, input) as never
 }

src/runtime/types/array.ts

@@ -28,6 +28,8 @@ THE SOFTWARE.
 
 // deno-fmt-ignore-file
 
+import * as Token from '../../token/index.ts'
+
 import { Arguments } from '../../system/arguments/index.ts'
 import { Guard } from '../../guard/index.ts'
 import { type IParser, type IMapping, Identity } from './parser.ts'
@@ -41,11 +43,8 @@ export interface IIdent<Output extends unknown = unknown> extends IParser<Output
 // ------------------------------------------------------------------
 // Factory
 // ------------------------------------------------------------------
-/** Creates an Ident parser */
 export function Ident<Mapping extends IMapping<string>>(mapping: Mapping): IIdent<ReturnType<Mapping>>
-/** Creates an Ident parser */
 export function Ident(): IIdent<string>
-/** Creates an Ident parser */
 export function Ident(...args: unknown[]): never {
   const [mapping] = Arguments.Match<[IParser, IMapping]>(args, {
     1: (mapping) => [mapping],
@@ -56,9 +55,14 @@ export function Ident(...args: unknown[]): never {
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
-/** True if the value is a Ident parser */
 export function IsIdent(value: unknown): value is IIdent {
   return Guard.IsObject(value)
     && Guard.HasPropertyKey(value, 'type')
     && Guard.IsEqual(value.type, 'Ident')
+}
+// ------------------------------------------------------------------
+// Parse
+// ------------------------------------------------------------------
+export function ParseIdent(input: string): [] | [string, string] {
+  return Token.Ident(input)
 }

src/runtime/types/const.ts

@@ -28,6 +28,8 @@ THE SOFTWARE.
 
 // deno-fmt-ignore-file
 
+import * as Token from '../../token/index.ts'
+
 import { Arguments } from '../../system/arguments/index.ts'
 import { Guard } from '../../guard/index.ts'
 import { type IParser, type IMapping, Identity } from './parser.ts'
@@ -41,11 +43,8 @@ export interface INumber<Output extends unknown = unknown> extends IParser<Outpu
 // ------------------------------------------------------------------
 // Factory
 // ------------------------------------------------------------------
-/** Creates a Number parser */
 export function Number<Mapping extends IMapping<string>>(mapping: Mapping): INumber<ReturnType<Mapping>>
-/** Creates a Number parser */
 export function Number(): INumber<string>
-/** Creates a Number parser */
 export function Number(...args: unknown[]): never {
   const [mapping] = Arguments.Match<[IParser, IMapping]>(args, {
     1: (mapping) => [mapping],
@@ -56,9 +55,14 @@ export function Number(...args: unknown[]): never {
 // ------------------------------------------------------------------
 // Guard
 // ------------------------------------------------------------------
-/** True if the value is a Number parser */
 export function IsNumber(value: unknown): value is INumber {
   return Guard.IsObject(value)
     && Guard.HasPropertyKey(value, 'type')
     && Guard.IsEqual(value.type, 'Number')
+}
+// ------------------------------------------------------------------
+// Parse
+// ------------------------------------------------------------------
+export function ParseNumber(input: string): [] | [string, string] {
+  return Token.Number(input)
 }