Safe Haskell	Safe
Language	Haskell2010

Control.Monad.ReaderIO

Synopsis

newtype ReaderIO e a = ReaderIO {
- runReaderIO :: e -> IO a
}

Documentation

newtype ReaderIO e a Source #

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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Control.Monad.ReaderIO Methods mfix :: (a -> ReaderIO e a) -> ReaderIO e a #
Applicative (ReaderIO e) Source #
Instance details 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) Source #
Instance details Defined in Control.Monad.ReaderIO Methods liftIO :: IO a -> ReaderIO e a #