TIMEFORMAT top-level property

Parser<String> TIMEFORMAT
final

Implementation

final Parser<String> TIMEFORMAT =
    (pattern('0-9').times(2) &
            (char(':') &
                    pattern('0-9').times(2) &
                    (char(':') &
                            pattern('0-9').times(2) &
                            (char('.') & pattern('0-9').plus()).optional())
                        .optional())
                .optional())
        .flatten();