2023-07-27 13:05:18 +02:00
|
|
|
(** Read PNG files *)
|
|
|
|
|
|
|
|
|
|
(** PNG files, represented only to the extent required to insert as PDF image objects *)
|
2022-12-23 15:29:47 +01:00
|
|
|
type t =
|
|
|
|
|
{width : int;
|
|
|
|
|
height : int;
|
2024-01-01 12:46:32 +01:00
|
|
|
bitdepth : int;
|
|
|
|
|
colortype : int;
|
2022-12-23 15:29:47 +01:00
|
|
|
idat : Pdfio.bytes}
|
|
|
|
|
|
2024-01-01 12:46:32 +01:00
|
|
|
(** Read a non-interlaced, non-alpha, non-palette PNG for inclusion in a PDF file. *)
|
2022-12-23 15:29:47 +01:00
|
|
|
val read_png : Pdfio.input -> t
|
