Png.png.raster: def of gralha-png-decode@0.1.0.1
Import: import gralha-png-decode@0.1.0.1/png.bend as Png
Lines 176-179 of gralha-png-decode@0.1.0.1/png.bend: https://jend.leeeet.dev/read.txt?path=gralha-png-decode@0.1.0.1/png.bend&start_line=176&end_line=179

import Base
import gralha-image@0.1.0.1/image.bend as Img

def png.raster(result: Maybe<&2, Img.Pixels>, w: U32, h: U32, depth: Nat) -> Img.Picture:
  match result:
    case None{}: Img.Picture{0, 0, 0n, Img.Flat{Img.clear()}}
    case Some{pixels}: Img.Picture{w, h, depth, pixels}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=Picture
  https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=Pixels
  https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=clear