Control.Monad.ReaderIO

Documentation

newtype ReaderIO e a

An approximate clone of RIO from the rio package, but not based on ReaderT. The trouble with ReaderT is that its third type argument has a nominal role, so we can't coerce through it when it's wrapped in some other data type. Ugh.

Constructors

ReaderIO

Fields

• runReaderIO :: e -> IO a

Instances

MonadReader e (ReaderIO e)

Defined in Control.Monad.ReaderIO

Methods

ask :: ReaderIO e e

local :: (e -> e) -> ReaderIO e a -> ReaderIO e a

reader :: (e -> a) -> ReaderIO e a

Monad (ReaderIO e)

Defined in Control.Monad.ReaderIO

Methods

(>>=) :: ReaderIO e a -> (a -> ReaderIO e b) -> ReaderIO e b

(>>) :: ReaderIO e a -> ReaderIO e b -> ReaderIO e b

return :: a -> ReaderIO e a

fail :: String -> ReaderIO e a

Functor (ReaderIO e)

Defined in Control.Monad.ReaderIO

Methods

fmap :: (a -> b) -> ReaderIO e a -> ReaderIO e b

(<$) :: a -> ReaderIO e b -> ReaderIO e a

MonadFix (ReaderIO e)

Defined in Control.Monad.ReaderIO

Methods

mfix :: (a -> ReaderIO e a) -> ReaderIO e a

Applicative (ReaderIO e)

Defined in Control.Monad.ReaderIO

Methods

pure :: a -> ReaderIO e a

(<*>) :: ReaderIO e (a -> b) -> ReaderIO e a -> ReaderIO e b

liftA2 :: (a -> b -> c) -> ReaderIO e a -> ReaderIO e b -> ReaderIO e c

(*>) :: ReaderIO e a -> ReaderIO e b -> ReaderIO e b

(<*) :: ReaderIO e a -> ReaderIO e b -> ReaderIO e a

MonadIO (ReaderIO e)

Defined in Control.Monad.ReaderIO

Methods

liftIO :: IO a -> ReaderIO e a