Agda.Utils.IO.Binary
Description
Binary IO.
- readBinaryFile' :: FilePath -> IO (ByteString, IO ())
Documentation
readBinaryFile' :: FilePath -> IO (ByteString, IO ())Source
Returns a close function for the file together with the contents.
Agda-2.2.6: A dependently typed functional programming language and proof assistant
Agda.Utils.IO.Binary
Description
Binary IO.
readBinaryFile' :: FilePath -> IO (ByteString, IO ())Source
Returns a close function for the file together with the contents.