Control.Monad.Trans.HandleWriter

Documentation

newtype HandleWriterT w m a

A monad that can write a monoidal summary to a Handle.

Constructors

HandleWriterT

Fields

• unHandleWriterT :: ReaderT (Env w) m a

Instances

MonadState s m => MonadState s (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

get :: HandleWriterT w m s

put :: s -> HandleWriterT w m ()

state :: (s -> (a, s)) -> HandleWriterT w m a

MonadReader r m => MonadReader r (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

ask :: HandleWriterT w m r

local :: (r -> r) -> HandleWriterT w m a -> HandleWriterT w m a

reader :: (r -> a) -> HandleWriterT w m a

MonadError e m => MonadError e (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

throwError :: e -> HandleWriterT w m a

catchError :: HandleWriterT w m a -> (e -> HandleWriterT w m a) -> HandleWriterT w m a

(Monoid w, MonadIO m) => MonadTell w (HandleWriterT w m)

The MonadTell law tell (a <> b) ≡ tell a *> tell b is only obeyed when the Handle is written to by a single thread.

Defined in Control.Monad.Trans.HandleWriter

Methods

tell :: w -> HandleWriterT w m ()

MonadTrans (HandleWriterT w)

Defined in Control.Monad.Trans.HandleWriter

Methods

lift :: Monad m => m a -> HandleWriterT w m a

Monad m => Monad (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

(>>=) :: HandleWriterT w m a -> (a -> HandleWriterT w m b) -> HandleWriterT w m b

(>>) :: HandleWriterT w m a -> HandleWriterT w m b -> HandleWriterT w m b

return :: a -> HandleWriterT w m a

Functor m => Functor (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

fmap :: (a -> b) -> HandleWriterT w m a -> HandleWriterT w m b

(<$) :: a -> HandleWriterT w m b -> HandleWriterT w m a

Applicative m => Applicative (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

pure :: a -> HandleWriterT w m a

(<*>) :: HandleWriterT w m (a -> b) -> HandleWriterT w m a -> HandleWriterT w m b

liftA2 :: (a -> b -> c) -> HandleWriterT w m a -> HandleWriterT w m b -> HandleWriterT w m c

(*>) :: HandleWriterT w m a -> HandleWriterT w m b -> HandleWriterT w m b

(<*) :: HandleWriterT w m a -> HandleWriterT w m b -> HandleWriterT w m a

MonadIO m => MonadIO (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

liftIO :: IO a -> HandleWriterT w m a

MonadCont m => MonadCont (HandleWriterT w m)

Defined in Control.Monad.Trans.HandleWriter

Methods

callCC :: ((a -> HandleWriterT w m b) -> HandleWriterT w m a) -> HandleWriterT w m a

runHandleWriterT

Arguments

:: Handle

Target file handle

-> (Handle -> w -> IO ())

The function that will write to the file handle

-> HandleWriterT w m a

-> m a

data Env w

Constructors

Env !Handle !(Handle -> w -> IO ())