TypeCheck.DefaultOverrides.Range (TypeCheck v0.8.0) View Source
Link to this section Summary
Link to this section Types
Specs
limit() :: integer()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
limit() :: integer()
Specs
step() :: pos_integer() | neg_integer()
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
step() :: pos_integer() | neg_integer()
Specs
t(first, last) :: %Range{first: first, last: last, step: step()}
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
t(first, last) :: %Range{first: first, last: last, step: step()}