reflex-0.6.3: Higher-order Functional Reactive Programming

Safe HaskellSafe
LanguageHaskell98

Control.Monad.ReaderIO

Synopsis

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

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 #