Control.Monad.Scoped.Handle

Functions and types for safely working with Handles in Scoped blocks

Scoped Handle

type ScopedHandle s = ScopedResource s Handle

Just like Handle but bound to a Scoped block

Allocating a new ScopedHandle in a Scoped block

file :: MonadUnliftIO m => FilePath -> IOMode -> Scoped s m (ScopedHandle s)

Given a FilePath, safely allocates and deallocates a ScopedHandle in a Scoped block

Working with ScopedHandle

data IOMode

See openFile

Constructors

ReadMode

WriteMode

AppendMode

ReadWriteMode

Instances

Enum IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

succ :: IOMode -> IOMode

pred :: IOMode -> IOMode

toEnum :: Int -> IOMode

fromEnum :: IOMode -> Int

enumFrom :: IOMode -> [IOMode]

enumFromThen :: IOMode -> IOMode -> [IOMode]

enumFromTo :: IOMode -> IOMode -> [IOMode]

enumFromThenTo :: IOMode -> IOMode -> IOMode -> [IOMode]

Ix IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

range :: (IOMode, IOMode) -> [IOMode]

index :: (IOMode, IOMode) -> IOMode -> Int

unsafeIndex :: (IOMode, IOMode) -> IOMode -> Int

inRange :: (IOMode, IOMode) -> IOMode -> Bool

rangeSize :: (IOMode, IOMode) -> Int

unsafeRangeSize :: (IOMode, IOMode) -> Int

Read IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

readsPrec :: Int -> ReadS IOMode

readList :: ReadS [IOMode]

readPrec :: ReadPrec IOMode

readListPrec :: ReadPrec [IOMode]

Show IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

showsPrec :: Int -> IOMode -> ShowS

show :: IOMode -> String

showList :: [IOMode] -> ShowS

Eq IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

(==) :: IOMode -> IOMode -> Bool

(/=) :: IOMode -> IOMode -> Bool

Ord IOMode

Since: base-4.2.0.0

Defined in GHC.IO.IOMode

Methods

compare :: IOMode -> IOMode -> Ordering

(<) :: IOMode -> IOMode -> Bool

(<=) :: IOMode -> IOMode -> Bool

(>) :: IOMode -> IOMode -> Bool

(>=) :: IOMode -> IOMode -> Bool

max :: IOMode -> IOMode -> IOMode

min :: IOMode -> IOMode -> IOMode

hPutStrLn :: MonadIO m => ScopedHandle s -> Text -> Scoped s m ()

Like hPutStrLn but for ScopedHandle

hPutStr :: MonadIO m => ScopedHandle s -> Text -> Scoped s m ()

Like hPutStr but for ScopedHandle

hGetLine :: MonadIO m => ScopedHandle s -> Scoped s m Text

Like hGetLine but for ScopedHandle

hGetContents :: MonadIO m => ScopedHandle s -> Scoped s m Text

Like hGetContents but for ScopedHandle