View Source TypeCheck.DefaultOverrides.Calendar.ISO (TypeCheck v0.13.5)

Link to this section Summary

Types

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Link to this section Types

@type bce() :: 0

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

Full definition:

bce() :: 0
@type ce() :: 1

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

Full definition:

ce() :: 1
@type day() :: %Range{first: 1, last: 31, step: 1}

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

Full definition:

day() :: %{__struct__: Range, first: 1, last: 31, step: 1}
@type day_of_week() :: %Range{first: 1, last: 7, step: 1}

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

Full definition:

day_of_week() :: %{__struct__: Range, first: 1, last: 7, step: 1}
@type day_of_year() :: %Range{first: 1, last: 366, step: 1}

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

Full definition:

day_of_year() :: %{__struct__: Range, first: 1, last: 366, step: 1}
@type era() :: bce() | ce()

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

Full definition:

era() :: bce() | ce()
@type hour() :: %Range{first: 0, last: 23, step: 1}

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

Full definition:

hour() :: %{__struct__: Range, first: 0, last: 23, step: 1}
@type microsecond() ::
  {%Range{first: 0, last: 999_999, step: 1}, %Range{first: 0, last: 6, step: 1}}

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

Full definition:

microsecond() :: {%{__struct__: Range, first: 0, last: 999_999, step: 1},
 %{__struct__: Range, first: 0, last: 6, step: 1}}
@type minute() :: %Range{first: 0, last: 59, step: 1}

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

Full definition:

minute() :: %{__struct__: Range, first: 0, last: 59, step: 1}
@type month() :: %Range{first: 1, last: 12, step: 1}

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

Full definition:

month() :: %{__struct__: Range, first: 1, last: 12, step: 1}
@type quarter_of_year() :: %Range{first: 1, last: 4, step: 1}

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

Full definition:

quarter_of_year() :: %{__struct__: Range, first: 1, last: 4, step: 1}
@type second() :: %Range{first: 0, last: 59, step: 1}

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

Full definition:

second() :: %{__struct__: Range, first: 0, last: 59, step: 1}
@type weekday() ::
  :monday | :tuesday | :wednesday | :thursday | :friday | :saturday | :sunday

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

Full definition:

weekday() :: :monday | :tuesday | :wednesday | :thursday | :friday | :saturday | :sunday
@type year() :: %Range{first: -9999, last: 9999, step: 1}

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

Full definition:

year() :: %{__struct__: Range, first: -9999, last: 9999, step: 1}
@type year_of_era() :: {%Range{first: 1, last: 10000, step: 1}, era()}

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

Full definition:

year_of_era() :: {%{__struct__: Range, first: 1, last: 10000, step: 1}, era()}