The needle from tombulled

needle's People

Contributors

Watchers

needle's Issues

:sparkles: Implement Type Compatibility Checking

1. Types are the same
Essentially t0 is t1

class Animal:
    pass

class Dog(Animal):
    pass

>>> is_compatible(Animal, Animal)
True
>>> is_compatible(Dog, Animal)
False

2. Type is a subclass
Essentially issubclass(t0, t1)

class Animal:
    pass

class Dog(Animal):
    pass

>>> is_compatible(Animal, Animal)
True
>>> is_compatible(Dog, Animal)
True

3. Type implements interface
Uses isinstance(t0, t1)

@runtime_checkable
class Processor(Protocol):
    def process(self, data: str, /) -> str:
        ...

class UpperProcessor:
    def process(self, data: str, /) -> str:
        return data.upper()

>>> is_compatible(UpperProcessor, Processor)
True

4. Simple type annotations

>>> is_compatible(int, Any)
True
>>> is_compatible(list, List)
True
>>> is_compatible(list, Sequence)
True

5. More complex type annotations

>>> is_compatible(None, Optional[str])
True
>>> is_compatible(str, Union[str, int])
True
>>> is_compatible(List[int], List[Any])
True
>>> is_compatible(List[int], List[str])
False
>>> is_compatible(Dict[str, int], Mapping[str, int])
True

Complex type annotations

>>> is_compatible(List[Dict[str, Dog]], Sequence[Mapping[str, Animal]])
True

:construction_worker: Add CI/CD

:exploding_head: Algorithmically Solve Dependencies

:sparkles: Cache Dependencies

:sparkles: Automatically Create Sequences of Dependencies

Pseudocode:

@dataclass
class Animal:
    name: str

class Dog(Animal):
    pass

class Cat(Animal):
    pass

@bean
def dog() -> Dog:
    return Dog("Baxter")

@bean
def cat() -> Cat:
    return Cat("Biscuit")

>>> resolve(List[Animal])
[Dog("Baxter"), Cat("Biscuit")]

Recommend Projects