~/jendhub

def ids.ok

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

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

548def ids.ok(ok: Bool, num: Bool, +part: String, rest: Maybe<&2, List<&2, Id>>) -> Maybe<&2, List<&2, Id>>:
549  match ok:
550    case False{}:
551      None{}
552    case True{}:
553      ids.cons(id.make(num, part), rest)

Uses (7)

Used by (1)