robyn 0.76.0__cp314-cp314-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

robyn/robyn.pyi

@@ -0,0 +1,562 @@
+from __future__ import annotations
+
+from dataclasses import dataclass
+from enum import Enum
+from typing import Callable, Optional, Union
+
+def get_version() -> str:
+    pass
+
+class SocketHeld:
+    def __init__(self, url: str, port: int):
+        pass
+    def try_clone(self) -> SocketHeld:
+        pass
+
+class MiddlewareType(Enum):
+    """
+    The middleware types supported by Robyn.
+
+    Attributes:
+        BEFORE_REQUEST: str
+        AFTER_REQUEST: str
+    """
+
+    BEFORE_REQUEST: str
+    AFTER_REQUEST: str
+
+class HttpMethod(Enum):
+    """
+    The HTTP methods supported by Robyn.
+
+    Attributes:
+        GET: str
+        POST: str
+        PUT: str
+        DELETE: str
+        PATCH: str
+        OPTIONS: str
+        HEAD: str
+        TRACE: str
+        CONNECT: str
+    """
+
+    GET: str
+    POST: str
+    PUT: str
+    DELETE: str
+    PATCH: str
+    OPTIONS: str
+    HEAD: str
+    TRACE: str
+    CONNECT: str
+
+@dataclass
+class FunctionInfo:
+    """
+    The function info object passed to the route handler.
+
+    Attributes:
+        handler (Callable): The function to be called
+        is_async (bool): Whether the function is async or not
+        number_of_params (int): The number of parameters the function has
+        args (dict): The arguments of the function
+        kwargs (dict): The keyword arguments of the function
+    """
+
+    handler: Callable
+    is_async: bool
+    number_of_params: int
+    args: dict
+    kwargs: dict
+
+@dataclass
+class Url:
+    """
+    The url object passed to the route handler.
+
+    Attributes:
+        scheme (str): The scheme of the url. e.g. http, https
+        host (str): The host of the url. e.g. localhost,
+        path (str): The path of the url. e.g. /user
+    """
+
+    scheme: str
+    host: str
+    path: str
+
+@dataclass
+class Identity:
+    claims: dict[str, str]
+
+class QueryParams:
+    """
+    The query params object passed to the route handler.
+
+    Attributes:
+        queries (dict[str, list[str]]): The query parameters of the request. e.g. /user?id=123 -> {"id": "123"}
+    """
+
+    def set(self, key: str, value: str) -> None:
+        """
+        Sets the value of the query parameter with the given key.
+        If the key already exists, the value will be appended to the list of values.
+
+        Args:
+            key (str): The key of the query parameter
+            value (str): The value of the query parameter
+        """
+        pass
+
+    def get(self, key: str, default: Optional[str] = None) -> Optional[str]:
+        """
+        Gets the last value of the query parameter with the given key.
+
+        Args:
+            key (str): The key of the query parameter
+            default (Optional[str]): The default value if the key does not exist
+        """
+        pass
+
+    def empty(self) -> bool:
+        """
+        Returns:
+            True if the query params are empty, False otherwise
+        """
+        pass
+
+    def contains(self, key: str) -> bool:
+        """
+        Returns:
+            True if the query params contain the key, False otherwise
+
+        Args:
+            key (str): The key of the query parameter
+        """
+        pass
+
+    def get_first(self, key: str) -> Optional[str]:
+        """
+        Gets the first value of the query parameter with the given key.
+
+        Args:
+            key (str): The key of the query parameter
+
+        """
+        pass
+
+    def get_all(self, key: str) -> Optional[list[str]]:
+        """
+        Gets all the values of the query parameter with the given key.
+
+        Args:
+            key (str): The key of the query parameter
+        """
+        pass
+
+    def extend(self, other: QueryParams) -> None:
+        """
+        Extends the query params with the other query params.
+
+        Args:
+            other (QueryParams): The other QueryParams object
+        """
+        pass
+
+    def to_dict(self) -> dict[str, list[str]]:
+        """
+        Returns:
+            The query params as a dictionary
+        """
+        pass
+
+    def __contains__(self, key: str) -> bool:
+        pass
+
+    def __repr__(self) -> str:
+        pass
+
+@dataclass
+class Cookie:
+    """
+    A cookie with optional attributes following RFC 6265.
+
+    Attributes:
+        value (str): The cookie value
+        path (Optional[str]): Cookie path (e.g. "/")
+        domain (Optional[str]): Cookie domain
+        max_age (Optional[int]): Max age in seconds
+        expires (Optional[str]): Expiry date (deprecated, use max_age instead)
+        secure (bool): Only send over HTTPS
+        http_only (bool): Not accessible via JavaScript
+        same_site (Optional[str]): "Strict", "Lax", or "None" (case-insensitive)
+    """
+
+    value: str
+    path: Optional[str] = None
+    domain: Optional[str] = None
+    max_age: Optional[int] = None
+    expires: Optional[str] = None
+    secure: bool = False
+    http_only: bool = False
+    same_site: Optional[str] = None
+
+    @staticmethod
+    def deleted() -> "Cookie":
+        """
+        Create a cookie configured for deletion (expires immediately with max_age=0).
+
+        Returns:
+            Cookie: A cookie that will be deleted by the browser
+        """
+        pass
+
+class Cookies:
+    """A collection of cookies keyed by name."""
+
+    def __init__(self) -> None:
+        pass
+
+    def set(self, name: str, cookie: Cookie) -> None:
+        """
+        Sets a cookie with the given name.
+
+        Args:
+            name (str): The name of the cookie
+            cookie (Cookie): The cookie object
+        """
+        pass
+
+    def get(self, name: str) -> Optional[Cookie]:
+        """
+        Gets the cookie with the given name.
+
+        Args:
+            name (str): The name of the cookie
+        """
+        pass
+
+    def remove(self, name: str) -> None:
+        """
+        Removes the cookie from the collection (does not delete it from the browser).
+
+        Args:
+            name (str): The name of the cookie
+        """
+        pass
+
+    def delete(self, name: str) -> None:
+        """
+        Mark a cookie for deletion by setting it to expire immediately.
+        This sets max_age=0 which tells the browser to delete the cookie.
+
+        Args:
+            name (str): The name of the cookie to delete
+        """
+        pass
+
+    def is_empty(self) -> bool:
+        """
+        Returns:
+            True if there are no cookies, False otherwise
+        """
+        pass
+
+    def keys(self) -> list[str]:
+        """
+        Returns:
+            A list of all cookie names
+        """
+        pass
+
+    def __setitem__(self, name: str, cookie: Cookie) -> None:
+        pass
+
+    def __getitem__(self, name: str) -> Optional[Cookie]:
+        pass
+
+    def __contains__(self, name: str) -> bool:
+        pass
+
+    def __len__(self) -> int:
+        pass
+
+    def __iter__(self) -> "CookiesIter":
+        pass
+
+    def __repr__(self) -> str:
+        pass
+
+class CookiesIter:
+    """Iterator for Cookies collection."""
+
+    def __iter__(self) -> "CookiesIter":
+        pass
+
+    def __next__(self) -> str:
+        pass
+
+class Headers:
+    def __init__(self, default_headers: Optional[dict]) -> None:
+        pass
+
+    def __getitem__(self, key: str) -> Optional[str]:
+        pass
+
+    def __setitem__(self, key: str, value: str) -> None:
+        pass
+
+    def set(self, key: str, value: str) -> None:
+        """
+        Sets the value of the header with the given key.
+        If the key already exists, the value will be appended to the list of values.
+
+        Args:
+            key (str): The key of the header
+            value (str): The value of the header
+        """
+        pass
+
+    def get(self, key: str) -> Optional[str]:
+        """
+        Gets the last value of the header with the given key.
+
+        Args:
+            key (str): The key of the header
+        """
+        pass
+
+    def populate_from_dict(self, headers: dict[str, str]) -> None:
+        """
+        Populates the headers from a dictionary.
+
+        Args:
+            headers (dict[str, str]): The dictionary of headers
+        """
+        pass
+
+    def contains(self, key: str) -> bool:
+        """
+        Returns:
+            True if the headers contain the key, False otherwise
+
+        Args:
+            key (str): The key of the header
+        """
+        pass
+
+    def append(self, key: str, value: str) -> None:
+        """
+        Appends the value to the header with the given key.
+
+        Args:
+            key (str): The key of the header
+            value (str): The value of the header
+        """
+        pass
+
+    def is_empty(self) -> bool:
+        """
+        Returns:
+            True if the headers are empty, False otherwise
+        """
+        pass
+
+@dataclass
+class Request:
+    """
+    The request object passed to the route handler.
+
+    Attributes:
+        query_params (QueryParams): The query parameters of the request. e.g. /user?id=123 -> {"id": "123"}
+        headers Headers: The headers of the request. e.g. Headers({"Content-Type": "application/json"})
+        path_params (dict[str, str]): The parameters of the request. e.g. /user/:id -> {"id": "123"}
+        body (Union[str, bytes]): The body of the request. If the request is a JSON, it will be a dict.
+        method (str): The method of the request. e.g. GET, POST, PUT etc.
+        url (Url): The url of the request. e.g. https://localhost/user
+        form_data (dict[str, str]): The form data of the request. e.g. {"name": "John"}
+        files (dict[str, bytes]): The files of the request. e.g. {"file": b"file"}
+        ip_addr (Optional[str]): The IP Address of the client
+        identity (Optional[Identity]): The identity of the client
+    """
+
+    query_params: QueryParams
+    headers: Headers
+    path_params: dict[str, str]
+    body: Union[str, bytes]
+    method: str
+    url: Url
+    form_data: dict[str, str]
+    files: dict[str, bytes]
+    ip_addr: Optional[str]
+    identity: Optional[Identity]
+
+    def json(self) -> dict:
+        """
+        If the body is a valid JSON this will return the parsed JSON data.
+        Otherwise, this will throw a ValueError.
+        """
+        pass
+
+@dataclass
+class Response:
+    """
+    The response object passed to the route handler.
+
+    Attributes:
+        status_code (int): The status code of the response. e.g. 200, 404, 500 etc.
+        response_type (Optional[str]): The response type of the response. e.g. text, json, html, file etc.
+        headers (Union[Headers, dict]): The headers of the response or Headers directly. e.g. {"Content-Type": "application/json"}
+        description (Union[str, bytes]): The body of the response. If the response is a JSON, it will be a dict.
+        file_path (Optional[str]): The file path of the response. e.g. /home/user/file.txt
+        cookies (Cookies): The cookies to set in the response.
+    """
+
+    status_code: int
+    headers: Union[Headers, dict]
+    description: Union[str, bytes]
+    response_type: Optional[str] = None
+    file_path: Optional[str] = None
+    cookies: Cookies = None  # Initialized automatically
+
+    def set_cookie(
+        self,
+        key: str,
+        value: str,
+        path: Optional[str] = None,
+        domain: Optional[str] = None,
+        max_age: Optional[int] = None,
+        expires: Optional[str] = None,
+        secure: bool = False,
+        http_only: bool = False,
+        same_site: Optional[str] = None,
+    ) -> None:
+        """
+        Sets a cookie in the response. If a cookie with the same key exists,
+        it will be overwritten.
+
+        Args:
+            key (str): The name of the cookie
+            value (str): The value of the cookie
+            path (Optional[str]): Cookie path (e.g. "/")
+            domain (Optional[str]): Cookie domain
+            max_age (Optional[int]): Max age in seconds
+            expires (Optional[str]): Expiry date (RFC 7231 format)
+            secure (bool): Only send over HTTPS
+            http_only (bool): Not accessible via JavaScript
+            same_site (Optional[str]): "Strict", "Lax", or "None"
+        """
+        pass
+
+class Server:
+    """
+    The Server object used to create a Robyn server.
+
+    This object is used to create a Robyn server and add routes, middlewares, etc.
+    """
+    def __init__(self) -> None:
+        pass
+    def add_directory(
+        self,
+        route: str,
+        directory_path: str,
+        show_files_listing: bool,
+        index_file: Optional[str],
+    ) -> None:
+        pass
+    def apply_request_headers(self, headers: Headers) -> None:
+        pass
+    def apply_response_headers(self, headers: Headers) -> None:
+        pass
+    def set_response_headers_exclude_paths(self, excluded_response_headers_paths: Optional[list[str]] = None):
+        pass
+
+    def add_route(
+        self,
+        route_type: HttpMethod,
+        route: str,
+        function: FunctionInfo,
+        is_const: bool,
+    ) -> None:
+        pass
+    def add_global_middleware(self, middleware_type: MiddlewareType, function: FunctionInfo) -> None:
+        pass
+    def add_middleware_route(
+        self,
+        middleware_type: MiddlewareType,
+        route: str,
+        function: FunctionInfo,
+        route_type: HttpMethod,
+    ) -> None:
+        pass
+    def add_startup_handler(self, function: FunctionInfo) -> None:
+        pass
+    def add_shutdown_handler(self, function: FunctionInfo) -> None:
+        pass
+    def add_web_socket_route(
+        self,
+        route: str,
+        connect_route: FunctionInfo,
+        close_route: FunctionInfo,
+        message_route: FunctionInfo,
+    ) -> None:
+        pass
+    def start(self, socket: SocketHeld, workers: int, client_timeout: int, keep_alive_timeout: int) -> None:
+        pass
+
+class WebSocketConnector:
+    """
+    The WebSocketConnector object passed to the route handler.
+
+    Attributes:
+        id (str): The id of the client
+        query_params (QueryParams): The query parameters object
+
+        async_broadcast (Callable): The function to broadcast a message to all clients
+        async_send_to (Callable): The function to send a message to the client
+        sync_broadcast (Callable): The function to broadcast a message to all clients
+        sync_send_to (Callable): The function to send a message to the client
+    """
+
+    id: str
+    query_params: QueryParams
+
+    async def async_broadcast(self, message: str) -> None:
+        """
+        Broadcasts a message to all clients.
+
+        Args:
+            message (str): The message to broadcast
+        """
+        pass
+    async def async_send_to(self, sender_id: str, message: str) -> None:
+        """
+        Sends a message to a specific client.
+
+        Args:
+            sender_id (str): The id of the sender
+            message (str): The message to send
+        """
+        pass
+    def sync_broadcast(self, message: str) -> None:
+        """
+        Broadcasts a message to all clients.
+
+        Args:
+            message (str): The message to broadcast
+        """
+        pass
+    def sync_send_to(self, sender_id: str, message: str) -> None:
+        """
+        Sends a message to a specific client.
+
+        Args:
+            sender_id (str): The id of the sender
+            message (str): The message to send
+        """
+        pass
+    def close(self) -> None:
+        """
+        Closes the connection.
+        """
+        pass