scoped-codensity-0.1.0.0: CPS resource allocation but as a Monad and completely safe
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Scoped.Handle

Description

Functions and types for safely working with Handles in Scoped blocks

Synopsis

Scoped Handle

type ScopedHandle s = ScopedResource s Handle Source #

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) Source #

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

Instances details
Enum IOMode

Since: base-4.2.0.0

Instance details

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

Instance details

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

Instance details

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

Instance details

Defined in GHC.IO.IOMode

Methods

showsPrec :: Int -> IOMode -> ShowS #

show :: IOMode -> String #

showList :: [IOMode] -> ShowS #

Eq IOMode

Since: base-4.2.0.0

Instance details

Defined in GHC.IO.IOMode

Methods

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

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

Ord IOMode

Since: base-4.2.0.0

Instance details

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 () Source #

Like hPutStrLn but for ScopedHandle

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

Like hPutStr but for ScopedHandle

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

Like hGetLine but for ScopedHandle

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

Like hGetContents but for ScopedHandle