API Reference TypeCheck v0.10.1

Modules

Fast and flexible runtime type-checking.

Contains TypeCheck specifications for all 'built-in' Elixir types.

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

Checks whether there is a protocol implementation for this value.

The 'none' type has no inhabitants. In other words, no value will typecheck against this type.

Checks whether the value is any tuple.

Raised when during compilation of types or specifications, an irrecoverable error occurs.

Contains a many common types that can be used as overrides for Elixir's standard library's 'Remote Types'.

Provides macros for 'spectests': spec-automated property-testing.

Contains the @spec!, @type!, @typep!, @opaque! macros to define runtime-checked function- and type-specifications.

Defines the options that TypeCheck supports on calls to use TypeCheck.

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