structure ReadFile

May 13, 2022 ยท View on GitHub

Note that the following functions are parallelized and will generally be faster on more processors.

val contents: string -> string

contents path reads the file at path and returns its contents as a string.

val contentsSeq: string -> char Seq.t

contentsSeq path reads the file at path and returns its contents as a sequence of bytes represented as chars.

val contentsBinSeq: string -> Word8.word Seq.t

contentsBinSeq path reads the file at path and returns its contents as a sequence of bytes represented as Word8.words.