~ubuntu-branches/ubuntu/wily/agda-stdlib/wily

« back to all changes in this revision

Viewing changes to ffi/IO/FFI.hs

• browse files at revision 9
• compare with another revision
• download diff
• download tarball
• view history from revision 9

Show diffs side-by-side

added

removed

ffi/IO/FFI.hs

1

1

module IO.FFI where

2

2

 

 

3

import Control.Exception (bracketOnError)

 

4

import System.IO

 

5

  (openFile, IOMode(ReadMode), hClose, hFileSize, hGetContents)

 

6

 

 

7

-- | A variant of IO with an extra dummy type parameter.

 

8

 

3

9

type AgdaIO a b = IO b

 

10

 

 

11

-- | Reads a finite file. Raises an exception if the file path refers

 

12

-- to a non-physical file (like @/dev/zero@).

 

13

 

 

14

readFiniteFile :: FilePath -> IO String

 

15

readFiniteFile f = do

 

16

  h <- openFile f ReadMode

 

17

  bracketOnError (return ()) (\_ -> hClose h) (\_ -> hFileSize h)

 

18

  hGetContents h

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1