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

Safe HaskellSafe-Infered

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.