tsemekwes.ts.types

  1# Generated by ts2python version 0.8.2 on 2026-06-07 15:07:01.005016
  2# compatibility level: Python 3.12 and above
  3
  4
  5import sys
  6from enum import Enum, IntEnum
  7
  8from typing import Union, Optional, Any, Generic, TypeVar, Callable, List, \
  9    Iterable, Iterator, Tuple, Dict, TypedDict, NotRequired, Literal, TypeAlias, \
 10    Awaitable, Self
 11try:
 12    from typing import ReadOnly
 13except ImportError:
 14    ReadOnly = Union
 15
 16
 17source_hash__ = "7bc2844d25206af759ebb26aec44998f"
 18
 19
 20##### BEGIN OF ts2python generated code
 21
 22
 23# Copyright © 2017-2026 Juancarlo Añez (apalala@gmail.com)
 24# SPDX-License-Identifier: Apache-2.0
 25# / Bridge types — mirrors the serialization in src/peg/json.ts
 26# / and the structure of grammar/tatsu.json.
 27
 28
 29class Exp(TypedDict):
 30    """Base type for all PEG expression nodes in the compiled grammar."""
 31
 32
 33class BoxExp(Exp, TypedDict):
 34    exp: 'AnyExp'
 35
 36
 37class NamedBoxExp(BoxExp, TypedDict):
 38    name: str
 39
 40
 41class NullExp(Exp, TypedDict):
 42    pass
 43
 44
 45class CutExp(Exp, TypedDict):
 46    pass
 47
 48
 49class VoidExp(Exp, TypedDict):
 50    pass
 51
 52
 53class FailExp(Exp, TypedDict):
 54    pass
 55
 56
 57class DotExp(Exp, TypedDict):
 58    pass
 59
 60
 61class EofExp(Exp, TypedDict):
 62    pass
 63
 64
 65class EolExp(Exp, TypedDict):
 66    pass
 67
 68
 69class EmptyClosureExp(Exp, TypedDict):
 70    pass
 71
 72
 73class TokenExp(Exp, TypedDict):
 74    token: str
 75
 76
 77class PatternExp(Exp, TypedDict):
 78    pattern: str
 79
 80
 81class ConstantExp(Exp, TypedDict):
 82    literal: Any
 83
 84
 85class AlertExp(Exp, TypedDict):
 86    literal: str
 87    level: float
 88
 89
 90# ── Call / reference ───────────────────────────────────────────────
 91
 92
 93class CallExp(Exp, TypedDict):
 94    name: str
 95
 96
 97class RuleIncludeExp(Exp, TypedDict):
 98    name: str
 99
