typinox.error module#

exception typinox.error.TypinoxError[source]#

Bases: Exception

Base class for all exceptions raised by Typinox.

exception typinox.error.TypinoxAnnotationError[source]#

Bases: TypinoxError, TypeError

Raised at annotation-time to indicate an error in the annotation.

exception typinox.error.TypinoxInvalidTypeToCheck[source]#

Bases: TypinoxError, TypeError

Raised when the type being checked should not be checked at run-time.

exception typinox.error.TypinoxTypeViolation[source]#

Bases: TypinoxError, TypeError

Raised when the typechecking failed.

exception typinox.error.TypinoxNotImplementedError[source]#

Bases: TypinoxError, NotImplementedError

Raised when a feature is not yet implemented.