gralha-jpeg-decode Releases (2): 0.1.0.1 0x9fc02d2d396c1f8a4b0d87b5fba17c5f indexed https://jend.leeeet.dev/files.txt?path=gralha-jpeg-decode@0.1.0.1 0.1.0.0 0xbc5ce1714d35cca674c4b05a77ac392b invalid https://jend.leeeet.dev/files.txt?path=gralha-jpeg-decode@0.1.0.0 expected a package named gralha-bytes@0.1.0.0 on https://hub.bend-lang.com At https://jend.leeeet.dev/read.txt?path=gralha-jpeg-decode@0.1.0.0/jpeg.bend&start_line=4. Files that do not load: jpeg.bend. Definitions (127, 1 to 100 shown): Jpeg.JPEGSpectral (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGSpectral) # JPEG entropy bytes are MSB-first and escape FF as FF 00. type JPEGSpectral is Data: JPEGSpectral{start: U32, end: U32, high: U32, low: U32, eob: U32} Jpeg.jpeg.spectral.default (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.spectral.default) def jpeg.spectral.default() -> JPEGSpectral: Jpeg.jpeg.spectral.eob (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.spectral.eob) def jpeg.spectral.eob(scan: JPEGSpectral, eob: U32) -> JPEGSpectral: Jpeg.JPEGStream (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGStream) type JPEGStream is Data: JPEGStream{data: Bin.Bytes, position: U32, word: U32, count: U32, scan: JPEGSpectral, valid: Bool} Jpeg.JPEGRead (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGRead) type JPEGRead is Data: JPEGRead{value: U32, stream: JPEGStream} Jpeg.jpeg.stream.valid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.valid) def jpeg.stream.valid(stream: JPEGStream) -> Bool: Jpeg.jpeg.stream.invalid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.invalid) def jpeg.stream.invalid(stream: JPEGStream) -> JPEGStream: Jpeg.jpeg.stream.position (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.position) def jpeg.stream.position(stream: JPEGStream) -> U32: Jpeg.jpeg.stream.fill (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.fill) def jpeg.stream.fill(+stream: JPEGStream) -> JPEGStream: Jpeg.jpeg.stream.take (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.take) def jpeg.stream.take(+stream: JPEGStream) -> JPEGRead: Jpeg.jpeg.bits.next (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.bits.next) def jpeg.bits.next(read: JPEGRead, acc: U32, next: JPEGStream -> U32 -> JPEGRead) -> JPEGRead: Jpeg.jpeg.bits.loop (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.bits.loop) def jpeg.bits.loop(n: Nat, stream: JPEGStream, acc: U32) -> JPEGRead: Jpeg.jpeg.bits (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.bits) def jpeg.bits(stream: JPEGStream, count: U32) -> JPEGRead: Jpeg.jpeg.huff.next (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.next) def jpeg.huff.next(read: JPEGRead, zero: Bin.Huffman, one: Bin.Huffman, next: Bin.Huffman -> JPEGStream -> JPEGRead) -> JPEGRead: Jpeg.jpeg.huff.read (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.read) def jpeg.huff.read(node: Bin.Huffman, stream: JPEGStream) -> JPEGRead: Jpeg.jpeg.signed (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.signed) # Quantized coefficients use two's-complement U32 storage, with explicit # signed conversion before floating-point reconstruction. def jpeg.signed(+value: U32) -> F32: Jpeg.jpeg.extend (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.extend) def jpeg.extend(+value: U32, +count: U32) -> U32: Jpeg.JPEGMarker (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGMarker) type JPEGMarker is Data: JPEGMarker{code: U32, position: U32, valid: Bool} @unsafe Jpeg.jpeg.marker.byte (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.marker.byte) def jpeg.marker.byte(+src: Bin.Bytes, +at: U32) -> JPEGMarker: Jpeg.jpeg.marker (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.marker) def jpeg.marker(+src: Bin.Bytes, +at: U32) -> JPEGMarker: Jpeg.jpeg.zigzag (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.zigzag) def jpeg.zigzag(index: U32) -> U32: Jpeg.jpeg.stream.eob (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.stream.eob) def jpeg.stream.eob(stream: JPEGStream, eob: U32) -> JPEGStream: Jpeg.JPEGQuant (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGQuant) type JPEGQuant is Data: JPEGQuant{id: U32, values: Bin.Bytes} Jpeg.JPEGHuff (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGHuff) type JPEGHuff is Data: JPEGHuff{id: U32, ac: Bool, node: Bin.Huffman} Jpeg.JPEGComponent (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGComponent) type JPEGComponent is Data: JPEGComponent{id: U32, h: U32, v: U32, quant: U32, dc: U32, ac: U32, predictor: U32, bw: U32, bh: U32, coefficients: Bin.Bytes, samples: Bin.Bytes} Jpeg.JPEGFrame (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGFrame) type JPEGFrame is Data: JPEGFrame{w: U32, h: U32, hm: U32, vm: U32, progressive: Bool, components: List<&2, JPEGComponent>, quants: List<&2, JPEGQuant>, huffs: List<&2, JPEGHuff>, restart: U32, adobe: U32, valid: Bool} Jpeg.jpeg.frame.empty (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.frame.empty) def jpeg.frame.empty() -> JPEGFrame: Jpeg.jpeg.frame.invalid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.frame.invalid) def jpeg.frame.invalid(frame: JPEGFrame) -> JPEGFrame: Jpeg.jpeg.frame.valid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.frame.valid) def jpeg.frame.valid(frame: JPEGFrame) -> Bool: Jpeg.jpeg.quant.find (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.quant.find) def jpeg.quant.find(xs: List<&2, JPEGQuant>, +id: U32) -> Bin.Bytes: Jpeg.jpeg.huff.find (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.find) def jpeg.huff.find(xs: List<&2, JPEGHuff>, +id: U32, +ac: Bool) -> Bin.Huffman: Jpeg.jpeg.quant.read (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.quant.read) def jpeg.quant.read(n: Nat, +src: Bin.Bytes, +at: U32, +stride: U32, +index: U32, out: Bin.Bytes) -> Bin.Bytes: Jpeg.jpeg.quant.segment (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.quant.segment) def jpeg.quant.segment(+src: Bin.Bytes, +at: U32, +end: U32, +frame: JPEGFrame) -> JPEGFrame: Jpeg.JPEGCoding (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGCoding) type JPEGCoding is Data: JPEGCoding{node: Bin.Huffman, code: U32, at: U32, valid: Bool} Jpeg.jpeg.huff.symbols (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.symbols) def jpeg.huff.symbols(n: Nat, +src: Bin.Bytes, +bits: U32, +coding: JPEGCoding) -> JPEGCoding: Jpeg.jpeg.huff.shift (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.shift) def jpeg.huff.shift(coding: JPEGCoding) -> JPEGCoding: Jpeg.jpeg.huff.lengths (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.lengths) def jpeg.huff.lengths(n: Nat, +src: Bin.Bytes, +counts: U32, +bits: U32, +coding: JPEGCoding) -> JPEGCoding: Jpeg.jpeg.huff.install (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.install) def jpeg.huff.install(coding: JPEGCoding, +frame: JPEGFrame, spec: U32, end: U32, next: U32 -> JPEGFrame -> JPEGFrame) -> JPEGFrame: Jpeg.jpeg.huff.segment (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.huff.segment) def jpeg.huff.segment(+src: Bin.Bytes, +at: U32, +end: U32, +frame: JPEGFrame) -> JPEGFrame: Jpeg.jpeg.ceil (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.ceil) def jpeg.ceil(+n: U32, +d: U32) -> U32: Jpeg.jpeg.components.read (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.read) def jpeg.components.read(n: Nat, +src: Bin.Bytes, +at: U32) -> List<&2, JPEGComponent>: Jpeg.jpeg.components.max (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.max) def jpeg.components.max(xs: List<&2, JPEGComponent>, +vertical: Bool, +acc: U32) -> U32: Jpeg.jpeg.components.has (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.has) def jpeg.components.has(xs: List<&2, JPEGComponent>, +key: U32) -> Bool: Jpeg.jpeg.components.units (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.units) def jpeg.components.units(xs: List<&2, JPEGComponent>) -> U32: Jpeg.jpeg.components.valid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.valid) def jpeg.components.valid(+xs: List<&2, JPEGComponent>) -> Bool: Jpeg.jpeg.components.allocate (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.allocate) def jpeg.components.allocate(xs: List<&2, JPEGComponent>, +cols: U32, +rows: U32) -> List<&2, JPEGComponent>: Jpeg.jpeg.frame.start (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.frame.start) def jpeg.frame.start(+src: Bin.Bytes, +at: U32, +end: U32, +frame: JPEGFrame, +kind: U32) -> JPEGFrame: Jpeg.jpeg.quant.valid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.quant.valid) def jpeg.quant.valid(n: Nat, +index: U32, +quant: Bin.Bytes) -> Bool: Jpeg.JPEGBlock (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGBlock) type JPEGBlock is Data: JPEGBlock{stream: JPEGStream, coefficients: Bin.Bytes, predictor: U32} Jpeg.jpeg.block.invalid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.invalid) def jpeg.block.invalid(block: JPEGBlock) -> JPEGBlock: Jpeg.jpeg.progressive.dc.bits (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.dc.bits) def jpeg.progressive.dc.bits(read: JPEGRead, count: U32, coefficients: Bin.Bytes, predictor: U32, offset: U32, low: U32) -> JPEGBlock: Jpeg.jpeg.progressive.dc.first (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.dc.first) def jpeg.progressive.dc.first(+read: JPEGRead, coefficients: Bin.Bytes, predictor: U32, offset: U32, low: U32) -> JPEGBlock: Jpeg.jpeg.progressive.dc.refine (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.dc.refine) def jpeg.progressive.dc.refine(read: JPEGRead, +coefficients: Bin.Bytes, predictor: U32, +offset: U32, low: U32) -> JPEGBlock: Jpeg.jpeg.progressive.ac.bits (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.ac.bits) def jpeg.progressive.ac.bits(read: JPEGRead, count: U32, coefficients: Bin.Bytes, predictor: U32, offset: U32, index: U32, low: U32) -> JPEGBlock: Jpeg.jpeg.progressive.eob (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.eob) def jpeg.progressive.eob(read: JPEGRead, run: U32, coefficients: Bin.Bytes, predictor: U32, decrement: U32) -> JPEGBlock: Jpeg.JPEGRefined (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGRefined) type JPEGRefined is Data: JPEGRefined{index: U32, block: JPEGBlock} Jpeg.jpeg.progressive.first.symbol (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.first.symbol) def jpeg.progressive.first.symbol(read: JPEGRead, +index: U32, +end: U32, +offset: U32, +low: U32, +coefficients: Bin.Bytes, +predictor: U32) -> JPEGRefined: Jpeg.jpeg.refined.next (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.refined.next) def jpeg.refined.next(refined: JPEGRefined, next: U32 -> JPEGBlock -> JPEGBlock) -> JPEGBlock: Jpeg.jpeg.progressive.first (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.first) def jpeg.progressive.first(+index: U32, +end: U32, +offset: U32, +low: U32, +table: Bin.Huffman, +block: JPEGBlock) -> JPEGBlock: Jpeg.jpeg.progressive.refine.bit (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.refine.bit) def jpeg.progressive.refine.bit(read: JPEGRead, +coefficients: Bin.Bytes, predictor: U32, +at: U32, +p1: U32) -> JPEGBlock: Jpeg.jpeg.progressive.walk (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.walk) def jpeg.progressive.walk(+index: U32, +end: U32, +run: U32, +fresh: U32, +offset: U32, +p1: U32, +block: JPEGBlock) -> JPEGRefined: Jpeg.jpeg.progressive.refine.fresh (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.refine.fresh) def jpeg.progressive.refine.fresh(read: JPEGRead, index: U32, end: U32, run: U32, offset: U32, +p1: U32, coefficients: Bin.Bytes, predictor: U32) -> JPEGRefined: Jpeg.jpeg.progressive.refine.eob (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.refine.eob) def jpeg.progressive.refine.eob(block: JPEGBlock, index: U32, end: U32, offset: U32, p1: U32) -> JPEGRefined: Jpeg.jpeg.progressive.refine.symbol (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.refine.symbol) def jpeg.progressive.refine.symbol(read: JPEGRead, +index: U32, +end: U32, +offset: U32, +p1: U32, +coefficients: Bin.Bytes, +predictor: U32) -> JPEGRefined: Jpeg.jpeg.progressive.refine (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.refine) def jpeg.progressive.refine(+index: U32, +end: U32, +offset: U32, +p1: U32, +table: Bin.Huffman, +block: JPEGBlock) -> JPEGBlock: Jpeg.jpeg.refined.block (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.refined.block) def jpeg.refined.block(refined: JPEGRefined) -> JPEGBlock: Jpeg.jpeg.progressive.decode (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.progressive.decode) def jpeg.progressive.decode(+component: JPEGComponent, +tables: List<&2, JPEGHuff>, +offset: U32, +stream: JPEGStream) -> JPEGBlock: Jpeg.jpeg.block.dc.bits (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.dc.bits) def jpeg.block.dc.bits(read: JPEGRead, +count: U32, coefficients: Bin.Bytes, predictor: U32, +offset: U32) -> JPEGBlock: Jpeg.jpeg.block.dc (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.dc) def jpeg.block.dc(+read: JPEGRead, coefficients: Bin.Bytes, predictor: U32, offset: U32) -> JPEGBlock: Jpeg.jpeg.block.ac.bits (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.ac.bits) def jpeg.block.ac.bits(read: JPEGRead, count: U32, coefficients: Bin.Bytes, predictor: U32, offset: U32, +index: U32, next: U32 -> JPEGBlock -> JPEGBlock) -> JPEGBlock: Jpeg.jpeg.block.ac.symbol (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.ac.symbol) def jpeg.block.ac.symbol(read: JPEGRead, +coefficients: Bin.Bytes, +predictor: U32, +offset: U32, +index: U32, next: U32 -> JPEGBlock -> JPEGBlock) -> JPEGBlock: Jpeg.jpeg.block.ac (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.ac) def jpeg.block.ac(+index: U32, +table: Bin.Huffman, +offset: U32, +block: JPEGBlock) -> JPEGBlock: Jpeg.jpeg.block.decode (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.block.decode) def jpeg.block.decode(+component: JPEGComponent, +tables: List<&2, JPEGHuff>, offset: U32, +stream: JPEGStream) -> JPEGBlock: Jpeg.JPEGPart (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGPart) type JPEGPart is Data: JPEGPart{component: JPEGComponent, stream: JPEGStream} Jpeg.jpeg.component.block (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.component.block) def jpeg.component.block(block: JPEGBlock, component: JPEGComponent) -> JPEGPart: Jpeg.jpeg.part.next (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.part.next) def jpeg.part.next(part: JPEGPart, next: JPEGComponent -> JPEGStream -> JPEGPart) -> JPEGPart: Jpeg.jpeg.component.blocks (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.component.blocks) def jpeg.component.blocks(n: Nat, +index: U32, +cols: U32, +x: U32, +y: U32, +tables: List<&2, JPEGHuff>, +component: JPEGComponent, stream: JPEGStream) -> JPEGPart: Jpeg.JPEGScan (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGScan) type JPEGScan is Data: JPEGScan{components: List<&2, JPEGComponent>, stream: JPEGStream} Jpeg.jpeg.scan.prepend (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.prepend) def jpeg.scan.prepend(scan: JPEGScan, component: JPEGComponent) -> JPEGScan: Jpeg.jpeg.scan.part (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.part) def jpeg.scan.part(part: JPEGPart, next: JPEGStream -> JPEGScan) -> JPEGScan: Jpeg.jpeg.mcu (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.mcu) def jpeg.mcu(+xs: List<&2, JPEGComponent>, +tables: List<&2, JPEGHuff>, +single: Bool, +x: U32, +y: U32, stream: JPEGStream) -> JPEGScan: Jpeg.jpeg.components.reset (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.reset) def jpeg.components.reset(xs: List<&2, JPEGComponent>) -> List<&2, JPEGComponent>: Jpeg.jpeg.restart.marker (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.restart.marker) def jpeg.restart.marker(marker: JPEGMarker, scan: JPEGScan, expected: U32) -> JPEGScan: Jpeg.jpeg.restart (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.restart) def jpeg.restart(+scan: JPEGScan, expected: U32) -> JPEGScan: Jpeg.jpeg.scan.next (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.next) def jpeg.scan.next(scan: JPEGScan, next: List<&2, JPEGComponent> -> JPEGStream -> JPEGScan) -> JPEGScan: Jpeg.jpeg.scan.active (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.active) def jpeg.scan.active(+scan: JPEGScan, next: List<&2, JPEGComponent> -> JPEGStream -> JPEGScan) -> JPEGScan: Jpeg.jpeg.mcus (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.mcus) def jpeg.mcus(n: Nat, +index: U32, +cols: U32, +single: Bool, +tables: List<&2, JPEGHuff>, +interval: U32, +scan: JPEGScan) -> JPEGScan: Jpeg.jpeg.component.find (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.component.find) def jpeg.component.find(+xs: List<&2, JPEGComponent>, +id: U32) -> Maybe<&2, JPEGComponent>: Jpeg.jpeg.component.tables (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.component.tables) def jpeg.component.tables(found: Maybe<&2, JPEGComponent>, spec: U32) -> JPEGComponent: Jpeg.jpeg.scan.select (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.select) def jpeg.scan.select(n: Nat, +src: Bin.Bytes, +at: U32, +xs: List<&2, JPEGComponent>) -> List<&2, JPEGComponent>: Jpeg.jpeg.component.or (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.component.or) def jpeg.component.or(found: Maybe<&2, JPEGComponent>, fallback: JPEGComponent) -> JPEGComponent: Jpeg.jpeg.components.merge (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.components.merge) def jpeg.components.merge(+xs: List<&2, JPEGComponent>, +updated: List<&2, JPEGComponent>) -> List<&2, JPEGComponent>: Jpeg.jpeg.scan.extent (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.extent) def jpeg.scan.extent(xs: List<&2, JPEGComponent>, w: U32, h: U32, hm: U32, vm: U32, +vertical: Bool) -> U32: Jpeg.JPEGDecoded (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=JPEGDecoded) type JPEGDecoded is Data: JPEGDecoded{frame: JPEGFrame, at: U32} Jpeg.jpeg.scan.complete (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.complete) def jpeg.scan.complete(stream: JPEGStream) -> Bool: Jpeg.jpeg.scan.finish (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.finish) def jpeg.scan.finish(scan: JPEGScan, frame: JPEGFrame) -> JPEGDecoded: Jpeg.jpeg.history.valid (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.history.valid) # The sample buffer holds approximation history until IDCT replaces it. # Zero means unseen; low+1 records the last transmitted coefficient bit. def jpeg.history.valid(n: Nat, +index: U32, +history: Bin.Bytes, +high: U32) -> Bool: Jpeg.jpeg.history.set (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.history.set) def jpeg.history.set(n: Nat, +index: U32, +low: U32, history: Bin.Bytes) -> Bin.Bytes: Jpeg.jpeg.scan.ready (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.ready) def jpeg.scan.ready(+xs: List<&2, JPEGComponent>, +start: U32, +end: U32, +high: U32, +quants: List<&2, JPEGQuant>) -> Bool: Jpeg.jpeg.scan.histories (https://jend.leeeet.dev/definition.txt?path=gralha-jpeg-decode@0.1.0.1/jpeg.bend&name=jpeg.scan.histories) def jpeg.scan.histories(xs: List<&2, JPEGComponent>, +start: U32, +end: U32, +low: U32) -> List<&2, JPEGComponent>: More: https://jend.leeeet.dev/packages/gralha-jpeg-decode.txt?definitions_offset=100