Text.Chatty.Finalizer

Provides handle-closing.

Documentation

class Monad m => ChFinalizer m where

Class for all handle-finalizing monads. Required for file redirections.

Minimal complete definition

mqfh, mfin

Methods

mqfh :: Handle -> m ()

Enqueue handle

mqfhs :: [Handle] -> m ()

Enqueue list of handles

mfin :: m ()

Finalize all queued handles

Instances

MonadIO m => ChFinalizer (HandleCloserT m)

Methods

mqfh :: Handle -> HandleCloserT m ()

mqfhs :: [Handle] -> HandleCloserT m ()

mfin :: HandleCloserT m ()

ChFinalizer m => ChFinalizer (InRedirT m)

Methods

mqfh :: Handle -> InRedirT m ()

mqfhs :: [Handle] -> InRedirT m ()

mfin :: InRedirT m ()

ChFinalizer m => ChFinalizer (HereStringT m)

Methods

mqfh :: Handle -> HereStringT m ()

mqfhs :: [Handle] -> HereStringT m ()

mfin :: HereStringT m ()

newtype HandleCloserT m a

Handle-closing transformer

Constructors

HandleCloser

Fields

• runHandleCloserT :: [Handle] -> m (a, [Handle])

Instances

MonadTrans HandleCloserT

Methods

lift :: Monad m => m a -> HandleCloserT m a

Monad m => Monad (HandleCloserT m)

Methods

(>>=) :: HandleCloserT m a -> (a -> HandleCloserT m b) -> HandleCloserT m b

(>>) :: HandleCloserT m a -> HandleCloserT m b -> HandleCloserT m b

return :: a -> HandleCloserT m a

fail :: String -> HandleCloserT m a

Monad m => Functor (HandleCloserT m)

Methods

fmap :: (a -> b) -> HandleCloserT m a -> HandleCloserT m b

(<$) :: a -> HandleCloserT m b -> HandleCloserT m a

Monad m => Applicative (HandleCloserT m)

Methods

pure :: a -> HandleCloserT m a

(<*>) :: HandleCloserT m (a -> b) -> HandleCloserT m a -> HandleCloserT m b

(*>) :: HandleCloserT m a -> HandleCloserT m b -> HandleCloserT m b

(<*) :: HandleCloserT m a -> HandleCloserT m b -> HandleCloserT m a

MonadIO m => MonadIO (HandleCloserT m)

Methods

liftIO :: IO a -> HandleCloserT m a

MonadIO m => ChFinalizer (HandleCloserT m)

Methods

mqfh :: Handle -> HandleCloserT m ()

mqfhs :: [Handle] -> HandleCloserT m ()

mfin :: HandleCloserT m ()

withLazyIO :: (MonadIO m, Functor m) => HandleCloserT m a -> m a

Run function with handle closer