| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Effectful.Temporary
Contents
Synopsis
- data Temporary :: Effect
- runTemporary :: IOE :> es => Eff (Temporary ': es) a -> Eff es a
- withSystemTempFile :: Temporary :> es => String -> (FilePath -> Handle -> Eff es a) -> Eff es a
- withSystemTempDirectory :: Temporary :> es => String -> (FilePath -> Eff es a) -> Eff es a
- withTempFile :: Temporary :> es => FilePath -> String -> (FilePath -> Handle -> Eff es a) -> Eff es a
- withTempDirectory :: Temporary :> es => FilePath -> String -> (FilePath -> Eff es a) -> Eff es a
Effect
data Temporary :: Effect Source #
An effect for interacting with temporary files.
Instances
| type DispatchOf Temporary Source # | |
Defined in Effectful.Temporary | |
| data StaticRep Temporary Source # | |
Defined in Effectful.Temporary | |
Handlers
Operations
Arguments
| :: Temporary :> es | |
| => String | File name template. See |
| -> (FilePath -> Handle -> Eff es a) | Callback that can use the file. |
| -> Eff es a |
Lifted withSystemTempFile.
withSystemTempDirectory Source #
Arguments
| :: Temporary :> es | |
| => String | Directory name template. See |
| -> (FilePath -> Eff es a) | Callback that can use the directory. |
| -> Eff es a |
Lifted withSystemTempDirectory.
Arguments
| :: Temporary :> es | |
| => FilePath | Temp dir to create the file in. |
| -> String | File name template. See |
| -> (FilePath -> Handle -> Eff es a) | Callback that can use the file. |
| -> Eff es a |
Lifted withTempFile.
Arguments
| :: Temporary :> es | |
| => FilePath | Temp directory to create the directory in. |
| -> String | Directory name template. See |
| -> (FilePath -> Eff es a) | Callback that can use the directory. |
| -> Eff es a |
Lifted withTempDirectory.