@thomasfosterau/effect-rdf 0.0.0-stage → 0.1.0

package/dist/Generator-D3utCJC7.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Generator-D3utCJC7.mjs","names":["PrefixMap.make","PrefixMap.compact","Term.escapeIri","Term.escapeString","Term.isNamedNode","Term.isVariable","Term.isDefaultGraph"],"sources":["../src/sparql/Generator.ts"],"sourcesContent":["/**\n * Generates SPARQL text from the AST.\n *\n * The output is designed to round-trip: parsing the generated text yields\n * an AST that generates the same text again. Expressions and property paths\n * are fully parenthesised, IRIs are compacted with the prologue's prefixes\n * where possible, and numeric/boolean literals use the short syntax when\n * their lexical form allows it.\n *\n * @since 0.1.0\n */\nimport * as Arr from 'effect/Array';\nimport * as Match from 'effect/Match';\nimport * as Option from 'effect/Option';\nimport * as Predicate from 'effect/Predicate';\nimport * as Record from 'effect/Record';\nimport * as PrefixMap from '../PrefixMap.ts';\nimport * as Term from '../Term.ts';\nimport type * as Ast from './Ast.ts';\n\nconst XSD = 'http://www.w3.org/2001/XMLSchema#';\nconst RDF_TYPE = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type';\n\n/**\n * @since 0.1.0\n * @category models\n */\nexport interface GenerateOptions {\n  /**\n   * Prefixes used to compact IRIs. Defaults to the prologue of the query or\n   * update. Pass an empty object to always print full IRIs.\n   */\n  readonly prefixes?: Readonly<Record<string, string>> | undefined;\n  /** Whether to print the prologue (`BASE` / `PREFIX`). Defaults to `true`. */\n  readonly prologue?: boolean | undefined;\n  /** Indentation unit. Defaults to two spaces. */\n  readonly indent?: string | undefined;\n}\n\nclass Printer {\n  readonly prefixMap: PrefixMap.PrefixMap;\n  readonly unit: string;\n  constructor(prefixes: Readonly<Record<string, string>>, indent: string) {\n    this.prefixMap = PrefixMap.make(prefixes);\n    this.unit = indent;\n  }\n\n  iri(node: Term.NamedNode): string {\n    const c = PrefixMap.compact(this.prefixMap, node);\n    if (Option.isSome(c)) {\n      const [prefix, local] = c.value;\n      // A trailing '.' or a local part starting with a digit is fine for\n      // PN_LOCAL; PrefixMap.compact already validated it.\n      return `${prefix}:${local}`;\n    }\n    return `<${Term.escapeIri(node.value)}>`;\n  }\n\n  literal(lit: Term.Literal): string {\n    const dt = lit.datatype.value;\n    const v = lit.value;\n    if (lit.language === '') {\n      if (dt === `${XSD}integer` && /^[+-]?[0-9]+$/.test(v)) return v;\n      if (dt === `${XSD}decimal` && /^[+-]?[0-9]*\\.[0-9]+$/.test(v)) return v;\n      if (dt === `${XSD}double` && /^[+-]?(?:[0-9]+(?:\\.[0-9]*)?|\\.[0-9]+)[eE][+-]?[0-9]+$/.test(v))\n        return v;\n      if (dt === `${XSD}boolean` && (v === 'true' || v === 'false')) return v;\n    }\n    const lexical = `\"${Term.escapeString(v)}\"`;\n    if (lit.language !== '') {\n      return lit.direction === undefined\n        ? `${lexical}@${lit.language}`\n        : `${lexical}@${lit.language}--${lit.direction}`;\n    }\n    if (dt === Term.XSD_STRING) return lexical;\n    return `${lexical}^^${this.iri(lit.datatype)}`;\n  }\n\n  term(t: Term.Term | Ast.TermPattern): string {\n    return Match.value(t).pipe(\n      Match.tag('NamedNode', (n) => this.iri(n)),\n      Match.tag('BlankNode', (b) => `_:${b.value}`),\n      Match.tag('Literal', (l) => this.literal(l)),\n      Match.tag('Variable', (v) => `?${v.value}`),\n      Match.tag('DefaultGraph', () => 'DEFAULT'),\n      Match.tag(\n        'Triple',\n        (x) => `<<( ${this.term(x.subject)} ${this.verb(x.predicate)} ${this.term(x.object)} )>>`,\n      ),\n      Match.exhaustive,\n    );\n  }\n\n  verb(t: Term.Term): string {\n    return Term.isNamedNode(t) && t.value === RDF_TYPE ? 'a' : this.term(t);\n  }\n\n  path(p: Ast.Path): string {\n    return Match.value(p).pipe(\n      Match.tag('PathLink', (l) => this.verb(l.iri)),\n      Match.tag('PathInverse', (i) => `^(${this.path(i.path)})`),\n      Match.tag('PathSequence', (s) => `(${s.paths.map((x) => this.path(x)).join(' / ')})`),\n      Match.tag('PathAlternative', (a) => `(${a.paths.map((x) => this.path(x)).join(' | ')})`),\n      Match.tag('PathZeroOrMore', (z) => `(${this.path(z.path)})*`),\n      Match.tag('PathOneOrMore', (o) => `(${this.path(o.path)})+`),\n      Match.tag('PathZeroOrOne', (z) => `(${this.path(z.path)})?`),\n      Match.tag('PathNegated', (n) => {\n        const items = [\n          ...n.iris.map((i) => this.verb(i)),\n          ...n.inverse.map((i) => `^${this.verb(i)}`),\n        ];\n        return `!(${items.join(' | ')})`;\n      }),\n      Match.exhaustive,\n    );\n  }\n\n  // --- expressions ----------------------------------------------------------\n\n  expression(e: Ast.Expression): string {\n    return Match.value(e).pipe(\n      Match.tag('Variable', 'NamedNode', 'Literal', 'BlankNode', 'Triple', (t) => this.term(t)),\n      Match.tag(\n        'FunctionCall',\n        (c) =>\n          `${this.iri(c.function)}(${c.distinct ? 'DISTINCT ' : ''}${c.args.map((a) => this.expression(a)).join(', ')})`,\n      ),\n      Match.tag('Aggregate', (a) => {\n        const arg = a.expression === '*' ? '*' : this.expression(a.expression);\n        const sep =\n          a.separator !== undefined ? `; SEPARATOR = \"${Term.escapeString(a.separator)}\"` : '';\n        return `${a.name}(${a.distinct ? 'DISTINCT ' : ''}${arg}${sep})`;\n      }),\n      Match.tag(\n        'Exists',\n        (x) => `${x.negated ? 'NOT EXISTS' : 'EXISTS'} ${this.group(x.pattern, 1)}`,\n      ),\n      Match.tag('Operation', (o) => this.operation(o)),\n      Match.exhaustive,\n    );\n  }\n\n  operation(e: Ast.OperationExpression): string {\n    const args = e.args.map((a) => this.expression(a));\n    return Match.value(e.operator).pipe(\n      Match.when(\n        Match.is('||', '&&', '=', '!=', '<', '>', '<=', '>=', '+', '-', '*', '/'),\n        (operator) => `(${args.join(` ${operator} `)})`,\n      ),\n      Match.when('!', () => `!(${args[0]})`),\n      Match.when('UPLUS', () => `+(${args[0]})`),\n      Match.when('UMINUS', () => `-(${args[0]})`),\n      Match.when(\n        Match.is('IN', 'NOT IN'),\n        (operator) => `(${args[0]} ${operator} (${args.slice(1).join(', ')}))`,\n      ),\n      Match.when('SAMETERM', () => `sameTerm(${args.join(', ')})`),\n      Match.orElse((operator) => `${operator}(${args.join(', ')})`),\n    );\n  }\n\n  // --- patterns -------------------------------------------------------------\n\n  pad(level: number): string {\n    return this.unit.repeat(level);\n  }\n\n  triple(t: Ast.TriplePattern | Ast.PathPattern | Ast.QuadPattern): string {\n    const p = Predicate.isTagged(t, 'PathPattern') ? this.path(t.path) : this.verb(t.predicate);\n    return `${this.term(t.subject)} ${p} ${this.term(t.object)} .`;\n  }\n\n  group(g: Ast.GroupPattern, level: number): string {\n    const [only, ...rest] = g.patterns;\n    if (only === undefined) return '{}';\n    if (Arr.isReadonlyArrayEmpty(rest) && Predicate.isTagged(only, 'SubSelect')) {\n      return `{\\n${this.pad(level + 1)}${this.select(only.query, level + 1)}\\n${this.pad(level)}}`;\n    }\n    const lines = g.patterns.flatMap((p) => this.pattern(p, level + 1));\n    return `{\\n${lines.map((l) => this.pad(level + 1) + l).join('\\n')}\\n${this.pad(level)}}`;\n  }\n\n  pattern(p: Ast.Pattern, level: number): Array<string> {\n    return Match.value(p).pipe(\n      Match.tag('Bgp', (b): Array<string> => b.triples.map((t) => this.triple(t))),\n      Match.tag('Group', (g) => [this.group(g, level)]),\n      Match.tag('Optional', (o) => [`OPTIONAL ${this.group(o.pattern, level)}`]),\n      Match.tag('Minus', (m) => [`MINUS ${this.group(m.pattern, level)}`]),\n      Match.tag('Union', (u) => [u.patterns.map((x) => this.group(x, level)).join(' UNION ')]),\n      Match.tag('Graph', (g) => [`GRAPH ${this.term(g.name)} ${this.group(g.pattern, level)}`]),\n      Match.tag('Service', (s) => [\n        `SERVICE ${s.silent ? 'SILENT ' : ''}${this.term(s.name)} ${this.group(s.pattern, level)}`,\n      ]),\n      Match.tag('Filter', (f) => [`FILTER(${this.expression(f.expression)})`]),\n      Match.tag('Bind', (b) => [\n        `BIND(${this.expression(b.expression)} AS ${this.term(b.variable)})`,\n      ]),\n      Match.tag('Values', (v) => [this.values(v)]),\n      Match.tag('SubSelect', (s) => [\n        `{\\n${this.pad(level + 1)}${this.select(s.query, level + 1)}\\n${this.pad(level)}}`,\n      ]),\n      Match.exhaustive,\n    );\n  }\n\n  values(v: Ast.ValuesPattern): string {\n    const vars = v.variables.map((x) => this.term(x)).join(' ');\n    const rows = v.rows\n      .map((r) => `(${r.map((t) => (t === undefined ? 'UNDEF' : this.term(t))).join(' ')})`)\n      .join(' ');\n    return `VALUES (${vars}) { ${rows} }`;\n  }\n\n  // --- queries --------------------------------------------------------------\n\n  /** A dataset clause (`FROM` / `USING`), if the query or update has one. */\n  dataset(clause: Option.Option<Ast.DatasetClause>, keyword: 'FROM' | 'USING'): string {\n    return Option.match(clause, {\n      onNone: () => '',\n      onSome: (d) =>\n        [\n          ...d.default.map((g) => `${keyword} ${this.iri(g)}\\n`),\n          ...d.named.map((g) => `${keyword} NAMED ${this.iri(g)}\\n`),\n        ].join(''),\n    });\n  }\n\n  modifiers(q: Ast.QueryBase): string {\n    let out = '';\n    if (Arr.isReadonlyArrayNonEmpty(q.groupBy)) {\n      out += `\\nGROUP BY ${q.groupBy\n        .map((g) =>\n          g.variable !== undefined\n            ? `(${this.expression(g.expression)} AS ${this.term(g.variable)})`\n            : g.expression._tag === 'Variable'\n              ? this.term(g.expression)\n              : `(${this.expression(g.expression)})`,\n        )\n        .join(' ')}`;\n    }\n    if (Arr.isReadonlyArrayNonEmpty(q.having)) {\n      out += `\\nHAVING ${q.having.map((h) => `(${this.expression(h)})`).join(' ')}`;\n    }\n    if (Arr.isReadonlyArrayNonEmpty(q.orderBy)) {\n      out += `\\nORDER BY ${q.orderBy\n        .map((o) => `${o.descending ? 'DESC' : 'ASC'}(${this.expression(o.expression)})`)\n        .join(' ')}`;\n    }\n    if (q.limit !== undefined) out += `\\nLIMIT ${q.limit}`;\n    if (q.offset !== undefined) out += `\\nOFFSET ${q.offset}`;\n    return out;\n  }\n\n  select(q: Ast.SelectQuery, level: number): string {\n    const projection =\n      q.projection === '*'\n        ? '*'\n        : q.projection\n            .map((p) =>\n              Term.isVariable(p)\n                ? this.term(p)\n                : `(${this.expression(p.expression)} AS ${this.term(p.variable)})`,\n            )\n            .join(' ');\n    const head = `SELECT ${q.distinct ? 'DISTINCT ' : q.reduced ? 'REDUCED ' : ''}${projection}`;\n    const values = q.values !== undefined ? `\\n${this.values(q.values)}` : '';\n    return `${head}\\n${this.dataset(Option.fromUndefinedOr(q.dataset), 'FROM')}WHERE ${this.group(q.where, level)}${this.modifiers(q)}${values}`;\n  }\n\n  query(q: Ast.Query): string {\n    const values = q.values !== undefined ? `\\n${this.values(q.values)}` : '';\n    return Match.value(q).pipe(\n      Match.tag('Select', (s) => this.select(s, 0)),\n      Match.tag(\n        'Ask',\n        (a) =>\n          `ASK\\n${this.dataset(Option.fromUndefinedOr(a.dataset), 'FROM')}WHERE ${this.group(a.where, 0)}${this.modifiers(a)}${values}`,\n      ),\n      Match.tag('Construct', (c) => {\n        const template = c.template.map((t) => `${this.unit}${this.triple(t)}`).join('\\n');\n        return `CONSTRUCT {\\n${template}${template === '' ? '' : '\\n'}}\\n${this.dataset(Option.fromUndefinedOr(c.dataset), 'FROM')}WHERE ${this.group(c.where, 0)}${this.modifiers(c)}${values}`;\n      }),\n      Match.tag('Describe', (d) => {\n        const terms = d.terms === '*' ? '*' : d.terms.map((t) => this.term(t)).join(' ');\n        return `DESCRIBE ${terms}\\n${this.dataset(Option.fromUndefinedOr(d.dataset), 'FROM')}WHERE ${this.group(d.where, 0)}${this.modifiers(d)}${values}`;\n      }),\n      Match.exhaustive,\n    );\n  }\n\n  // --- updates --------------------------------------------------------------\n\n  quads(quads: ReadonlyArray<Ast.QuadPattern | Term.Quad>): string {\n    // The runs of consecutive quads in the same graph.\n    const runs: Array<{\n      readonly graph: Ast.QuadPattern['graph'] | Term.Graph;\n      readonly quads: Array<Ast.QuadPattern | Term.Quad>;\n    }> = [];\n    quads.forEach((q) => {\n      const last = runs[runs.length - 1];\n      if (last !== undefined && last.graph.key === q.graph.key) last.quads.push(q);\n      else runs.push({ graph: q.graph, quads: [q] });\n    });\n    const lines = runs.flatMap(({ graph: g, quads: run }) => {\n      const triples = run.map(\n        (q) => `${this.term(q.subject)} ${this.verb(q.predicate)} ${this.term(q.object)} .`,\n      );\n      return Term.isDefaultGraph(g)\n        ? triples.map((t) => this.unit + t)\n        : [`${this.unit}GRAPH ${this.term(g)} {`].concat(\n            triples.map((t) => this.unit + this.unit + t),\n            [`${this.unit}}`],\n          );\n    });\n    return Arr.isReadonlyArrayEmpty(lines) ? '{}' : `{\\n${lines.join('\\n')}\\n}`;\n  }\n\n  graphTarget(t: Ast.GraphTarget): string {\n    return Term.isNamedNode(t) ? `GRAPH ${this.iri(t)}` : t._tag.toUpperCase();\n  }\n\n  graphOrDefault(g: Ast.GraphOrDefault): string {\n    return Term.isDefaultGraph(g) ? 'DEFAULT' : `GRAPH ${this.iri(g)}`;\n  }\n\n  operationText(op: Ast.UpdateOperation): string {\n    return Match.value(op).pipe(\n      Match.tag('InsertData', (o) => `INSERT DATA ${this.quads(o.quads)}`),\n      Match.tag('DeleteData', (o) => `DELETE DATA ${this.quads(o.quads)}`),\n      Match.tag('DeleteWhere', (o) => `DELETE WHERE ${this.quads(o.patterns)}`),\n      Match.tag('Modify', (o) => {\n        let out = o.with !== undefined ? `WITH ${this.iri(o.with)}\\n` : '';\n        if (Arr.isReadonlyArrayNonEmpty(o.delete) || Arr.isReadonlyArrayEmpty(o.insert)) {\n          out += `DELETE ${this.quads(o.delete)}\\n`;\n        }\n        if (Arr.isReadonlyArrayNonEmpty(o.insert)) out += `INSERT ${this.quads(o.insert)}\\n`;\n        out += this.dataset(Option.fromUndefinedOr(o.using), 'USING');\n        return `${out}WHERE ${this.group(o.where, 0)}`;\n      }),\n      Match.tag(\n        'Load',\n        (o) =>\n          `LOAD ${o.silent ? 'SILENT ' : ''}${this.iri(o.source)}${o.destination !== undefined ? ` INTO GRAPH ${this.iri(o.destination)}` : ''}`,\n      ),\n      Match.tag(\n        'Clear',\n        'Drop',\n        (o) => `${o._tag.toUpperCase()} ${o.silent ? 'SILENT ' : ''}${this.graphTarget(o.target)}`,\n      ),\n      Match.tag('Create', (o) => `CREATE ${o.silent ? 'SILENT ' : ''}GRAPH ${this.iri(o.graph)}`),\n      Match.tag(\n        'Add',\n        'Move',\n        'Copy',\n        (o) =>\n          `${o._tag.toUpperCase()} ${o.silent ? 'SILENT ' : ''}${this.graphOrDefault(o.source)} TO ${this.graphOrDefault(o.destination)}`,\n      ),\n      Match.exhaustive,\n    );\n  }\n}\n\nconst prologueText = (prologue: Ast.Prologue): string =>\n  [\n    prologue.version !== undefined ? `VERSION \"${Term.escapeString(prologue.version)}\"\\n` : '',\n    prologue.base !== undefined ? `BASE <${Term.escapeIri(prologue.base)}>\\n` : '',\n    ...Record.toEntries(prologue.prefixes).map(\n      ([prefix, ns]) => `PREFIX ${prefix}: <${Term.escapeIri(ns)}>\\n`,\n    ),\n  ].join('');\n\n/**\n * Generates SPARQL text for a query or update.\n *\n * @since 0.1.0\n * @category printing\n */\nexport const print = (ast: Ast.Query | Ast.Update, options?: GenerateOptions): string => {\n  const prefixes = options?.prefixes ?? ast.prologue.prefixes;\n  const printer = new Printer(prefixes, options?.indent ?? '  ');\n  const prologue =\n    options?.prologue === false\n      ? ''\n      : prologueText(\n          options?.prefixes !== undefined\n            ? { ...ast.prologue, prefixes: options.prefixes }\n            : ast.prologue,\n        );\n  if (Predicate.isTagged(ast, 'Update')) {\n    return prologue + ast.operations.map((op) => printer.operationText(op)).join(' ;\\n');\n  }\n  return prologue + printer.query(ast);\n};\n\n/**\n * Generates SPARQL text for an expression.\n *\n * @since 0.1.0\n * @category printing\n */\nexport const printExpression = (\n  expression: Ast.Expression,\n  prefixes: Readonly<Record<string, string>> = {},\n): string => new Printer(prefixes, '  ').expression(expression);\n\n/**\n * Generates SPARQL text for a graph pattern.\n *\n * @since 0.1.0\n * @category printing\n */\nexport const printPattern = (\n  pattern: Ast.Pattern,\n  prefixes: Readonly<Record<string, string>> = {},\n): string => new Printer(prefixes, '  ').pattern(pattern, 0).join('\\n');\n\n/**\n * Generates SPARQL syntax for a term (IRIs are compacted with `prefixes`).\n *\n * @since 0.1.0\n * @category printing\n */\nexport const printTerm = (\n  term: Term.Term,\n  prefixes: Readonly<Record<string, string>> = {},\n): string => new Printer(prefixes, '  ').term(term);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;AAoBA,MAAM,MAAM;AACZ,MAAM,WAAW;AAkBjB,IAAM,UAAN,MAAc;CACZ;CACA;CACA,YAAY,UAA4C,QAAgB;EACtE,KAAK,YAAYA,KAAe,QAAQ;EACxC,KAAK,OAAO;CACd;CAEA,IAAI,MAA8B;EAChC,MAAM,IAAIC,QAAkB,KAAK,WAAW,IAAI;EAChD,IAAI,OAAO,OAAO,CAAC,GAAG;GACpB,MAAM,CAAC,QAAQ,SAAS,EAAE;GAG1B,OAAO,GAAG,OAAO,GAAG;EACtB;EACA,OAAO,IAAIC,UAAe,KAAK,KAAK,EAAE;CACxC;CAEA,QAAQ,KAA2B;EACjC,MAAM,KAAK,IAAI,SAAS;EACxB,MAAM,IAAI,IAAI;EACd,IAAI,IAAI,aAAa,IAAI;GACvB,IAAI,OAAO,GAAG,IAAI,YAAY,gBAAgB,KAAK,CAAC,GAAG,OAAO;GAC9D,IAAI,OAAO,GAAG,IAAI,YAAY,wBAAwB,KAAK,CAAC,GAAG,OAAO;GACtE,IAAI,OAAO,GAAG,IAAI,WAAW,yDAAyD,KAAK,CAAC,GAC1F,OAAO;GACT,IAAI,OAAO,GAAG,IAAI,aAAa,MAAM,UAAU,MAAM,UAAU,OAAO;EACxE;EACA,MAAM,UAAU,IAAIC,aAAkB,CAAC,EAAE;EACzC,IAAI,IAAI,aAAa,IACnB,OAAO,IAAI,cAAc,KAAA,IACrB,GAAG,QAAQ,GAAG,IAAI,aAClB,GAAG,QAAQ,GAAG,IAAI,SAAS,IAAI,IAAI;EAEzC,IAAI,OAAO,2CAAiB,OAAO;EACnC,OAAO,GAAG,QAAQ,IAAI,KAAK,IAAI,IAAI,QAAQ;CAC7C;CAEA,KAAK,GAAwC;EAC3C,OAAO,MAAM,MAAM,CAAC,CAAC,CAAC,KACpB,MAAM,IAAI,cAAc,MAAM,KAAK,IAAI,CAAC,CAAC,GACzC,MAAM,IAAI,cAAc,MAAM,KAAK,EAAE,OAAO,GAC5C,MAAM,IAAI,YAAY,MAAM,KAAK,QAAQ,CAAC,CAAC,GAC3C,MAAM,IAAI,aAAa,MAAM,IAAI,EAAE,OAAO,GAC1C,MAAM,IAAI,sBAAsB,SAAS,GACzC,MAAM,IACJ,WACC,MAAM,OAAO,KAAK,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,KAAK,EAAE,MAAM,EAAE,KACtF,GACA,MAAM,UACR;CACF;CAEA,KAAK,GAAsB;EACzB,OAAOC,YAAiB,CAAC,KAAK,EAAE,UAAU,WAAW,MAAM,KAAK,KAAK,CAAC;CACxE;CAEA,KAAK,GAAqB;EACxB,OAAO,MAAM,MAAM,CAAC,CAAC,CAAC,KACpB,MAAM,IAAI,aAAa,MAAM,KAAK,KAAK,EAAE,GAAG,CAAC,GAC7C,MAAM,IAAI,gBAAgB,MAAM,KAAK,KAAK,KAAK,EAAE,IAAI,EAAE,EAAE,GACzD,MAAM,IAAI,iBAAiB,MAAM,IAAI,EAAE,MAAM,KAAK,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,EAAE,GACpF,MAAM,IAAI,oBAAoB,MAAM,IAAI,EAAE,MAAM,KAAK,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,EAAE,GACvF,MAAM,IAAI,mBAAmB,MAAM,IAAI,KAAK,KAAK,EAAE,IAAI,EAAE,GAAG,GAC5D,MAAM,IAAI,kBAAkB,MAAM,IAAI,KAAK,KAAK,EAAE,IAAI,EAAE,GAAG,GAC3D,MAAM,IAAI,kBAAkB,MAAM,IAAI,KAAK,KAAK,EAAE,IAAI,EAAE,GAAG,GAC3D,MAAM,IAAI,gBAAgB,MAAM;GAK9B,OAAO,KAAK,CAHV,GAAG,EAAE,KAAK,KAAK,MAAM,KAAK,KAAK,CAAC,CAAC,GACjC,GAAG,EAAE,QAAQ,KAAK,MAAM,IAAI,KAAK,KAAK,CAAC,GAAG,CAE5B,CAAC,CAAC,KAAK,KAAK,EAAE;EAChC,CAAC,GACD,MAAM,UACR;CACF;CAIA,WAAW,GAA2B;EACpC,OAAO,MAAM,MAAM,CAAC,CAAC,CAAC,KACpB,MAAM,IAAI,YAAY,aAAa,WAAW,aAAa,WAAW,MAAM,KAAK,KAAK,CAAC,CAAC,GACxF,MAAM,IACJ,iBACC,MACC,GAAG,KAAK,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,cAAc,KAAK,EAAE,KAAK,KAAK,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,EAChH,GACA,MAAM,IAAI,cAAc,MAAM;GAC5B,MAAM,MAAM,EAAE,eAAe,MAAM,MAAM,KAAK,WAAW,EAAE,UAAU;GACrE,MAAM,MACJ,EAAE,cAAc,KAAA,IAAY,kBAAkBD,aAAkB,EAAE,SAAS,EAAE,KAAK;GACpF,OAAO,GAAG,EAAE,KAAK,GAAG,EAAE,WAAW,cAAc,KAAK,MAAM,IAAI;EAChE,CAAC,GACD,MAAM,IACJ,WACC,MAAM,GAAG,EAAE,UAAU,eAAe,SAAS,GAAG,KAAK,MAAM,EAAE,SAAS,CAAC,GAC1E,GACA,MAAM,IAAI,cAAc,MAAM,KAAK,UAAU,CAAC,CAAC,GAC/C,MAAM,UACR;CACF;CAEA,UAAU,GAAoC;EAC5C,MAAM,OAAO,EAAE,KAAK,KAAK,MAAM,KAAK,WAAW,CAAC,CAAC;EACjD,OAAO,MAAM,MAAM,EAAE,QAAQ,CAAC,CAAC,KAC7B,MAAM,KACJ,MAAM,GAAG,MAAM,MAAM,KAAK,MAAM,KAAK,KAAK,MAAM,MAAM,KAAK,KAAK,KAAK,GAAG,IACvE,aAAa,IAAI,KAAK,KAAK,IAAI,SAAS,EAAE,EAAE,EAC/C,GACA,MAAM,KAAK,WAAW,KAAK,KAAK,GAAG,EAAE,GACrC,MAAM,KAAK,eAAe,KAAK,KAAK,GAAG,EAAE,GACzC,MAAM,KAAK,gBAAgB,KAAK,KAAK,GAAG,EAAE,GAC1C,MAAM,KACJ,MAAM,GAAG,MAAM,QAAQ,IACtB,aAAa,IAAI,KAAK,GAAG,GAAG,SAAS,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,GACrE,GACA,MAAM,KAAK,kBAAkB,YAAY,KAAK,KAAK,IAAI,EAAE,EAAE,GAC3D,MAAM,QAAQ,aAAa,GAAG,SAAS,GAAG,KAAK,KAAK,IAAI,EAAE,EAAE,CAC9D;CACF;CAIA,IAAI,OAAuB;EACzB,OAAO,KAAK,KAAK,OAAO,KAAK;CAC/B;CAEA,OAAO,GAAkE;EACvE,MAAM,IAAI,UAAU,SAAS,GAAG,aAAa,IAAI,KAAK,KAAK,EAAE,IAAI,IAAI,KAAK,KAAK,EAAE,SAAS;EAC1F,OAAO,GAAG,KAAK,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,KAAK,KAAK,EAAE,MAAM,EAAE;CAC7D;CAEA,MAAM,GAAqB,OAAuB;EAChD,MAAM,CAAC,MAAM,GAAG,QAAQ,EAAE;EAC1B,IAAI,SAAS,KAAA,GAAW,OAAO;EAC/B,IAAI,IAAI,qBAAqB,IAAI,KAAK,UAAU,SAAS,MAAM,WAAW,GACxE,OAAO,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,KAAK,OAAO,QAAQ,CAAC,EAAE,IAAI,KAAK,IAAI,KAAK,EAAE;EAG5F,OAAO,MADO,EAAE,SAAS,SAAS,MAAM,KAAK,QAAQ,GAAG,QAAQ,CAAC,CAChD,CAAC,CAAC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,IAAI,KAAK,IAAI,KAAK,EAAE;CACxF;CAEA,QAAQ,GAAgB,OAA8B;EACpD,OAAO,MAAM,MAAM,CAAC,CAAC,CAAC,KACpB,MAAM,IAAI,QAAQ,MAAqB,EAAE,QAAQ,KAAK,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,GAC3E,MAAM,IAAI,UAAU,MAAM,CAAC,KAAK,MAAM,GAAG,KAAK,CAAC,CAAC,GAChD,MAAM,IAAI,aAAa,MAAM,CAAC,YAAY,KAAK,MAAM,EAAE,SAAS,KAAK,GAAG,CAAC,GACzE,MAAM,IAAI,UAAU,MAAM,CAAC,SAAS,KAAK,MAAM,EAAE,SAAS,KAAK,GAAG,CAAC,GACnE,MAAM,IAAI,UAAU,MAAM,CAAC,EAAE,SAAS,KAAK,MAAM,KAAK,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,GACvF,MAAM,IAAI,UAAU,MAAM,CAAC,SAAS,KAAK,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE,SAAS,KAAK,GAAG,CAAC,GACxF,MAAM,IAAI,YAAY,MAAM,CAC1B,WAAW,EAAE,SAAS,YAAY,KAAK,KAAK,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE,SAAS,KAAK,GACzF,CAAC,GACD,MAAM,IAAI,WAAW,MAAM,CAAC,UAAU,KAAK,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC,GACvE,MAAM,IAAI,SAAS,MAAM,CACvB,QAAQ,KAAK,WAAW,EAAE,UAAU,EAAE,MAAM,KAAK,KAAK,EAAE,QAAQ,EAAE,EACpE,CAAC,GACD,MAAM,IAAI,WAAW,MAAM,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,GAC3C,MAAM,IAAI,cAAc,MAAM,CAC5B,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,OAAO,QAAQ,CAAC,EAAE,IAAI,KAAK,IAAI,KAAK,EAAE,EAClF,CAAC,GACD,MAAM,UACR;CACF;CAEA,OAAO,GAA8B;EAKnC,OAAO,WAJM,EAAE,UAAU,KAAK,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAIlC,EAAE,MAHV,EAAE,KACZ,KAAK,MAAM,IAAI,EAAE,KAAK,MAAO,MAAM,KAAA,IAAY,UAAU,KAAK,KAAK,CAAC,CAAE,CAAC,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC,CACrF,KAAK,GACwB,EAAE;CACpC;;CAKA,QAAQ,QAA0C,SAAmC;EACnF,OAAO,OAAO,MAAM,QAAQ;GAC1B,cAAc;GACd,SAAS,MACP,CACE,GAAG,EAAE,QAAQ,KAAK,MAAM,GAAG,QAAQ,GAAG,KAAK,IAAI,CAAC,EAAE,GAAG,GACrD,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,QAAQ,SAAS,KAAK,IAAI,CAAC,EAAE,GAAG,CAC3D,CAAC,CAAC,KAAK,EAAE;EACb,CAAC;CACH;CAEA,UAAU,GAA0B;EAClC,IAAI,MAAM;EACV,IAAI,IAAI,wBAAwB,EAAE,OAAO,GACvC,OAAO,cAAc,EAAE,QACpB,KAAK,MACJ,EAAE,aAAa,KAAA,IACX,IAAI,KAAK,WAAW,EAAE,UAAU,EAAE,MAAM,KAAK,KAAK,EAAE,QAAQ,EAAE,KAC9D,EAAE,WAAW,SAAS,aACpB,KAAK,KAAK,EAAE,UAAU,IACtB,IAAI,KAAK,WAAW,EAAE,UAAU,EAAE,EAC1C,CAAC,CACA,KAAK,GAAG;EAEb,IAAI,IAAI,wBAAwB,EAAE,MAAM,GACtC,OAAO,YAAY,EAAE,OAAO,KAAK,MAAM,IAAI,KAAK,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG;EAE5E,IAAI,IAAI,wBAAwB,EAAE,OAAO,GACvC,OAAO,cAAc,EAAE,QACpB,KAAK,MAAM,GAAG,EAAE,aAAa,SAAS,MAAM,GAAG,KAAK,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC,CAChF,KAAK,GAAG;EAEb,IAAI,EAAE,UAAU,KAAA,GAAW,OAAO,WAAW,EAAE;EAC/C,IAAI,EAAE,WAAW,KAAA,GAAW,OAAO,YAAY,EAAE;EACjD,OAAO;CACT;CAEA,OAAO,GAAoB,OAAuB;EAChD,MAAM,aACJ,EAAE,eAAe,MACb,MACA,EAAE,WACC,KAAK,MACJE,WAAgB,CAAC,IACb,KAAK,KAAK,CAAC,IACX,IAAI,KAAK,WAAW,EAAE,UAAU,EAAE,MAAM,KAAK,KAAK,EAAE,QAAQ,EAAE,EACpE,CAAC,CACA,KAAK,GAAG;EACjB,MAAM,OAAO,UAAU,EAAE,WAAW,cAAc,EAAE,UAAU,aAAa,KAAK;EAChF,MAAM,SAAS,EAAE,WAAW,KAAA,IAAY,KAAK,KAAK,OAAO,EAAE,MAAM,MAAM;EACvE,OAAO,GAAG,KAAK,IAAI,KAAK,QAAQ,OAAO,gBAAgB,EAAE,OAAO,GAAG,MAAM,EAAE,QAAQ,KAAK,MAAM,EAAE,OAAO,KAAK,IAAI,KAAK,UAAU,CAAC,IAAI;CACtI;CAEA,MAAM,GAAsB;EAC1B,MAAM,SAAS,EAAE,WAAW,KAAA,IAAY,KAAK,KAAK,OAAO,EAAE,MAAM,MAAM;EACvE,OAAO,MAAM,MAAM,CAAC,CAAC,CAAC,KACpB,MAAM,IAAI,WAAW,MAAM,KAAK,OAAO,GAAG,CAAC,CAAC,GAC5C,MAAM,IACJ,QACC,MACC,QAAQ,KAAK,QAAQ,OAAO,gBAAgB,EAAE,OAAO,GAAG,MAAM,EAAE,QAAQ,KAAK,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,QACzH,GACA,MAAM,IAAI,cAAc,MAAM;GAC5B,MAAM,WAAW,EAAE,SAAS,KAAK,MAAM,GAAG,KAAK,OAAO,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI;GACjF,OAAO,gBAAgB,WAAW,aAAa,KAAK,KAAK,KAAK,KAAK,KAAK,QAAQ,OAAO,gBAAgB,EAAE,OAAO,GAAG,MAAM,EAAE,QAAQ,KAAK,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;EAClL,CAAC,GACD,MAAM,IAAI,aAAa,MAAM;GAE3B,OAAO,YADO,EAAE,UAAU,MAAM,MAAM,EAAE,MAAM,KAAK,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EACtD,IAAI,KAAK,QAAQ,OAAO,gBAAgB,EAAE,OAAO,GAAG,MAAM,EAAE,QAAQ,KAAK,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;EAC5I,CAAC,GACD,MAAM,UACR;CACF;CAIA,MAAM,OAA2D;EAE/D,MAAM,OAGD,CAAC;EACN,MAAM,SAAS,MAAM;GACnB,MAAM,OAAO,KAAK,KAAK,SAAS;GAChC,IAAI,SAAS,KAAA,KAAa,KAAK,MAAM,QAAQ,EAAE,MAAM,KAAK,KAAK,MAAM,KAAK,CAAC;QACtE,KAAK,KAAK;IAAE,OAAO,EAAE;IAAO,OAAO,CAAC,CAAC;GAAE,CAAC;EAC/C,CAAC;EACD,MAAM,QAAQ,KAAK,SAAS,EAAE,OAAO,GAAG,OAAO,UAAU;GACvD,MAAM,UAAU,IAAI,KACjB,MAAM,GAAG,KAAK,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,KAAK,EAAE,MAAM,EAAE,GAClF;GACA,OAAOC,eAAoB,CAAC,IACxB,QAAQ,KAAK,MAAM,KAAK,OAAO,CAAC,IAChC,CAAC,GAAG,KAAK,KAAK,QAAQ,KAAK,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,OACtC,QAAQ,KAAK,MAAM,KAAK,OAAO,KAAK,OAAO,CAAC,GAC5C,CAAC,GAAG,KAAK,KAAK,EAAE,CAClB;EACN,CAAC;EACD,OAAO,IAAI,qBAAqB,KAAK,IAAI,OAAO,MAAM,MAAM,KAAK,IAAI,EAAE;CACzE;CAEA,YAAY,GAA4B;EACtC,OAAOF,YAAiB,CAAC,IAAI,SAAS,KAAK,IAAI,CAAC,MAAM,EAAE,KAAK,YAAY;CAC3E;CAEA,eAAe,GAA+B;EAC5C,OAAOE,eAAoB,CAAC,IAAI,YAAY,SAAS,KAAK,IAAI,CAAC;CACjE;CAEA,cAAc,IAAiC;EAC7C,OAAO,MAAM,MAAM,EAAE,CAAC,CAAC,KACrB,MAAM,IAAI,eAAe,MAAM,eAAe,KAAK,MAAM,EAAE,KAAK,GAAG,GACnE,MAAM,IAAI,eAAe,MAAM,eAAe,KAAK,MAAM,EAAE,KAAK,GAAG,GACnE,MAAM,IAAI,gBAAgB,MAAM,gBAAgB,KAAK,MAAM,EAAE,QAAQ,GAAG,GACxE,MAAM,IAAI,WAAW,MAAM;GACzB,IAAI,MAAM,EAAE,SAAS,KAAA,IAAY,QAAQ,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM;GAChE,IAAI,IAAI,wBAAwB,EAAE,MAAM,KAAK,IAAI,qBAAqB,EAAE,MAAM,GAC5E,OAAO,UAAU,KAAK,MAAM,EAAE,MAAM,EAAE;GAExC,IAAI,IAAI,wBAAwB,EAAE,MAAM,GAAG,OAAO,UAAU,KAAK,MAAM,EAAE,MAAM,EAAE;GACjF,OAAO,KAAK,QAAQ,OAAO,gBAAgB,EAAE,KAAK,GAAG,OAAO;GAC5D,OAAO,GAAG,IAAI,QAAQ,KAAK,MAAM,EAAE,OAAO,CAAC;EAC7C,CAAC,GACD,MAAM,IACJ,SACC,MACC,QAAQ,EAAE,SAAS,YAAY,KAAK,KAAK,IAAI,EAAE,MAAM,IAAI,EAAE,gBAAgB,KAAA,IAAY,eAAe,KAAK,IAAI,EAAE,WAAW,MAAM,IACtI,GACA,MAAM,IACJ,SACA,SACC,MAAM,GAAG,EAAE,KAAK,YAAY,EAAE,GAAG,EAAE,SAAS,YAAY,KAAK,KAAK,YAAY,EAAE,MAAM,GACzF,GACA,MAAM,IAAI,WAAW,MAAM,UAAU,EAAE,SAAS,YAAY,GAAG,QAAQ,KAAK,IAAI,EAAE,KAAK,GAAG,GAC1F,MAAM,IACJ,OACA,QACA,SACC,MACC,GAAG,EAAE,KAAK,YAAY,EAAE,GAAG,EAAE,SAAS,YAAY,KAAK,KAAK,eAAe,EAAE,MAAM,EAAE,MAAM,KAAK,eAAe,EAAE,WAAW,GAChI,GACA,MAAM,UACR;CACF;AACF;AAEA,MAAM,gBAAgB,aACpB;CACE,SAAS,YAAY,KAAA,IAAY,YAAYH,aAAkB,SAAS,OAAO,EAAE,OAAO;CACxF,SAAS,SAAS,KAAA,IAAY,SAASD,UAAe,SAAS,IAAI,EAAE,OAAO;CAC5E,GAAG,OAAO,UAAU,SAAS,QAAQ,CAAC,CAAC,KACpC,CAAC,QAAQ,QAAQ,UAAU,OAAO,KAAKA,UAAe,EAAE,EAAE,IAC7D;AACF,CAAC,CAAC,KAAK,EAAE;;;;;;;AAQX,MAAa,SAAS,KAA6B,YAAsC;CAEvF,MAAM,UAAU,IAAI,QADH,SAAS,YAAY,IAAI,SAAS,UACb,SAAS,UAAU,IAAI;CAC7D,MAAM,WACJ,SAAS,aAAa,QAClB,KACA,aACE,SAAS,aAAa,KAAA,IAClB;EAAE,GAAG,IAAI;EAAU,UAAU,QAAQ;CAAS,IAC9C,IAAI,QACV;CACN,IAAI,UAAU,SAAS,KAAK,QAAQ,GAClC,OAAO,WAAW,IAAI,WAAW,KAAK,OAAO,QAAQ,cAAc,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM;CAErF,OAAO,WAAW,QAAQ,MAAM,GAAG;AACrC;;;;;;;AAQA,MAAa,mBACX,YACA,WAA6C,CAAC,MACnC,IAAI,QAAQ,UAAU,IAAI,CAAC,CAAC,WAAW,UAAU;;;;;;;AAQ9D,MAAa,gBACX,SACA,WAA6C,CAAC,MACnC,IAAI,QAAQ,UAAU,IAAI,CAAC,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;AAQtE,MAAa,aACX,MACA,WAA6C,CAAC,MACnC,IAAI,QAAQ,UAAU,IAAI,CAAC,CAAC,KAAK,IAAI"}

