Package Health Score

57 / 100

security
No known security issues
popularity
Limited
maintenance
Inactive
community
Active

Explore Similar Packages

depending
33

Popularity

Limited

GitHub Stars: 205
Forks: 9
Contributors: 7

Direct Usage Popularity

Based on project statistics from the GitHub repository for the PyPI package dependent-types, we found that it has been starred 205 times.

Security

No known security issues

Security and license risk for latest version

Release Date: Mar 26, 2020
Direct Vulnerabilities: 0
C
0
H
0
M
0
L
Indirect Vulnerabilities: 0
C
0
H
0
M
0
L
License Risk: 0
H
0
M
0
L

All security vulnerabilities belong to production dependencies of direct and indirect packages.

License

BSD-3-Clause

Security Policy

We found a way for you to contribute to the project! Looks like dependent-types is missing a security policy.

You can connect your project's repository to Snyk to stay up to date on security alerts and receive automatic fix pull requests.

Keep your project free of vulnerabilities with Snyk

Maintenance

Inactive

Commit Frequency

Open Issues: 11
Open PR: 2
Last Release: 5 years ago
Last Commit: 22 days ago

Further analysis of the maintenance status of dependent-types based on released PyPI versions cadence, the repository activity, and other data points determined that its maintenance is Inactive.

An important project maintenance signal to consider for dependent-types is that it hasn't seen any new versions released to PyPI in the past 12 months, and could be considered as a discontinued project, or that which receives low attention from its maintainers.

As a healthy sign for on-going project maintenance, we found that the GitHub repository had at least 1 pull request or issue interacted with by the community.

Community

Active

Readme: Yes
Contributing.md: Yes
Code of Conduct: Yes
Contributors: 7
Funding: No

This project has seen only 10 or less contributors.

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Ensure all the packages you're using are healthy and well-maintained

Snyk Vulnerability Scanner

Get health score & security insights directly in your IDE

Package

Python Versions Compatibility: >=3.8

Age: 5 years
Latest Release: 5 years ago
Dependencies: 0 Direct
Versions: 2
Maintainers: 0
Wheels: OS Independent

Readme

dependent-types

Dependent types for Python.

Installation

python3 -m pip install dependent-types

Abstract

Make illegal states unrepresentable.
Parse, don't validate
Abuse __instancecheck__ and type-guards.
Values are checked at runtime but no extra instances/subclasses are instantiated.

Usage

Builtin types

`dept.datetime`

TZAware
TZNaive

`dept.numeric`

Natural
NegativeInt
Portion

`dept.re`

Match

`dept.sized`

NonEmpty
Empty

Creating dependent types

To create new dependent types, subclass dept.base.Dependent and define an __instancecheck__ method:

from typing import Any
from typing import TYPE_CHECKING

from dept.base import Dependent


class Greeting(str, Dependent):
    @classmethod
    def __instancecheck__(cls, instance: Any) -> bool:
        return (
            isinstance(instance, str)
            and instance.startswith(("Hello", "Hi"))
        )


hello = "Hello there"
# We can narrow types using mypy's type guards
assert isinstance(hello, Greeting)
# or explicitly when we need to
hi = Greeting.from_instance("Hi there")

# The runtime types are unchanged and will still be str for our greetings
assert type(hello) is str
assert type(hi) is str

# But their static types will be Greeting, retaining the information that our
# strings are not just any strs
if TYPE_CHECKING:
    reveal_type(hello)
    reveal_type(hi)

# As this string doesn't fulfill our __instancecheck__, it will not be an
# instance of Greeting.
assert not isinstance("Goodbye", Greeting)

Checkout out the dacite example for how to create dataclasses with rich dependently typed fields without duplicating type definitions or losing parsed information.

FAQs

What is dependent-types?

Dependent types for Python. Visit Snyk Advisor to see a full health score report for dependent-types, including popularity, security, maintenance & community analysis.

Is dependent-types popular?

The python package dependent-types receives a total of 35 weekly downloads. As such, dependent-types popularity was classified as limited. Visit the popularity section on Snyk Advisor to see the full health analysis.

Is dependent-types well maintained?

We found indications that dependent-types is an Inactive project. See the full package health analysis to learn more about the package maintenance status.

Is dependent-types safe to use?

The python package dependent-types was scanned for known vulnerabilities and missing license, and no issues were found. Thus the package was deemed as safe to use. See the full health analysis review.

Last updated on 19 December-2024, at 08:14 (UTC).

Build a secure application checklist

Select a recommended open source package

Minimize your risk by selecting secure & well maintained open source packages

DONE

Scan your app for vulnerabilities

Scan your application to find vulnerabilities in your: source code, open source dependencies, containers and configuration files

SCAN NOW

Fix identified vulnerabilities

Easily fix your code by leveraging automatically generated PRs

AUTO FIX

Monitor for new issues

New vulnerabilities are discovered every day. Get notified if your application is affected

MONITOR APP

dependent-types

Dependent types for Python For more information about how to use this package see README

Ensure you're using the healthiest python packages

Package Health Score

Explore Similar Packages

Popularity

Direct Usage Popularity

Security

Security and license risk for latest version

Maintenance

Commit Frequency

Community

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Package

Readme

dependent-types

Installation

Abstract

Usage

Builtin types

`dept.datetime`

`dept.numeric`

`dept.re`

`dept.sized`

Creating dependent types

FAQs

What is dependent-types?

Is dependent-types popular?

Is dependent-types well maintained?

Is dependent-types safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Fix identified vulnerabilities

Monitor for new issues

Package Health Score

Explore Similar Packages

Direct Usage Popularity

Security and license risk for latest version

Commit Frequency

Embed Package Health Score Badge

Keep your project healthy

Check your requirements.txt

Snyk Vulnerability Scanner

Readme

dependent-types

Installation

Abstract

Usage

Builtin types

dept.datetime

dept.numeric

dept.re

dept.sized

Creating dependent types

FAQs

What is dependent-types?

Is dependent-types popular?

Is dependent-types well maintained?

Is dependent-types safe to use?

Build a secure application checklist

Select a recommended open source package

Scan your app for vulnerabilities

Source Code

Open Source

Container

Config

Fix identified vulnerabilities

Monitor for new issues

`dept.datetime`

`dept.numeric`

`dept.re`

`dept.sized`