Control.Carrier.Reader

A carrier for Reader effects.

Since: 1.0.0.0

Reader carrier

runReader :: r -> ReaderC r m a -> m a

Run a Reader effect with the passed environment value.

runReader a ask = pure a

runReader a (pure b) = pure b

runReader a (local f m) = runReader (f a) m

Since: 1.0.0.0

newtype ReaderC r (m :: Type -> Type) a

Since: 1.0.0.0

Constructors

ReaderC (r -> m a)

Instances

MonadTrans (ReaderC r)

Defined in Control.Carrier.Reader

Methods

lift :: Monad m => m a -> ReaderC r m a

MonadIO m => MonadIO (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

liftIO :: IO a -> ReaderC r m a

Alternative m => Alternative (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

empty :: ReaderC r m a

(<|>) :: ReaderC r m a -> ReaderC r m a -> ReaderC r m a

some :: ReaderC r m a -> ReaderC r m [a]

many :: ReaderC r m a -> ReaderC r m [a]

Applicative m => Applicative (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

pure :: a -> ReaderC r m a

(<*>) :: ReaderC r m (a -> b) -> ReaderC r m a -> ReaderC r m b

liftA2 :: (a -> b -> c) -> ReaderC r m a -> ReaderC r m b -> ReaderC r m c

(*>) :: ReaderC r m a -> ReaderC r m b -> ReaderC r m b

(<*) :: ReaderC r m a -> ReaderC r m b -> ReaderC r m a

Functor m => Functor (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

fmap :: (a -> b) -> ReaderC r m a -> ReaderC r m b

(<$) :: a -> ReaderC r m b -> ReaderC r m a

Monad m => Monad (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

(>>=) :: ReaderC r m a -> (a -> ReaderC r m b) -> ReaderC r m b

(>>) :: ReaderC r m a -> ReaderC r m b -> ReaderC r m b

return :: a -> ReaderC r m a

(Alternative m, Monad m) => MonadPlus (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

mzero :: ReaderC r m a

mplus :: ReaderC r m a -> ReaderC r m a -> ReaderC r m a

MonadFail m => MonadFail (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

fail :: String -> ReaderC r m a

MonadFix m => MonadFix (ReaderC s m)

Defined in Control.Carrier.Reader

Methods

mfix :: (a -> ReaderC s m a) -> ReaderC s m a

MonadUnliftIO m => MonadUnliftIO (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

withRunInIO :: ((forall a. ReaderC r m a -> IO a) -> IO b) -> ReaderC r m b

Algebra sig m => Algebra (Reader r :+: sig) (ReaderC r m)

Defined in Control.Carrier.Reader

Methods

alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (ReaderC r m) -> (Reader r :+: sig) n a -> ctx () -> ReaderC r m (ctx a)

Reader effect

module Control.Effect.Reader