2023-03-20 22:02:10 +01:00
|
|
|
(* PNG files, represented only to the extent required to roundtrip PDF image objects *)
|
2022-12-23 15:29:47 +01:00
|
|
|
type t =
|
|
|
|
|
{width : int;
|
|
|
|
|
height : int;
|
|
|
|
|
idat : Pdfio.bytes}
|
|
|
|
|
|
2023-03-20 22:02:10 +01:00
|
|
|
(* Read a non-interlaced, non-transparent 24 bit PNG for inclusion in a PDF file. *)
|
2022-12-23 15:29:47 +01:00
|
|
|
val read_png : Pdfio.input -> t
|
2023-03-17 20:04:20 +01:00
|
|
|
|
|
|
|
|
(* Write a non-interlaced, non-transparent 24 bit PNG from PDF image contents *)
|
|
|
|
|
val write_png : t -> Pdfio.output -> unit
|