100
101# ── Unary: one child ───────────────────────────────────────────────
102
103
104class GroupExp(BoxExp, TypedDict):
105    pass
106
107
108class SkipGroupExp(BoxExp, TypedDict):
109    pass
110
111
112class LookaheadExp(BoxExp, TypedDict):
113    pass
114
115
116class NegativeLookaheadExp(BoxExp, TypedDict):
117    pass
118
119
120class SkipToExp(BoxExp, TypedDict):
121    pass
122
123
124class AltExp(BoxExp, TypedDict):
125    pass
126
127
128class OptionalExp(BoxExp, TypedDict):
129    pass
130
131
132class ClosureExp(BoxExp, TypedDict):
133    pass
134
135
136class PositiveClosureExp(BoxExp, TypedDict):
137    pass
138
139
140class OverrideExp(BoxExp, TypedDict):
141    pass
142
143
144class OverrideListExp(BoxExp, TypedDict):
145    pass
146
147
148class NamedExp(NamedBoxExp, TypedDict):
149    pass
150
151
152class NamedListExp(NamedBoxExp, TypedDict):
153    pass
154
155
156class JoinExp(BoxExp, TypedDict):
157    sep: 'AnyExp'
158
159
160class PositiveJoinExp(BoxExp, TypedDict):
161    sep: 'AnyExp'
162
163
164class GatherExp(BoxExp, TypedDict):
165    sep: 'AnyExp'
166
167
168class PositiveGatherExp(BoxExp, TypedDict):
169    sep: 'AnyExp'
170
171
172# ── N-ary: array of children ───────────────────────────────────────
173
174
175class SeqExp(Exp, TypedDict):
176    sequence: List['AnyExp']
177
178
179class ChoiceExp(Exp, TypedDict):
180    options: List['AnyExp']
181
182
183# ── Discriminated union of all expression shapes ───────────────────
184
185type AnyExp = NullExp | CutExp | VoidExp | FailExp | DotExp | EofExp | EolExp | EmptyClosureExp | TokenExp | PatternExp | ConstantExp | AlertExp | CallExp | RuleIncludeExp | GroupExp | SkipGroupExp | LookaheadExp | NegativeLookaheadExp | SkipToExp | AltExp | OptionalExp | ClosureExp | PositiveClosureExp | OverrideExp | OverrideListExp | NamedExp | NamedListExp | JoinExp | PositiveJoinExp | GatherExp | PositiveGatherExp | SeqExp | ChoiceExp
186
187
188# ── Rule ───────────────────────────────────────────────────────────
189
190
191class Rule(TypedDict):
192    """A single PEG rule with name, params, decorators, and body expression."""
193    name: str
194    params: List[str]
195    kwparams: Dict[str, str]
196    decorators: List[str]
197    base: str | None
198    is_name: bool
199    is_tokn: bool
200    no_memo: bool
201    no_stak: bool
202    is_memo: bool
203    is_lrec: bool
204    exp: 'AnyExp'
205
206
207# ── Grammar ────────────────────────────────────────────────────────
208
209
210class Grammar(TypedDict):
211    """A compiled PEG grammar: name, directives, keywords, and rules."""
212    name: str
213    directives: Dict[str, Any]
214    keywords: List[str]
215    rules: List[Rule]
216
217
218##### END OF ts2python generated code
source_hash__ = '7bc2844d25206af759ebb26aec44998f'
class Exp(typing.TypedDict):
30class Exp(TypedDict):
31    """Base type for all PEG expression nodes in the compiled grammar."""

Base type for all PEG expression nodes in the compiled grammar.

