@type calendar() :: module()

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

Full definition:

calendar() :: wrap_with_gen(module(), &TypeCheck.DefaultOverrides.Calendar.calendar_gen/0)

@type date() :: %{
  optional(any()) => any(),
  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() :: %{optional(any()) => any(), calendar: calendar(), year: year(), month: month(), day: day()}

@type datetime() :: %{
  optional(any()) => any(),
  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() :: %{
  optional(any()) => any(),
  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()
}

@type day() :: pos_integer()

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

Full definition:

day() :: pos_integer()

@type day_fraction() ::
  {parts_in_day :: non_neg_integer(), parts_per_day :: 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()}

@type day_of_era() :: {day :: 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()}

@type 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()

@type 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()

@type 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()

@type iso_days() :: {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()}

@type 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()

@type month() :: pos_integer()

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

Full definition:

month() :: pos_integer()

@type naive_datetime() :: %{
  optional(any()) => any(),
  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() :: %{
  optional(any()) => any(),
  calendar: calendar(),
  year: year(),
  month: month(),
  day: day(),
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond()
}

@type 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()

@type std_offset() :: integer()

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

Full definition:

std_offset() :: integer()

@type time() :: %{
  optional(any()) => any(),
  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() :: %{
  optional(any()) => any(),
  hour: hour(),
  minute: minute(),
  second: second(),
  microsecond: microsecond()
}

@type 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()

@type 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()

@type utc_offset() :: integer()

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

Full definition:

utc_offset() :: integer()

@type week() :: pos_integer()

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

Full definition:

week() :: pos_integer()

@type year() :: integer()

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

Full definition:

year() :: integer()

@type 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()