readBytes : Path -> Result FileError (List Nat) with FileReadRead a file as its raw bytes (a list of octets 0–255).
importPour l'utiliser :
import System.BytesSystem.Bytes — binary file IO
Synopsis
writeBytes : Path -> List Nat -> Result FileError () with FileWriteWrite a list of octets (0–255) to a file as raw bytes. A value outside 0–255 is a runtime error (byte_out_of_range), raised before anything is written — the target file is left untouched.