package/dist/Grammar-CPlSxGH6.mjs

@@ -0,0 +1,200 @@
+import { t as __exportAll } from "./rolldown-runtime-D8jQpDG7.mjs";
+import { _ as stringEscape, a as digit, b as ucharEscape, c as echar, d as iriRef, f as langDir, g as pnCharsU, h as pnCharsBase, i as blankNodeLabel, l as hex, m as pnChars, n as alpha, o as dottedRun, p as langTag, r as alphanumeric, s as dottedTail, u as iriExcluded, v as stringLiteralQuote, y as uchar } from "./Grammar-mQ8CgE1M.mjs";
+import * as Option from "effect/Option";
+import * as Ascii from "@thomasfosterau/effect-parse/Ascii";
+import * as Parser from "@thomasfosterau/effect-parse/Parser";
+import * as Token from "@thomasfosterau/effect-parse/Token";
+// src/turtle/Grammar.ts
+/**
+* The Turtle grammar's terminals as `@thomasfosterau/effect-parse` parsers
+* over strings, for the grammars that include them: TriG, SPARQL, N3, ShExC
+* and the SPARQL results TSV format all reuse Turtle's terminals, each with
+* a few additions of its own. Names follow the grammar: `iriRef` is
+* `IRIREF`, `pnLocal` is `PN_LOCAL`, and so on.
+*
+* String-valued terminals return their *value*: escapes are decoded and
+* delimiters removed. The parsers neither skip whitespace nor resolve IRIs;
+* a grammar adds its own whitespace (`skip` here, for Turtle) and resolves
+* prefixed names and relative IRIs, typically after parsing so that the
+* grammar itself can be compiled with `Compiler.jit`.
+*
+* @since 0.1.0
+*/
+var Grammar_exports = /* @__PURE__ */ __exportAll({
+	alpha: () => alpha,
+	alphanumeric: () => alphanumeric,
+	blankNodeLabel: () => blankNodeLabel,
+	booleanLiteral: () => booleanLiteral,
+	comment: () => comment,
+	decimal: () => decimal,
+	digit: () => digit,
+	dottedRun: () => dottedRun,
+	dottedTail: () => dottedTail,
+	double: () => double,
+	echar: () => echar,
+	exponent: () => exponent,
+	hex: () => hex,
+	integer: () => integer,
+	iriExcluded: () => iriExcluded,
+	iriRef: () => iriRef,
+	langDir: () => langDir,
+	langTag: () => langTag,
+	numericLiteral: () => numericLiteral,
+	plx: () => plx,
+	pnChars: () => pnChars,
+	pnCharsBase: () => pnCharsBase,
+	pnCharsU: () => pnCharsU,
+	pnLocal: () => pnLocal,
+	pnPrefix: () => pnPrefix,
+	prefixedName: () => prefixedName,
+	skip: () => skip,
+	stringEscape: () => stringEscape,
+	stringLiteral: () => stringLiteral,
+	stringLiteralLongQuote: () => stringLiteralLongQuote,
+	stringLiteralLongSingleQuote: () => stringLiteralLongSingleQuote,
+	stringLiteralQuote: () => stringLiteralQuote,
+	stringLiteralSingleQuote: () => stringLiteralSingleQuote,
+	uchar: () => uchar,
+	ucharEscape: () => ucharEscape,
+	ws: () => ws
+});
+/**
+* `WS`: one space, tab, carriage return or line feed.
+*
+* @since 0.1.0
+* @category whitespace
+*/
+const ws = Token.oneOf(" 	\r\n");
+/**
+* A comment: `#` up to the end of the line (not included).
+*
+* @since 0.1.0
+* @category whitespace
+*/
+const comment = Parser.preceded(Token.literal("#"), Token.takeTill("\n\r"));
+/**
+* Whitespace and comments between Turtle tokens (possibly none).
+*
+* @since 0.1.0
+* @category whitespace
+*/
+const skip = Parser.asVoid(Parser.repeat(Parser.alt(Token.takeWhile(" 	\r\n", { min: 1 }), comment).pipe(Parser.expected("whitespace or a comment"))));
+/**
+* `PN_PREFIX`
+*
+* @since 0.1.0
+* @category terminals
+*/
+const pnPrefix = Parser.taken(Parser.seq(Token.oneOf(pnCharsBase), dottedRun(pnChars)));
+/**
+* `PLX`: a `PERCENT` (`%` and two hex digits) or a `PN_LOCAL_ESC` (`\` and
+* a reserved character).
+*
+* @since 0.1.0
+* @category terminals
+*/
+const plx = Parser.alt(Parser.seq(Token.literal("%"), Token.takeWhile(hex, 2)), Parser.seq(Token.literal("\\"), Token.oneOf("_~.-!$&'()*+,;=/?#@%")));
+/**
+* `PN_LOCAL`, with its `PN_LOCAL_ESC`s decoded (percent-encoding is kept, as
+* it is part of the IRI).
+*
+* @since 0.1.0
+* @category terminals
+*/
+const pnLocal = Parser.taken(Parser.seq(Parser.alt(Token.oneOf([
+	pnCharsU,
+	":",
+	digit
+]), plx), dottedRun([pnChars, ":"], plx))).pipe(Parser.map((s) => s.indexOf("\\") === -1 ? s : s.replace(/\\(.)/gu, "$1")));
+/**
+* `PNAME_LN` or `PNAME_NS` (with an empty local part).
+*
+* @since 0.1.0
+* @category terminals
+*/
+const prefixedName = Parser.seq(Parser.opt(pnPrefix), Token.literal(":"), Parser.opt(pnLocal)).pipe(Parser.map(([prefix, , local]) => ({
+	prefix: Option.getOrElse(prefix, () => ""),
+	local: Option.getOrElse(local, () => "")
+})));
+const shortString = (q) => Parser.delimited(Token.literal(q), Parser.cut(Ascii.escaped(Token.takeTill([
+	"\\",
+	q,
+	"\n\r"
+], { min: 1 }), "\\", stringEscape)), Parser.cut(Token.literal(q)));
+const longString = (q) => Parser.delimited(Token.literal(q.repeat(3)), Parser.cut(Ascii.escaped(Parser.alt(Token.takeTill(["\\", q], { min: 1 }), Parser.terminated(Token.literal(q), Parser.not(Token.literal(q + q)))), "\\", stringEscape)), Parser.cut(Token.literal(q.repeat(3))));
+/**
+* `STRING_LITERAL_SINGLE_QUOTE` (`STRING_LITERAL1`), returning the value.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const stringLiteralSingleQuote = shortString("'");
+/**
+* `STRING_LITERAL_LONG_QUOTE` (`STRING_LITERAL_LONG2`), returning the value.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const stringLiteralLongQuote = longString("\"");
+/**
+* `STRING_LITERAL_LONG_SINGLE_QUOTE` (`STRING_LITERAL_LONG1`), returning the
+* value.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const stringLiteralLongSingleQuote = longString("'");
+/**
+* Any of the four string literals (Turtle's `String`), returning the value.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const stringLiteral = Parser.alt(stringLiteralLongQuote, stringLiteralLongSingleQuote, stringLiteralQuote, stringLiteralSingleQuote).pipe(Parser.expected("a string literal"));
+const sign = Parser.opt(Token.oneOf("+-"));
+/**
+* `EXPONENT`
+*
+* @since 0.1.0
+* @category terminals
+*/
+const exponent = Parser.taken(Parser.seq(Token.oneOf("eE"), sign, Ascii.digit1));
+/**
+* `DOUBLE`, returning the lexical form.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const double = Parser.taken(Parser.seq(sign, Parser.alt(Parser.seq(Ascii.digit1, Token.literal("."), Ascii.digit0, exponent), Parser.seq(Parser.opt(Token.literal(".")), Ascii.digit1, exponent))));
+/**
+* `DECIMAL`, returning the lexical form.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const decimal = Parser.taken(Parser.seq(sign, Ascii.digit0, Token.literal("."), Ascii.digit1));
+/**
+* `INTEGER`, returning the lexical form.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const integer = Parser.taken(Parser.seq(sign, Ascii.digit1));
+/**
+* `DOUBLE`, `DECIMAL` or `INTEGER` (the longest that matches), returning the
+* lexical form and the datatype.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const numericLiteral = Parser.alt(double.pipe(Parser.map((v) => [v, "double"])), decimal.pipe(Parser.map((v) => [v, "decimal"])), integer.pipe(Parser.map((v) => [v, "integer"])));
+/**
+* `true` or `false`, not followed by a letter, digit or `_`.
+*
+* @since 0.1.0
+* @category terminals
+*/
+const booleanLiteral = Parser.terminated(Parser.alt(Token.literal("true"), Token.literal("false")), Parser.not(Token.oneOf([alphanumeric, "_"])));
+export { stringLiteralSingleQuote as _, double as a, numericLiteral as c, pnPrefix as d, prefixedName as f, stringLiteralLongSingleQuote as g, stringLiteralLongQuote as h, decimal as i, plx as l, stringLiteral as m, booleanLiteral as n, exponent as o, skip as p, comment as r, integer as s, Grammar_exports as t, pnLocal as u, ws as v };
+
+//# sourceMappingURL=Grammar-CPlSxGH6.mjs.map

