TypeCheck.DefaultOverrides.DateTime (TypeCheck v0.8.2) View Source
Link to this section Summary
Link to this section Types
Specs
t() :: %DateTime{
calendar: TypeCheck.DefaultOverrides.Calendar.calendar(),
day: TypeCheck.DefaultOverrides.Calendar.day(),
hour: TypeCheck.DefaultOverrides.Calendar.hour(),
microsecond: TypeCheck.DefaultOverrides.Calendar.microsecond(),
minute: TypeCheck.DefaultOverrides.Calendar.minute(),
month: TypeCheck.DefaultOverrides.Calendar.month(),
second: TypeCheck.DefaultOverrides.Calendar.second(),
std_offset: TypeCheck.DefaultOverrides.Calendar.std_offset(),
time_zone: TypeCheck.DefaultOverrides.Calendar.time_zone(),
utc_offset: TypeCheck.DefaultOverrides.Calendar.utc_offset(),
year: TypeCheck.DefaultOverrides.Calendar.year(),
zone_abbr: TypeCheck.DefaultOverrides.Calendar.zone_abbr()
}
(This type is managed by TypeCheck,
which allows checking values against the type at runtime.)
Full definition:
t() :: %DateTime{
calendar: TypeCheck.DefaultOverrides.Calendar.calendar(),
day: TypeCheck.DefaultOverrides.Calendar.day(),
hour: TypeCheck.DefaultOverrides.Calendar.hour(),
microsecond: TypeCheck.DefaultOverrides.Calendar.microsecond(),
minute: TypeCheck.DefaultOverrides.Calendar.minute(),
month: TypeCheck.DefaultOverrides.Calendar.month(),
second: TypeCheck.DefaultOverrides.Calendar.second(),
std_offset: TypeCheck.DefaultOverrides.Calendar.std_offset(),
time_zone: TypeCheck.DefaultOverrides.Calendar.time_zone(),
utc_offset: TypeCheck.DefaultOverrides.Calendar.utc_offset(),
year: TypeCheck.DefaultOverrides.Calendar.year(),
zone_abbr: TypeCheck.DefaultOverrides.Calendar.zone_abbr()
}