TypeCheck

v0.2.0

TypeCheck

TypeCheck v0.2.0 TypeCheck.Builtin.Range View Source

Link to this section Summary

Types

problem_tuple()

This type is managed by TypeCheck, which allows checking values against the type at runtime.

t()

This type is managed by TypeCheck, which allows checking values against the type at runtime.

Link to this section Types

Link to this type

problem_tuple()

View Source

Specs

problem_tuple() ::
  {t(), :not_an_integer, %{}, any()} | {t(), :not_in_range, %{}, integer()}

This type is managed by TypeCheck, which allows checking values against the type at runtime.

Full definition:

problem_tuple :: {t(), :not_an_integer, %{}, any()} | {t(), :not_in_range, %{}, integer()}
Link to this type

t()

View Source

Specs

t() :: %TypeCheck.Builtin.Range{range: any()}

This type is managed by TypeCheck, which allows checking values against the type at runtime.

Full definition:

t :: %TypeCheck.Builtin.Range{range: any()}