package/dist/Grammar-CPlSxGH6.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Grammar-CPlSxGH6.mjs","names":[],"sources":["../src/turtle/Grammar.ts"],"sourcesContent":["/**\n * The Turtle grammar's terminals as `@thomasfosterau/effect-parse` parsers\n * over strings, for the grammars that include them: TriG, SPARQL, N3, ShExC\n * and the SPARQL results TSV format all reuse Turtle's terminals, each with\n * a few additions of its own. Names follow the grammar: `iriRef` is\n * `IRIREF`, `pnLocal` is `PN_LOCAL`, and so on.\n *\n * String-valued terminals return their *value*: escapes are decoded and\n * delimiters removed. The parsers neither skip whitespace nor resolve IRIs;\n * a grammar adds its own whitespace (`skip` here, for Turtle) and resolves\n * prefixed names and relative IRIs, typically after parsing so that the\n * grammar itself can be compiled with `Compiler.jit`.\n *\n * @since 0.1.0\n */\nimport * as Ascii from '@thomasfosterau/effect-parse/Ascii';\nimport * as Parser from '@thomasfosterau/effect-parse/Parser';\nimport * as Token from '@thomasfosterau/effect-parse/Token';\nimport * as Option from 'effect/Option';\nimport {\n  alphanumeric,\n  digit,\n  dottedRun,\n  hex,\n  pnChars,\n  pnCharsBase,\n  pnCharsU,\n  stringEscape,\n  stringLiteralQuote,\n} from '../ntriples/Grammar.ts';\n\n/**\n * The N-Triples terminals and character classes (`iriRef`,\n * `blankNodeLabel`, `langTag`, `langDir`, `stringLiteralQuote`, `uchar`,\n * `echar`, `pnChars`, …), which Turtle includes.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport * from '../ntriples/Grammar.ts';\n\n// -----------------------------------------------------------------------------\n// Whitespace and comments\n// -----------------------------------------------------------------------------\n\n/**\n * `WS`: one space, tab, carriage return or line feed.\n *\n * @since 0.1.0\n * @category whitespace\n */\nexport const ws: Parser.Parser<string> = Token.oneOf(' \\t\\r\\n');\n\n/**\n * A comment: `#` up to the end of the line (not included).\n *\n * @since 0.1.0\n * @category whitespace\n */\nexport const comment: Parser.Parser<string> = Parser.preceded(\n  Token.literal('#'),\n  Token.takeTill('\\n\\r'),\n);\n\n/**\n * Whitespace and comments between Turtle tokens (possibly none).\n *\n * @since 0.1.0\n * @category whitespace\n */\nexport const skip: Parser.Parser<void> = Parser.asVoid(\n  Parser.repeat(\n    Parser.alt(Token.takeWhile(' \\t\\r\\n', { min: 1 }), comment).pipe(\n      Parser.expected('whitespace or a comment'),\n    ),\n  ),\n);\n\n// -----------------------------------------------------------------------------\n// IRIs and names\n// -----------------------------------------------------------------------------\n\n/**\n * `PN_PREFIX`\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const pnPrefix: Parser.Parser<string> = Parser.taken(\n  Parser.seq(Token.oneOf(pnCharsBase), dottedRun(pnChars)),\n);\n\n/**\n * `PLX`: a `PERCENT` (`%` and two hex digits) or a `PN_LOCAL_ESC` (`\\` and\n * a reserved character).\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const plx: Parser.Parser<unknown> = Parser.alt(\n  Parser.seq(Token.literal('%'), Token.takeWhile(hex, 2)),\n  Parser.seq(Token.literal('\\\\'), Token.oneOf(\"_~.-!$&'()*+,;=/?#@%\")),\n);\n\n/**\n * `PN_LOCAL`, with its `PN_LOCAL_ESC`s decoded (percent-encoding is kept, as\n * it is part of the IRI).\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const pnLocal: Parser.Parser<string> = Parser.taken(\n  Parser.seq(Parser.alt(Token.oneOf([pnCharsU, ':', digit]), plx), dottedRun([pnChars, ':'], plx)),\n).pipe(Parser.map((s) => (s.indexOf('\\\\') === -1 ? s : s.replace(/\\\\(.)/gu, '$1'))));\n\n/**\n * A prefixed name, unexpanded.\n *\n * @since 0.1.0\n * @category models\n */\nexport interface PrefixedName {\n  readonly prefix: string;\n  /** The local part (empty for a `PNAME_NS`), with reserved character escapes removed. */\n  readonly local: string;\n}\n\n/**\n * `PNAME_LN` or `PNAME_NS` (with an empty local part).\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const prefixedName: Parser.Parser<PrefixedName> = Parser.seq(\n  Parser.opt(pnPrefix),\n  Token.literal(':'),\n  Parser.opt(pnLocal),\n).pipe(\n  Parser.map(([prefix, , local]) => ({\n    prefix: Option.getOrElse(prefix, () => ''),\n    local: Option.getOrElse(local, () => ''),\n  })),\n);\n\n// -----------------------------------------------------------------------------\n// Literals\n// -----------------------------------------------------------------------------\n\nconst shortString = (q: '\"' | \"'\"): Parser.Parser<string> =>\n  Parser.delimited(\n    Token.literal(q),\n    Parser.cut(Ascii.escaped(Token.takeTill(['\\\\', q, '\\n\\r'], { min: 1 }), '\\\\', stringEscape)),\n    Parser.cut(Token.literal(q)),\n  );\n\nconst longString = (q: '\"' | \"'\"): Parser.Parser<string> =>\n  Parser.delimited(\n    Token.literal(q.repeat(3)),\n    Parser.cut(\n      Ascii.escaped(\n        Parser.alt(\n          Token.takeTill(['\\\\', q], { min: 1 }),\n          Parser.terminated(Token.literal(q), Parser.not(Token.literal(q + q))),\n        ),\n        '\\\\',\n        stringEscape,\n      ),\n    ),\n    Parser.cut(Token.literal(q.repeat(3))),\n  );\n\n/**\n * `STRING_LITERAL_SINGLE_QUOTE` (`STRING_LITERAL1`), returning the value.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const stringLiteralSingleQuote: Parser.Parser<string> = shortString(\"'\");\n\n/**\n * `STRING_LITERAL_LONG_QUOTE` (`STRING_LITERAL_LONG2`), returning the value.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const stringLiteralLongQuote: Parser.Parser<string> = longString('\"');\n\n/**\n * `STRING_LITERAL_LONG_SINGLE_QUOTE` (`STRING_LITERAL_LONG1`), returning the\n * value.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const stringLiteralLongSingleQuote: Parser.Parser<string> = longString(\"'\");\n\n/**\n * Any of the four string literals (Turtle's `String`), returning the value.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const stringLiteral: Parser.Parser<string> = Parser.alt(\n  stringLiteralLongQuote,\n  stringLiteralLongSingleQuote,\n  stringLiteralQuote,\n  stringLiteralSingleQuote,\n).pipe(Parser.expected('a string literal'));\n\n/**\n * The XSD datatype of a numeric literal.\n *\n * @since 0.1.0\n * @category models\n */\nexport type NumericType = 'integer' | 'decimal' | 'double';\n\nconst sign = Parser.opt(Token.oneOf('+-'));\n\n/**\n * `EXPONENT`\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const exponent: Parser.Parser<string> = Parser.taken(\n  Parser.seq(Token.oneOf('eE'), sign, Ascii.digit1),\n);\n\n/**\n * `DOUBLE`, returning the lexical form.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const double: Parser.Parser<string> = Parser.taken(\n  Parser.seq(\n    sign,\n    Parser.alt(\n      Parser.seq(Ascii.digit1, Token.literal('.'), Ascii.digit0, exponent),\n      Parser.seq(Parser.opt(Token.literal('.')), Ascii.digit1, exponent),\n    ),\n  ),\n);\n\n/**\n * `DECIMAL`, returning the lexical form.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const decimal: Parser.Parser<string> = Parser.taken(\n  Parser.seq(sign, Ascii.digit0, Token.literal('.'), Ascii.digit1),\n);\n\n/**\n * `INTEGER`, returning the lexical form.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const integer: Parser.Parser<string> = Parser.taken(Parser.seq(sign, Ascii.digit1));\n\n/**\n * `DOUBLE`, `DECIMAL` or `INTEGER` (the longest that matches), returning the\n * lexical form and the datatype.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const numericLiteral: Parser.Parser<readonly [string, NumericType]> = Parser.alt(\n  double.pipe(Parser.map((v) => [v, 'double'] as const)),\n  decimal.pipe(Parser.map((v) => [v, 'decimal'] as const)),\n  integer.pipe(Parser.map((v) => [v, 'integer'] as const)),\n);\n\n/**\n * `true` or `false`, not followed by a letter, digit or `_`.\n *\n * @since 0.1.0\n * @category terminals\n */\nexport const booleanLiteral: Parser.Parser<'true' | 'false'> = Parser.terminated(\n  Parser.alt(Token.literal('true'), Token.literal('false')),\n  Parser.not(Token.oneOf([alphanumeric, '_'])),\n);\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmDA,MAAa,KAA4B,MAAM,MAAM,QAAS;;;;;;;AAQ9D,MAAa,UAAiC,OAAO,SACnD,MAAM,QAAQ,GAAG,GACjB,MAAM,SAAS,MAAM,CACvB;;;;;;;AAQA,MAAa,OAA4B,OAAO,OAC9C,OAAO,OACL,OAAO,IAAI,MAAM,UAAU,UAAW,EAAE,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,KAC1D,OAAO,SAAS,yBAAyB,CAC3C,CACF,CACF;;;;;;;AAYA,MAAa,WAAkC,OAAO,MACpD,OAAO,IAAI,MAAM,MAAM,WAAW,GAAG,UAAU,OAAO,CAAC,CACzD;;;;;;;;AASA,MAAa,MAA8B,OAAO,IAChD,OAAO,IAAI,MAAM,QAAQ,GAAG,GAAG,MAAM,UAAU,KAAK,CAAC,CAAC,GACtD,OAAO,IAAI,MAAM,QAAQ,IAAI,GAAG,MAAM,MAAM,sBAAsB,CAAC,CACrE;;;;;;;;AASA,MAAa,UAAiC,OAAO,MACnD,OAAO,IAAI,OAAO,IAAI,MAAM,MAAM;CAAC;CAAU;CAAK;AAAK,CAAC,GAAG,GAAG,GAAG,UAAU,CAAC,SAAS,GAAG,GAAG,GAAG,CAAC,CACjG,CAAC,CAAC,KAAK,OAAO,KAAK,MAAO,EAAE,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,QAAQ,WAAW,IAAI,CAAE,CAAC;;;;;;;AAoBnF,MAAa,eAA4C,OAAO,IAC9D,OAAO,IAAI,QAAQ,GACnB,MAAM,QAAQ,GAAG,GACjB,OAAO,IAAI,OAAO,CACpB,CAAC,CAAC,KACA,OAAO,KAAK,CAAC,UAAU,YAAY;CACjC,QAAQ,OAAO,UAAU,cAAc,EAAE;CACzC,OAAO,OAAO,UAAU,aAAa,EAAE;AACzC,EAAE,CACJ;AAMA,MAAM,eAAe,MACnB,OAAO,UACL,MAAM,QAAQ,CAAC,GACf,OAAO,IAAI,MAAM,QAAQ,MAAM,SAAS;CAAC;CAAM;CAAG;AAAM,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,YAAY,CAAC,GAC3F,OAAO,IAAI,MAAM,QAAQ,CAAC,CAAC,CAC7B;AAEF,MAAM,cAAc,MAClB,OAAO,UACL,MAAM,QAAQ,EAAE,OAAO,CAAC,CAAC,GACzB,OAAO,IACL,MAAM,QACJ,OAAO,IACL,MAAM,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,GACpC,OAAO,WAAW,MAAM,QAAQ,CAAC,GAAG,OAAO,IAAI,MAAM,QAAQ,IAAI,CAAC,CAAC,CAAC,CACtE,GACA,MACA,YACF,CACF,GACA,OAAO,IAAI,MAAM,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CACvC;;;;;;;AAQF,MAAa,2BAAkD,YAAY,GAAG;;;;;;;AAQ9E,MAAa,yBAAgD,WAAW,IAAG;;;;;;;;AAS3E,MAAa,+BAAsD,WAAW,GAAG;;;;;;;AAQjF,MAAa,gBAAuC,OAAO,IACzD,wBACA,8BACA,oBACA,wBACF,CAAC,CAAC,KAAK,OAAO,SAAS,kBAAkB,CAAC;AAU1C,MAAM,OAAO,OAAO,IAAI,MAAM,MAAM,IAAI,CAAC;;;;;;;AAQzC,MAAa,WAAkC,OAAO,MACpD,OAAO,IAAI,MAAM,MAAM,IAAI,GAAG,MAAM,MAAM,MAAM,CAClD;;;;;;;AAQA,MAAa,SAAgC,OAAO,MAClD,OAAO,IACL,MACA,OAAO,IACL,OAAO,IAAI,MAAM,QAAQ,MAAM,QAAQ,GAAG,GAAG,MAAM,QAAQ,QAAQ,GACnE,OAAO,IAAI,OAAO,IAAI,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,QAAQ,QAAQ,CACnE,CACF,CACF;;;;;;;AAQA,MAAa,UAAiC,OAAO,MACnD,OAAO,IAAI,MAAM,MAAM,QAAQ,MAAM,QAAQ,GAAG,GAAG,MAAM,MAAM,CACjE;;;;;;;AAQA,MAAa,UAAiC,OAAO,MAAM,OAAO,IAAI,MAAM,MAAM,MAAM,CAAC;;;;;;;;AASzF,MAAa,iBAAgE,OAAO,IAClF,OAAO,KAAK,OAAO,KAAK,MAAM,CAAC,GAAG,QAAQ,CAAU,CAAC,GACrD,QAAQ,KAAK,OAAO,KAAK,MAAM,CAAC,GAAG,SAAS,CAAU,CAAC,GACvD,QAAQ,KAAK,OAAO,KAAK,MAAM,CAAC,GAAG,SAAS,CAAU,CAAC,CACzD;;;;;;;AAQA,MAAa,iBAAkD,OAAO,WACpE,OAAO,IAAI,MAAM,QAAQ,MAAM,GAAG,MAAM,QAAQ,OAAO,CAAC,GACxD,OAAO,IAAI,MAAM,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,CAC7C"}

