def date.shaped

emerging-eztoml@0.9.0.0 · main.bend:2547

import Base

2547# the buffer is a calendar date
2548def date.shaped(buf: List<&2, Char>) -> Bool:
2549  date.eq(List.reverse(&2, Char, buf), String.to_list("DDDD-DD-DD"))