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.

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