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

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

Specs

bce() :: 0

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

Full definition:

bce() :: 0

Specs

ce() :: 1

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

Full definition:

ce() :: 1

Specs

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}

Specs

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}

Specs

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}

Specs

era() :: bce() | ce()

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

Full definition:

era() :: bce() | ce()

Specs

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}

Specs

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}}

Specs

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}

Specs

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}

Specs

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}

Specs

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}

Specs

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

Specs

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}

Specs

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()}