~/jendhub

def date.eq

emerging-eztoml@0.9.0.0 · main.bend:2534

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base

2534# YYYY-MM-DD, with D standing for a digit
2535def date.eq(cs: List<&2, Char>, pat: List<&2, Char>) -> Bool:
2536  match cs:
2537    case []:
2538      date.eq.nil(pat)
2539    case +h <> t:
2540      match pat:
2541        case []:
2542          False{}
2543        case +p <> r:
2544          date.step(date.mode(p), Char.is_digit(h), Char.is_eq(h, p),
2545            _u => date.eq(t, r))

Uses (8)

Used by (1)