def cors.hit

emerging-ezhttp@0.21.0.0 · src/cors.bend:42

import Base

42# whether the needle is in the list
43def cors.hit(+needle: String, xs: List<&2, String>) -> Bool:
44  match xs:
45    case []:
46      False{}
47    case h <> t:
48      cors.hit.step(String.eq(h, needle), _u => cors.hit(needle, t))