TypeCheck v0.1.2 API Reference
Modules
Fast and flexible runtime type-checking.
Usually you'd want to import this module when you're using TypeCheck.
Feel free to import only the things you need,
or hide (using import ... except:
) the things you don't.
Checks whether the value is any atom.
Checks whether the value is a list with the expected elements
Checks whether the value is a list with the expected elements
The 'none' type has no inhabitants. In other words, no value will typecheck against this type.
Checks whether the value is any tuple.
Contains the spec
, type
, typep
, opaque
macros to define runtime-checked function- and type-specifications.
TODO
Transforms types to generators.
Exception to be returned or raised when a value is not of the expected type.
Behaviour to format your own type errors