Agda-2.6.2.2.20230105: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

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.