implica 1.1.6__cp38-abi3-win32.whl

implica/__init__.py

@@ -0,0 +1,40 @@
+from .implica import (
+    Variable,
+    Arrow,
+    BasicTerm,
+    Application,
+    Constant,
+    TypeSchema,
+    TermSchema,
+    NodePattern,
+    EdgePattern,
+    PathPattern,
+    Node,
+    Edge,
+    Graph,
+    Query,
+)
+
+from typing import Union
+
+Type = Union[Variable, Arrow]
+Term = Union[BasicTerm, Application]
+
+__all__ = [
+    "Variable",
+    "Arrow",
+    "Type",
+    "Term",
+    "Constant",
+    "BasicTerm",
+    "Application",
+    "TypeSchema",
+    "TermSchema",
+    "NodePattern",
+    "EdgePattern",
+    "PathPattern",
+    "Node",
+    "Edge",
+    "Graph",
+    "Query",
+]

implica/__init__.pyi

@@ -0,0 +1,250 @@
+from typing import Dict, Optional, Any, List, Callable
+
+# --- TYPING ---
+
+## -- Type -----
+class BaseType:
+    def uid(self) -> str: ...
+    def get_type_vars(self) -> List[Variable]: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+    def __eq__(self, value: Type) -> bool: ...
+
+class Variable(BaseType):
+    name: str
+
+    def __init__(self, name: str) -> None: ...
+
+class Arrow(BaseType):
+    left: Type
+    right: Type
+
+    def __init__(self, left: Type, right: Type) -> None: ...
+
+Type = Variable | Arrow
+
+## -- Term -----
+class BaseTerm:
+    def uid(self) -> str: ...
+    def type(self) -> Type: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+    def __eq__(self, value: Term) -> bool: ...
+    def __call__(self, other: Term) -> Term: ...
+
+class BasicTerm(BaseTerm):
+
+    name: str
+    type: Type
+
+class Application(BaseTerm):
+    function: Term
+    argument: Term
+
+Term = BasicTerm | Application
+
+## -- Constant -----
+class Constant:
+    name: str
+    type_schema: TypeSchema
+
+    def __init__(self, name: str, type_schema: TypeSchema, func: Callable) -> None: ...
+    def __call__(self, *args: Type) -> Term: ...
+
+# --- Graph -----
+
+## -- Node ------
+
+class Node:
+
+    type: Type
+    term: Optional[Term]
+    properties: Dict[str, Any]
+
+    def __init__(
+        self, type: Type, term: Optional[Term] = None, properties: Dict[str, Any] = {}
+    ) -> None: ...
+    def uid(self) -> str: ...
+    def __eq__(self, value: Node) -> bool: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+## -- Edge ------
+class Edge:
+
+    term: Term
+    start: Node
+    end: Node
+
+    def __init__(self, term: Term, start: Node, end: Node) -> None: ...
+    def uid(self) -> str: ...
+    def __eq__(self, value: Edge) -> bool: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+## -- Graph ------
+class Graph:
+    def __init__(self) -> None: ...
+    def query(self) -> Query: ...
+    def to_dot(self) -> str: ...
+    def to_force_graph_json(self) -> str: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+    def _get_all_nodes(self) -> List[Node]: ...  # discouraged for public use
+    def _get_all_edges(self) -> List[Edge]: ...  # discouraged for public use
+
+# --- Patterns -----
+
+Context = Dict[str, Type | Term]
+
+## -- TypeSchema ---
+class TypeSchema:
+
+    pattern: str
+
+    def __init__(self, pattern: str) -> None: ...
+    def matches(
+        self, type: Type, context: Context = {}, constants: List[Constant] = []
+    ) -> bool: ...
+    def get_type_vars(self, context: Context = {}) -> List[Variable]: ...
+    def as_type(self, context: Context = {}) -> Type: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+## -- TermSchema ---
+class TermSchema:
+
+    pattern: str
+
+    def __init__(self, pattern: str) -> None: ...
+    def matches(
+        self, term: Term, context: Context = {}, constants: List[Constant] = []
+    ) -> bool: ...
+    def as_term(self, context: Context = {}, constants: List[Constant] = []) -> Term: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+## -- NodePattern ---
+class NodePattern:
+
+    variable: Optional[str]
+
+    type: Optional[TypeSchema]
+    type_schema: Optional[TypeSchema]
+
+    term: Optional[Term]
+    term_schema: Optional[TermSchema]
+
+    properties: Dict[str, Any]
+
+    def __init__(
+        self,
+        variable: Optional[str] = None,
+        type: Optional[TypeSchema] = None,
+        type_schema: Optional[TypeSchema] = None,
+        term: Optional[Term] = None,
+        term_schema: Optional[TermSchema] = None,
+        properties: Dict[str, Any] = {},
+    ) -> None: ...
+    def matches(self, node, context: Context = {}, constants: List[Constant] = []) -> bool: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+class EdgePattern:
+
+    variable: Optional[str]
+
+    type: Optional[Type]
+    type_schema: Optional[TypeSchema]
+
+    term: Optional[Term]
+    term_schema: Optional[TermSchema]
+
+    properties: Dict[str, Any]
+
+    direction: str
+
+    def __init__(
+        self,
+        variable: Optional[str] = None,
+        type: Optional[Type] = None,
+        type_schema: Optional[TypeSchema] = None,
+        term: Optional[Term] = None,
+        term_schema: Optional[TermSchema] = None,
+        properties: Dict[str, Any] = {},
+        direction: str = "forward",
+    ) -> None: ...
+    def matches(self, edge, context: Context = {}, constants: List[Constant] = []) -> bool: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+## -- PathPattern ---
+class PathPattern:
+
+    nodes: list[NodePattern]
+    edges: list[EdgePattern]
+
+    def __init__(self, pattern: Optional[str] = None) -> None: ...
+    def add_node(self, node_pattern: NodePattern) -> None: ...
+    def add_edge(self, edge_pattern: EdgePattern) -> None: ...
+    def __str__(self) -> str: ...
+    def __repr__(self) -> str: ...
+
+# --- Query -----
+
+QueryResult = Node | Edge
+
+class Query:
+    def __init__(self, graph: Graph) -> None: ...
+    def match(
+        self,
+        pattern: Optional[str] = None,
+        node: Optional[str] = None,
+        edge: Optional[str] = None,
+        start: Optional[str] = None,
+        end: Optional[str] = None,
+        type: Optional[Type] = None,
+        type_schema: Optional[TypeSchema] = None,
+        term: Optional[Term] = None,
+        term_schema: Optional[TermSchema] = None,
+        properties: Optional[Dict[str, Any]] = None,
+    ) -> "Query": ...
+    def where(self, condition: str) -> "Query": ...
+    def create(
+        self,
+        pattern: Optional[str] = None,
+        node: Optional[str] = None,
+        edge: Optional[str] = None,
+        start: Optional[str] = None,
+        end: Optional[str] = None,
+        type: Optional[Type] = None,
+        type_schema: Optional[TypeSchema] = None,
+        term: Optional[Term] = None,
+        term_schema: Optional[TermSchema] = None,
+        properties: Optional[Dict[str, Any]] = None,
+    ) -> "Query": ...
+    def merge(
+        self,
+        pattern: Optional[str] = None,
+        node: Optional[str] = None,
+        edge: Optional[str] = None,
+        start: Optional[str] = None,
+        end: Optional[str] = None,
+        type: Optional[Type] = None,
+        type_schema: Optional[TypeSchema] = None,
+        term: Optional[Term] = None,
+        term_schema: Optional[TermSchema] = None,
+        properties: Optional[Dict[str, Any]] = None,
+    ) -> "Query": ...
+    def add(
+        self, variable: str, type: Optional[Type] = None, term: Optional[Term] = None
+    ) -> "Query": ...
+    def set(self, variable: str, properties: Dict[str, Any]) -> "Query": ...
+    def delete(self, *variables: str) -> "Query": ...
+    def with_(self, *variables: str) -> "Query": ...
+    def order_by(self, *variables: str, ascending: bool = True) -> "Query": ...
+    def limit(self, count: int) -> "Query": ...
+    def skip(self, count: int) -> "Query": ...
+    def execute(self) -> "Query": ...
+    def return_(self, *variables: str) -> List[Dict[str, QueryResult]]: ...
+    def return_count(self) -> int: ...