class BoxExp(Exp, typing.TypedDict):
34class BoxExp(Exp, TypedDict):
35    exp: 'AnyExp'
exp: AnyExp
class NamedBoxExp(BoxExp, typing.TypedDict):
38class NamedBoxExp(BoxExp, TypedDict):
39    name: str
name: str
Inherited Members
BoxExp
exp
class NullExp(Exp, typing.TypedDict):
42class NullExp(Exp, TypedDict):
43    pass
class CutExp(Exp, typing.TypedDict):
46class CutExp(Exp, TypedDict):
47    pass
class VoidExp(Exp, typing.TypedDict):
50class VoidExp(Exp, TypedDict):
51    pass
class FailExp(Exp, typing.TypedDict):
54class FailExp(Exp, TypedDict):
55    pass
class DotExp(Exp, typing.TypedDict):
58class DotExp(Exp, TypedDict):
59    pass
class EofExp(Exp, typing.TypedDict):
62class EofExp(Exp, TypedDict):
63    pass
class EolExp(Exp, typing.TypedDict):
66class EolExp(Exp, TypedDict):
67    pass
class EmptyClosureExp(Exp, typing.TypedDict):
70class EmptyClosureExp(Exp, TypedDict):
71    pass
class TokenExp(Exp, typing.TypedDict):
74class TokenExp(Exp, TypedDict):
75    token: str
token: str
class PatternExp(Exp, typing.TypedDict):
78class PatternExp(Exp, TypedDict):
79    pattern: str
pattern: str
class ConstantExp(Exp, typing.TypedDict):
82class ConstantExp(Exp, TypedDict):
83    literal: Any
literal: Any
class AlertExp(Exp, typing.TypedDict):
86class AlertExp(Exp, TypedDict):
87    literal: str
88    level: float
literal: str
level: float
class CallExp(Exp, typing.TypedDict):
94class CallExp(Exp, TypedDict):
95    name: str
name: str
class RuleIncludeExp(Exp, typing.TypedDict):
98class RuleIncludeExp(Exp, TypedDict):
99    name: str
name: str
class GroupExp(BoxExp, typing.TypedDict):
105class GroupExp(BoxExp, TypedDict):
106    pass
Inherited Members
BoxExp
exp
class SkipGroupExp(BoxExp, typing.TypedDict):
109class SkipGroupExp(BoxExp, TypedDict):
110    pass
Inherited Members
BoxExp
exp
class LookaheadExp(BoxExp, typing.TypedDict):
113class LookaheadExp(BoxExp, TypedDict):
114    pass
Inherited Members
BoxExp
exp
class NegativeLookaheadExp(BoxExp, typing.TypedDict):
117class NegativeLookaheadExp(BoxExp, TypedDict):
118    pass
Inherited Members
BoxExp
exp
class SkipToExp(BoxExp, typing.TypedDict):
121class SkipToExp(BoxExp, TypedDict):
122    pass
Inherited Members
BoxExp
exp
class AltExp(BoxExp, typing.TypedDict):
125class AltExp(BoxExp, TypedDict):
126    pass
Inherited Members
BoxExp
exp
class OptionalExp(BoxExp, typing.TypedDict):
129class OptionalExp(BoxExp, TypedDict):
130    pass
Inherited Members
BoxExp
exp
class ClosureExp(BoxExp, typing.TypedDict):
133class ClosureExp(BoxExp, TypedDict):
134    pass
Inherited Members
BoxExp
exp
class PositiveClosureExp(BoxExp, typing.TypedDict):
137class PositiveClosureExp(BoxExp, TypedDict):
138    pass
Inherited Members
BoxExp
exp
class OverrideExp(BoxExp, typing.TypedDict):
141class OverrideExp(BoxExp, TypedDict):
142    pass
Inherited Members
BoxExp
exp
class OverrideListExp(BoxExp, typing.TypedDict):
145class OverrideListExp(BoxExp, TypedDict):
146    pass
Inherited Members
BoxExp
exp
class NamedExp(NamedBoxExp, typing.TypedDict):
149class NamedExp(NamedBoxExp, TypedDict):
150    pass
exp: AnyExp
Inherited Members
NamedBoxExp
name
class NamedListExp(NamedBoxExp, typing.TypedDict):
153class NamedListExp(NamedBoxExp, TypedDict):
154    pass
exp: AnyExp
Inherited Members
NamedBoxExp
name
class JoinExp(BoxExp, typing.TypedDict):
157class JoinExp(BoxExp, TypedDict):
158    sep: 'AnyExp'
sep: AnyExp
Inherited Members
BoxExp
exp
class PositiveJoinExp(BoxExp, typing.TypedDict):
161class PositiveJoinExp(BoxExp, TypedDict):
162    sep: 'AnyExp'
sep: AnyExp
Inherited Members
BoxExp
exp
class GatherExp(BoxExp, typing.TypedDict):
165class GatherExp(BoxExp, TypedDict):
166    sep: 'AnyExp'
sep: AnyExp
Inherited Members
BoxExp
exp
class PositiveGatherExp(BoxExp, typing.TypedDict):
169class PositiveGatherExp(BoxExp, TypedDict):
170    sep: 'AnyExp'
sep: AnyExp
Inherited Members
BoxExp
exp
class SeqExp(Exp, typing.TypedDict):
176class SeqExp(Exp, TypedDict):
177    sequence: List['AnyExp']
sequence: List[AnyExp]
class ChoiceExp(Exp, typing.TypedDict):
180class ChoiceExp(Exp, TypedDict):
181    options: List['AnyExp']
options: List[AnyExp]
class Rule(typing.TypedDict):
192class Rule(TypedDict):
193    """A single PEG rule with name, params, decorators, and body expression."""
194    name: str
195    params: List[str]
196    kwparams: Dict[str, str]
197    decorators: List[str]
198    base: str | None
199    is_name: bool
200    is_tokn: bool
201    no_memo: bool
202    no_stak: bool
203    is_memo: bool
204    is_lrec: bool
205    exp: 'AnyExp'

A single PEG rule with name, params, decorators, and body expression.

name: str
params: List[str]
kwparams: Dict[str, str]
decorators: List[str]
base: str | None
is_name: bool
is_tokn: bool
no_memo: bool
no_stak: bool
is_memo: bool
is_lrec: bool
exp: AnyExp
class Grammar(typing.TypedDict):
211class Grammar(TypedDict):
212    """A compiled PEG grammar: name, directives, keywords, and rules."""
213    name: str
214    directives: Dict[str, Any]
215    keywords: List[str]
216    rules: List[Rule]

A compiled PEG grammar: name, directives, keywords, and rules.

name: str
directives: Dict[str, Any]
keywords: List[str]
rules: List[Rule]