Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
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.
Produced by Haddock version 2.6.0