gralha-image

Releases (1):
  0.1.0.1  0x2c63b99c875a43494881cedcbf2f440f  indexed  https://jend.leeeet.dev/files.txt?path=gralha-image@0.1.0.1

Definitions (11):
  Image.Color (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=Color)
   type Color is Data:
     Color{r: F32, g: F32, b: F32, a: F32}
  Image.clear (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=clear)
   def clear() -> Color:
  Image.rgba (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=rgba)
   def rgba(r: F32, g: F32, b: F32, +a: F32) -> Color:
  Image.Pixels (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=Pixels)
   # Filter and embedded-image buffers retain premultiplied floating-point channels.
   # Uniform tiles share a single color instead of allocating one value per pixel.
   type Pixels is Data:
     Flat{color: Color}
     Quad{tl: Pixels, tr: Pixels, bl: Pixels, br: Pixels}
  Image.color.same (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=color.same)
   def color.same(a: Color, b: Color) -> Bool:
  Image.pixels.join (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=pixels.join)
   def pixels.join(+a: Pixels, +b: Pixels, +c: Pixels, +d: Pixels) -> Pixels:
  Image.Picture (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=Picture)
   # A decoded image: a square quadtree of premultiplied colors covering width by height.
   type Picture is Data:
     Picture{width: U32, height: U32, depth: Nat, pixels: Pixels}
  Image.picture.blank (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=picture.blank)
   def picture.blank() -> Picture:
  Image.pixels.get (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=pixels.get)
   def pixels.get(xs: Pixels, +size: U32, +x: U32, +y: U32) -> Color:
  Image.picture.depth (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=picture.depth)
   def picture.depth(+size: U32, +side: U32, +depth: Nat) -> Nat:
  Image.pixels.set (https://jend.leeeet.dev/definition.txt?path=gralha-image@0.1.0.1/image.bend&name=pixels.set)
   def pixels.set(+pixels: Pixels, +depth: Nat, +x: U32, +y: U32, +col: Color) -> Pixels: