Specs

calendar() :: module()

Specs

date() :: %{calendar: calendar(), year: year(), month: month(), day: day()}

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

Full definition:

date() :: %{calendar: calendar(), year: year(), month: month(), day: day()}

Specs

datetime() :: %{
  calendar: calendar(),
  year: year(),
  month: month(),
  day: day(),
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond(),
  time_zone: time_zone(),
  zone_abbr: zone_abbr(),
  utc_offset: utc_offset(),
  std_offset: std_offset()
}

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

Full definition:

datetime() :: %{
  calendar: calendar(),
  year: year(),
  month: month(),
  day: day(),
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond(),
  time_zone: time_zone(),
  zone_abbr: zone_abbr(),
  utc_offset: utc_offset(),
  std_offset: std_offset()
}

Specs

day() :: pos_integer()

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

Full definition:

day() :: pos_integer()

Specs

day_fraction() :: {non_neg_integer(), pos_integer()}

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

Full definition:

day_fraction() :: {parts_in_day :: non_neg_integer(), parts_per_day :: pos_integer()}

Specs

day_of_era() :: {non_neg_integer(), era()}

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

Full definition:

day_of_era() :: {day :: non_neg_integer(), era()}

Specs

day_of_week() :: non_neg_integer()

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

Full definition:

day_of_week() :: non_neg_integer()

Specs

era() :: non_neg_integer()

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

Full definition:

era() :: non_neg_integer()

Specs

hour() :: non_neg_integer()

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

Full definition:

hour() :: non_neg_integer()

Specs

iso_days() :: {integer(), day_fraction()}

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

Full definition:

iso_days() :: {days :: integer(), day_fraction()}

Specs

microsecond() :: {non_neg_integer(), non_neg_integer()}

Specs

minute() :: non_neg_integer()

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

Full definition:

minute() :: non_neg_integer()

Specs

month() :: pos_integer()

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

Full definition:

month() :: pos_integer()

Specs

naive_datetime() :: %{
  calendar: calendar(),
  year: year(),
  month: month(),
  day: day(),
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond()
}

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

Full definition:

naive_datetime() :: %{
  calendar: calendar(),
  year: year(),
  month: month(),
  day: day(),
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond()
}

Specs

second() :: non_neg_integer()

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

Full definition:

second() :: non_neg_integer()

Specs

std_offset() :: integer()

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

Full definition:

std_offset() :: integer()

Specs

time() :: %{
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond()
}

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

Full definition:

time() :: %{hour: hour(), minute: minute(), second: second(), microsecond: microsecond()}

Specs

time_zone() :: TypeCheck.DefaultOverrides.String.t()

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

Full definition:

time_zone() :: TypeCheck.DefaultOverrides.String.t()

Specs

time_zone_database() :: module()

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

Full definition:

time_zone_database() :: module()

Specs

utc_offset() :: integer()

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

Full definition:

utc_offset() :: integer()

Specs

week() :: pos_integer()

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

Full definition:

week() :: pos_integer()

Specs

year() :: integer()

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

Full definition:

year() :: integer()

Specs

zone_abbr() :: TypeCheck.DefaultOverrides.String.t()

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

Full definition:

zone_abbr() :: TypeCheck.DefaultOverrides.String.t()