TypeCheck.DefaultOverrides.DateTime (TypeCheck v0.8.0) 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()}