andras/reconcile
andras/reconcile
Watch
1
0
Fork
You've already forked reconcile
 0
Code Issues Pull requests 10 Projects Releases Packages Wiki Activity Actions

Push down types

Browse source
This commit is contained in:
Andras Schmelczer 2026-10-29 08:14:09 +00:00
commit 47479896d5
1 changed files with 82 additions and 161 deletions
Download patch file Download diff file Expand all files Collapse all files

29
reconcile-python/python/reconcile_text/_native.pyi
View file

@ -1,24 +1,29 @@
from typing import Any
from reconcile_text._types import (
BuiltinTokenizer,
TextInput,
TextWithCursors,
TextWithCursorsAndHistory,
)
def reconcile(
parent: str,
left: Any,
right: Any,
tokenizer: str = "Word",
) -> dict[str, Any]: ...
left: TextInput,
right: TextInput,
tokenizer: BuiltinTokenizer = "Word",
) -> TextWithCursors: ...
def reconcile_with_history(
parent: str,
left: Any,
right: Any,
tokenizer: str = "Word",
) -> dict[str, Any]: ...
left: TextInput,
right: TextInput,
tokenizer: BuiltinTokenizer = "Word",
) -> TextWithCursorsAndHistory: ...
def diff(
parent: str,
changed: Any,
tokenizer: str = "Word",
changed: TextInput,
tokenizer: BuiltinTokenizer = "Word",
) -> list[int | str]: ...
def undiff(
parent: str,
diff: list[int | str],
tokenizer: str = "Word",
tokenizer: BuiltinTokenizer = "Word",
) -> str: ...