Safe Haskell	None
Language	GHC2021

Control.Monad.Ology.Data.Param

Synopsis

type Lens' a b = forall (f :: Type -> Type). Functor f => (b -> f b) -> a -> f a
data Param (m :: Type -> Type) a = MkParam {
- paramAsk :: m a
- paramWith :: a -> m --> m
}
paramAsks :: Monad m => Param m a -> (a -> b) -> m b
paramLocalM :: Monad m => Param m a -> (a -> m a) -> m --> m
paramLocal :: forall (m :: Type -> Type) a. Monad m => Param m a -> (a -> a) -> m --> m
lensMapParam :: forall (m :: Type -> Type) a b. Monad m => Lens' a b -> Param m a -> Param m b
liftParam :: forall (t :: TransKind) (m :: Type -> Type). (MonadTransTunnel t, Monad m) => Param m --> Param (t m)
readerParam :: forall (m :: Type -> Type) r. Monad m => Param (ReaderT r m) r

Documentation

type Lens' a b = forall (f :: Type -> Type). Functor f => (b -> f b) -> a -> f a Source #

borrowed from the lens package

data Param (m :: Type -> Type) a Source #

A parameter of a monad (as in ReaderT).

Constructors

MkParam
Fields paramAsk :: m a paramWith :: a -> m --> m

Instances details

Functor m => Invariant (Param m) Source #
Instance details Defined in Control.Monad.Ology.Data.Param Methods invmap :: (a -> b) -> (b -> a) -> Param m a -> Param m b #
Applicative m => Productable (Param m) Source #
Instance details 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 #

paramAsks :: Monad m => Param m a -> (a -> b) -> m b Source #

paramLocalM :: Monad m => Param m a -> (a -> m a) -> m --> m Source #

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

lensMapParam :: forall (m :: Type -> Type) a b. Monad m => Lens' a b -> Param m a -> Param m b Source #