def of.norm

bolt@1.27.0.0 · src/role.bend:181

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

181# a normalized path's role among the marks: neither when it is not marked
182def of.norm(ms: List<&2, Mark>, +nn: String) -> Role:
183  match ms:
184    case Nil{}:
185      Plain{}
186    case Con{Mark{+norm, role}, rest}:
187      Lazy.either(Role, String.eq(norm, nn), _u => role, _v => of.norm(rest, nn))