Svg.filter.raster: def of gralha-svg-render@0.1.0.1
Import: import gralha-svg-render@0.1.0.1/svg.bend as Svg
Lines 5742-5746 of gralha-svg-render@0.1.0.1/svg.bend: https://jend.leeeet.dev/read.txt?path=gralha-svg-render@0.1.0.1/svg.bend&start_line=5742&end_line=5746

import Base

def filter.raster(effect: FilterEffect) -> Raster:
  match effect:
    case NoFilter{}: raster.empty()
    case FilterSpec{region, units, viewport, attrs, primitives}: raster.empty()
    case FilterImage{raster}: raster

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=FilterEffect
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=Raster
  https://jend.leeeet.dev/definition.txt?path=gralha-svg-render@0.1.0.1/svg.bend&name=raster.empty