Module L.SafeSource

Sourcetype read = [
  1. | `Read
]
Sourcetype write = [
  1. | `Write
]
Sourcetype ('a, 'i) t constraint 'a = [< read | write ]
Sourceval read_and_write : 'i Decompress_impl__.Decompress_b.t -> ([ read | write ], 'i) t
Sourceval read_only : 'i Decompress_impl__.Decompress_b.t -> (read, 'i) t
Sourceval write_only : 'i Decompress_impl__.Decompress_b.t -> (write, 'i) t
Sourceval length : ('a, 'i) t -> int
Sourceval get : ([> read ], 'i) t -> int -> char
Sourceval set : ([> write ], 'i) t -> int -> char -> unit
Sourceval get_u16 : ([> read ], 'i) t -> int -> int
Sourceval get_u32 : ([> read ], 'i) t -> int -> int32
Sourceval get_u64 : ([> read ], 'i) t -> int -> int64
Sourceval sub_ro : ([> read ], 'i) t -> int -> int -> (read, 'i) t
Sourceval sub_rw : ([> read ], 'i) t -> int -> int -> ([ read | write ], 'i) t
Sourceval fill : ([> write ], 'i) t -> int -> int -> char -> unit
Sourceval blit : ([> read ], 'i) t -> int -> ([> write ], 'i) t -> int -> int -> unit
Sourceval blit2 : ([> read ], 'i) t -> int -> ([> write ], 'i) t -> int -> ([> write ], 'i) t -> int -> int -> unit
Sourceval pp : Format.formatter -> ([> read ], 'i) t -> unit
Sourceval to_string : ([> read ], 'i) t -> string
Sourceval adler32 : ([> read ], 'i) t -> Checkseum.Adler32.t -> int -> int -> Checkseum.Adler32.t
Sourceval from : ('a, 'i) t -> 'i Decompress_impl__.Decompress_b.t