Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Utils.IO.Binary

Description

Binary IO.

Synopsis

Documentation

readBinaryFile' :: FilePath -> IO (ByteString, IO ())Source

Returns a close function for the file together with the contents.