~/jendhub

def filter.result

gralha-svg-render@0.1.0.1 · svg.bend:4843

import gralha-svg-render@0.1.0.1/svg.bend as Svg
import Base
import gralha-text-scan@0.1.0.1/scan.bend as U

4843def filter.result(xs: List<&2, FilterResult>, +name: String, +fallback: FilterInput) -> FilterInput:
4844  match xs:
4845    case Nil{}: fallback
4846    case Con{FilterResult{key, input}, rest}:
4847      U.branch(FilterInput, U.string.equal(key, name), _ => input, _ => filter.result(rest, name, fallback))

Uses (6)

Used by (1)