syncraft 0.1.22__py3-none-any.whl → 0.1.25__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Potentially problematic release.
This version of syncraft might be problematic. Click here for more details.
- syncraft/ast.py +6 -3
- {syncraft-0.1.22.dist-info → syncraft-0.1.25.dist-info}/METADATA +1 -1
- {syncraft-0.1.22.dist-info → syncraft-0.1.25.dist-info}/RECORD +6 -6
- {syncraft-0.1.22.dist-info → syncraft-0.1.25.dist-info}/WHEEL +0 -0
- {syncraft-0.1.22.dist-info → syncraft-0.1.25.dist-info}/licenses/LICENSE +0 -0
- {syncraft-0.1.22.dist-info → syncraft-0.1.25.dist-info}/top_level.txt +0 -0
syncraft/ast.py
CHANGED
|
@@ -182,7 +182,7 @@ class ThenResult(Generic[A, B], StructuralResult):
|
|
|
182
182
|
return tuple(ret)
|
|
183
183
|
return ret, invf
|
|
184
184
|
|
|
185
|
-
def bimap(self, f: Bimap[Any, Any]=Bimap.identity()) -> Tuple[
|
|
185
|
+
def bimap(self, f: Bimap[Any, Any]=Bimap.identity()) -> Tuple[FlatThen, Callable[[FlatThen], ThenResult[A, B]]]:
|
|
186
186
|
match self.kind:
|
|
187
187
|
case ThenKind.LEFT:
|
|
188
188
|
lb, linv = self.left.bimap(f) if isinstance(self.left, StructuralResult) else f(self.left)
|
|
@@ -206,8 +206,11 @@ class ThenResult(Generic[A, B], StructuralResult):
|
|
|
206
206
|
ra = rinv(rraw)
|
|
207
207
|
return replace(self, left=la, right=ra)
|
|
208
208
|
return left_v + right_v, invf
|
|
209
|
-
|
|
210
|
-
|
|
209
|
+
|
|
210
|
+
def bimap_collected(self, f: Bimap[Any, Any]=Bimap.identity()) -> Tuple[MarkedThen, Callable[[MarkedThen], ThenResult[A, B]]]:
|
|
211
|
+
data, invf = self.bimap(f)
|
|
212
|
+
data, func = ThenResult.collect_marked(data)
|
|
213
|
+
return data, lambda d: invf(func(d))
|
|
211
214
|
|
|
212
215
|
|
|
213
216
|
def arity(self)->int:
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
syncraft/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
2
2
|
syncraft/algebra.py,sha256=Um8iMgVwlWcseQDkB_GqY-xmo0hR7zSw5j7oRRxrZhE,14122
|
|
3
|
-
syncraft/ast.py,sha256=
|
|
3
|
+
syncraft/ast.py,sha256=dpkHAkFBQKbpUyhBJBxZWESNDdqmgh7uytMO1Kvkjb4,13144
|
|
4
4
|
syncraft/constraint.py,sha256=4io1HM_2y5SJzMoeVowAr0a-SDE2jR-7uhCcZpa_FlM,6219
|
|
5
5
|
syncraft/diagnostic.py,sha256=cgwcQnCcgrCRX3h-oGTDb5rcJAtitPV3LfH9eLvO93E,2837
|
|
6
6
|
syncraft/finder.py,sha256=QySZcIjWZFMbRxGJVlJDxK9cmIuNA5vnoE-vYwLJiqA,3005
|
|
@@ -9,8 +9,8 @@ syncraft/parser.py,sha256=nSQInixB4j7H22HV_9YdOXfRB5aCPnhQYvMC_N5jnlo,11538
|
|
|
9
9
|
syncraft/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
|
|
10
10
|
syncraft/sqlite3.py,sha256=Pq09IHZOwuWg5W82l9D1flzd36QV0TOHQpTJ5U02V8g,34701
|
|
11
11
|
syncraft/syntax.py,sha256=wwMPAfae5mH4ip3Q2JOkvFkccPfoVDkb-Tk5o0U-ecI,14843
|
|
12
|
-
syncraft-0.1.
|
|
13
|
-
syncraft-0.1.
|
|
14
|
-
syncraft-0.1.
|
|
15
|
-
syncraft-0.1.
|
|
16
|
-
syncraft-0.1.
|
|
12
|
+
syncraft-0.1.25.dist-info/licenses/LICENSE,sha256=wHSV424U5csa3339dy1AZbsz2xsd0hrkMx2QK48CcUk,1062
|
|
13
|
+
syncraft-0.1.25.dist-info/METADATA,sha256=ybYAYa8aTHtmeLlmzNfXTycB3Mi13yAHL7_dIx354rk,1381
|
|
14
|
+
syncraft-0.1.25.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
|
|
15
|
+
syncraft-0.1.25.dist-info/top_level.txt,sha256=Kq3t8ESXB2xW1Xt3uPmkENFc-c4f2pamNmaURBk7zc8,9
|
|
16
|
+
syncraft-0.1.25.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|
|
File without changes
|