implica-1.1.6.dist-info/METADATA

@@ -0,0 +1,12 @@
+Metadata-Version: 2.4
+Name: implica
+Version: 1.1.6
+Classifier: Programming Language :: Rust
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Programming Language :: Python :: Implementation :: PyPy
+Requires-Dist: pytest>=9.0.2 ; extra == 'dev'
+Requires-Dist: pytest-cov>=7.0.0 ; extra == 'dev'
+Requires-Dist: black>=25.9.0 ; extra == 'dev'
+Provides-Extra: dev
+License-File: LICENSE
+Requires-Python: >=3.8

implica-1.1.6.dist-info/RECORD

@@ -0,0 +1,8 @@
+implica-1.1.6.dist-info/METADATA,sha256=TRz9GS_V3urHj1z910wnF4tvPfkXxX01bG4zTFqAf4s,440
+implica-1.1.6.dist-info/WHEEL,sha256=IGz6Xaz9OKvI_4gtEVDu014b2V6v5eVVRhpT9dYplW4,91
+implica-1.1.6.dist-info/licenses/LICENSE,sha256=pnN2oDeYblNGqpxtiTtQdHVtghYLLp_V1A4Vf_MwPZ0,1098
+implica/__init__.py,sha256=mkD_43hqEiMoheDMBeVTrvInpojg2DAlsopBbk_Bh8Y,618
+implica/__init__.pyi,sha256=AuE8IxC67cF53MQ2pDLfHcC8-e6-Yrmha9SLiEUZ1bQ,7380
+implica/implica.pyd,sha256=jNTFwZg2rWwrR138bWnGAxovV6fsER0bIKgIT-PWshc,5718016
+implica/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+implica-1.1.6.dist-info/RECORD,,

implica-1.1.6.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: maturin (1.10.2)
+Root-Is-Purelib: false
+Tag: cp38-abi3-win32

implica-1.1.6.dist-info/licenses/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 implica contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.