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.
TODO
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