TypeCheck.DefaultOverrides.Range (TypeCheck v0.10.4) 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
(This type is managed by TypeCheck
,
which allows checking values against the type at runtime.)
Full definition:
t() :: %Range{first: limit(), last: limit(), step: step()}
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()}