View Source TypeCheck.DefaultOverrides.NaiveDateTime (TypeCheck v0.12.0)
Link to this section Summary
Link to this section Types
@type 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()
}