def jpeg.component.find
gralha-jpeg-decode@0.1.0.1 · jpeg.bend:483
import gralha-jpeg-decode@0.1.0.1/jpeg.bend as Jpeg
import Base
import gralha-text-scan@0.1.0.1/scan.bend as U
483def jpeg.component.find(+xs: List<&2, JPEGComponent>, +id: U32) -> Maybe<&2, JPEGComponent>:
484 match xs:
485 case Nil{}: None{}
486 case Con{component, rest}:
487 JPEGComponent{key, h, v, quant, dc, ac, predictor, bw, bh, coefficients, samples} = component
488 +c = {component : JPEGComponent}
489 U.branch(Maybe<&2, JPEGComponent>, U32.is_eq(key, id), _ => Some{c}, _ => jpeg.component.find(rest, id))