| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Utils.IO.Binary
Description
Binary IO.
Synopsis
- readBinaryFile' :: FilePath -> IO (ByteString, IO ())
Documentation
readBinaryFile' :: FilePath -> IO (ByteString, IO ()) Source #
Returns a close function for the file together with the contents.