@thomasfosterau/effect-parse 0.1.0 → 0.3.0

package/src/internal/compiler/first.ts

@@ -15,6 +15,7 @@
  * Skipping a parser that is certain to fail also skips the callbacks it
  * would have run before failing, which is why callbacks must be pure.
  */
+import * as Predicate from "effect/Predicate"
 import type { Encoding } from "../../Encoding.js"
 import type { Node, ParserLike } from "../node.js"
 import { nodeOf } from "../node.js"
@@ -23,8 +24,8 @@ import type { CharSet } from "./sets.js"
 import { kindOfEncoding, reachesAbove, TableSize, textSet, tokenSet } from "./sets.js"
 
 export const Strict = 0
-export const Optional = 1
-export const Unknown = 2
+const Optional = 1
+const Unknown = 2
 
 export interface First {
   readonly mode: 0 | 1 | 2
@@ -32,8 +33,8 @@ export interface First {
   readonly high: boolean
 }
 
-const none = new Uint8Array(TableSize)
-const all = new Uint8Array(TableSize).fill(1)
+const none = /*#__PURE__*/ new Uint8Array(TableSize)
+const all = /*#__PURE__*/ new Uint8Array(TableSize).fill(1)
 
 const unknown: First = { mode: Unknown, units: all, high: true }
 const emptyOptional: First = { mode: Optional, units: none, high: false }
@@ -42,14 +43,14 @@ const anyUnit: First = { mode: Strict, units: all, high: true }
 
 const union = (a: First, b: First, mode: 0 | 1 | 2): First => {
   const units = new Uint8Array(TableSize)
-  for (let i = 0; i < TableSize; i++) units[i] = a.units[i]! | b.units[i]!
+  for (let i = 0; i < TableSize; i++) units[i] = a.units[i] | b.units[i]
   return { mode, units, high: a.high || b.high }
 }
 
-const withMode = (f: First, mode: 0 | 1 | 2): First => f.mode === mode ? f : { ...f, mode }
+const withMode = (f: First, mode: 0 | 1 | 2): First => (f.mode === mode ? f : { ...f, mode })
 
-const lowerAscii = (c: number): number => c >= 65 && c <= 90 ? c + 32 : c
-const upperAscii = (c: number): number => c >= 97 && c <= 122 ? c - 32 : c
+const lowerAscii = (c: number): number => (c >= 65 && c <= 90 ? c + 32 : c)
+const upperAscii = (c: number): number => (c >= 97 && c <= 122 ? c - 32 : c)
 
 const ofUnits = (codes: ReadonlyArray<number>, mode: 0 | 1 | 2 = Strict): First => {
   const units = new Uint8Array(TableSize)
@@ -111,14 +112,14 @@ export class FirstSets {
           if (node.caseless) return lit.length === 0 ? unknown : anyUnit
           const encoded = node.encoding.encode(lit as string)
           if (encoded.length === 0) return emptyOptional
-          return ofUnits([typeof encoded === "string" ? encoded.charCodeAt(0) : encoded[0]!])
+          return ofUnits([Predicate.isString(encoded) ? encoded.charCodeAt(0) : encoded[0]])
         }
         if (lit.length === 0) return emptyOptional
         let first: number
-        if (typeof lit === "string") {
-          first = kind === 0 ? lit.charCodeAt(0) : new TextEncoder().encode(lit)[0]!
+        if (Predicate.isString(lit)) {
+          first = kind === 0 ? lit.charCodeAt(0) : new TextEncoder().encode(lit)[0]
         } else if (lit instanceof Uint8Array && kind === 1) {
-          first = lit[0]!
+          first = lit[0]
         } else {
           return unknown
         }
@@ -150,6 +151,7 @@ export class FirstSets {
       case "OrFail":
       case "Peek":
       case "Trace":
+      case "Syntax":
       case "ResumeAfter":
       case "RetryAfter":
         return this.of(node.self)
@@ -183,7 +185,7 @@ export class FirstSets {
           if (f.mode === Optional) mode = Optional
           acc = acc === undefined ? f : union(acc, f, mode)
         }
-        return withMode(acc!, mode)
+        return acc === undefined ? failing : withMode(acc, mode)
       }
       case "Repeat":
       case "Fold":
@@ -232,7 +234,7 @@ export const planAlt = (firsts: ReadonlyArray<First>): AltPlan | undefined => {
   const index = new Map<string, number>()
   const listOf = (keep: (f: First) => boolean): number => {
     const list: Array<number> = []
-    for (let i = 0; i < n; i++) if (keep(firsts[i]!)) list.push(i)
+    for (let i = 0; i < n; i++) if (keep(firsts[i])) list.push(i)
     const key = list.join(",")
     let k = index.get(key)
     if (k === undefined) {
@@ -246,7 +248,7 @@ export const planAlt = (firsts: ReadonlyArray<First>): AltPlan | undefined => {
   for (let u = 0; u < TableSize; u++) byUnit[u] = listOf((f) => f.mode !== Strict || f.units[u] === 1)
   const high = listOf((f) => f.mode !== Strict || f.high)
   const end = listOf((f) => f.mode !== Strict)
-  if (lists.length === 1 && lists[0]!.length === n) return undefined
+  if (lists.length === 1 && lists[0].length === n) return undefined
   if (lists.length > 255) return undefined
   return { byUnit, high, end, lists }
 }