~/jendhub

def ids.of

ezx@1.11.0.0 · src/git/git.bend:562

import ezx@1.11.0.0/src/git/git.bend as Git
import Base

562def ids.of(ps: List<&2, String>) -> Maybe<&2, List<&2, Id>>:
563  match ps:
564    case Nil{}:
565      Some{[]}
566    case Con{+h, t}:
567      ids.put(String.is_empty(h), id.chars(h), digits(h), h, ids.of(t))

Uses (8)

Used by (1)