TypeCheck.DefaultOverrides.NaiveDateTime (TypeCheck v0.8.0) View Source
Link to this section Summary
Link to this section Types
Specs
t() :: %NaiveDateTime{ 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(), year: TypeCheck.DefaultOverrides.Calendar.year() }
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
t() :: %NaiveDateTime{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(), year: TypeCheck.DefaultOverrides.Calendar.year()}