readBytes : Path -> Result FileError (List Nat) with FileReadLit un fichier comme ses octets bruts (une liste d'octets de 0 à 255).
importPour l'utiliser :
import System.Bytesimport System.BytesreadBytes : Path -> Result FileError (List Nat) with FileReadLit un fichier comme ses octets bruts (une liste d'octets de 0 à 255).
writeBytes : Path -> List Nat -> Result FileError () with FileWriteÉcrit une liste d'octets (0 à 255) dans un fichier en octets bruts.