KTypes or KnownTypes is a an open-source library which provides a framework to formally define complex data types and functions between data types inside a formal type theoretic framework.
The type-specified universe coexists with the standard Python type system, allowing for seamless switching between formally typed functions and traditional pythonic methods. Runtime type-checking and library recursors serve as tools that ensure type correctness. A library parser is provided to facilitate the pipeline of ad-hoc data into the formal typed setting of KTypes.
1 maintainer
Release files for ktypes 0.0.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| ktypes-0.0.1.tar.gz | 11.1 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| ktypes-0.0.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 25.2 kB
Release files / ktypes-0.0.1.tar.gz
| Download URL | ktypes-0.0.1.tar.gz |
|---|---|
| Size | 11.1 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
e0ab943ecb925c77516c29924064e9e9b9d9287c65d70b998019d2f36076bd60
|
|
BLAKE2b-256 checksum How to use checksums |
116f2e10cdb2ee9b0b02376ff3942c6b06f27fd692d7852743dd954308f128f7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.59.0 CPython/3.8.5
|
Release files / ktypes-0.0.1-py3-none-any.whl
| Download URL | ktypes-0.0.1-py3-none-any.whl |
|---|---|
| Size | 14.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
1f0a1d799781585ad84e8b5929456817e13f81fddc155100dca349613be0abe5
|
|
BLAKE2b-256 checksum How to use checksums |
321a27f687134c8ea93c10c77fe3e75a196269a6302d2b77b46b5dd5a9c107e9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.59.0 CPython/3.8.5
|
