safer-file-handles 0.10.0.1 → 0.11
raw patch · 2 files changed
+17/−21 lines, 2 filesdep −monad-controldep ~regional-pointersdep ~regions
Dependencies removed: monad-control
Dependency ranges changed: regional-pointers, regions
Files
- System/IO/SaferFileHandles.hs +14/−17
- safer-file-handles.cabal +3/−4
System/IO/SaferFileHandles.hs view
@@ -344,9 +344,6 @@ , sanitizeIOError ) --- from monad-control:-import Control.Monad.IO.Control ( MonadControlIO )- #if MIN_VERSION_base(4,3,0) import Control.Exception ( mask_ ) #else@@ -432,14 +429,14 @@ Note: if you will be working with files containing binary data, you'll want to be using 'openBinaryFile'. -}-openFile ∷ (MonadControlIO pr, AbsRelClass ar)+openFile ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ FilePath ar → IOMode ioMode → RegionT s pr (RegionalFileHandle ioMode (RegionT s pr)) openFile = openNormal E.openFile -openNormal ∷ (MonadControlIO pr, AbsRelClass ar)+openNormal ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ (E.FilePath → IOMode ioMode → IO (E.Handle ioMode)) → ( FilePath ar → IOMode ioMode@@ -455,7 +452,7 @@ function to the resulting regional file handle and runs the resulting region. This provides a safer safer replacement for @System.IO.'SIO.withFile'@. -}-withFile ∷ (MonadControlIO pr, AbsRelClass ar)+withFile ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ FilePath ar → IOMode ioMode → (∀ s. RegionalFileHandle ioMode (RegionT s pr) → RegionT s pr α)@@ -468,14 +465,14 @@ -- inferred from the type of the resulting 'RegionalFileHandle'. -- -- Note that: @openFile' fp = 'openFile' fp 'mkIOMode'@.-openFile' ∷ (MonadControlIO pr, AbsRelClass ar, MkIOMode ioMode)+openFile' ∷ (RegionControlIO pr, AbsRelClass ar, MkIOMode ioMode) ⇒ FilePath ar → RegionT s pr (RegionalFileHandle ioMode (RegionT s pr)) openFile' filePath = openFile filePath mkIOMode -- | Note that: @withFile' filePath = 'withFile' filePath 'mkIOMode'@.-withFile' ∷ (MonadControlIO pr, AbsRelClass ar, MkIOMode ioMode)+withFile' ∷ (RegionControlIO pr, AbsRelClass ar, MkIOMode ioMode) ⇒ FilePath ar → (∀ s. RegionalFileHandle ioMode (RegionT s pr) → RegionT s pr α) → pr α@@ -934,7 +931,7 @@ -- characters. (See also 'hSetBinaryMode'.) -- -- This provides a safer replacement for @System.IO.'SIO.openBinaryFile'@.-openBinaryFile ∷ (MonadControlIO pr, AbsRelClass ar)+openBinaryFile ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ FilePath ar → IOMode ioMode → RegionT s pr@@ -946,7 +943,7 @@ resulting region. This provides a safer replacement for @System.IO.'SIO.withBinaryFile'@. -}-withBinaryFile ∷ (MonadControlIO pr, AbsRelClass ar)+withBinaryFile ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ FilePath ar → IOMode ioMode → (∀ s. RegionalFileHandle ioMode (RegionT s pr) → RegionT s pr α)@@ -956,14 +953,14 @@ -- ** Opening binary files by inferring the IOMode -- | Note that: @openBinaryFile' filePath = 'openBinaryFile' filePath 'mkIOMode'@.-openBinaryFile' ∷ (MonadControlIO pr, AbsRelClass ar, MkIOMode ioMode)+openBinaryFile' ∷ (RegionControlIO pr, AbsRelClass ar, MkIOMode ioMode) ⇒ FilePath ar → RegionT s pr (RegionalFileHandle ioMode (RegionT s pr)) openBinaryFile' filePath = openBinaryFile filePath mkIOMode -- | Note that: @withBinaryFile' filePath = 'withBinaryFile' filePath 'mkIOMode'@.-withBinaryFile' ∷ (MonadControlIO pr, AbsRelClass ar, MkIOMode ioMode)+withBinaryFile' ∷ (RegionControlIO pr, AbsRelClass ar, MkIOMode ioMode) ⇒ FilePath ar → (∀ s. RegionalFileHandle ioMode (RegionT s pr) → RegionT s pr α) → pr α@@ -1146,7 +1143,7 @@ -- where XXX is some random number. type Template = RelFile -openTemp ∷ (MonadControlIO pr, AbsRelClass ar)+openTemp ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ (E.FilePath → String → IO (E.FilePath, E.Handle ReadWriteMode)) → ( DirPath ar → Template@@ -1174,7 +1171,7 @@ -- so if you rely on this behaviour it is best to use local filesystems only. -- -- This provides a safer replacement for @System.IO.'SIO.openTempFile'@.-openTempFile ∷ (MonadControlIO pr, AbsRelClass ar)+openTempFile ∷ (RegionControlIO pr, AbsRelClass ar) ⇒ DirPath ar -- ^ Directory in which to create the file. → Template -- ^ File name template. → RegionT s pr ( AbsFile@@ -1187,7 +1184,7 @@ -- -- This provides a safer replacement for @System.IO.'SIO.openBinaryTempFile'@. openBinaryTempFile ∷- (MonadControlIO pr, AbsRelClass ar)+ (RegionControlIO pr, AbsRelClass ar) ⇒ DirPath ar → Template → RegionT s pr ( AbsFile@@ -1201,7 +1198,7 @@ -- This provides a safer replacement for -- @System.IO.'SIO.openTempFileWithDefaultPermissions'@. openTempFileWithDefaultPermissions ∷- (MonadControlIO pr, AbsRelClass ar)+ (RegionControlIO pr, AbsRelClass ar) ⇒ DirPath ar → Template → RegionT s pr ( AbsFile@@ -1214,7 +1211,7 @@ -- This provides a safer replacement for -- @System.IO.'SIO.openBinaryTempFileWithDefaultPermissions'@. openBinaryTempFileWithDefaultPermissions ∷- (MonadControlIO pr, AbsRelClass ar)+ (RegionControlIO pr, AbsRelClass ar) ⇒ DirPath ar → Template → RegionT s pr ( AbsFile
safer-file-handles.cabal view
@@ -1,5 +1,5 @@ name: safer-file-handles-version: 0.10.0.1+version: 0.11 cabal-version: >=1.6 build-type: Custom license: BSD3@@ -57,12 +57,11 @@ GHC-Options: -Wall build-depends: base >= 4 && < 4.5 , base-unicode-symbols >= 0.1.1 && < 0.3- , regions >= 0.10 && < 0.11+ , regions >= 0.11 && < 0.12 , transformers >= 0.2 && < 0.3- , monad-control >= 0.2 && < 0.3 , explicit-iomodes >= 0.5 && < 0.7 , pathtype >= 0.0.1 && < 0.6- , regional-pointers >= 0.6 && < 0.7+ , regional-pointers >= 0.7 && < 0.8 exposed-modules: System.IO.SaferFileHandles System.IO.SaferFileHandles.Unsafe other-modules: System.IO.SaferFileHandles.Internal