TypeCheck.DefaultOverrides.Date (TypeCheck v0.8.0) View Source
Link to this section Summary
Link to this section Types
Specs
t() :: %Date{ calendar: TypeCheck.DefaultOverrides.Calendar.calendar(), day: TypeCheck.DefaultOverrides.Calendar.day(), month: TypeCheck.DefaultOverrides.Calendar.month(), year: TypeCheck.DefaultOverrides.Calendar.year() }
This type is managed by TypeCheck
,
which allows checking values against the type at runtime.
Full definition:
t() :: %Date{calendar: TypeCheck.DefaultOverrides.Calendar.calendar(), day: TypeCheck.DefaultOverrides.Calendar.day(), month: TypeCheck.DefaultOverrides.Calendar.month(), year: TypeCheck.DefaultOverrides.Calendar.year()}