parent :< child
✅
child :< parent
❌
i.e (fn args)
def eat(anima: Animal): ...
eat(Dog())
def bark(dog: Dog): ...
from datetime import datetime | |
import json | |
import re | |
import timeit | |
from contextlib import contextmanager | |
from dataclasses import dataclass | |
from typing import Annotated, Any, Callable, Iterator, TypedDict | |
from pydantic.annotated_handlers import GetJsonSchemaHandler |
from collections.abc import Awaitable, Callable | |
from contextvars import ContextVar | |
from typing import Concatenate, Protocol | |
from result.result import Err, Ok, Result | |
from t5hob_sdk.bases.err import AuthorizationErr | |
class CheckPermissionCmd: |
{"help": "https://data.gov.il/api/3/action/help_show?name=datastore_search", "success": true, "result": {"include_total": true, "limit": 500, "records_format": "objects", "resource_id": "5c78e9fa-c2e2-4771-93ff-7f400a12f7ba", "total_estimation_threshold": null, "records": [{"_id":1,"סמל_ישוב":"0 ","שם_ישוב":"לא רשום ","שם_ישוב_לועזי":" ","סמל_נפה":0,"שם_נפה":"לא ידוע ","סמל_לשכת_מנא":0,"לשכה":" ","סמל_מועצה_איזורית":0,"שם_מועצה":null},{"_id":2,"סמל_ישוב":"3400 ","שם_ישוב":"חברון ","שם_ישוב_לועזי":" ","סמל_נפה":77,"שם_נפה":"חברון ","סמל_לשכת_מנא":11,"לשכה":"ירושלים ","סמל_מועצה_איזורית":0,"שם_מועצה":null},{"_id":3,"סמל_ישוב":"1347 ","שם_ישוב":"קצר א-סר ","שם_ישוב_לועזי":" ","סמל_נפה":62,"שם_נפה":"באר שבע ","סמל_לשכת_מנא":62,"לשכה":"באר שבע ","סמל_מועצה_איזורית":68,"שם_מועצה":"נווה מדבר"},{"_id":4,"סמל_ישוב":"1331 ","שם_ישוב":"כמאנה ","שם_ישוב_לועזי":" ","סמל_נפה":24,"שם_נפה":"עכו ","סמל_לשכת_מנא":20,"לשכה":"כרמיאל ","סמל_מועצה_איזורית":56,"שם_מועצה":"משגב"},{"_id":5,"סמל_ישוב":"3777 ","שם_ישוב":"סנסנה ","שם_יש |
from collections.abc import Callable | |
from typing import Literal, dataclass_transform | |
import strawberry | |
from strawberry.type import get_object_definition | |
@dataclass_transform() | |
def dataclass_to_strawberry[T: type](kind: Literal["input", "type"] = "type") -> Callable[[T], T]: | |
def inner(cls: T) -> T: |
from __future__ import annotations | |
import contextlib | |
import dataclasses | |
import enum | |
from importlib import import_module | |
from typing import TYPE_CHECKING, Generic, TypeVar, get_type_hints | |
from django.db import models | |
from django.utils.translation import gettext_lazy as _ |
template<typename T> | |
struct SubscribeAbleField; | |
template<typename T> | |
struct InSyncValue{ | |
std::function<void(const T&)> on_changed; | |
void notify(const SubscribeAbleField<T>* sub){ | |
on_changed(sub->value); | |
} | |
}; |
from __future__ import annotations | |
import json | |
import re | |
import subprocess | |
from pathlib import Path | |
import pytest | |
from typing_extensions import TypedDict |
from __future__ import annotations | |
import subprocess | |
from pathlib import Path | |
import pytest | |
from tests.conftest import IS_WINDOWS | |
exe_suffix = "exe" if IS_WINDOWS else "so" |
from __future__ import annotations | |
import contextlib | |
import glob | |
import os | |
import subprocess | |
from functools import cached_property | |
from pathlib import Path | |
from conan import ConanFile |