@type date() :: {year(), month(), day()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

date() :: {year(), month(), day()}

@type datetime1970() :: {{year1970(), month(), day()}, time()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

datetime1970() :: {{year1970(), month(), day()}, time()}

@type datetime() :: {date(), time()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

datetime() :: {date(), time()}

@type time() :: {hour(), minute(), second()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

time() :: {hour(), minute(), second()}