Control.Monad.Ology.Data.Param

Documentation

type Lens' a b = forall f. Functor f => (b -> f b) -> a -> f a

borrowed from the lens package

data Param m a

A parameter of a monad (as in ReaderT).

Constructors

MkParam

Fields

• paramAsk :: m a
• paramWith :: a -> m --> m

Instances

Functor m => Invariant (Param m)

Defined in Control.Monad.Ology.Data.Param

Methods

invmap :: (a -> b) -> (b -> a) -> Param m a -> Param m b

Applicative m => Productable (Param m)

Defined in Control.Monad.Ology.Data.Param

Methods

rUnit :: Param m ()

(<***>) :: Param m a -> Param m b -> Param m (a, b)

(***>) :: Param m () -> Param m a -> Param m a

(<***) :: Param m a -> Param m () -> Param m a

paramLocalM :: forall m a. Monad m => Param m a -> (a -> m a) -> m --> m

paramLocal :: forall m a. Monad m => Param m a -> (a -> a) -> m --> m

lensMapParam :: forall m a b. Monad m => Lens' a b -> Param m a -> Param m b

liftParam :: (MonadTransTunnel t, Monad m) => Param m --> Param (t m)

readerParam :: forall m r. Monad m => Param (ReaderT r m) r