package/dist/Grammar-CRhnRoCu.d.mts

@@ -0,0 +1,148 @@
+import { _ as pnCharsU, a as blankNodeLabel, b as uchar, c as dottedTail, d as iriExcluded, f as iriRef, g as pnCharsBase, h as pnChars, i as alphanumeric, l as echar, m as langTag, n as LangDir, o as digit, p as langDir, r as alpha, s as dottedRun, u as hex, v as stringEscape, x as ucharEscape, y as stringLiteralQuote } from "./Grammar-D6jZdJQ3.mjs";
+import * as Parser from "@thomasfosterau/effect-parse/Parser";
+declare namespace Grammar_d_exports {
+  export { LangDir, NumericType, PrefixedName, alpha, alphanumeric, blankNodeLabel, booleanLiteral, comment, decimal, digit, dottedRun, dottedTail, double, echar, exponent, hex, integer, iriExcluded, iriRef, langDir, langTag, numericLiteral, plx, pnChars, pnCharsBase, pnCharsU, pnLocal, pnPrefix, prefixedName, skip, stringEscape, stringLiteral, stringLiteralLongQuote, stringLiteralLongSingleQuote, stringLiteralQuote, stringLiteralSingleQuote, uchar, ucharEscape, ws };
+}
+/**
+ * `WS`: one space, tab, carriage return or line feed.
+ *
+ * @since 0.1.0
+ * @category whitespace
+ */
+declare const ws: Parser.Parser<string>;
+/**
+ * A comment: `#` up to the end of the line (not included).
+ *
+ * @since 0.1.0
+ * @category whitespace
+ */
+declare const comment: Parser.Parser<string>;
+/**
+ * Whitespace and comments between Turtle tokens (possibly none).
+ *
+ * @since 0.1.0
+ * @category whitespace
+ */
+declare const skip: Parser.Parser<void>;
+/**
+ * `PN_PREFIX`
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const pnPrefix: Parser.Parser<string>;
+/**
+ * `PLX`: a `PERCENT` (`%` and two hex digits) or a `PN_LOCAL_ESC` (`\` and
+ * a reserved character).
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const plx: Parser.Parser<unknown>;
+/**
+ * `PN_LOCAL`, with its `PN_LOCAL_ESC`s decoded (percent-encoding is kept, as
+ * it is part of the IRI).
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const pnLocal: Parser.Parser<string>;
+/**
+ * A prefixed name, unexpanded.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+interface PrefixedName {
+  readonly prefix: string;
+  /** The local part (empty for a `PNAME_NS`), with reserved character escapes removed. */
+  readonly local: string;
+}
+/**
+ * `PNAME_LN` or `PNAME_NS` (with an empty local part).
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const prefixedName: Parser.Parser<PrefixedName>;
+/**
+ * `STRING_LITERAL_SINGLE_QUOTE` (`STRING_LITERAL1`), returning the value.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const stringLiteralSingleQuote: Parser.Parser<string>;
+/**
+ * `STRING_LITERAL_LONG_QUOTE` (`STRING_LITERAL_LONG2`), returning the value.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const stringLiteralLongQuote: Parser.Parser<string>;
+/**
+ * `STRING_LITERAL_LONG_SINGLE_QUOTE` (`STRING_LITERAL_LONG1`), returning the
+ * value.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const stringLiteralLongSingleQuote: Parser.Parser<string>;
+/**
+ * Any of the four string literals (Turtle's `String`), returning the value.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const stringLiteral: Parser.Parser<string>;
+/**
+ * The XSD datatype of a numeric literal.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+type NumericType = 'integer' | 'decimal' | 'double';
+/**
+ * `EXPONENT`
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const exponent: Parser.Parser<string>;
+/**
+ * `DOUBLE`, returning the lexical form.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const double: Parser.Parser<string>;
+/**
+ * `DECIMAL`, returning the lexical form.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const decimal: Parser.Parser<string>;
+/**
+ * `INTEGER`, returning the lexical form.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const integer: Parser.Parser<string>;
+/**
+ * `DOUBLE`, `DECIMAL` or `INTEGER` (the longest that matches), returning the
+ * lexical form and the datatype.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const numericLiteral: Parser.Parser<readonly [string, NumericType]>;
+/**
+ * `true` or `false`, not followed by a letter, digit or `_`.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const booleanLiteral: Parser.Parser<'true' | 'false'>;
+export { stringLiteralLongQuote as _, comment as a, ws as b, exponent as c, plx as d, pnLocal as f, stringLiteral as g, skip as h, booleanLiteral as i, integer as l, prefixedName as m, NumericType as n, decimal as o, pnPrefix as p, PrefixedName as r, double as s, Grammar_d_exports as t, numericLiteral as u, stringLiteralLongSingleQuote as v, stringLiteralSingleQuote as y };
+//# sourceMappingURL=Grammar-CRhnRoCu.d.mts.map

package/dist/Grammar-D6jZdJQ3.d.mts

@@ -0,0 +1,169 @@
+import * as Parser from "@thomasfosterau/effect-parse/Parser";
+import * as Token from "@thomasfosterau/effect-parse/Token";
+declare namespace Grammar_d_exports {
+  export { LangDir, alpha, alphanumeric, blankNodeLabel, digit, dottedRun, dottedTail, echar, hex, iriExcluded, iriRef, langDir, langTag, pnChars, pnCharsBase, pnCharsU, stringEscape, stringLiteralQuote, uchar, ucharEscape };
+}
+/**
+ * `[0-9]`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const digit: Token.StringTokenSet;
+/**
+ * `HEX`: `[0-9A-Fa-f]`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const hex: Token.StringTokenSet;
+/**
+ * `[A-Za-z]`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const alpha: Token.StringTokenSet;
+/**
+ * `[A-Za-z0-9]`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const alphanumeric: Token.StringTokenSet;
+/**
+ * `PN_CHARS_BASE`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const pnCharsBase: Token.StringTokenSet;
+/**
+ * `PN_CHARS_U`: `PN_CHARS_BASE | '_'`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const pnCharsU: Token.StringTokenSet;
+/**
+ * `PN_CHARS`
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const pnChars: Token.StringTokenSet;
+/**
+ * The characters `IRIREF` excludes (besides `\`, which starts a `UCHAR`):
+ * `[#x00-#x20<>"{}|^`]`.
+ *
+ * @since 0.1.0
+ * @category character classes
+ */
+declare const iriExcluded: Token.StringTokenSet;
+/**
+ * Runs of `chars` in which dots may appear, but not at the end: the
+ * `((chars | '.')* chars)?` tail of `PN_PREFIX`, `PN_LOCAL` and
+ * `BLANK_NODE_LABEL`.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+declare const dottedTail: <E, R>(chars: Parser.Parser<unknown, E, R>) => Parser.Parser<void, E, R>;
+/**
+ * The same language as `dottedTail(alt(oneOf(set), extra))`, written so that
+ * a compiled grammar scans each run of `set` in one tight loop: a name's
+ * characters, with dots allowed between them but not at the end. `extra`
+ * matches the other things a name may contain (`PLX` in `PN_LOCAL`).
+ *
+ * @since 0.1.0
+ * @category combinators
+ * @example
+ * ```ts
+ * import * as Parser from '@thomasfosterau/effect-parse/Parser';
+ * import * as Token from '@thomasfosterau/effect-parse/Token';
+ * import { dottedRun, pnChars } from './Grammar.ts';
+ *
+ * const name = Parser.taken(Parser.seq(Token.oneOf(pnChars), dottedRun(pnChars)));
+ * // `a.b.` reads as `a.b`, leaving the final dot
+ * ```
+ */
+declare const dottedRun: <E = never, R = never>(set: Token.StringTokenSet, extra?: Parser.Parser<unknown, E, R>) => Parser.Parser<void, E, R>;
+/**
+ * What follows the backslash of a `UCHAR` (`uXXXX` or `UXXXXXXXX`),
+ * returning the character. For use as the escape of `Ascii.escaped`.
+ *
+ * @since 0.1.0
+ * @category escapes
+ */
+declare const ucharEscape: Parser.Parser<string>;
+/**
+ * What follows the backslash of an `ECHAR` or a `UCHAR`, returning the
+ * character. For use as the escape of `Ascii.escaped`.
+ *
+ * @since 0.1.0
+ * @category escapes
+ */
+declare const stringEscape: Parser.Parser<string>;
+/**
+ * `UCHAR`: `\uXXXX` or `\UXXXXXXXX`, returning the character.
+ *
+ * @since 0.1.0
+ * @category escapes
+ */
+declare const uchar: Parser.Parser<string>;
+/**
+ * `ECHAR`: `\` followed by one of `tbnrf"'\`, returning the character.
+ *
+ * @since 0.1.0
+ * @category escapes
+ */
+declare const echar: Parser.Parser<string>;
+/**
+ * `IRIREF`, returning the IRI between the angle brackets with its `UCHAR`s
+ * decoded (not resolved against a base).
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const iriRef: Parser.Parser<string>;
+/**
+ * `BLANK_NODE_LABEL`, returning the label after `_:`.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const blankNodeLabel: Parser.Parser<string>;
+/**
+ * `STRING_LITERAL_QUOTE`, returning the value.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const stringLiteralQuote: Parser.Parser<string>;
+/**
+ * `LANGTAG` (RDF 1.1), returning the tag after `@`.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const langTag: Parser.Parser<string>;
+/**
+ * A language tag with its base direction.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+interface LangDir {
+  readonly language: string;
+  readonly direction: 'ltr' | 'rtl' | undefined;
+}
+/**
+ * `LANG_DIR` (RDF 1.2): a language tag optionally followed by `--ltr` or
+ * `--rtl`.
+ *
+ * @since 0.1.0
+ * @category terminals
+ */
+declare const langDir: Parser.Parser<LangDir>;
+export { pnCharsU as _, blankNodeLabel as a, uchar as b, dottedTail as c, iriExcluded as d, iriRef as f, pnCharsBase as g, pnChars as h, alphanumeric as i, echar as l, langTag as m, LangDir as n, digit as o, langDir as p, alpha as r, dottedRun as s, Grammar_d_exports as t, hex as u, stringEscape as v, ucharEscape as x, stringLiteralQuote as y };
+//# sourceMappingURL=Grammar-D6jZdJQ3.d.mts.map