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

Safe Haskell | Safe-Inferred
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.