syncraft 0.2.6__tar.gz → 0.3.1__tar.gz

{syncraft-0.2.6/syncraft.egg-info → syncraft-0.3.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: syncraft
-Version: 0.2.6
+Version: 0.3.1
 Summary: Parser combinator library
 Author-email: Michael Afmokt <michael@esacca.com>
 License-Expression: MIT
@@ -9,7 +9,7 @@ Requires-Python: >=3.10
 Description-Content-Type: text/markdown
 License-File: LICENSE
 Requires-Dist: rstr>=3.2.2
-Requires-Dist: sqlglot>=27.7.0
+Requires-Dist: sqlglot>=27.14.0
 Dynamic: license-file
 
 # Syncraft
@@ -49,8 +49,12 @@ uv sync --group dev
 ```
 
 TODO
-- [ ] debug constraint.datalog
-- [ ] debug sqlite3
-- [ ] collect terminal from syntax and build PLY lexer
-- [ ] chunker
-- [ ] unify in find
+- [ ]  Static analysis tool based on Syntax.graph
+- [ ]  Profile hook on Cache
+- [ ]  try_parse based on Syntax.parallel
+- [ ]  regex.py convert Regex to FABuilder
+- [ ]  Visualization (railroad diagrams + AST).
+- [ ]  Interactive dev (Jupyter).
+- [ ]  Semantic layer (datalog + unification).
+
+

{syncraft-0.2.6 → syncraft-0.3.1}/README.md

@@ -35,8 +35,12 @@ uv sync --group dev
 ```
 
 TODO
-- [ ] debug constraint.datalog
-- [ ] debug sqlite3
-- [ ] collect terminal from syntax and build PLY lexer
-- [ ] chunker
-- [ ] unify in find
+- [ ]  Static analysis tool based on Syntax.graph
+- [ ]  Profile hook on Cache
+- [ ]  try_parse based on Syntax.parallel
+- [ ]  regex.py convert Regex to FABuilder
+- [ ]  Visualization (railroad diagrams + AST).
+- [ ]  Interactive dev (Jupyter).
+- [ ]  Semantic layer (datalog + unification).
+
+

{syncraft-0.2.6 → syncraft-0.3.1}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "syncraft"
-version = "0.2.6"
+version = "0.3.1"
 description = "Parser combinator library"
 license = "MIT"
 license-files = ["LICENSE"]
@@ -10,7 +10,7 @@ keywords = ["parser", "combinator", "sql", "sqlite", "generator", 'printer']
 requires-python = ">=3.10"
 dependencies = [
     "rstr>=3.2.2",
-    "sqlglot>=27.7.0",
+    "sqlglot>=27.14.0",
 ]
 
 
@@ -31,8 +31,14 @@ dev = [
     "nbval>=0.10.0",
     "pytest-profiling>=1.8.1",
     "snakeviz>=2.2.2",
+    "mypy>=1.18.2",
+    "regex>=2025.11.3",
+    "types-regex>=2025.11.3.20251106",
 ]
 
 
 [tool.setuptools]
 packages = ["syncraft"]
+
+[tool.setuptools.package-data]
+syncraft = ["cache/**/*"]

syncraft-0.3.1/syncraft/__init__.py

@@ -0,0 +1,100 @@
+from .syntax import (
+	Syntax,
+    SyntaxSpec,
+	Graph,
+    LazySpec,
+    ThenSpec,
+    ChoiceSpec,    
+)
+
+from .algebra import (
+    Algebra,
+    Error,
+    Left,
+    Right,
+    Either,
+)
+from .parser import (
+    Parser,
+	parse,
+    ParserState,
+    parser,
+    parse_data,
+    parse_word,
+)
+from .generator import (
+    Generator,
+	generate,
+    generate_with,
+    validate,
+)
+from .finder import (
+    Finder,
+	find,
+	matches,
+	anything,
+)
+from .constraint import (
+	Constraint,
+	Quantifier,
+	forall,
+	exists,
+)
+from .ast import (
+	AST,
+    Bimap,
+    Biarrow,
+	Token,
+	Then,
+	ThenKind,
+	Choice,
+	ChoiceKind,
+	Many,
+	Marked,
+	Collect,
+    Nothing,
+)
+from .charset import CodeUniverse, CharSet
+from .fa import FABuilder, DFA, NFA, DFARunner, NFARunner
+from .lexer import ExtLexer, Lexer
+from .utils import (
+    FrozenDict,
+    CallWith,
+)
+from .input import (
+	StreamCursor,
+)
+from .cache import Cache
+
+# Export commonly used class methods for convenience
+literal = Syntax.literal
+choice = Syntax.choice
+
+__all__ = [
+    # charset
+    "CodeUniverse", "CharSet",
+	# fa
+	"FABuilder", "DFA", "NFA", "DFARunner", "NFARunner",
+    # lexer
+	"ExtLexer", "Lexer",
+    # cache
+    "Cache",
+    # algebra
+    "Algebra", "Error", "Left", "Right", "Either",
+	# syntax & core
+	"Syntax", "SyntaxSpec", "Graph", "LazySpec", "ThenSpec", "ChoiceSpec",
+	# parsing/generation helpers
+	"parse", "parser", "parse_data", "parse_word", "ParserState",
+	"generate", "generate_with", "validate", "Parser", "Generator",
+	# finder
+	"find", "matches", "anything", "Finder",
+	# constraints
+	"Constraint", "Quantifier", "forall", "exists", "FrozenDict", "CallWith",
+	# ast
+	"AST", "Token", "Then", "ThenKind", "Choice", "ChoiceKind", "Many", "Marked", "Collect", "Bimap", "Biarrow", "Nothing",
+    # input
+	"StreamCursor",
+    # convenience exports
+    "literal",
+    "choice",
+]