TypeCheck v0.3.1 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 into StreamData generators.

Exception to be returned or raised when a value is not of the expected type.

Behaviour to format your own type errors