$normalizeDate function
Formats a value as "YYYYMMDD".
Implementation
String? $normalizeDate(DateTime? value) {
if (value == null) return null;
final int day = value.day;
final int month = value.month;
final int year = value.year;
return '$year'.padLeft(4, '0') +
'$month'.padLeft(2, '0') +
'$day'.padLeft(2, '0');
}