{-# OPTIONS_GHC -Wunused-imports #-}

-- | Binary IO.

module Agda.Utils.IO.Binary
  ( readBinaryFile'
  ) where

import System.IO
import Data.ByteString.Lazy as BS

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

readBinaryFile' :: FilePath -> IO (ByteString, IO ())
readBinaryFile' :: FilePath -> IO (ByteString, IO ())
readBinaryFile' FilePath
file = do
    h <- FilePath -> IOMode -> IO Handle
openBinaryFile FilePath
file IOMode
ReadMode
    s <- BS.hGetContents h
    return (s, hClose h)