scoped-codensity-0.1.0.1: CPS resource allocation but as a Monad and completely safe

Safe Haskell	None
Language	Haskell2010

Control.Monad.Scoped.Temp

Contents

Allocating a temporary files in a Scoped block

Description

Functions and types for safely working with tempfiles in Scoped blocks

Synopsis

tempFile :: forall (m :: Type -> Type) s (ss :: [Type]). MonadUnliftIO m => FilePath -> String -> Scoped (s ': ss) m (FilePath, ScopedHandle s)
systemTempFile :: forall (m :: Type -> Type) s (ss :: [Type]). MonadUnliftIO m => String -> Scoped (s ': ss) m (FilePath, ScopedHandle s)

Allocating a temporary files in a `Scoped` block

tempFile :: forall (m :: Type -> Type) s (ss :: [Type]). MonadUnliftIO m => FilePath -> String -> Scoped (s ': ss) m (FilePath, ScopedHandle s) Source #

Like withTempFile but for Scoped

systemTempFile :: forall (m :: Type -> Type) s (ss :: [Type]). MonadUnliftIO m => String -> Scoped (s ': ss) m (FilePath, ScopedHandle s) Source #

Like withSystemTempFile but for Scoped